runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201012091434/p2cudf-user-1.10/rand0aa5c1.cudf.difficult.log.runsolver ./p2cudf-user-1.10 /home/misc2010/data/2010/difficult//rand0aa5c1.cudf /home/misc2010/tmp/201012091434/p2cudf-user-1.10/rand0aa5c1.cudf.difficult.result -changed,-removed,-unmet_recommends,-new 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.09 0.91 0.49 5/39 26144
/proc/meminfo: memFree=417956/1048576 swapFree=2095372/2097144
[pid=26142] ppid=26141 vsize=2572 CPUtime=0
/proc/26142/stat : 26142 (p2cudf-user-1.1) S 26141 26142 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 18 0 1 0 899872132 2633728 272 1283457024 134512640 135304128 4291714784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26142/statm: 643 272 233 194 0 29 0
[pid=26143] ppid=26142 vsize=2568 CPUtime=0
/proc/26143/stat : 26143 (p2cudf) S 26142 26142 25521 34816 25544 4202496 354 0 0 0 0 0 0 0 25 0 1 0 899872132 2629632 273 1283457024 134512640 135304128 4293857552 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/26143/statm: 642 273 234 194 0 28 0
[pid=26144] ppid=26143 vsize=2568 CPUtime=0
/proc/26144/stat : 26144 (p2cudf) R 26143 26142 25521 34816 25544 4202560 92 0 0 0 0 0 0 0 25 0 1 0 899872132 2629632 116 1283457024 134512640 135304128 4293857552 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/26144/statm: 642 116 75 194 0 28 0
[pid=26145] ppid=26144 vsize=2568 CPUtime=0
/proc/26145/stat : 26145 (p2cudf) R 26144 26142 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 1 0 899872132 2629632 41 1283457024 134512640 135304128 4293857552 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/26145/statm: 642 41 0 194 0 28 0

