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-3741967-1338762857/watcher-3741967-1338762857 -o /tmp/evaluation-result-3741967-1338762857/solver-3741967-1338762857 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3741967-1338762857.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: 3.64 3.79 3.80 4/197 642
/proc/meminfo: memFree=23062248/32873648 swapFree=6852/6852
[pid=642] ppid=640 vsize=5632 CPUtime=0 cores=1,3,5,7
/proc/642/stat : 642 (java) R 640 642 30010 0 -1 4202496 102 0 0 0 0 0 0 0 20 0 1 0 342412477 5767168 55 33554432000 1073741824 1073778376 140736862279216 140736862276344 271778409767 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/642/statm: 2303 62 49 9 0 35 0
[startup+0.103371 s]
/proc/loadavg: 3.64 3.79 3.80 4/197 642
/proc/meminfo: memFree=23062248/32873648 swapFree=6852/6852
[pid=642] ppid=640 vsize=11586392 CPUtime=0.1 cores=1,3,5,7
/proc/642/stat : 642 (java) S 640 642 30010 0 -1 4202496 4707 0 1 0 8 2 0 0 20 0 18 0 342412477 11864465408 13566 33554432000 1073741824 1073778376 140733732463136 140733732454272 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/642/statm: 2896598 13572 2093 9 0 2887285 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11586392
[startup+0.200252 s]
/proc/loadavg: 3.64 3.79 3.80 4/197 642
/proc/meminfo: memFree=23062248/32873648 swapFree=6852/6852
[pid=642] ppid=640 vsize=11586392 CPUtime=0.26 cores=1,3,5,7
/proc/642/stat : 642 (java) S 640 642 30010 0 -1 4202496 5952 0 1 0 24 2 0 0 20 0 18 0 342412477 11864465408 15546 33554432000 1073741824 1073778376 140733732463136 140733732454272 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/642/statm: 2896598 15550 2195 9 0 2887285 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 11586392
[startup+0.300278 s]
/proc/loadavg: 3.64 3.79 3.80 4/197 642
/proc/meminfo: memFree=23062248/32873648 swapFree=6852/6852
[pid=642] ppid=640 vsize=11586392 CPUtime=0.55 cores=1,3,5,7
/proc/642/stat : 642 (java) S 640 642 30010 0 -1 4202496 7393 0 1 0 52 3 0 0 20 0 18 0 342412477 11864465408 18016 33554432000 1073741824 1073778376 140733732463136 140733732454272 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/642/statm: 2896598 18016 2224 9 0 2887285 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 11586392
[startup+0.700195 s]
/proc/loadavg: 3.64 3.79 3.80 4/197 642
/proc/meminfo: memFree=23062248/32873648 swapFree=6852/6852
[pid=642] ppid=640 vsize=11852648 CPUtime=1.91 cores=1,3,5,7
/proc/642/stat : 642 (java) S 640 642 30010 0 -1 4202496 11916 0 1 0 187 4 0 0 20 0 22 0 342412477 12137111552 28948 33554432000 1073741824 1073778376 140733732463136 140733732454272 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/642/statm: 2963162 28948 2261 9 0 2953849 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 11852648
[startup+1.5008 s]
/proc/loadavg: 3.64 3.79 3.80 6/219 664
/proc/meminfo: memFree=22856580/32873648 swapFree=6852/6852
[pid=642] ppid=640 vsize=11852648 CPUtime=4.49 cores=1,3,5,7
/proc/642/stat : 642 (java) S 640 642 30010 0 -1 4202496 24870 0 1 0 439 10 0 0 20 0 22 0 342412477 12137111552 81476 33554432000 1073741824 1073778376 140733732463136 140733732454272 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/642/statm: 2963162 81476 2266 9 0 2953849 0
[pid=642/tid=644] ppid=640 vsize=11852648 CPUtime=0.4 cores=1,3,5,7
/proc/642/task/644/stat : 644 (java) S 640 642 30010 0 -1 4202560 2884 0 1 0 38 2 0 0 20 0 22 0 342412478 12137111552 81476 33554432000 1073741824 1073778376 140733732463136 140499159192728 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=642/tid=645] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/645/stat : 645 (java) S 640 642 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342412480 12137111552 81476 33554432000 1073741824 1073778376 140733732463136 140499127601960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=642/tid=646] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/646/stat : 646 (java) S 640 642 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342412480 12137111552 81476 33554432000 1073741824 1073778376 140733732463136 140499126549160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=642/tid=647] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/647/stat : 647 (java) S 640 642 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342412480 12137111552 81476 33554432000 1073741824 1073778376 140733732463136 140499125496872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=642/tid=648] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/648/stat : 648 (java) S 640 642 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342412480 12137111552 81476 33554432000 1073741824 1073778376 140733732463136 140499124444072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=642/tid=649] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/649/stat : 649 (java) S 640 642 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342412480 12137111552 81476 33554432000 1073741824 1073778376 140733732463136 140499123390760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=642/tid=650] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/650/stat : 650 (java) S 640 642 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342412480 12137111552 81476 33554432000 1073741824 1073778376 140733732463136 140499122337960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=642/tid=651] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/651/stat : 651 (java) S 640 642 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342412480 12137111552 81476 33554432000 1073741824 1073778376 140733732463136 140499121285672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=642/tid=652] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/652/stat : 652 (java) S 640 642 30010 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342412480 12137111552 81476 33554432000 1073741824 1073778376 140733732463136 140499120232872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=642/tid=653] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/653/stat : 653 (java) S 640 642 30010 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342412481 12137111552 81476 33554432000 1073741824 1073778376 140733732463136 140498506316520 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=642/tid=654] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/654/stat : 654 (java) S 640 642 30010 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 342412481 12137111552 81476 33554432000 1073741824 1073778376 140733732463136 140498505262584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=642/tid=655] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/655/stat : 655 (java) S 640 642 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342412482 12137111552 81476 33554432000 1073741824 1073778376 140733732463136 140498504210184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=642/tid=656] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/656/stat : 656 (java) S 640 642 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342412484 12137111552 81476 33554432000 1073741824 1073778376 140733732463136 140498503158672 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=642/tid=657] ppid=640 vsize=11852648 CPUtime=0.97 cores=1,3,5,7
/proc/642/task/657/stat : 657 (java) S 640 642 30010 0 -1 4202560 8551 0 0 0 94 3 0 0 20 0 22 0 342412484 12137111552 81476 33554432000 1073741824 1073778376 140733732463136 140498502105272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=642/tid=658] ppid=640 vsize=11852648 CPUtime=0.97 cores=1,3,5,7
/proc/642/task/658/stat : 658 (java) S 640 642 30010 0 -1 4202560 12042 0 0 0 94 3 0 0 20 0 22 0 342412484 12137111552 81476 33554432000 1073741824 1073778376 140733732463136 140498501052472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=642/tid=659] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/659/stat : 659 (java) S 640 642 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342412484 12137111552 81476 33554432000 1073741824 1073778376 140733732463136 140498500000376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=642/tid=660] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/660/stat : 660 (java) S 640 642 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342412484 12137111552 81476 33554432000 1073741824 1073778376 140733732463136 140498498947784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=642/tid=661] ppid=640 vsize=11852648 CPUtime=1.04 cores=1,3,5,7
/proc/642/task/661/stat : 661 (java) R 640 642 30010 0 -1 4202560 24 0 0 0 104 0 0 0 20 0 22 0 342412520 12137111552 81476 33554432000 1073741824 1073778376 140733732463136 140498497892800 140499000994432 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=642/tid=662] ppid=640 vsize=11852648 CPUtime=1.04 cores=1,3,5,7
/proc/642/task/662/stat : 662 (java) R 640 642 30010 0 -1 4202560 167 0 0 0 102 2 0 0 20 0 22 0 342412520 12137111552 81476 33554432000 1073741824 1073778376 140733732463136 140498496840008 140499001186318 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=642/tid=663] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/663/stat : 663 (java) S 640 642 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342412522 12137111552 81476 33554432000 1073741824 1073778376 140733732463136 140498495788712 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=642/tid=664] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/664/stat : 664 (java) S 640 642 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342412522 12137111552 81476 33554432000 1073741824 1073778376 140733732463136 140498494735912 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.49
Current children cumulated vsize (KiB) 11852648
[startup+3.10086 s]
/proc/loadavg: 3.64 3.79 3.80 6/219 664
/proc/meminfo: memFree=22557512/32873648 swapFree=6852/6852
[pid=642] ppid=640 vsize=11852648 CPUtime=8.12 cores=1,3,5,7
/proc/642/stat : 642 (java) S 640 642 30010 0 -1 4202496 25921 0 1 0 798 14 0 0 20 0 22 0 342412477 12137111552 132818 33554432000 1073741824 1073778376 140733732463136 140733732454272 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/642/statm: 2963162 132818 2290 9 0 2953849 0
[pid=642/tid=644] ppid=640 vsize=11852648 CPUtime=0.4 cores=1,3,5,7
/proc/642/task/644/stat : 644 (java) S 640 642 30010 0 -1 4202560 2884 0 1 0 38 2 0 0 20 0 22 0 342412478 12137111552 132818 33554432000 1073741824 1073778376 140733732463136 140499159192728 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=642/tid=645] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/645/stat : 645 (java) S 640 642 30010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 342412480 12137111552 132818 33554432000 1073741824 1073778376 140733732463136 140499127601960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=642/tid=646] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/646/stat : 646 (java) S 640 642 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342412480 12137111552 132818 33554432000 1073741824 1073778376 140733732463136 140499126549160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=642/tid=647] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/647/stat : 647 (java) S 640 642 30010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342412480 12137111552 132818 33554432000 1073741824 1073778376 140733732463136 140499125496872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=642/tid=648] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/648/stat : 648 (java) S 640 642 30010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 342412480 12137111552 132818 33554432000 1073741824 1073778376 140733732463136 140499124444072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=642/tid=649] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/649/stat : 649 (java) S 640 642 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342412480 12137111552 132818 33554432000 1073741824 1073778376 140733732463136 140499123390760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=642/tid=650] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/650/stat : 650 (java) S 640 642 30010 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 342412480 12137111552 132818 33554432000 1073741824 1073778376 140733732463136 140499122337960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=642/tid=651] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/651/stat : 651 (java) S 640 642 30010 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 342412480 12137111552 132818 33554432000 1073741824 1073778376 140733732463136 140499121285672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=642/tid=652] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/652/stat : 652 (java) S 640 642 30010 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342412480 12137111552 132818 33554432000 1073741824 1073778376 140733732463136 140499120232872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=642/tid=653] ppid=640 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/642/task/653/stat : 653 (java) S 640 642 30010 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 22 0 342412481 12137111552 132818 33554432000 1073741824 1073778376 140733732463136 140498506316520 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=642/tid=654] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/654/stat : 654 (java) S 640 642 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342412481 12137111552 132818 33554432000 1073741824 1073778376 140733732463136 140498505262584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=642/tid=655] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/655/stat : 655 (java) S 640 642 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342412482 12137111552 132818 33554432000 1073741824 1073778376 140733732463136 140498504210184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=642/tid=656] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/656/stat : 656 (java) S 640 642 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342412484 12137111552 132818 33554432000 1073741824 1073778376 140733732463136 140498503158672 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=642/tid=657] ppid=640 vsize=11852648 CPUtime=1 cores=1,3,5,7
/proc/642/task/657/stat : 657 (java) S 640 642 30010 0 -1 4202560 8555 0 0 0 97 3 0 0 20 0 22 0 342412484 12137111552 132818 33554432000 1073741824 1073778376 140733732463136 140498502105272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=642/tid=658] ppid=640 vsize=11852648 CPUtime=1.38 cores=1,3,5,7
/proc/642/task/658/stat : 658 (java) S 640 642 30010 0 -1 4202560 12928 0 0 0 135 3 0 0 20 0 22 0 342412484 12137111552 132818 33554432000 1073741824 1073778376 140733732463136 140498501052472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=642/tid=659] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/659/stat : 659 (java) S 640 642 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342412484 12137111552 132818 33554432000 1073741824 1073778376 140733732463136 140498500000376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=642/tid=660] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/660/stat : 660 (java) S 640 642 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342412484 12137111552 132818 33554432000 1073741824 1073778376 140733732463136 140498498947784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=642/tid=661] ppid=640 vsize=11852648 CPUtime=2.6 cores=1,3,5,7
/proc/642/task/661/stat : 661 (java) R 640 642 30010 0 -1 4202560 26 0 0 0 260 0 0 0 20 0 22 0 342412520 12137111552 132818 33554432000 1073741824 1073778376 140733732463136 140498497893048 140499000971305 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=642/tid=662] ppid=640 vsize=11852648 CPUtime=2.6 cores=1,3,5,7
/proc/642/task/662/stat : 662 (java) R 640 642 30010 0 -1 4202560 257 0 0 0 254 6 0 0 20 0 22 0 342412520 12137111552 132818 33554432000 1073741824 1073778376 140733732463136 140498496840008 140499001447507 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=642/tid=663] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/663/stat : 663 (java) S 640 642 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342412522 12137111552 132818 33554432000 1073741824 1073778376 140733732463136 140498495788712 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=642/tid=664] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/664/stat : 664 (java) S 640 642 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342412522 12137111552 132818 33554432000 1073741824 1073778376 140733732463136 140498494735912 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.12
Current children cumulated vsize (KiB) 11852648
[startup+6.3008 s]
/proc/loadavg: 3.67 3.80 3.80 5/219 664
/proc/meminfo: memFree=22230048/32873648 swapFree=6852/6852
[pid=642] ppid=640 vsize=11852648 CPUtime=14.64 cores=1,3,5,7
/proc/642/stat : 642 (java) S 640 642 30010 0 -1 4202496 26096 0 1 0 1444 20 0 0 20 0 22 0 342412477 12137111552 207952 33554432000 1073741824 1073778376 140733732463136 140733732454272 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/642/statm: 2963162 207952 2290 9 0 2953849 0
[pid=642/tid=644] ppid=640 vsize=11852648 CPUtime=0.4 cores=1,3,5,7
/proc/642/task/644/stat : 644 (java) S 640 642 30010 0 -1 4202560 2884 0 1 0 38 2 0 0 20 0 22 0 342412478 12137111552 207952 33554432000 1073741824 1073778376 140733732463136 140499159192728 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=642/tid=645] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/645/stat : 645 (java) S 640 642 30010 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 342412480 12137111552 207952 33554432000 1073741824 1073778376 140733732463136 140499127601960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=642/tid=646] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/646/stat : 646 (java) S 640 642 30010 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342412480 12137111552 207952 33554432000 1073741824 1073778376 140733732463136 140499126549160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=642/tid=647] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/647/stat : 647 (java) S 640 642 30010 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 342412480 12137111552 207952 33554432000 1073741824 1073778376 140733732463136 140499125496872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=642/tid=648] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/648/stat : 648 (java) S 640 642 30010 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 342412480 12137111552 207952 33554432000 1073741824 1073778376 140733732463136 140499124444072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=642/tid=649] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/649/stat : 649 (java) S 640 642 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342412480 12137111552 207952 33554432000 1073741824 1073778376 140733732463136 140499123390760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=642/tid=650] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/650/stat : 650 (java) S 640 642 30010 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 342412480 12137111552 207952 33554432000 1073741824 1073778376 140733732463136 140499122337960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=642/tid=651] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/651/stat : 651 (java) S 640 642 30010 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 342412480 12137111552 207952 33554432000 1073741824 1073778376 140733732463136 140499121285672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=642/tid=652] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/652/stat : 652 (java) S 640 642 30010 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 342412480 12137111552 207952 33554432000 1073741824 1073778376 140733732463136 140499120232872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=642/tid=653] ppid=640 vsize=11852648 CPUtime=0.09 cores=1,3,5,7
/proc/642/task/653/stat : 653 (java) S 640 642 30010 0 -1 4202560 44 0 0 0 9 0 0 0 20 0 22 0 342412481 12137111552 207952 33554432000 1073741824 1073778376 140733732463136 140498506316520 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=642/tid=654] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/654/stat : 654 (java) S 640 642 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342412481 12137111552 207952 33554432000 1073741824 1073778376 140733732463136 140498505262584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=642/tid=655] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/655/stat : 655 (java) S 640 642 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342412482 12137111552 207952 33554432000 1073741824 1073778376 140733732463136 140498504210184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=642/tid=656] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/656/stat : 656 (java) S 640 642 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342412484 12137111552 207952 33554432000 1073741824 1073778376 140733732463136 140498503158672 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=642/tid=657] ppid=640 vsize=11852648 CPUtime=1.12 cores=1,3,5,7
/proc/642/task/657/stat : 657 (java) S 640 642 30010 0 -1 4202560 8556 0 0 0 109 3 0 0 20 0 22 0 342412484 12137111552 207952 33554432000 1073741824 1073778376 140733732463136 140498502105272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
################
# More data... #
################
[pid=642/tid=662] ppid=640 vsize=11852648 CPUtime=768.94 cores=1,3,5,7
/proc/642/task/662/stat : 662 (java) R 640 642 30010 0 -1 4202560 1523 0 0 0 76837 57 0 0 20 0 22 0 342412520 12137111552 905229 33554432000 1073741824 1073778376 140733732463136 140498496837856 140499001224646 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=642/tid=663] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/663/stat : 663 (java) S 640 642 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342412522 12137111552 905229 33554432000 1073741824 1073778376 140733732463136 140498495788712 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=642/tid=664] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/664/stat : 664 (java) S 640 642 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342412522 12137111552 905229 33554432000 1073741824 1073778376 140733732463136 140498494735912 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.58
Current children cumulated vsize (KiB) 11852648
[startup+882.308 s]
/proc/loadavg: 3.92 3.92 3.90 5/219 733
/proc/meminfo: memFree=19936320/32873648 swapFree=6852/6852
[pid=642] ppid=640 vsize=11852648 CPUtime=1717.84 cores=1,3,5,7
/proc/642/stat : 642 (java) S 640 642 30010 0 -1 4202496 28302 0 1 0 171691 93 0 0 20 0 22 0 342412477 12137111552 911401 33554432000 1073741824 1073778376 140733732463136 140733732454272 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/642/statm: 2963162 911401 2291 9 0 2953849 0
[pid=642/tid=644] ppid=640 vsize=11852648 CPUtime=0.45 cores=1,3,5,7
/proc/642/task/644/stat : 644 (java) S 640 642 30010 0 -1 4202560 2972 0 1 0 40 5 0 0 20 0 22 0 342412478 12137111552 911401 33554432000 1073741824 1073778376 140733732463136 140499159192728 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=642/tid=645] ppid=640 vsize=11852648 CPUtime=1.43 cores=1,3,5,7
/proc/642/task/645/stat : 645 (java) S 640 642 30010 0 -1 4202560 91 0 0 0 141 2 0 0 20 0 22 0 342412480 12137111552 911401 33554432000 1073741824 1073778376 140733732463136 140499127601960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=642/tid=646] ppid=640 vsize=11852648 CPUtime=1.3 cores=1,3,5,7
/proc/642/task/646/stat : 646 (java) S 640 642 30010 0 -1 4202560 70 0 0 0 128 2 0 0 20 0 22 0 342412480 12137111552 911401 33554432000 1073741824 1073778376 140733732463136 140499126549160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=642/tid=647] ppid=640 vsize=11852648 CPUtime=1.39 cores=1,3,5,7
/proc/642/task/647/stat : 647 (java) S 640 642 30010 0 -1 4202560 74 0 0 0 137 2 0 0 20 0 22 0 342412480 12137111552 911401 33554432000 1073741824 1073778376 140733732463136 140499125496872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=642/tid=648] ppid=640 vsize=11852648 CPUtime=1.38 cores=1,3,5,7
/proc/642/task/648/stat : 648 (java) S 640 642 30010 0 -1 4202560 82 0 0 0 136 2 0 0 20 0 22 0 342412480 12137111552 911401 33554432000 1073741824 1073778376 140733732463136 140499124444072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=642/tid=649] ppid=640 vsize=11852648 CPUtime=1.44 cores=1,3,5,7
/proc/642/task/649/stat : 649 (java) S 640 642 30010 0 -1 4202560 84 0 0 0 142 2 0 0 20 0 22 0 342412480 12137111552 911401 33554432000 1073741824 1073778376 140733732463136 140499123390760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=642/tid=650] ppid=640 vsize=11852648 CPUtime=1.36 cores=1,3,5,7
/proc/642/task/650/stat : 650 (java) S 640 642 30010 0 -1 4202560 70 0 0 0 135 1 0 0 20 0 22 0 342412480 12137111552 911401 33554432000 1073741824 1073778376 140733732463136 140499122337960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=642/tid=651] ppid=640 vsize=11852648 CPUtime=1.49 cores=1,3,5,7
/proc/642/task/651/stat : 651 (java) S 640 642 30010 0 -1 4202560 101 0 0 0 146 3 0 0 20 0 22 0 342412480 12137111552 911401 33554432000 1073741824 1073778376 140733732463136 140499121285672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=642/tid=652] ppid=640 vsize=11852648 CPUtime=1.32 cores=1,3,5,7
/proc/642/task/652/stat : 652 (java) S 640 642 30010 0 -1 4202560 77 0 0 0 130 2 0 0 20 0 22 0 342412480 12137111552 911401 33554432000 1073741824 1073778376 140733732463136 140499120232872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=642/tid=653] ppid=640 vsize=11852648 CPUtime=53.99 cores=1,3,5,7
/proc/642/task/653/stat : 653 (java) S 640 642 30010 0 -1 4202560 314 0 0 0 5389 10 0 0 20 0 22 0 342412481 12137111552 911401 33554432000 1073741824 1073778376 140733732463136 140498506316520 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=642/tid=654] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/654/stat : 654 (java) S 640 642 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342412481 12137111552 911401 33554432000 1073741824 1073778376 140733732463136 140498505262584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=642/tid=655] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/655/stat : 655 (java) S 640 642 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342412482 12137111552 911401 33554432000 1073741824 1073778376 140733732463136 140498504210184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=642/tid=656] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/656/stat : 656 (java) S 640 642 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342412484 12137111552 911401 33554432000 1073741824 1073778376 140733732463136 140498503158672 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=642/tid=657] ppid=640 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/642/task/657/stat : 657 (java) S 640 642 30010 0 -1 4202560 8561 0 0 0 112 3 0 0 20 0 22 0 342412484 12137111552 911401 33554432000 1073741824 1073778376 140733732463136 140498502105272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=642/tid=658] ppid=640 vsize=11852648 CPUtime=1.89 cores=1,3,5,7
/proc/642/task/658/stat : 658 (java) S 640 642 30010 0 -1 4202560 12950 0 0 0 186 3 0 0 20 0 22 0 342412484 12137111552 911401 33554432000 1073741824 1073778376 140733732463136 140498501052472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=642/tid=659] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/659/stat : 659 (java) S 640 642 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342412484 12137111552 911401 33554432000 1073741824 1073778376 140733732463136 140498500000376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=642/tid=660] ppid=640 vsize=11852648 CPUtime=0.38 cores=1,3,5,7
/proc/642/task/660/stat : 660 (java) S 640 642 30010 0 -1 4202560 50 0 0 0 18 20 0 0 20 0 22 0 342412484 12137111552 911401 33554432000 1073741824 1073778376 140733732463136 140498498947784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=642/tid=661] ppid=640 vsize=11852648 CPUtime=824.59 cores=1,3,5,7
/proc/642/task/661/stat : 661 (java) R 640 642 30010 0 -1 4202560 95 0 0 0 82445 14 0 0 20 0 22 0 342412520 12137111552 911401 33554432000 1073741824 1073778376 140733732463136 140498497893072 140499001024205 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=642/tid=662] ppid=640 vsize=11852648 CPUtime=824.59 cores=1,3,5,7
/proc/642/task/662/stat : 662 (java) R 640 642 30010 0 -1 4202560 1523 0 0 0 82401 58 0 0 20 0 22 0 342412520 12137111552 911401 33554432000 1073741824 1073778376 140733732463136 140498496838480 140499001158737 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=642/tid=663] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/663/stat : 663 (java) S 640 642 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342412522 12137111552 911401 33554432000 1073741824 1073778376 140733732463136 140498495788712 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=642/tid=664] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/664/stat : 664 (java) S 640 642 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342412522 12137111552 911401 33554432000 1073741824 1073778376 140733732463136 140498494735912 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1717.84
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+924.601 s]
/proc/loadavg: 3.96 3.93 3.90 4/219 733
/proc/meminfo: memFree=19925836/32873648 swapFree=6852/6852
[pid=642] ppid=640 vsize=11852648 CPUtime=1800.06 cores=1,3,5,7
/proc/642/stat : 642 (java) S 640 642 30010 0 -1 4202496 28331 0 1 0 179912 94 0 0 20 0 22 0 342412477 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140733732454272 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/642/statm: 2963162 912444 2291 9 0 2953849 0
[pid=642/tid=644] ppid=640 vsize=11852648 CPUtime=0.45 cores=1,3,5,7
/proc/642/task/644/stat : 644 (java) S 640 642 30010 0 -1 4202560 2975 0 1 0 40 5 0 0 20 0 22 0 342412478 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140499159192728 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=642/tid=645] ppid=640 vsize=11852648 CPUtime=1.51 cores=1,3,5,7
/proc/642/task/645/stat : 645 (java) S 640 642 30010 0 -1 4202560 95 0 0 0 149 2 0 0 20 0 22 0 342412480 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140499127601960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=642/tid=646] ppid=640 vsize=11852648 CPUtime=1.37 cores=1,3,5,7
/proc/642/task/646/stat : 646 (java) S 640 642 30010 0 -1 4202560 71 0 0 0 135 2 0 0 20 0 22 0 342412480 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140499126549160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=642/tid=647] ppid=640 vsize=11852648 CPUtime=1.45 cores=1,3,5,7
/proc/642/task/647/stat : 647 (java) S 640 642 30010 0 -1 4202560 75 0 0 0 143 2 0 0 20 0 22 0 342412480 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140499125496872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=642/tid=648] ppid=640 vsize=11852648 CPUtime=1.44 cores=1,3,5,7
/proc/642/task/648/stat : 648 (java) S 640 642 30010 0 -1 4202560 86 0 0 0 142 2 0 0 20 0 22 0 342412480 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140499124444072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=642/tid=649] ppid=640 vsize=11852648 CPUtime=1.49 cores=1,3,5,7
/proc/642/task/649/stat : 649 (java) S 640 642 30010 0 -1 4202560 87 0 0 0 147 2 0 0 20 0 22 0 342412480 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140499123390760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=642/tid=650] ppid=640 vsize=11852648 CPUtime=1.41 cores=1,3,5,7
/proc/642/task/650/stat : 650 (java) S 640 642 30010 0 -1 4202560 74 0 0 0 140 1 0 0 20 0 22 0 342412480 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140499122337960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=642/tid=651] ppid=640 vsize=11852648 CPUtime=1.55 cores=1,3,5,7
/proc/642/task/651/stat : 651 (java) S 640 642 30010 0 -1 4202560 103 0 0 0 152 3 0 0 20 0 22 0 342412480 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140499121285672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=642/tid=652] ppid=640 vsize=11852648 CPUtime=1.37 cores=1,3,5,7
/proc/642/task/652/stat : 652 (java) S 640 642 30010 0 -1 4202560 77 0 0 0 135 2 0 0 20 0 22 0 342412480 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140499120232872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=642/tid=653] ppid=640 vsize=11852648 CPUtime=56.55 cores=1,3,5,7
/proc/642/task/653/stat : 653 (java) S 640 642 30010 0 -1 4202560 318 0 0 0 5645 10 0 0 20 0 22 0 342412481 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140498506316520 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=642/tid=654] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/654/stat : 654 (java) S 640 642 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342412481 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140498505262584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=642/tid=655] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/655/stat : 655 (java) S 640 642 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342412482 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140498504210184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=642/tid=656] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/656/stat : 656 (java) S 640 642 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342412484 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140498503158672 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=642/tid=657] ppid=640 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/642/task/657/stat : 657 (java) S 640 642 30010 0 -1 4202560 8561 0 0 0 112 3 0 0 20 0 22 0 342412484 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140498502105272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=642/tid=658] ppid=640 vsize=11852648 CPUtime=1.89 cores=1,3,5,7
/proc/642/task/658/stat : 658 (java) S 640 642 30010 0 -1 4202560 12950 0 0 0 186 3 0 0 20 0 22 0 342412484 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140498501052472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=642/tid=659] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/659/stat : 659 (java) S 640 642 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342412484 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140498500000376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=642/tid=660] ppid=640 vsize=11852648 CPUtime=0.41 cores=1,3,5,7
/proc/642/task/660/stat : 660 (java) S 640 642 30010 0 -1 4202560 52 0 0 0 19 22 0 0 20 0 22 0 342412484 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140498498947784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=642/tid=661] ppid=640 vsize=11852648 CPUtime=864.2 cores=1,3,5,7
/proc/642/task/661/stat : 661 (java) R 640 642 30010 0 -1 4202560 96 0 0 0 86405 15 0 0 20 0 22 0 342412520 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140498497893072 140499001023757 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=642/tid=662] ppid=640 vsize=11852648 CPUtime=864.19 cores=1,3,5,7
/proc/642/task/662/stat : 662 (java) R 640 642 30010 0 -1 4202560 1523 0 0 0 86360 59 0 0 20 0 22 0 342412520 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140498496838480 140499001041466 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=642/tid=663] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/663/stat : 663 (java) S 640 642 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342412522 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140498495788712 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=642/tid=664] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/664/stat : 664 (java) S 640 642 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342412522 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140498494735912 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 11852648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+924.601 s]
/proc/loadavg: 3.96 3.93 3.90 4/219 733
/proc/meminfo: memFree=19925836/32873648 swapFree=6852/6852
[pid=642] ppid=640 vsize=11852648 CPUtime=1800.06 cores=1,3,5,7
/proc/642/stat : 642 (java) S 640 642 30010 0 -1 4202496 28331 0 1 0 179912 94 0 0 20 0 22 0 342412477 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140733732454272 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/642/statm: 2963162 912444 2291 9 0 2953849 0
[pid=642/tid=644] ppid=640 vsize=11852648 CPUtime=0.45 cores=1,3,5,7
/proc/642/task/644/stat : 644 (java) S 640 642 30010 0 -1 4202560 2975 0 1 0 40 5 0 0 20 0 22 0 342412478 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140499159192728 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=642/tid=645] ppid=640 vsize=11852648 CPUtime=1.51 cores=1,3,5,7
/proc/642/task/645/stat : 645 (java) S 640 642 30010 0 -1 4202560 95 0 0 0 149 2 0 0 20 0 22 0 342412480 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140499127601960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=642/tid=646] ppid=640 vsize=11852648 CPUtime=1.37 cores=1,3,5,7
/proc/642/task/646/stat : 646 (java) S 640 642 30010 0 -1 4202560 71 0 0 0 135 2 0 0 20 0 22 0 342412480 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140499126549160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=642/tid=647] ppid=640 vsize=11852648 CPUtime=1.45 cores=1,3,5,7
/proc/642/task/647/stat : 647 (java) S 640 642 30010 0 -1 4202560 75 0 0 0 143 2 0 0 20 0 22 0 342412480 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140499125496872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=642/tid=648] ppid=640 vsize=11852648 CPUtime=1.44 cores=1,3,5,7
/proc/642/task/648/stat : 648 (java) S 640 642 30010 0 -1 4202560 86 0 0 0 142 2 0 0 20 0 22 0 342412480 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140499124444072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=642/tid=649] ppid=640 vsize=11852648 CPUtime=1.49 cores=1,3,5,7
/proc/642/task/649/stat : 649 (java) S 640 642 30010 0 -1 4202560 87 0 0 0 147 2 0 0 20 0 22 0 342412480 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140499123390760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=642/tid=650] ppid=640 vsize=11852648 CPUtime=1.41 cores=1,3,5,7
/proc/642/task/650/stat : 650 (java) S 640 642 30010 0 -1 4202560 74 0 0 0 140 1 0 0 20 0 22 0 342412480 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140499122337960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=642/tid=651] ppid=640 vsize=11852648 CPUtime=1.55 cores=1,3,5,7
/proc/642/task/651/stat : 651 (java) S 640 642 30010 0 -1 4202560 103 0 0 0 152 3 0 0 20 0 22 0 342412480 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140499121285672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=642/tid=652] ppid=640 vsize=11852648 CPUtime=1.37 cores=1,3,5,7
/proc/642/task/652/stat : 652 (java) S 640 642 30010 0 -1 4202560 77 0 0 0 135 2 0 0 20 0 22 0 342412480 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140499120232872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=642/tid=653] ppid=640 vsize=11852648 CPUtime=56.55 cores=1,3,5,7
/proc/642/task/653/stat : 653 (java) S 640 642 30010 0 -1 4202560 318 0 0 0 5645 10 0 0 20 0 22 0 342412481 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140498506316520 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=642/tid=654] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/654/stat : 654 (java) S 640 642 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342412481 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140498505262584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=642/tid=655] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/655/stat : 655 (java) S 640 642 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342412482 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140498504210184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=642/tid=656] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/656/stat : 656 (java) S 640 642 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342412484 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140498503158672 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=642/tid=657] ppid=640 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/642/task/657/stat : 657 (java) S 640 642 30010 0 -1 4202560 8561 0 0 0 112 3 0 0 20 0 22 0 342412484 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140498502105272 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=642/tid=658] ppid=640 vsize=11852648 CPUtime=1.89 cores=1,3,5,7
/proc/642/task/658/stat : 658 (java) S 640 642 30010 0 -1 4202560 12950 0 0 0 186 3 0 0 20 0 22 0 342412484 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140498501052472 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=642/tid=659] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/659/stat : 659 (java) S 640 642 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342412484 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140498500000376 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=642/tid=660] ppid=640 vsize=11852648 CPUtime=0.41 cores=1,3,5,7
/proc/642/task/660/stat : 660 (java) S 640 642 30010 0 -1 4202560 52 0 0 0 19 22 0 0 20 0 22 0 342412484 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140498498947784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=642/tid=661] ppid=640 vsize=11852648 CPUtime=864.2 cores=1,3,5,7
/proc/642/task/661/stat : 661 (java) R 640 642 30010 0 -1 4202560 96 0 0 0 86405 15 0 0 20 0 22 0 342412520 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140498497893072 140499001023757 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=642/tid=662] ppid=640 vsize=11852648 CPUtime=864.19 cores=1,3,5,7
/proc/642/task/662/stat : 662 (java) R 640 642 30010 0 -1 4202560 1523 0 0 0 86360 59 0 0 20 0 22 0 342412520 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140498496838480 140499001041466 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=642/tid=663] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/663/stat : 663 (java) S 640 642 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342412522 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140498495788712 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=642/tid=664] ppid=640 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/642/task/664/stat : 664 (java) S 640 642 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342412522 12137111552 912444 33554432000 1073741824 1073778376 140733732463136 140498494735912 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 11852648
Child status: 143
Real time (s): 924.655
CPU time (s): 1800.84
CPU user time (s): 1799.34
CPU system time (s): 1.50477
CPU usage (%): 194.758
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.34
system time used= 1.50477
maximum resident set size= 3651944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28364
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26644
involuntary context switches= 30496
runsolver used 3.47147 second user time and 8.65368 second system time
The end