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-3738268-1338725013/watcher-3738268-1338725013 -o /tmp/evaluation-result-3738268-1338725013/solver-3738268-1338725013 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3738268-1338725013.opb
running on 4 cores: 0,2,4,6
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: 3.27 3.47 3.57 2/194 18488
/proc/meminfo: memFree=26115464/32873648 swapFree=6864/6864
[pid=18488] ppid=18486 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/18488/stat : 18488 (java) R 18486 18488 12644 0 -1 4202496 984 0 0 0 0 0 0 0 20 0 1 0 338626682 23793664 713 33554432000 1073741824 1073778376 140737074794672 140737074783736 270698378194 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18488/statm: 5809 713 528 9 0 128 0
[startup+0.0269281 s]
/proc/loadavg: 3.27 3.47 3.57 2/194 18488
/proc/meminfo: memFree=26115464/32873648 swapFree=6864/6864
[pid=18488] ppid=18486 vsize=11044572 CPUtime=0.01 cores=0,2,4,6
/proc/18488/stat : 18488 (java) S 18486 18488 12644 0 -1 4202496 3528 0 1 0 0 1 0 0 20 0 10 0 338626682 11309641728 11383 33554432000 1073741824 1073778376 140737074794672 140737074785808 270710898749 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18488/statm: 2761143 11384 1539 9 0 2751844 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11044572
[startup+0.100255 s]
/proc/loadavg: 3.27 3.47 3.57 2/194 18488
/proc/meminfo: memFree=26115464/32873648 swapFree=6864/6864
[pid=18488] ppid=18486 vsize=11586392 CPUtime=0.1 cores=0,2,4,6
/proc/18488/stat : 18488 (java) S 18486 18488 12644 0 -1 4202496 4791 0 1 0 9 1 0 0 20 0 18 0 338626682 11864465408 14161 33554432000 1073741824 1073778376 140737074794672 140737074785808 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18488/statm: 2896598 14161 2116 9 0 2887285 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11586392
[startup+0.300164 s]
/proc/loadavg: 3.27 3.47 3.57 2/194 18488
/proc/meminfo: memFree=26115464/32873648 swapFree=6864/6864
[pid=18488] ppid=18486 vsize=11586392 CPUtime=0.49 cores=0,2,4,6
/proc/18488/stat : 18488 (java) S 18486 18488 12644 0 -1 4202496 5915 0 1 0 47 2 0 0 20 0 18 0 338626682 11864465408 16970 33554432000 1073741824 1073778376 140737074794672 140737074785808 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18488/statm: 2896598 16970 2225 9 0 2887285 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 11586392
[startup+0.700104 s]
/proc/loadavg: 3.27 3.47 3.57 2/194 18488
/proc/meminfo: memFree=26115464/32873648 swapFree=6864/6864
[pid=18488] ppid=18486 vsize=11852648 CPUtime=1.19 cores=0,2,4,6
/proc/18488/stat : 18488 (java) S 18486 18488 12644 0 -1 4202496 8780 0 1 0 115 4 0 0 20 0 22 0 338626682 12137111552 59478 33554432000 1073741824 1073778376 140737074794672 140737074785808 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18488/statm: 2963162 59478 2250 9 0 2953849 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 11852648
[startup+1.50056 s]
/proc/loadavg: 3.17 3.45 3.56 1/213 18516
/proc/meminfo: memFree=25815832/32873648 swapFree=6864/6864
[pid=18488] ppid=18486 vsize=11852648 CPUtime=1.7 cores=0,2,4,6
/proc/18488/stat : 18488 (java) S 18486 18488 12644 0 -1 4202496 12459 0 1 0 161 9 0 0 20 0 19 0 338626682 12137111552 62774 33554432000 1073741824 1073778376 140737074794672 140737074785808 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18488/statm: 2963162 62774 2261 9 0 2953849 0
[pid=18488/tid=18490] ppid=18486 vsize=11852648 CPUtime=0.66 cores=0,2,4,6
/proc/18488/task/18490/stat : 18490 (java) S 18486 18488 12644 0 -1 4202560 2946 0 1 0 62 4 0 0 20 0 19 0 338626683 12137111552 62774 33554432000 1073741824 1073778376 140737074794672 139810482959512 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18491] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18491/stat : 18491 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338626684 12137111552 62774 33554432000 1073741824 1073778376 140737074794672 139810451369000 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18492] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18492/stat : 18492 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338626684 12137111552 62774 33554432000 1073741824 1073778376 140737074794672 139810450316200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18493] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18493/stat : 18493 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338626684 12137111552 62774 33554432000 1073741824 1073778376 140737074794672 139810449263400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18488/tid=18494] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18494/stat : 18494 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338626684 12137111552 62774 33554432000 1073741824 1073778376 140737074794672 139810448210600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18488/tid=18495] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18495/stat : 18495 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338626684 12137111552 62774 33554432000 1073741824 1073778376 140737074794672 139810315405864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18496] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18496/stat : 18496 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338626684 12137111552 62774 33554432000 1073741824 1073778376 140737074794672 139810314353064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18488/tid=18497] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18497/stat : 18497 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338626684 12137111552 62774 33554432000 1073741824 1073778376 140737074794672 139809976740136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18498] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18498/stat : 18498 (java) S 18486 18488 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338626684 12137111552 62774 33554432000 1073741824 1073778376 140737074794672 139809975687336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18499] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18499/stat : 18499 (java) S 18486 18488 12644 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 338626685 12137111552 62774 33554432000 1073741824 1073778376 140737074794672 139809963490280 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18500] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18500/stat : 18500 (java) S 18486 18488 12644 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338626686 12137111552 62774 33554432000 1073741824 1073778376 140737074794672 139809962436344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18501] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18501/stat : 18501 (java) S 18486 18488 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338626686 12137111552 62774 33554432000 1073741824 1073778376 140737074794672 139809961383432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18502] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18502/stat : 18502 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338626688 12137111552 62774 33554432000 1073741824 1073778376 140737074794672 139809960331920 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18503] ppid=18486 vsize=11852648 CPUtime=0.4 cores=0,2,4,6
/proc/18488/task/18503/stat : 18503 (java) S 18486 18488 12644 0 -1 4202560 4879 0 0 0 40 0 0 0 20 0 19 0 338626688 12137111552 62774 33554432000 1073741824 1073778376 140737074794672 139809959279032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18504] ppid=18486 vsize=11852648 CPUtime=0.41 cores=0,2,4,6
/proc/18488/task/18504/stat : 18504 (java) S 18486 18488 12644 0 -1 4202560 3333 0 0 0 41 0 0 0 20 0 19 0 338626688 12137111552 62774 33554432000 1073741824 1073778376 140737074794672 139809958226232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18488/tid=18505] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18505/stat : 18505 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338626688 12137111552 62774 33554432000 1073741824 1073778376 140737074794672 139809957173624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18488/tid=18506] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18506/stat : 18506 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338626688 12137111552 62774 33554432000 1073741824 1073778376 140737074794672 139809956121032 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18512] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18512/stat : 18512 (java) S 18486 18488 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338626751 12137111552 62774 33554432000 1073741824 1073778376 140737074794672 139809952961960 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 11852648
[startup+3.10055 s]
/proc/loadavg: 3.17 3.45 3.56 2/213 18525
/proc/meminfo: memFree=25615196/32873648 swapFree=6864/6864
[pid=18488] ppid=18486 vsize=11852648 CPUtime=2.11 cores=0,2,4,6
/proc/18488/stat : 18488 (java) S 18486 18488 12644 0 -1 4202496 12778 0 1 0 196 15 0 0 20 0 19 0 338626682 12137111552 65968 33554432000 1073741824 1073778376 140737074794672 140737074785808 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18488/statm: 2963162 65968 2264 9 0 2953849 0
[pid=18488/tid=18490] ppid=18486 vsize=11852648 CPUtime=0.67 cores=0,2,4,6
/proc/18488/task/18490/stat : 18490 (java) S 18486 18488 12644 0 -1 4202560 2946 0 1 0 63 4 0 0 20 0 19 0 338626683 12137111552 65968 33554432000 1073741824 1073778376 140737074794672 139810482959512 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18491] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18491/stat : 18491 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338626684 12137111552 65968 33554432000 1073741824 1073778376 140737074794672 139810451369000 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18492] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18492/stat : 18492 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338626684 12137111552 65968 33554432000 1073741824 1073778376 140737074794672 139810450316200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18493] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18493/stat : 18493 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338626684 12137111552 65968 33554432000 1073741824 1073778376 140737074794672 139810449263400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18488/tid=18494] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18494/stat : 18494 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338626684 12137111552 65968 33554432000 1073741824 1073778376 140737074794672 139810448210600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18488/tid=18495] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18495/stat : 18495 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338626684 12137111552 65968 33554432000 1073741824 1073778376 140737074794672 139810315405864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18496] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18496/stat : 18496 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338626684 12137111552 65968 33554432000 1073741824 1073778376 140737074794672 139810314353064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18488/tid=18497] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18497/stat : 18497 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338626684 12137111552 65968 33554432000 1073741824 1073778376 140737074794672 139809976740136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18498] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18498/stat : 18498 (java) S 18486 18488 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338626684 12137111552 65968 33554432000 1073741824 1073778376 140737074794672 139809975687336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18499] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18499/stat : 18499 (java) S 18486 18488 12644 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 338626685 12137111552 65968 33554432000 1073741824 1073778376 140737074794672 139809963490280 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18500] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18500/stat : 18500 (java) S 18486 18488 12644 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338626686 12137111552 65968 33554432000 1073741824 1073778376 140737074794672 139809962436344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18501] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18501/stat : 18501 (java) S 18486 18488 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338626686 12137111552 65968 33554432000 1073741824 1073778376 140737074794672 139809961383432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18502] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18502/stat : 18502 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338626688 12137111552 65968 33554432000 1073741824 1073778376 140737074794672 139809960331920 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18503] ppid=18486 vsize=11852648 CPUtime=0.56 cores=0,2,4,6
/proc/18488/task/18503/stat : 18503 (java) S 18486 18488 12644 0 -1 4202560 4979 0 0 0 56 0 0 0 20 0 19 0 338626688 12137111552 65968 33554432000 1073741824 1073778376 140737074794672 139809959279032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18504] ppid=18486 vsize=11852648 CPUtime=0.5 cores=0,2,4,6
/proc/18488/task/18504/stat : 18504 (java) S 18486 18488 12644 0 -1 4202560 3523 0 0 0 50 0 0 0 20 0 19 0 338626688 12137111552 65968 33554432000 1073741824 1073778376 140737074794672 139809958226232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18488/tid=18505] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18505/stat : 18505 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338626688 12137111552 65968 33554432000 1073741824 1073778376 140737074794672 139809957173624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18488/tid=18506] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18506/stat : 18506 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338626688 12137111552 65968 33554432000 1073741824 1073778376 140737074794672 139809956121032 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18512] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18512/stat : 18512 (java) S 18486 18488 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338626751 12137111552 65968 33554432000 1073741824 1073778376 140737074794672 139809952961960 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 11852648
heavy processes:
[startup+6.30075 s]
/proc/loadavg: 3.08 3.43 3.55 3/216 18618
/proc/meminfo: memFree=25731244/32873648 swapFree=6864/6864
[pid=18488] ppid=18486 vsize=11852648 CPUtime=5.89 cores=0,2,4,6
/proc/18488/stat : 18488 (java) S 18486 18488 12644 0 -1 4202496 17163 0 1 0 562 27 0 0 20 0 22 0 338626682 12137111552 131535 33554432000 1073741824 1073778376 140737074794672 140737074785808 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18488/statm: 2963162 131535 2293 9 0 2953849 0
[pid=18488/tid=18490] ppid=18486 vsize=11852648 CPUtime=0.67 cores=0,2,4,6
/proc/18488/task/18490/stat : 18490 (java) S 18486 18488 12644 0 -1 4202560 2949 0 1 0 63 4 0 0 20 0 22 0 338626683 12137111552 131535 33554432000 1073741824 1073778376 140737074794672 139810482959528 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18491] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18491/stat : 18491 (java) S 18486 18488 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338626684 12137111552 131535 33554432000 1073741824 1073778376 140737074794672 139810451369000 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18492] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18492/stat : 18492 (java) S 18486 18488 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338626684 12137111552 131535 33554432000 1073741824 1073778376 140737074794672 139810450316200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18488/tid=18493] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18493/stat : 18493 (java) S 18486 18488 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 338626684 12137111552 131535 33554432000 1073741824 1073778376 140737074794672 139810449263400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18488/tid=18494] ppid=18486 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/18488/task/18494/stat : 18494 (java) S 18486 18488 12644 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 338626684 12137111552 131535 33554432000 1073741824 1073778376 140737074794672 139810448210600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18495] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18495/stat : 18495 (java) S 18486 18488 12644 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 338626684 12137111552 131535 33554432000 1073741824 1073778376 140737074794672 139810315405864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18488/tid=18496] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18496/stat : 18496 (java) S 18486 18488 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338626684 12137111552 131535 33554432000 1073741824 1073778376 140737074794672 139810314353064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18488/tid=18497] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18497/stat : 18497 (java) S 18486 18488 12644 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 338626684 12137111552 131535 33554432000 1073741824 1073778376 140737074794672 139809976740136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18488/tid=18498] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18498/stat : 18498 (java) S 18486 18488 12644 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 338626684 12137111552 131535 33554432000 1073741824 1073778376 140737074794672 139809975687336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18488/tid=18499] ppid=18486 vsize=11852648 CPUtime=0.11 cores=0,2,4,6
/proc/18488/task/18499/stat : 18499 (java) S 18486 18488 12644 0 -1 4202560 39 0 0 0 11 0 0 0 20 0 22 0 338626685 12137111552 131535 33554432000 1073741824 1073778376 140737074794672 139809963490280 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18500] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18500/stat : 18500 (java) S 18486 18488 12644 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 338626686 12137111552 131535 33554432000 1073741824 1073778376 140737074794672 139809962436344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18501] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18501/stat : 18501 (java) S 18486 18488 12644 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 338626686 12137111552 131535 33554432000 1073741824 1073778376 140737074794672 139809961383432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18502] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18502/stat : 18502 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338626688 12137111552 131535 33554432000 1073741824 1073778376 140737074794672 139809960331920 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18503] ppid=18486 vsize=11852648 CPUtime=1.09 cores=0,2,4,6
/proc/18488/task/18503/stat : 18503 (java) S 18486 18488 12644 0 -1 4202560 7195 0 0 0 107 2 0 0 20 0 22 0 338626688 12137111552 131535 33554432000 1073741824 1073778376 140737074794672 139809959279032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18504] ppid=18486 vsize=11852648 CPUtime=0.91 cores=0,2,4,6
/proc/18488/task/18504/stat : 18504 (java) S 18486 18488 12644 0 -1 4202560 5437 0 0 0 91 0 0 0 20 0 22 0 338626688 12137111552 131535 33554432000 1073741824 1073778376 140737074794672 139809958226232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18488/tid=18505] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18505/stat : 18505 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338626688 12137111552 131535 33554432000 1073741824 1073778376 140737074794672 139809957173624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18488/tid=18506] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18506/stat : 18506 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338626688 12137111552 131535 33554432000 1073741824 1073778376 140737074794672 139809956121032 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18512] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18512/stat : 18512 (java) S 18486 18488 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338626751 12137111552 131535 33554432000 1073741824 1073778376 140737074794672 139809952961960 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18488/tid=18613] ppid=18486 vsize=11852648 CPUtime=0.94 cores=0,2,4,6
/proc/18488/task/18613/stat : 18613 (java) R 18486 18488 12644 0 -1 4202560 8 0 0 0 94 0 0 0 20 0 22 0 338627202 12137111552 131535 33554432000 1073741824 1073778376 140737074794672 139809951908424 139810329755069 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18488/tid=18614] ppid=18486 vsize=11852648 CPUtime=0.94 cores=0,2,4,6
################
# More data... #
################
/proc/18488/task/18498/stat : 18498 (java) S 18486 18488 12644 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 338626684 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139809975687336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18488/tid=18499] ppid=18486 vsize=11852648 CPUtime=0.74 cores=0,2,4,6
/proc/18488/task/18499/stat : 18499 (java) S 18486 18488 12644 0 -1 4202560 46 0 0 0 74 0 0 0 20 0 22 0 338626685 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139809963490280 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18500] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18500/stat : 18500 (java) S 18486 18488 12644 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 338626686 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139809962436344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18501] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18501/stat : 18501 (java) S 18486 18488 12644 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 338626686 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139809961383432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18502] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18502/stat : 18502 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338626688 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139809960331920 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18503] ppid=18486 vsize=11852648 CPUtime=1.1 cores=0,2,4,6
/proc/18488/task/18503/stat : 18503 (java) S 18486 18488 12644 0 -1 4202560 7196 0 0 0 108 2 0 0 20 0 22 0 338626688 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139809959279032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18504] ppid=18486 vsize=11852648 CPUtime=0.99 cores=0,2,4,6
/proc/18488/task/18504/stat : 18504 (java) S 18486 18488 12644 0 -1 4202560 5438 0 0 0 99 0 0 0 20 0 22 0 338626688 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139809958226232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18505] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18505/stat : 18505 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338626688 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139809957173624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18488/tid=18506] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18506/stat : 18506 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338626688 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139809956121032 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18512] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18512/stat : 18512 (java) S 18486 18488 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338626751 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139809952961960 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18488/tid=18643] ppid=18486 vsize=11852648 CPUtime=2.54 cores=0,2,4,6
/proc/18488/task/18643/stat : 18643 (java) R 18486 18488 12644 0 -1 4202560 6 0 0 0 254 0 0 0 20 0 22 0 338627658 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139809954013384 139810330009459 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18488/tid=18644] ppid=18486 vsize=11852648 CPUtime=2.55 cores=0,2,4,6
/proc/18488/task/18644/stat : 18644 (java) R 18486 18488 12644 0 -1 4202560 78 0 0 0 252 3 0 0 20 0 22 0 338627658 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139809951907000 139810329571296 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18645] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18645/stat : 18645 (java) S 18486 18488 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338627658 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139809955067432 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 17.57
Current children cumulated vsize (KiB) 11852648
Solver just ended. Dumping a history of the last processes samples
[startup+13.1008 s]
/proc/loadavg: 3.07 3.42 3.54 3/216 18714
/proc/meminfo: memFree=25332992/32873648 swapFree=6864/6864
[pid=18488] ppid=18486 vsize=11852648 CPUtime=18.38 cores=0,2,4,6
/proc/18488/stat : 18488 (java) S 18486 18488 12644 0 -1 4202496 17356 0 1 0 1803 35 0 0 20 0 22 0 338626682 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 140737074785808 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18488/statm: 2963162 204783 2293 9 0 2953849 0
[pid=18488/tid=18490] ppid=18486 vsize=11852648 CPUtime=0.67 cores=0,2,4,6
/proc/18488/task/18490/stat : 18490 (java) S 18486 18488 12644 0 -1 4202560 2952 0 1 0 63 4 0 0 20 0 22 0 338626683 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139810482959528 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18491] ppid=18486 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/18488/task/18491/stat : 18491 (java) S 18486 18488 12644 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 22 0 338626684 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139810451369000 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18492] ppid=18486 vsize=11852648 CPUtime=0.03 cores=0,2,4,6
/proc/18488/task/18492/stat : 18492 (java) S 18486 18488 12644 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 22 0 338626684 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139810450316200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18488/tid=18493] ppid=18486 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/18488/task/18493/stat : 18493 (java) S 18486 18488 12644 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 338626684 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139810449263400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18488/tid=18494] ppid=18486 vsize=11852648 CPUtime=0.03 cores=0,2,4,6
/proc/18488/task/18494/stat : 18494 (java) S 18486 18488 12644 0 -1 4202560 29 0 0 0 3 0 0 0 20 0 22 0 338626684 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139810448210600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18495] ppid=18486 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/18488/task/18495/stat : 18495 (java) S 18486 18488 12644 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 338626684 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139810315405864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18488/tid=18496] ppid=18486 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/18488/task/18496/stat : 18496 (java) S 18486 18488 12644 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 22 0 338626684 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139810314353064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18488/tid=18497] ppid=18486 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/18488/task/18497/stat : 18497 (java) S 18486 18488 12644 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 338626684 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139809976740136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18498] ppid=18486 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/18488/task/18498/stat : 18498 (java) S 18486 18488 12644 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 338626684 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139809975687336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18488/tid=18499] ppid=18486 vsize=11852648 CPUtime=0.74 cores=0,2,4,6
/proc/18488/task/18499/stat : 18499 (java) S 18486 18488 12644 0 -1 4202560 46 0 0 0 74 0 0 0 20 0 22 0 338626685 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139809963490280 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18500] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18500/stat : 18500 (java) S 18486 18488 12644 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 338626686 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139809962436344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18501] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18501/stat : 18501 (java) S 18486 18488 12644 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 338626686 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139809961383432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18502] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18502/stat : 18502 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338626688 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139809960331920 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18503] ppid=18486 vsize=11852648 CPUtime=1.1 cores=0,2,4,6
/proc/18488/task/18503/stat : 18503 (java) S 18486 18488 12644 0 -1 4202560 7196 0 0 0 108 2 0 0 20 0 22 0 338626688 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139809959279032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18504] ppid=18486 vsize=11852648 CPUtime=0.99 cores=0,2,4,6
/proc/18488/task/18504/stat : 18504 (java) S 18486 18488 12644 0 -1 4202560 5438 0 0 0 99 0 0 0 20 0 22 0 338626688 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139809958226232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18505] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18505/stat : 18505 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338626688 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139809957173624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18488/tid=18506] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18506/stat : 18506 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338626688 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139809956121032 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18512] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18512/stat : 18512 (java) S 18486 18488 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338626751 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139809952961960 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18488/tid=18643] ppid=18486 vsize=11852648 CPUtime=2.95 cores=0,2,4,6
/proc/18488/task/18643/stat : 18643 (java) R 18486 18488 12644 0 -1 4202560 6 0 0 0 295 0 0 0 20 0 22 0 338627658 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139809954013264 139810330009536 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18488/tid=18644] ppid=18486 vsize=11852648 CPUtime=2.95 cores=0,2,4,6
/proc/18488/task/18644/stat : 18644 (java) R 18486 18488 12644 0 -1 4202560 78 0 0 0 292 3 0 0 20 0 22 0 338627658 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139809951906880 139810330002634 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18645] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18645/stat : 18645 (java) S 18486 18488 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338627658 12137111552 204783 33554432000 1073741824 1073778376 140737074794672 139809955067432 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 18.38
Current children cumulated vsize (KiB) 11852648
[startup+13.3006 s]
/proc/loadavg: 3.07 3.42 3.54 3/216 18714
/proc/meminfo: memFree=25332992/32873648 swapFree=6864/6864
[pid=18488] ppid=18486 vsize=11852648 CPUtime=18.45 cores=0,2,4,6
/proc/18488/stat : 18488 (java) S 18486 18488 12644 0 -1 4202496 17356 0 1 0 1808 37 0 0 20 0 19 0 338626682 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 140737074785808 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18488/statm: 2963162 204776 2293 9 0 2953849 0
[pid=18488/tid=18490] ppid=18486 vsize=11852648 CPUtime=0.67 cores=0,2,4,6
/proc/18488/task/18490/stat : 18490 (java) S 18486 18488 12644 0 -1 4202560 2952 0 1 0 63 4 0 0 20 0 19 0 338626683 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139810482959528 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18491] ppid=18486 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/18488/task/18491/stat : 18491 (java) S 18486 18488 12644 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 338626684 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139810451369000 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18492] ppid=18486 vsize=11852648 CPUtime=0.03 cores=0,2,4,6
/proc/18488/task/18492/stat : 18492 (java) S 18486 18488 12644 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 19 0 338626684 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139810450316200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18488/tid=18493] ppid=18486 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/18488/task/18493/stat : 18493 (java) S 18486 18488 12644 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 338626684 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139810449263400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18488/tid=18494] ppid=18486 vsize=11852648 CPUtime=0.03 cores=0,2,4,6
/proc/18488/task/18494/stat : 18494 (java) S 18486 18488 12644 0 -1 4202560 29 0 0 0 3 0 0 0 20 0 19 0 338626684 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139810448210600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18495] ppid=18486 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/18488/task/18495/stat : 18495 (java) S 18486 18488 12644 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 338626684 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139810315405864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18488/tid=18496] ppid=18486 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/18488/task/18496/stat : 18496 (java) S 18486 18488 12644 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 338626684 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139810314353064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18488/tid=18497] ppid=18486 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/18488/task/18497/stat : 18497 (java) S 18486 18488 12644 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 338626684 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139809976740136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18498] ppid=18486 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/18488/task/18498/stat : 18498 (java) S 18486 18488 12644 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 338626684 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139809975687336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18488/tid=18499] ppid=18486 vsize=11852648 CPUtime=0.74 cores=0,2,4,6
/proc/18488/task/18499/stat : 18499 (java) S 18486 18488 12644 0 -1 4202560 46 0 0 0 74 0 0 0 20 0 19 0 338626685 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139809963490280 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18500] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18500/stat : 18500 (java) S 18486 18488 12644 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 338626686 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139809962436344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18501] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18501/stat : 18501 (java) S 18486 18488 12644 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 338626686 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139809961383432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18502] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18502/stat : 18502 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338626688 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139809960331920 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18503] ppid=18486 vsize=11852648 CPUtime=1.1 cores=0,2,4,6
/proc/18488/task/18503/stat : 18503 (java) S 18486 18488 12644 0 -1 4202560 7196 0 0 0 108 2 0 0 20 0 19 0 338626688 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139809959279032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18504] ppid=18486 vsize=11852648 CPUtime=0.99 cores=0,2,4,6
/proc/18488/task/18504/stat : 18504 (java) S 18486 18488 12644 0 -1 4202560 5438 0 0 0 99 0 0 0 20 0 19 0 338626688 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139809958226232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18505] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18505/stat : 18505 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338626688 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139809957173624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18488/tid=18506] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18506/stat : 18506 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338626688 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139809956121032 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18512] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18512/stat : 18512 (java) S 18486 18488 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338626751 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139809952961960 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 18.45
Current children cumulated vsize (KiB) 11852648
[startup+13.4007 s]
/proc/loadavg: 3.07 3.42 3.54 3/216 18714
/proc/meminfo: memFree=25332992/32873648 swapFree=6864/6864
[pid=18488] ppid=18486 vsize=11852648 CPUtime=18.51 cores=0,2,4,6
/proc/18488/stat : 18488 (java) S 18486 18488 12644 0 -1 4202496 17356 0 1 0 1814 37 0 0 20 0 19 0 338626682 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 140737074785808 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18488/statm: 2963162 204776 2293 9 0 2953849 0
[pid=18488/tid=18490] ppid=18486 vsize=11852648 CPUtime=0.72 cores=0,2,4,6
/proc/18488/task/18490/stat : 18490 (java) R 18486 18488 12644 0 -1 4202560 2952 0 1 0 68 4 0 0 20 0 19 0 338626683 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139810482958992 139810329335728 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18488/tid=18491] ppid=18486 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/18488/task/18491/stat : 18491 (java) S 18486 18488 12644 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 338626684 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139810451369000 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18492] ppid=18486 vsize=11852648 CPUtime=0.03 cores=0,2,4,6
/proc/18488/task/18492/stat : 18492 (java) S 18486 18488 12644 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 19 0 338626684 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139810450316200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18488/tid=18493] ppid=18486 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/18488/task/18493/stat : 18493 (java) S 18486 18488 12644 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 338626684 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139810449263400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18488/tid=18494] ppid=18486 vsize=11852648 CPUtime=0.03 cores=0,2,4,6
/proc/18488/task/18494/stat : 18494 (java) S 18486 18488 12644 0 -1 4202560 29 0 0 0 3 0 0 0 20 0 19 0 338626684 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139810448210600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18495] ppid=18486 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/18488/task/18495/stat : 18495 (java) S 18486 18488 12644 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 338626684 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139810315405864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18488/tid=18496] ppid=18486 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/18488/task/18496/stat : 18496 (java) S 18486 18488 12644 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 338626684 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139810314353064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18488/tid=18497] ppid=18486 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/18488/task/18497/stat : 18497 (java) S 18486 18488 12644 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 338626684 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139809976740136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18498] ppid=18486 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/18488/task/18498/stat : 18498 (java) S 18486 18488 12644 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 338626684 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139809975687336 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18488/tid=18499] ppid=18486 vsize=11852648 CPUtime=0.74 cores=0,2,4,6
/proc/18488/task/18499/stat : 18499 (java) S 18486 18488 12644 0 -1 4202560 46 0 0 0 74 0 0 0 20 0 19 0 338626685 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139809963490280 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18500] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18500/stat : 18500 (java) S 18486 18488 12644 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 338626686 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139809962436344 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18501] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18501/stat : 18501 (java) S 18486 18488 12644 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 338626686 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139809961383432 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18502] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18502/stat : 18502 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338626688 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139809960331920 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18503] ppid=18486 vsize=11852648 CPUtime=1.1 cores=0,2,4,6
/proc/18488/task/18503/stat : 18503 (java) S 18486 18488 12644 0 -1 4202560 7196 0 0 0 108 2 0 0 20 0 19 0 338626688 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139809959279032 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18488/tid=18504] ppid=18486 vsize=11852648 CPUtime=1 cores=0,2,4,6
/proc/18488/task/18504/stat : 18504 (java) S 18486 18488 12644 0 -1 4202560 5438 0 0 0 100 0 0 0 20 0 19 0 338626688 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139809958226232 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18505] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18505/stat : 18505 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338626688 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139809957173624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18488/tid=18506] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18506/stat : 18506 (java) S 18486 18488 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338626688 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139809956121032 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18488/tid=18512] ppid=18486 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/18488/task/18512/stat : 18512 (java) S 18486 18488 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338626751 12137111552 204776 33554432000 1073741824 1073778376 140737074794672 139809952961960 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 18.51
Current children cumulated vsize (KiB) 11852648
Child status: 30
Real time (s): 13.4662
CPU time (s): 18.6512
CPU user time (s): 18.1882
CPU system time (s): 0.462929
CPU usage (%): 138.503
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.1882
system time used= 0.462929
maximum resident set size= 819132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17365
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= 1178
involuntary context switches= 639
runsolver used 0.056991 second user time and 0.142978 second system time
The end