[startup+0.164714 s]
/proc/loadavg: 1.09 0.91 0.49 5/39 26144
/proc/meminfo: memFree=417956/1048576 swapFree=2095372/2097144
[pid=26142] ppid=26141 vsize=2572 CPUtime=0
/proc/26142/stat : 26142 (p2cudf-user-1.1) S 26141 26142 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 18 0 1 0 899872132 2633728 272 1283457024 134512640 135304128 4291714784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26142/statm: 643 272 233 194 0 29 0
[pid=26143] ppid=26142 vsize=2572 CPUtime=0.02
/proc/26143/stat : 26143 (p2cudf) S 26142 26142 25521 34816 25544 4202496 391 2995 0 1 0 0 2 0 25 0 1 0 899872132 2633728 281 1283457024 134512640 135304128 4293857552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26143/statm: 643 281 241 194 0 29 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+0.204724 s]
/proc/loadavg: 1.09 0.91 0.49 5/39 26144
/proc/meminfo: memFree=417956/1048576 swapFree=2095372/2097144
[pid=26142] ppid=26141 vsize=2572 CPUtime=0
/proc/26142/stat : 26142 (p2cudf-user-1.1) S 26141 26142 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 18 0 1 0 899872132 2633728 272 1283457024 134512640 135304128 4291714784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26142/statm: 643 272 233 194 0 29 0
[pid=26143] ppid=26142 vsize=2572 CPUtime=0.02
/proc/26143/stat : 26143 (p2cudf) S 26142 26142 25521 34816 25544 4202496 391 2995 0 1 0 0 2 0 25 0 1 0 899872132 2633728 281 1283457024 134512640 135304128 4293857552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26143/statm: 643 281 241 194 0 29 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+0.304749 s]
/proc/loadavg: 1.09 0.91 0.49 5/39 26144
/proc/meminfo: memFree=417956/1048576 swapFree=2095372/2097144
[pid=26142] ppid=26141 vsize=2572 CPUtime=0
/proc/26142/stat : 26142 (p2cudf-user-1.1) S 26141 26142 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 18 0 1 0 899872132 2633728 272 1283457024 134512640 135304128 4291714784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26142/statm: 643 272 233 194 0 29 0
[pid=26143] ppid=26142 vsize=2572 CPUtime=0.02
/proc/26143/stat : 26143 (p2cudf) S 26142 26142 25521 34816 25544 4202496 391 2995 0 1 0 0 2 0 25 0 1 0 899872132 2633728 281 1283457024 134512640 135304128 4293857552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26143/statm: 643 281 241 194 0 29 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+0.70481 s]
/proc/loadavg: 1.09 0.91 0.49 5/39 26144
/proc/meminfo: memFree=417956/1048576 swapFree=2095372/2097144
[pid=26142] ppid=26141 vsize=2572 CPUtime=0
/proc/26142/stat : 26142 (p2cudf-user-1.1) S 26141 26142 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 18 0 1 0 899872132 2633728 272 1283457024 134512640 135304128 4291714784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26142/statm: 643 272 233 194 0 29 0
[pid=26143] ppid=26142 vsize=2572 CPUtime=0.02
/proc/26143/stat : 26143 (p2cudf) S 26142 26142 25521 34816 25544 4202496 391 2995 0 1 0 0 2 0 25 0 1 0 899872132 2633728 281 1283457024 134512640 135304128 4293857552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26143/statm: 643 281 241 194 0 29 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+1.50503 s]
/proc/loadavg: 1.24 0.95 0.50 5/49 26165
/proc/meminfo: memFree=379964/1048576 swapFree=2095372/2097144
[pid=26142] ppid=26141 vsize=2572 CPUtime=0
/proc/26142/stat : 26142 (p2cudf-user-1.1) S 26141 26142 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 18 0 1 0 899872132 2633728 272 1283457024 134512640 135304128 4291714784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26142/statm: 643 272 233 194 0 29 0
[pid=26143] ppid=26142 vsize=2572 CPUtime=0.02
/proc/26143/stat : 26143 (p2cudf) S 26142 26142 25521 34816 25544 4202496 391 2995 0 1 0 0 2 0 25 0 1 0 899872132 2633728 281 1283457024 134512640 135304128 4293857552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26143/statm: 643 281 241 194 0 29 0
[pid=26156] ppid=26143 vsize=874572 CPUtime=1.46
/proc/26156/stat : 26156 (java) S 26143 26142 25521 34816 25544 4202496 19385 0 1 0 135 11 0 0 25 0 10 0 899872136 895561728 16685 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26156/statm: 218643 16685 1732 10 0 215733 0
[pid=26156/tid=26157] ppid=26143 vsize=874572 CPUtime=0.78
/proc/26156/task/26157/stat : 26157 (java) R 26143 26142 25521 34816 25544 4202560 11174 0 1 0 72 6 0 0 25 0 10 0 899872136 895561728 16685 1283457024 134512640 134550932 4291947984 18446744073709551615 4096053292 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26156/tid=26158] ppid=26143 vsize=874572 CPUtime=0
/proc/26156/task/26158/stat : 26158 (java) S 26143 26142 25521 34816 25544 4202560 5 0 0 0 0 0 0 0 17 0 10 0 899872138 895561728 16685 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26159] ppid=26143 vsize=874572 CPUtime=0
/proc/26156/task/26159/stat : 26159 (java) S 26143 26142 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 25 0 10 0 899872138 895561728 16685 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26160] ppid=26143 vsize=874572 CPUtime=0
/proc/26156/task/26160/stat : 26160 (java) S 26143 26142 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 10 0 899872138 895561728 16685 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26161] ppid=26143 vsize=874572 CPUtime=0
/proc/26156/task/26161/stat : 26161 (java) S 26143 26142 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 899872141 895561728 16685 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26162] ppid=26143 vsize=874572 CPUtime=0.38
/proc/26156/task/26162/stat : 26162 (java) R 26143 26142 25521 34816 25544 4202560 6509 0 0 0 34 4 0 0 23 0 10 0 899872141 895561728 16685 1283457024 134512640 134550932 4291947984 18446744073709551615 4150446983 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26156/tid=26163] ppid=26143 vsize=874572 CPUtime=0.28
/proc/26156/task/26163/stat : 26163 (java) R 26143 26142 25521 34816 25544 4202560 587 0 0 0 28 0 0 0 25 0 10 0 899872141 895561728 16685 1283457024 134512640 134550932 4291947984 18446744073709551615 4152072270 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26156/tid=26164] ppid=26143 vsize=874572 CPUtime=0
/proc/26156/task/26164/stat : 26164 (java) S 26143 26142 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 10 0 899872141 895561728 16685 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26165] ppid=26143 vsize=874572 CPUtime=0
/proc/26156/task/26165/stat : 26165 (java) S 26143 26142 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 10 0 899872141 895561728 16685 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 879716

