runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3709695-1338149285/watcher-3709695-1338149285 -o /tmp/evaluation-result-3709695-1338149285/solver-3709695-1338149285 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709695-1338149285.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 21461
/proc/meminfo: memFree=29847204/32873844 swapFree=7900/7900
[pid=21461] ppid=21459 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/21461/stat : 21461 (java) D 21459 21461 18146 0 -1 4202496 242 0 0 0 0 0 0 0 20 0 1 0 281053066 9515008 176 33554432000 1073741824 1073778376 140736234096080 140736234078808 225444709264 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/21461/statm: 2323 176 133 9 0 71 0
[startup+0.0257331 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 21461
/proc/meminfo: memFree=29847204/32873844 swapFree=7900/7900
[pid=21461] ppid=21459 vsize=9014776 CPUtime=0.01 cores=1,3,5,7
/proc/21461/stat : 21461 (java) S 21459 21461 18146 0 -1 4202496 2096 0 1 0 0 1 0 0 20 0 10 0 281053066 9231130624 2286 33554432000 1073741824 1073778376 140733248601728 140733248592864 225448067133 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21461/statm: 2253694 2286 975 9 0 2244803 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9014776
[startup+0.10032 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 21461
/proc/meminfo: memFree=29847204/32873844 swapFree=7900/7900
[pid=21461] ppid=21459 vsize=9558440 CPUtime=0.08 cores=1,3,5,7
/proc/21461/stat : 21461 (java) S 21459 21461 18146 0 -1 4202496 4208 0 1 0 7 1 0 0 20 0 18 0 281053066 9787842560 5414 33554432000 1073741824 1073778376 140733248601728 140733248592864 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21461/statm: 2389610 5418 2111 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440
[startup+0.300305 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 21461
/proc/meminfo: memFree=29847204/32873844 swapFree=7900/7900
[pid=21461] ppid=21459 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/21461/stat : 21461 (java) S 21459 21461 18146 0 -1 4202496 6772 0 1 0 47 2 0 0 20 0 19 0 281053066 9856004096 8706 33554432000 1073741824 1073778376 140733248601728 140733248592864 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21461/statm: 2406251 8706 2226 9 0 2396937 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9625004
[startup+0.700275 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 21461
/proc/meminfo: memFree=29847204/32873844 swapFree=7900/7900
[pid=21461] ppid=21459 vsize=9625004 CPUtime=1.05 cores=1,3,5,7
/proc/21461/stat : 21461 (java) S 21459 21461 18146 0 -1 4202496 6998 0 1 0 102 3 0 0 20 0 19 0 281053066 9856004096 11394 33554432000 1073741824 1073778376 140733248601728 140733248592864 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21461/statm: 2406251 11394 2268 9 0 2396937 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 9625004
[startup+1.50073 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 21480
/proc/meminfo: memFree=29803988/32873844 swapFree=7900/7900
[pid=21461] ppid=21459 vsize=9625004 CPUtime=1.89 cores=1,3,5,7
/proc/21461/stat : 21461 (java) S 21459 21461 18146 0 -1 4202496 7037 0 1 0 185 4 0 0 20 0 19 0 281053066 9856004096 13469 33554432000 1073741824 1073778376 140733248601728 140733248592864 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21461/statm: 2406251 13469 2278 9 0 2396937 0
[pid=21461/tid=21463] ppid=21459 vsize=9625004 CPUtime=1.4 cores=1,3,5,7
/proc/21461/task/21463/stat : 21463 (java) R 21459 21461 18146 0 -1 4202560 2512 0 1 0 139 1 0 0 20 0 19 0 281053067 9856004096 13469 33554432000 1073741824 1073778376 140733248601728 139681512452360 139681346234976 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21464] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21464/stat : 21464 (java) S 21459 21461 18146 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281053068 9856004096 13469 33554432000 1073741824 1073778376 140733248601728 139681473943976 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21461/tid=21465] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21465/stat : 21465 (java) S 21459 21461 18146 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281053068 9856004096 13469 33554432000 1073741824 1073778376 140733248601728 139681472891432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21466] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21466/stat : 21466 (java) S 21459 21461 18146 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281053068 9856004096 13469 33554432000 1073741824 1073778376 140733248601728 139681471838376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21461/tid=21467] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21467/stat : 21467 (java) S 21459 21461 18146 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 281053068 9856004096 13469 33554432000 1073741824 1073778376 140733248601728 139681470785832 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21468] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21468/stat : 21468 (java) S 21459 21461 18146 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281053068 9856004096 13469 33554432000 1073741824 1073778376 140733248601728 139681469733800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21469] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21469/stat : 21469 (java) S 21459 21461 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281053068 9856004096 13469 33554432000 1073741824 1073778376 140733248601728 139681468681256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21470] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21470/stat : 21470 (java) S 21459 21461 18146 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281053068 9856004096 13469 33554432000 1073741824 1073778376 140733248601728 139681467628200 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21461/tid=21471] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21471/stat : 21471 (java) S 21459 21461 18146 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281053068 9856004096 13469 33554432000 1073741824 1073778376 140733248601728 139681466575656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21461/tid=21472] ppid=21459 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/21461/task/21472/stat : 21472 (java) S 21459 21461 18146 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 19 0 281053069 9856004096 13469 33554432000 1073741824 1073778376 140733248601728 139681336351080 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21461/tid=21473] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21473/stat : 21473 (java) S 21459 21461 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281053070 9856004096 13469 33554432000 1073741824 1073778376 140733248601728 139681335297400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21474] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21474/stat : 21474 (java) S 21459 21461 18146 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281053070 9856004096 13469 33554432000 1073741824 1073778376 140733248601728 139681334244232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21475] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21475/stat : 21475 (java) S 21459 21461 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281053072 9856004096 13469 33554432000 1073741824 1073778376 140733248601728 139681333192976 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21476] ppid=21459 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/21461/task/21476/stat : 21476 (java) S 21459 21461 18146 0 -1 4202560 1027 0 0 0 17 0 0 0 20 0 19 0 281053072 9856004096 13469 33554432000 1073741824 1073778376 140733248601728 139681332140856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21477] ppid=21459 vsize=9625004 CPUtime=0.19 cores=1,3,5,7
/proc/21461/task/21477/stat : 21477 (java) S 21459 21461 18146 0 -1 4202560 2224 0 0 0 19 0 0 0 20 0 19 0 281053072 9856004096 13469 33554432000 1073741824 1073778376 140733248601728 139681331088312 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21461/tid=21478] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21478/stat : 21478 (java) S 21459 21461 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281053072 9856004096 13469 33554432000 1073741824 1073778376 140733248601728 139680456633080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21461/tid=21479] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21479/stat : 21479 (java) S 21459 21461 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281053072 9856004096 13469 33554432000 1073741824 1073778376 140733248601728 139680455580744 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21480] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21480/stat : 21480 (java) S 21459 21461 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281053081 9856004096 13469 33554432000 1073741824 1073778376 140733248601728 139680454525992 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 9625004
[startup+3.10082 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 21480
/proc/meminfo: memFree=29799272/32873844 swapFree=7900/7900
[pid=21461] ppid=21459 vsize=9625004 CPUtime=3.53 cores=1,3,5,7
/proc/21461/stat : 21461 (java) S 21459 21461 18146 0 -1 4202496 7058 0 1 0 349 4 0 0 20 0 19 0 281053066 9856004096 15017 33554432000 1073741824 1073778376 140733248601728 140733248592864 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21461/statm: 2406251 15017 2278 9 0 2396937 0
[pid=21461/tid=21463] ppid=21459 vsize=9625004 CPUtime=2.93 cores=1,3,5,7
/proc/21461/task/21463/stat : 21463 (java) R 21459 21461 18146 0 -1 4202560 2517 0 1 0 292 1 0 0 20 0 19 0 281053067 9856004096 15017 33554432000 1073741824 1073778376 140733248601728 139681512452400 139681346407172 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21464] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21464/stat : 21464 (java) S 21459 21461 18146 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281053068 9856004096 15017 33554432000 1073741824 1073778376 140733248601728 139681473943976 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21465] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21465/stat : 21465 (java) S 21459 21461 18146 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281053068 9856004096 15017 33554432000 1073741824 1073778376 140733248601728 139681472891432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21466] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21466/stat : 21466 (java) S 21459 21461 18146 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281053068 9856004096 15017 33554432000 1073741824 1073778376 140733248601728 139681471838376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21461/tid=21467] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21467/stat : 21467 (java) S 21459 21461 18146 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 281053068 9856004096 15017 33554432000 1073741824 1073778376 140733248601728 139681470785832 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21468] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21468/stat : 21468 (java) S 21459 21461 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281053068 9856004096 15017 33554432000 1073741824 1073778376 140733248601728 139681469733800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21461/tid=21469] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21469/stat : 21469 (java) S 21459 21461 18146 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281053068 9856004096 15017 33554432000 1073741824 1073778376 140733248601728 139681468681256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21470] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21470/stat : 21470 (java) S 21459 21461 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281053068 9856004096 15017 33554432000 1073741824 1073778376 140733248601728 139681467628200 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21471] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21471/stat : 21471 (java) S 21459 21461 18146 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281053068 9856004096 15017 33554432000 1073741824 1073778376 140733248601728 139681466575656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21472] ppid=21459 vsize=9625004 CPUtime=0.09 cores=1,3,5,7
/proc/21461/task/21472/stat : 21472 (java) S 21459 21461 18146 0 -1 4202560 33 0 0 0 9 0 0 0 20 0 19 0 281053069 9856004096 15017 33554432000 1073741824 1073778376 140733248601728 139681336351080 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21461/tid=21473] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21473/stat : 21473 (java) S 21459 21461 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281053070 9856004096 15017 33554432000 1073741824 1073778376 140733248601728 139681335297400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21474] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21474/stat : 21474 (java) S 21459 21461 18146 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281053070 9856004096 15017 33554432000 1073741824 1073778376 140733248601728 139681334244232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21475] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21475/stat : 21475 (java) S 21459 21461 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281053072 9856004096 15017 33554432000 1073741824 1073778376 140733248601728 139681333192976 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21476] ppid=21459 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/21461/task/21476/stat : 21476 (java) S 21459 21461 18146 0 -1 4202560 1027 0 0 0 17 0 0 0 20 0 19 0 281053072 9856004096 15017 33554432000 1073741824 1073778376 140733248601728 139681332140856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21477] ppid=21459 vsize=9625004 CPUtime=0.19 cores=1,3,5,7
/proc/21461/task/21477/stat : 21477 (java) S 21459 21461 18146 0 -1 4202560 2224 0 0 0 19 0 0 0 20 0 19 0 281053072 9856004096 15017 33554432000 1073741824 1073778376 140733248601728 139681331088312 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21461/tid=21478] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21478/stat : 21478 (java) S 21459 21461 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281053072 9856004096 15017 33554432000 1073741824 1073778376 140733248601728 139680456633080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21461/tid=21479] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21479/stat : 21479 (java) S 21459 21461 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281053072 9856004096 15017 33554432000 1073741824 1073778376 140733248601728 139680455580744 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21480] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21480/stat : 21480 (java) S 21459 21461 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281053081 9856004096 15017 33554432000 1073741824 1073778376 140733248601728 139680454525992 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.53
Current children cumulated vsize (KiB) 9625004
[startup+6.30069 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 21480
/proc/meminfo: memFree=29786240/32873844 swapFree=7900/7900
[pid=21461] ppid=21459 vsize=9625004 CPUtime=6.79 cores=1,3,5,7
/proc/21461/stat : 21461 (java) S 21459 21461 18146 0 -1 4202496 7089 0 1 0 675 4 0 0 20 0 19 0 281053066 9856004096 17042 33554432000 1073741824 1073778376 140733248601728 140733248592864 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21461/statm: 2406251 17042 2278 9 0 2396937 0
[pid=21461/tid=21463] ppid=21459 vsize=9625004 CPUtime=6.02 cores=1,3,5,7
/proc/21461/task/21463/stat : 21463 (java) R 21459 21461 18146 0 -1 4202560 2523 0 1 0 601 1 0 0 20 0 19 0 281053067 9856004096 17042 33554432000 1073741824 1073778376 140733248601728 139681512452400 139681346343638 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21464] ppid=21459 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/21461/task/21464/stat : 21464 (java) S 21459 21461 18146 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 281053068 9856004096 17042 33554432000 1073741824 1073778376 140733248601728 139681473943976 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21461/tid=21465] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21465/stat : 21465 (java) S 21459 21461 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281053068 9856004096 17042 33554432000 1073741824 1073778376 140733248601728 139681472891432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21466] ppid=21459 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/21461/task/21466/stat : 21466 (java) S 21459 21461 18146 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 281053068 9856004096 17042 33554432000 1073741824 1073778376 140733248601728 139681471838376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21467] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21467/stat : 21467 (java) S 21459 21461 18146 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 281053068 9856004096 17042 33554432000 1073741824 1073778376 140733248601728 139681470785832 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21468] ppid=21459 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/21461/task/21468/stat : 21468 (java) S 21459 21461 18146 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 281053068 9856004096 17042 33554432000 1073741824 1073778376 140733248601728 139681469733800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21461/tid=21469] ppid=21459 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/21461/task/21469/stat : 21469 (java) S 21459 21461 18146 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 281053068 9856004096 17042 33554432000 1073741824 1073778376 140733248601728 139681468681256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21470] ppid=21459 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/21461/task/21470/stat : 21470 (java) S 21459 21461 18146 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 19 0 281053068 9856004096 17042 33554432000 1073741824 1073778376 140733248601728 139681467628200 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21461/tid=21471] ppid=21459 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/21461/task/21471/stat : 21471 (java) S 21459 21461 18146 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 281053068 9856004096 17042 33554432000 1073741824 1073778376 140733248601728 139681466575656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21472] ppid=21459 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/21461/task/21472/stat : 21472 (java) S 21459 21461 18146 0 -1 4202560 35 0 0 0 17 0 0 0 20 0 19 0 281053069 9856004096 17042 33554432000 1073741824 1073778376 140733248601728 139681336351080 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21473] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21473/stat : 21473 (java) S 21459 21461 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281053070 9856004096 17042 33554432000 1073741824 1073778376 140733248601728 139681335297400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21474] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21474/stat : 21474 (java) S 21459 21461 18146 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281053070 9856004096 17042 33554432000 1073741824 1073778376 140733248601728 139681334244232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21475] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21475/stat : 21475 (java) S 21459 21461 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281053072 9856004096 17042 33554432000 1073741824 1073778376 140733248601728 139681333192976 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21476] ppid=21459 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/21461/task/21476/stat : 21476 (java) S 21459 21461 18146 0 -1 4202560 1027 0 0 0 17 0 0 0 20 0 19 0 281053072 9856004096 17042 33554432000 1073741824 1073778376 140733248601728 139681332140856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21477] ppid=21459 vsize=9625004 CPUtime=0.19 cores=1,3,5,7
/proc/21461/task/21477/stat : 21477 (java) S 21459 21461 18146 0 -1 4202560 2224 0 0 0 19 0 0 0 20 0 19 0 281053072 9856004096 17042 33554432000 1073741824 1073778376 140733248601728 139681331088312 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21461/tid=21478] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21478/stat : 21478 (java) S 21459 21461 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281053072 9856004096 17042 33554432000 1073741824 1073778376 140733248601728 139680456633080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21461/tid=21479] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21479/stat : 21479 (java) S 21459 21461 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281053072 9856004096 17042 33554432000 1073741824 1073778376 140733248601728 139680455580744 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21480] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21480/stat : 21480 (java) S 21459 21461 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281053081 9856004096 17042 33554432000 1073741824 1073778376 140733248601728 139680454525992 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.79
Current children cumulated vsize (KiB) 9625004
Solver just ended. Dumping a history of the last processes samples
################
# More data... #
################
/proc/21461/task/21464/stat : 21464 (java) S 21459 21461 18146 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 281053068 9856004096 17054 33554432000 1073741824 1073778376 140733248601728 139681473943976 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21461/tid=21465] ppid=21459 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/21461/task/21465/stat : 21465 (java) S 21459 21461 18146 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 281053068 9856004096 17054 33554432000 1073741824 1073778376 140733248601728 139681472891432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21466] ppid=21459 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/21461/task/21466/stat : 21466 (java) S 21459 21461 18146 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 281053068 9856004096 17054 33554432000 1073741824 1073778376 140733248601728 139681471838376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21467] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21467/stat : 21467 (java) S 21459 21461 18146 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 281053068 9856004096 17054 33554432000 1073741824 1073778376 140733248601728 139681470785832 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21468] ppid=21459 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/21461/task/21468/stat : 21468 (java) S 21459 21461 18146 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 281053068 9856004096 17054 33554432000 1073741824 1073778376 140733248601728 139681469733800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21461/tid=21469] ppid=21459 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/21461/task/21469/stat : 21469 (java) S 21459 21461 18146 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 281053068 9856004096 17054 33554432000 1073741824 1073778376 140733248601728 139681468681256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21470] ppid=21459 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/21461/task/21470/stat : 21470 (java) S 21459 21461 18146 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 19 0 281053068 9856004096 17054 33554432000 1073741824 1073778376 140733248601728 139681467628200 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21471] ppid=21459 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/21461/task/21471/stat : 21471 (java) S 21459 21461 18146 0 -1 4202560 11 0 0 0 3 0 0 0 20 0 19 0 281053068 9856004096 17054 33554432000 1073741824 1073778376 140733248601728 139681466575656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21472] ppid=21459 vsize=9625004 CPUtime=0.2 cores=1,3,5,7
/proc/21461/task/21472/stat : 21472 (java) S 21459 21461 18146 0 -1 4202560 35 0 0 0 20 0 0 0 20 0 19 0 281053069 9856004096 17054 33554432000 1073741824 1073778376 140733248601728 139681336351080 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21461/tid=21473] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21473/stat : 21473 (java) S 21459 21461 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281053070 9856004096 17054 33554432000 1073741824 1073778376 140733248601728 139681335297400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21474] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21474/stat : 21474 (java) S 21459 21461 18146 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281053070 9856004096 17054 33554432000 1073741824 1073778376 140733248601728 139681334244232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21475] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21475/stat : 21475 (java) S 21459 21461 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281053072 9856004096 17054 33554432000 1073741824 1073778376 140733248601728 139681333192976 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21476] ppid=21459 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/21461/task/21476/stat : 21476 (java) S 21459 21461 18146 0 -1 4202560 1027 0 0 0 17 0 0 0 20 0 19 0 281053072 9856004096 17054 33554432000 1073741824 1073778376 140733248601728 139681332140856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21477] ppid=21459 vsize=9625004 CPUtime=0.19 cores=1,3,5,7
/proc/21461/task/21477/stat : 21477 (java) S 21459 21461 18146 0 -1 4202560 2224 0 0 0 19 0 0 0 20 0 19 0 281053072 9856004096 17054 33554432000 1073741824 1073778376 140733248601728 139681331088312 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21461/tid=21478] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21478/stat : 21478 (java) S 21459 21461 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281053072 9856004096 17054 33554432000 1073741824 1073778376 140733248601728 139680456633080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21461/tid=21479] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21479/stat : 21479 (java) S 21459 21461 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281053072 9856004096 17054 33554432000 1073741824 1073778376 140733248601728 139680455580744 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21480] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21480/stat : 21480 (java) S 21459 21461 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281053081 9856004096 17054 33554432000 1073741824 1073778376 140733248601728 139680454525992 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.42
Current children cumulated vsize (KiB) 9625004
[startup+9.50068 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 21480
/proc/meminfo: memFree=29784192/32873844 swapFree=7900/7900
[pid=21461] ppid=21459 vsize=9625004 CPUtime=10.05 cores=1,3,5,7
/proc/21461/stat : 21461 (java) S 21459 21461 18146 0 -1 4202496 7118 0 1 0 1000 5 0 0 20 0 19 0 281053066 9856004096 18598 33554432000 1073741824 1073778376 140733248601728 140733248592864 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21461/statm: 2406251 18598 2278 9 0 2396937 0
[pid=21461/tid=21463] ppid=21459 vsize=9625004 CPUtime=9.14 cores=1,3,5,7
/proc/21461/task/21463/stat : 21463 (java) R 21459 21461 18146 0 -1 4202560 2527 0 1 0 912 2 0 0 20 0 19 0 281053067 9856004096 18598 33554432000 1073741824 1073778376 140733248601728 139681512452400 139681346292289 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21464] ppid=21459 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/21461/task/21464/stat : 21464 (java) S 21459 21461 18146 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 281053068 9856004096 18598 33554432000 1073741824 1073778376 140733248601728 139681473943976 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21465] ppid=21459 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/21461/task/21465/stat : 21465 (java) S 21459 21461 18146 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 281053068 9856004096 18598 33554432000 1073741824 1073778376 140733248601728 139681472891432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21466] ppid=21459 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/21461/task/21466/stat : 21466 (java) S 21459 21461 18146 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 281053068 9856004096 18598 33554432000 1073741824 1073778376 140733248601728 139681471838376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21461/tid=21467] ppid=21459 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/21461/task/21467/stat : 21467 (java) S 21459 21461 18146 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 19 0 281053068 9856004096 18598 33554432000 1073741824 1073778376 140733248601728 139681470785832 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21468] ppid=21459 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/21461/task/21468/stat : 21468 (java) S 21459 21461 18146 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 19 0 281053068 9856004096 18598 33554432000 1073741824 1073778376 140733248601728 139681469733800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21461/tid=21469] ppid=21459 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/21461/task/21469/stat : 21469 (java) S 21459 21461 18146 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 281053068 9856004096 18598 33554432000 1073741824 1073778376 140733248601728 139681468681256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21470] ppid=21459 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/21461/task/21470/stat : 21470 (java) S 21459 21461 18146 0 -1 4202560 25 0 0 0 3 0 0 0 20 0 19 0 281053068 9856004096 18598 33554432000 1073741824 1073778376 140733248601728 139681467628200 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21471] ppid=21459 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/21461/task/21471/stat : 21471 (java) S 21459 21461 18146 0 -1 4202560 11 0 0 0 3 0 0 0 20 0 19 0 281053068 9856004096 18598 33554432000 1073741824 1073778376 140733248601728 139681466575656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21472] ppid=21459 vsize=9625004 CPUtime=0.22 cores=1,3,5,7
/proc/21461/task/21472/stat : 21472 (java) S 21459 21461 18146 0 -1 4202560 36 0 0 0 22 0 0 0 20 0 19 0 281053069 9856004096 18598 33554432000 1073741824 1073778376 140733248601728 139681336351080 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21473] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21473/stat : 21473 (java) S 21459 21461 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281053070 9856004096 18598 33554432000 1073741824 1073778376 140733248601728 139681335297400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21474] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21474/stat : 21474 (java) S 21459 21461 18146 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281053070 9856004096 18598 33554432000 1073741824 1073778376 140733248601728 139681334244232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21475] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21475/stat : 21475 (java) S 21459 21461 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281053072 9856004096 18598 33554432000 1073741824 1073778376 140733248601728 139681333192976 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21476] ppid=21459 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/21461/task/21476/stat : 21476 (java) S 21459 21461 18146 0 -1 4202560 1027 0 0 0 17 0 0 0 20 0 19 0 281053072 9856004096 18598 33554432000 1073741824 1073778376 140733248601728 139681332140856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21477] ppid=21459 vsize=9625004 CPUtime=0.19 cores=1,3,5,7
/proc/21461/task/21477/stat : 21477 (java) S 21459 21461 18146 0 -1 4202560 2224 0 0 0 19 0 0 0 20 0 19 0 281053072 9856004096 18598 33554432000 1073741824 1073778376 140733248601728 139681331088312 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21461/tid=21478] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21478/stat : 21478 (java) S 21459 21461 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281053072 9856004096 18598 33554432000 1073741824 1073778376 140733248601728 139680456633080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21461/tid=21479] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21479/stat : 21479 (java) S 21459 21461 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281053072 9856004096 18598 33554432000 1073741824 1073778376 140733248601728 139680455580744 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21480] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21480/stat : 21480 (java) S 21459 21461 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281053081 9856004096 18598 33554432000 1073741824 1073778376 140733248601728 139680454525992 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 10.05
Current children cumulated vsize (KiB) 9625004
[startup+10.3007 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 21480
/proc/meminfo: memFree=29780096/32873844 swapFree=7900/7900
[pid=21461] ppid=21459 vsize=9625004 CPUtime=10.87 cores=1,3,5,7
/proc/21461/stat : 21461 (java) S 21459 21461 18146 0 -1 4202496 7120 0 1 0 1082 5 0 0 20 0 19 0 281053066 9856004096 18599 33554432000 1073741824 1073778376 140733248601728 140733248592864 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21461/statm: 2406251 18599 2278 9 0 2396937 0
[pid=21461/tid=21463] ppid=21459 vsize=9625004 CPUtime=9.9 cores=1,3,5,7
/proc/21461/task/21463/stat : 21463 (java) R 21459 21461 18146 0 -1 4202560 2528 0 1 0 988 2 0 0 20 0 19 0 281053067 9856004096 18599 33554432000 1073741824 1073778376 140733248601728 139681512452400 139681346343638 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21464] ppid=21459 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/21461/task/21464/stat : 21464 (java) S 21459 21461 18146 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 281053068 9856004096 18599 33554432000 1073741824 1073778376 140733248601728 139681473943976 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21465] ppid=21459 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/21461/task/21465/stat : 21465 (java) S 21459 21461 18146 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 281053068 9856004096 18599 33554432000 1073741824 1073778376 140733248601728 139681472891432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21466] ppid=21459 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/21461/task/21466/stat : 21466 (java) S 21459 21461 18146 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 19 0 281053068 9856004096 18599 33554432000 1073741824 1073778376 140733248601728 139681471838376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21467] ppid=21459 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/21461/task/21467/stat : 21467 (java) S 21459 21461 18146 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 19 0 281053068 9856004096 18599 33554432000 1073741824 1073778376 140733248601728 139681470785832 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21468] ppid=21459 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/21461/task/21468/stat : 21468 (java) S 21459 21461 18146 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 19 0 281053068 9856004096 18599 33554432000 1073741824 1073778376 140733248601728 139681469733800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21461/tid=21469] ppid=21459 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/21461/task/21469/stat : 21469 (java) S 21459 21461 18146 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 281053068 9856004096 18599 33554432000 1073741824 1073778376 140733248601728 139681468681256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21470] ppid=21459 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/21461/task/21470/stat : 21470 (java) S 21459 21461 18146 0 -1 4202560 25 0 0 0 3 0 0 0 20 0 19 0 281053068 9856004096 18599 33554432000 1073741824 1073778376 140733248601728 139681467628200 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21461/tid=21471] ppid=21459 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/21461/task/21471/stat : 21471 (java) S 21459 21461 18146 0 -1 4202560 11 0 0 0 4 0 0 0 20 0 19 0 281053068 9856004096 18599 33554432000 1073741824 1073778376 140733248601728 139681466575656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21472] ppid=21459 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/21461/task/21472/stat : 21472 (java) S 21459 21461 18146 0 -1 4202560 36 0 0 0 25 0 0 0 20 0 19 0 281053069 9856004096 18599 33554432000 1073741824 1073778376 140733248601728 139681336351080 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21473] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21473/stat : 21473 (java) S 21459 21461 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281053070 9856004096 18599 33554432000 1073741824 1073778376 140733248601728 139681335297400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21474] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21474/stat : 21474 (java) S 21459 21461 18146 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281053070 9856004096 18599 33554432000 1073741824 1073778376 140733248601728 139681334244232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21475] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21475/stat : 21475 (java) S 21459 21461 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281053072 9856004096 18599 33554432000 1073741824 1073778376 140733248601728 139681333192976 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21476] ppid=21459 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/21461/task/21476/stat : 21476 (java) S 21459 21461 18146 0 -1 4202560 1027 0 0 0 17 0 0 0 20 0 19 0 281053072 9856004096 18599 33554432000 1073741824 1073778376 140733248601728 139681332140856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21477] ppid=21459 vsize=9625004 CPUtime=0.19 cores=1,3,5,7
/proc/21461/task/21477/stat : 21477 (java) S 21459 21461 18146 0 -1 4202560 2224 0 0 0 19 0 0 0 20 0 19 0 281053072 9856004096 18599 33554432000 1073741824 1073778376 140733248601728 139681331088312 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21461/tid=21478] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21478/stat : 21478 (java) S 21459 21461 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281053072 9856004096 18599 33554432000 1073741824 1073778376 140733248601728 139680456633080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21461/tid=21479] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21479/stat : 21479 (java) S 21459 21461 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281053072 9856004096 18599 33554432000 1073741824 1073778376 140733248601728 139680455580744 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21480] ppid=21459 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21480/stat : 21480 (java) S 21459 21461 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281053081 9856004096 18599 33554432000 1073741824 1073778376 140733248601728 139680454525992 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 10.87
Current children cumulated vsize (KiB) 9625004
[startup+10.5007 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 21480
/proc/meminfo: memFree=29780096/32873844 swapFree=7900/7900
[pid=21461] ppid=21459 vsize=9691568 CPUtime=11.07 cores=1,3,5,7
/proc/21461/stat : 21461 (java) S 21459 21461 18146 0 -1 4202496 7135 0 1 0 1102 5 0 0 20 0 20 0 281053066 9924165632 18614 33554432000 1073741824 1073778376 140733248601728 140733248592864 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21461/statm: 2422892 18614 2278 9 0 2413578 0
[pid=21461/tid=21463] ppid=21459 vsize=9691568 CPUtime=10.1 cores=1,3,5,7
/proc/21461/task/21463/stat : 21463 (java) S 21459 21461 18146 0 -1 4202560 2530 0 1 0 1008 2 0 0 20 0 20 0 281053067 9924165632 18614 33554432000 1073741824 1073778376 140733248601728 139681512452728 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21464] ppid=21459 vsize=9691568 CPUtime=0.02 cores=1,3,5,7
/proc/21461/task/21464/stat : 21464 (java) S 21459 21461 18146 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 20 0 281053068 9924165632 18614 33554432000 1073741824 1073778376 140733248601728 139681473943976 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21465] ppid=21459 vsize=9691568 CPUtime=0.02 cores=1,3,5,7
/proc/21461/task/21465/stat : 21465 (java) S 21459 21461 18146 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 20 0 281053068 9924165632 18614 33554432000 1073741824 1073778376 140733248601728 139681472891432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21466] ppid=21459 vsize=9691568 CPUtime=0.03 cores=1,3,5,7
/proc/21461/task/21466/stat : 21466 (java) S 21459 21461 18146 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 20 0 281053068 9924165632 18614 33554432000 1073741824 1073778376 140733248601728 139681471838376 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21467] ppid=21459 vsize=9691568 CPUtime=0.01 cores=1,3,5,7
/proc/21461/task/21467/stat : 21467 (java) S 21459 21461 18146 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 20 0 281053068 9924165632 18614 33554432000 1073741824 1073778376 140733248601728 139681470785832 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21468] ppid=21459 vsize=9691568 CPUtime=0.03 cores=1,3,5,7
/proc/21461/task/21468/stat : 21468 (java) S 21459 21461 18146 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 20 0 281053068 9924165632 18614 33554432000 1073741824 1073778376 140733248601728 139681469733800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21461/tid=21469] ppid=21459 vsize=9691568 CPUtime=0.02 cores=1,3,5,7
/proc/21461/task/21469/stat : 21469 (java) S 21459 21461 18146 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 20 0 281053068 9924165632 18614 33554432000 1073741824 1073778376 140733248601728 139681468681256 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21470] ppid=21459 vsize=9691568 CPUtime=0.03 cores=1,3,5,7
/proc/21461/task/21470/stat : 21470 (java) S 21459 21461 18146 0 -1 4202560 25 0 0 0 3 0 0 0 20 0 20 0 281053068 9924165632 18614 33554432000 1073741824 1073778376 140733248601728 139681467628200 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21461/tid=21471] ppid=21459 vsize=9691568 CPUtime=0.04 cores=1,3,5,7
/proc/21461/task/21471/stat : 21471 (java) S 21459 21461 18146 0 -1 4202560 11 0 0 0 4 0 0 0 20 0 20 0 281053068 9924165632 18614 33554432000 1073741824 1073778376 140733248601728 139681466575656 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21472] ppid=21459 vsize=9691568 CPUtime=0.25 cores=1,3,5,7
/proc/21461/task/21472/stat : 21472 (java) S 21459 21461 18146 0 -1 4202560 36 0 0 0 25 0 0 0 20 0 20 0 281053069 9924165632 18614 33554432000 1073741824 1073778376 140733248601728 139681336351080 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21473] ppid=21459 vsize=9691568 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21473/stat : 21473 (java) S 21459 21461 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 281053070 9924165632 18614 33554432000 1073741824 1073778376 140733248601728 139681335297400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21474] ppid=21459 vsize=9691568 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21474/stat : 21474 (java) S 21459 21461 18146 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 281053070 9924165632 18614 33554432000 1073741824 1073778376 140733248601728 139681334244232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21475] ppid=21459 vsize=9691568 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21475/stat : 21475 (java) S 21459 21461 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 281053072 9924165632 18614 33554432000 1073741824 1073778376 140733248601728 139681333192976 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21476] ppid=21459 vsize=9691568 CPUtime=0.17 cores=1,3,5,7
/proc/21461/task/21476/stat : 21476 (java) R 21459 21461 18146 0 -1 4202560 1029 0 0 0 17 0 0 0 20 0 20 0 281053072 9924165632 18614 33554432000 1073741824 1073778376 140733248601728 139681332140856 139681515327632 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21461/tid=21477] ppid=21459 vsize=9691568 CPUtime=0.19 cores=1,3,5,7
/proc/21461/task/21477/stat : 21477 (java) S 21459 21461 18146 0 -1 4202560 2227 0 0 0 19 0 0 0 20 0 20 0 281053072 9924165632 18614 33554432000 1073741824 1073778376 140733248601728 139681331088312 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21461/tid=21478] ppid=21459 vsize=9691568 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21478/stat : 21478 (java) S 21459 21461 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 281053072 9924165632 18614 33554432000 1073741824 1073778376 140733248601728 139680456633080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21461/tid=21479] ppid=21459 vsize=9691568 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21479/stat : 21479 (java) S 21459 21461 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 281053072 9924165632 18614 33554432000 1073741824 1073778376 140733248601728 139680455580744 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21461/tid=21480] ppid=21459 vsize=9691568 CPUtime=0 cores=1,3,5,7
/proc/21461/task/21480/stat : 21480 (java) S 21459 21461 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 281053081 9924165632 18614 33554432000 1073741824 1073778376 140733248601728 139680454525992 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 11.07
Current children cumulated vsize (KiB) 9691568
Child status: 10
Real time (s): 10.5211
CPU time (s): 11.1843
CPU user time (s): 11.0293
CPU system time (s): 0.154976
CPU usage (%): 106.303
Max. virtual memory (cumulated for all children) (KiB): 9691568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.0293
system time used= 0.154976
maximum resident set size= 74504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7151
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 894
involuntary context switches= 730
runsolver used 0.052991 second user time and 0.108983 second system time
The end