[startup+3.10629 s]
/proc/loadavg: 1.24 0.95 0.50 4/49 26165
/proc/meminfo: memFree=310568/1048576 swapFree=2095372/2097144
[pid=26142] ppid=26141 vsize=2572 CPUtime=0
/proc/26142/stat : 26142 (p2cudf-user-1.1) S 26141 26142 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 18 0 1 0 899872132 2633728 272 1283457024 134512640 135304128 4291714784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26142/statm: 643 272 233 194 0 29 0
[pid=26143] ppid=26142 vsize=2572 CPUtime=0.02
/proc/26143/stat : 26143 (p2cudf) S 26142 26142 25521 34816 25544 4202496 391 2995 0 1 0 0 2 0 25 0 1 0 899872132 2633728 281 1283457024 134512640 135304128 4293857552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26143/statm: 643 281 241 194 0 29 0
[pid=26156] ppid=26143 vsize=896264 CPUtime=3.04
/proc/26156/stat : 26156 (java) S 26143 26142 25521 34816 25544 4202496 50329 0 1 0 282 22 0 0 25 0 10 0 899872136 917774336 43146 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26156/statm: 224066 43146 1732 10 0 221156 0
[pid=26156/tid=26157] ppid=26143 vsize=896264 CPUtime=1.34
/proc/26156/task/26157/stat : 26157 (java) D 26143 26142 25521 34816 25544 4202560 31888 0 1 0 120 14 0 0 25 0 10 0 899872136 917774336 43146 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446744071564332000 0 0 -1 0 0 0 0
[pid=26156/tid=26158] ppid=26143 vsize=896264 CPUtime=0
/proc/26156/task/26158/stat : 26158 (java) S 26143 26142 25521 34816 25544 4202560 5 0 0 0 0 0 0 0 15 0 10 0 899872138 917774336 43146 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26159] ppid=26143 vsize=896264 CPUtime=0
/proc/26156/task/26159/stat : 26159 (java) S 26143 26142 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 25 0 10 0 899872138 917774336 43146 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26160] ppid=26143 vsize=896264 CPUtime=0
/proc/26156/task/26160/stat : 26160 (java) S 26143 26142 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 10 0 899872138 917774336 43146 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26161] ppid=26143 vsize=896264 CPUtime=0
/proc/26156/task/26161/stat : 26161 (java) S 26143 26142 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 899872141 917774336 43146 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26162] ppid=26143 vsize=896264 CPUtime=0.81
/proc/26156/task/26162/stat : 26162 (java) S 26143 26142 25521 34816 25544 4202560 12034 0 0 0 73 8 0 0 25 0 10 0 899872141 917774336 43146 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26163] ppid=26143 vsize=896264 CPUtime=0.88
/proc/26156/task/26163/stat : 26163 (java) S 26143 26142 25521 34816 25544 4202560 5292 0 0 0 88 0 0 0 24 0 10 0 899872141 917774336 43146 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26164] ppid=26143 vsize=896264 CPUtime=0
/proc/26156/task/26164/stat : 26164 (java) S 26143 26142 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 10 0 899872141 917774336 43146 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26165] ppid=26143 vsize=896264 CPUtime=0
/proc/26156/task/26165/stat : 26165 (java) S 26143 26142 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 10 0 899872141 917774336 43146 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 901408

[startup+6.30802 s]
/proc/loadavg: 1.24 0.95 0.50 3/49 26165
/proc/meminfo: memFree=107184/1048576 swapFree=2095372/2097144
[pid=26142] ppid=26141 vsize=2572 CPUtime=0
/proc/26142/stat : 26142 (p2cudf-user-1.1) S 26141 26142 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 18 0 1 0 899872132 2633728 272 1283457024 134512640 135304128 4291714784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26142/statm: 643 272 233 194 0 29 0
[pid=26143] ppid=26142 vsize=2572 CPUtime=0.02
/proc/26143/stat : 26143 (p2cudf) S 26142 26142 25521 34816 25544 4202496 391 2995 0 1 0 0 2 0 25 0 1 0 899872132 2633728 281 1283457024 134512640 135304128 4293857552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26143/statm: 643 281 241 194 0 29 0
[pid=26156] ppid=26143 vsize=896780 CPUtime=6.23
/proc/26156/stat : 26156 (java) S 26143 26142 25521 34816 25544 4202496 85486 0 1 0 594 29 0 0 25 0 11 0 899872136 918302720 76019 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26156/statm: 224195 76019 1790 10 0 221285 0
[pid=26156/tid=26157] ppid=26143 vsize=896780 CPUtime=2.73
/proc/26156/task/26157/stat : 26157 (java) R 26143 26142 25521 34816 25544 4202560 50469 0 1 0 254 19 0 0 25 0 11 0 899872136 918302720 76019 1283457024 134512640 134550932 4291947984 18446744073709551615 4096831561 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26156/tid=26158] ppid=26143 vsize=896780 CPUtime=0.33
/proc/26156/task/26158/stat : 26158 (java) S 26143 26142 25521 34816 25544 4202560 13965 0 0 0 31 2 0 0 16 0 11 0 899872138 918302720 76019 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26159] ppid=26143 vsize=896780 CPUtime=0
/proc/26156/task/26159/stat : 26159 (java) S 26143 26142 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 11 0 899872138 918302720 76019 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26160] ppid=26143 vsize=896780 CPUtime=0
/proc/26156/task/26160/stat : 26160 (java) S 26143 26142 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 899872138 918302720 76019 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26161] ppid=26143 vsize=896780 CPUtime=0
/proc/26156/task/26161/stat : 26161 (java) S 26143 26142 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 899872141 918302720 76019 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26162] ppid=26143 vsize=896780 CPUtime=2.11
/proc/26156/task/26162/stat : 26162 (java) S 26143 26142 25521 34816 25544 4202560 14622 0 0 0 203 8 0 0 15 0 11 0 899872141 918302720 76019 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26163] ppid=26143 vsize=896780 CPUtime=1.04
/proc/26156/task/26163/stat : 26163 (java) S 26143 26142 25521 34816 25544 4202560 5314 0 0 0 104 0 0 0 19 0 11 0 899872141 918302720 76019 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26164] ppid=26143 vsize=896780 CPUtime=0
/proc/26156/task/26164/stat : 26164 (java) S 26143 26142 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 11 0 899872141 918302720 76019 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26165] ppid=26143 vsize=896780 CPUtime=0
/proc/26156/task/26165/stat : 26165 (java) S 26143 26142 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 899872141 918302720 76019 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 901924

[startup+12.7097 s]
/proc/loadavg: 1.21 0.95 0.50 2/50 26166
/proc/meminfo: memFree=73572/1048576 swapFree=2095372/2097144
[pid=26142] ppid=26141 vsize=2572 CPUtime=0
/proc/26142/stat : 26142 (p2cudf-user-1.1) S 26141 26142 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 18 0 1 0 899872132 2633728 272 1283457024 134512640 135304128 4291714784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26142/statm: 643 272 233 194 0 29 0
[pid=26143] ppid=26142 vsize=2572 CPUtime=0.02
/proc/26143/stat : 26143 (p2cudf) S 26142 26142 25521 34816 25544 4202496 391 2995 0 1 0 0 2 0 25 0 1 0 899872132 2633728 281 1283457024 134512640 135304128 4293857552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26143/statm: 643 281 241 194 0 29 0
[pid=26156] ppid=26143 vsize=892616 CPUtime=12.6
/proc/26156/stat : 26156 (java) S 26143 26142 25521 34816 25544 4202496 94826 0 1 0 1228 32 0 0 25 0 11 0 899872136 914038784 84350 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26156/statm: 223154 84350 1793 10 0 220244 0
[pid=26156/tid=26157] ppid=26143 vsize=892616 CPUtime=8.31
/proc/26156/task/26157/stat : 26157 (java) R 26143 26142 25521 34816 25544 4202560 50470 0 1 0 811 20 0 0 25 0 11 0 899872136 914038784 84350 1283457024 134512640 134550932 4291947984 18446744073709551615 4096811251 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26156/tid=26158] ppid=26143 vsize=892616 CPUtime=0.7
/proc/26156/task/26158/stat : 26158 (java) S 26143 26142 25521 34816 25544 4202560 23212 0 0 0 66 4 0 0 15 0 11 0 899872138 914038784 84350 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26159] ppid=26143 vsize=892616 CPUtime=0
/proc/26156/task/26159/stat : 26159 (java) S 26143 26142 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 11 0 899872138 914038784 84350 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26160] ppid=26143 vsize=892616 CPUtime=0
/proc/26156/task/26160/stat : 26160 (java) S 26143 26142 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 899872138 914038784 84350 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26161] ppid=26143 vsize=892616 CPUtime=0
/proc/26156/task/26161/stat : 26161 (java) S 26143 26142 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 899872141 914038784 84350 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26162] ppid=26143 vsize=892616 CPUtime=2.53
/proc/26156/task/26162/stat : 26162 (java) S 26143 26142 25521 34816 25544 4202560 14714 0 0 0 245 8 0 0 15 0 11 0 899872141 914038784 84350 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26163] ppid=26143 vsize=892616 CPUtime=1.04
/proc/26156/task/26163/stat : 26163 (java) S 26143 26142 25521 34816 25544 4202560 5314 0 0 0 104 0 0 0 19 0 11 0 899872141 914038784 84350 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26164] ppid=26143 vsize=892616 CPUtime=0
/proc/26156/task/26164/stat : 26164 (java) S 26143 26142 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 11 0 899872141 914038784 84350 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26165] ppid=26143 vsize=892616 CPUtime=0
/proc/26156/task/26165/stat : 26165 (java) S 26143 26142 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 899872141 914038784 84350 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26166] ppid=26143 vsize=892616 CPUtime=0
/proc/26156/task/26166/stat : 26166 (java) S 26143 26142 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 899872693 914038784 84350 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 897760

Solver just ended. Dumping a history of the last processes samples

[startup+13.4099 s]
/proc/loadavg: 1.21 0.95 0.50 2/50 26166
/proc/meminfo: memFree=73572/1048576 swapFree=2095372/2097144
[pid=26142] ppid=26141 vsize=2572 CPUtime=0
/proc/26142/stat : 26142 (p2cudf-user-1.1) S 26141 26142 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 18 0 1 0 899872132 2633728 272 1283457024 134512640 135304128 4291714784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26142/statm: 643 272 233 194 0 29 0
[pid=26143] ppid=26142 vsize=2572 CPUtime=0.02
/proc/26143/stat : 26143 (p2cudf) S 26142 26142 25521 34816 25544 4202496 391 2995 0 1 0 0 2 0 25 0 1 0 899872132 2633728 281 1283457024 134512640 135304128 4293857552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26143/statm: 643 281 241 194 0 29 0
[pid=26156] ppid=26143 vsize=892616 CPUtime=13.3
/proc/26156/stat : 26156 (java) S 26143 26142 25521 34816 25544 4202496 94827 0 1 0 1298 32 0 0 25 0 11 0 899872136 914038784 84351 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26156/statm: 223154 84351 1793 10 0 220244 0
[pid=26156/tid=26157] ppid=26143 vsize=892616 CPUtime=9.01
/proc/26156/task/26157/stat : 26157 (java) R 26143 26142 25521 34816 25544 4202560 50471 0 1 0 881 20 0 0 25 0 11 0 899872136 914038784 84351 1283457024 134512640 134550932 4291947984 18446744073709551615 4096848834 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26156/tid=26158] ppid=26143 vsize=892616 CPUtime=0.7
/proc/26156/task/26158/stat : 26158 (java) S 26143 26142 25521 34816 25544 4202560 23212 0 0 0 66 4 0 0 15 0 11 0 899872138 914038784 84351 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26159] ppid=26143 vsize=892616 CPUtime=0
/proc/26156/task/26159/stat : 26159 (java) S 26143 26142 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 11 0 899872138 914038784 84351 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26160] ppid=26143 vsize=892616 CPUtime=0
/proc/26156/task/26160/stat : 26160 (java) S 26143 26142 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 899872138 914038784 84351 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26161] ppid=26143 vsize=892616 CPUtime=0
/proc/26156/task/26161/stat : 26161 (java) S 26143 26142 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 899872141 914038784 84351 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26162] ppid=26143 vsize=892616 CPUtime=2.53
/proc/26156/task/26162/stat : 26162 (java) S 26143 26142 25521 34816 25544 4202560 14714 0 0 0 245 8 0 0 15 0 11 0 899872141 914038784 84351 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26163] ppid=26143 vsize=892616 CPUtime=1.04
/proc/26156/task/26163/stat : 26163 (java) S 26143 26142 25521 34816 25544 4202560 5314 0 0 0 104 0 0 0 19 0 11 0 899872141 914038784 84351 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26164] ppid=26143 vsize=892616 CPUtime=0
/proc/26156/task/26164/stat : 26164 (java) S 26143 26142 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 11 0 899872141 914038784 84351 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26165] ppid=26143 vsize=892616 CPUtime=0
/proc/26156/task/26165/stat : 26165 (java) S 26143 26142 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 899872141 914038784 84351 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26166] ppid=26143 vsize=892616 CPUtime=0
/proc/26156/task/26166/stat : 26166 (java) S 26143 26142 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 899872693 914038784 84351 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 13.32
Current children cumulated vsize (KiB) 897760

[startup+13.8055 s]
/proc/loadavg: 1.21 0.95 0.50 2/50 26166
/proc/meminfo: memFree=73572/1048576 swapFree=2095372/2097144
[pid=26142] ppid=26141 vsize=2572 CPUtime=0
/proc/26142/stat : 26142 (p2cudf-user-1.1) S 26141 26142 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 18 0 1 0 899872132 2633728 272 1283457024 134512640 135304128 4291714784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26142/statm: 643 272 233 194 0 29 0
[pid=26143] ppid=26142 vsize=2572 CPUtime=0.02
/proc/26143/stat : 26143 (p2cudf) S 26142 26142 25521 34816 25544 4202496 391 2995 0 1 0 0 2 0 25 0 1 0 899872132 2633728 281 1283457024 134512640 135304128 4293857552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26143/statm: 643 281 241 194 0 29 0
[pid=26156] ppid=26143 vsize=892940 CPUtime=13.62
/proc/26156/stat : 26156 (java) S 26143 26142 25521 34816 25544 4202496 94838 0 1 0 1330 32 0 0 25 0 12 0 899872136 914370560 84362 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26156/statm: 223235 84362 1793 10 0 220325 0
[pid=26156/tid=26157] ppid=26143 vsize=892940 CPUtime=9.31
/proc/26156/task/26157/stat : 26157 (java) S 26143 26142 25521 34816 25544 4202560 50478 0 1 0 911 20 0 0 25 0 12 0 899872136 914370560 84362 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26158] ppid=26143 vsize=892940 CPUtime=0.7
/proc/26156/task/26158/stat : 26158 (java) S 26143 26142 25521 34816 25544 4202560 23212 0 0 0 66 4 0 0 15 0 12 0 899872138 914370560 84362 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26159] ppid=26143 vsize=892940 CPUtime=0
/proc/26156/task/26159/stat : 26159 (java) S 26143 26142 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 12 0 899872138 914370560 84362 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26160] ppid=26143 vsize=892940 CPUtime=0
/proc/26156/task/26160/stat : 26160 (java) S 26143 26142 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 12 0 899872138 914370560 84362 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26161] ppid=26143 vsize=892940 CPUtime=0
/proc/26156/task/26161/stat : 26161 (java) S 26143 26142 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 899872141 914370560 84362 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26162] ppid=26143 vsize=892940 CPUtime=2.55
/proc/26156/task/26162/stat : 26162 (java) S 26143 26142 25521 34816 25544 4202560 14714 0 0 0 247 8 0 0 15 0 12 0 899872141 914370560 84362 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26163] ppid=26143 vsize=892940 CPUtime=1.04
/proc/26156/task/26163/stat : 26163 (java) S 26143 26142 25521 34816 25544 4202560 5314 0 0 0 104 0 0 0 19 0 12 0 899872141 914370560 84362 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26164] ppid=26143 vsize=892940 CPUtime=0
/proc/26156/task/26164/stat : 26164 (java) S 26143 26142 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 12 0 899872141 914370560 84362 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26165] ppid=26143 vsize=892940 CPUtime=0
/proc/26156/task/26165/stat : 26165 (java) S 26143 26142 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 12 0 899872141 914370560 84362 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26166] ppid=26143 vsize=892940 CPUtime=0
/proc/26156/task/26166/stat : 26166 (java) S 26143 26142 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 899872693 914370560 84362 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 13.64
Current children cumulated vsize (KiB) 898084

[startup+14.2055 s]
/proc/loadavg: 1.21 0.95 0.50 1/51 26167
/proc/meminfo: memFree=73564/1048576 swapFree=2095372/2097144
[pid=26142] ppid=26141 vsize=2572 CPUtime=0
/proc/26142/stat : 26142 (p2cudf-user-1.1) S 26141 26142 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 18 0 1 0 899872132 2633728 272 1283457024 134512640 135304128 4291714784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26142/statm: 643 272 233 194 0 29 0
[pid=26143] ppid=26142 vsize=2572 CPUtime=0.02
/proc/26143/stat : 26143 (p2cudf) S 26142 26142 25521 34816 25544 4202496 391 2995 0 1 0 0 2 0 25 0 1 0 899872132 2633728 281 1283457024 134512640 135304128 4293857552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26143/statm: 643 281 241 194 0 29 0
[pid=26156] ppid=26143 vsize=892940 CPUtime=13.62
/proc/26156/stat : 26156 (java) S 26143 26142 25521 34816 25544 4202496 94838 0 1 0 1330 32 0 0 25 0 12 0 899872136 914370560 84362 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26156/statm: 223235 84362 1793 10 0 220325 0
[pid=26156/tid=26157] ppid=26143 vsize=892940 CPUtime=9.31
/proc/26156/task/26157/stat : 26157 (java) S 26143 26142 25521 34816 25544 4202560 50478 0 1 0 911 20 0 0 25 0 12 0 899872136 914370560 84362 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26158] ppid=26143 vsize=892940 CPUtime=0.7
/proc/26156/task/26158/stat : 26158 (java) S 26143 26142 25521 34816 25544 4202560 23212 0 0 0 66 4 0 0 15 0 12 0 899872138 914370560 84362 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26159] ppid=26143 vsize=892940 CPUtime=0
/proc/26156/task/26159/stat : 26159 (java) S 26143 26142 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 12 0 899872138 914370560 84362 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26160] ppid=26143 vsize=892940 CPUtime=0
/proc/26156/task/26160/stat : 26160 (java) S 26143 26142 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 12 0 899872138 914370560 84362 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26161] ppid=26143 vsize=892940 CPUtime=0
/proc/26156/task/26161/stat : 26161 (java) S 26143 26142 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 899872141 914370560 84362 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26162] ppid=26143 vsize=892940 CPUtime=2.55
/proc/26156/task/26162/stat : 26162 (java) S 26143 26142 25521 34816 25544 4202560 14714 0 0 0 247 8 0 0 15 0 12 0 899872141 914370560 84362 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26163] ppid=26143 vsize=892940 CPUtime=1.04
/proc/26156/task/26163/stat : 26163 (java) S 26143 26142 25521 34816 25544 4202560 5314 0 0 0 104 0 0 0 19 0 12 0 899872141 914370560 84362 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26164] ppid=26143 vsize=892940 CPUtime=0
/proc/26156/task/26164/stat : 26164 (java) S 26143 26142 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 12 0 899872141 914370560 84362 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26165] ppid=26143 vsize=892940 CPUtime=0
/proc/26156/task/26165/stat : 26165 (java) S 26143 26142 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 12 0 899872141 914370560 84362 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26166] ppid=26143 vsize=892940 CPUtime=0
/proc/26156/task/26166/stat : 26166 (java) S 26143 26142 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 899872693 914370560 84362 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=26156/tid=26167] ppid=26143 vsize=892940 CPUtime=0
/proc/26156/task/26167/stat : 26167 (java) S 26143 26142 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 899873506 914370560 84362 1283457024 134512640 134550932 4291947984 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 13.64
Current children cumulated vsize (KiB) 898084

[startup+14.3152 s]
/proc/loadavg: 1.21 0.95 0.50 1/51 26167
/proc/meminfo: memFree=73564/1048576 swapFree=2095372/2097144
[pid=26142] ppid=26141 vsize=2572 CPUtime=0
/proc/26142/stat : 26142 (p2cudf-user-1.1) S 26141 26142 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 18 0 1 0 899872132 2633728 272 1283457024 134512640 135304128 4291714784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26142/statm: 643 272 233 194 0 29 0
[pid=26143] ppid=26142 vsize=2572 CPUtime=0.02
/proc/26143/stat : 26143 (p2cudf) S 26142 26142 25521 34816 25544 4202496 391 2995 0 1 0 0 2 0 25 0 1 0 899872132 2633728 281 1283457024 134512640 135304128 4293857552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26143/statm: 643 281 241 194 0 29 0
[pid=26156] ppid=26143 vsize=0 CPUtime=13.69
/proc/26156/stat : 26156 (java) Z 26143 26142 25521 34816 25544 4203532 94843 0 1 0 1333 36 0 0 18 0 2 0 899872136 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26156/statm: 0 0 0 0 0 0 0
[pid=26156/tid=26157] ppid=26143 vsize=0 CPUtime=9.33
/proc/26156/task/26157/stat : 26157 (java) R 26143 26142 25521 34816 25544 4203588 50479 0 1 0 911 22 0 0 20 0 2 0 899872136 0 0 1283457024 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 13.71
Current children cumulated vsize (KiB) 5144

Child status: 0
Real time (s): 14.3357
CPU time (s): 13.7449
CPU user time (s): 13.3568
CPU system time (s): 0.388024
CPU usage (%): 95.8782
Max. virtual memory (cumulated for all children) (KiB): 906664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.3568
system time used= 0.388024
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98625
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 952
involuntary context switches= 1082

runsolver used 0.012 second user time and 0 second system time

The end