runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3312483-1304117612/watcher-3312483-1304117612 -o /tmp/evaluation-result-3312483-1304117612/solver-3312483-1304117612 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312483-1304117612.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 7.72 8.01 7.99 1/175 5994
/proc/meminfo: memFree=31057120/32951124 swapFree=67111524/67111528
[pid=5994] ppid=5992 vsize=20456 CPUtime=0 cores=1,3,5,7
/proc/5994/stat : 5994 (java) R 5992 5994 5849 0 -1 4202496 678 0 0 0 0 0 0 0 25 0 1 0 255952453 20946944 166 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268660323013 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5994/statm: 5757 171 138 9 0 124 0
[startup+0.0159201 s]
/proc/loadavg: 7.72 8.01 7.99 1/175 5994
/proc/meminfo: memFree=31057120/32951124 swapFree=67111524/67111528
[pid=5994] ppid=5992 vsize=15589660 CPUtime=0 cores=1,3,5,7
/proc/5994/stat : 5994 (java) S 5992 5994 5849 0 -1 4202496 2426 0 1 0 0 0 0 0 25 0 10 0 255952453 15963811840 1870 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/5994/statm: 3897415 1872 1035 9 0 3888571 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15589660
[startup+0.101663 s]
/proc/loadavg: 7.72 8.01 7.99 1/175 5994
/proc/meminfo: memFree=31057120/32951124 swapFree=67111524/67111528
[pid=5994] ppid=5992 vsize=15676420 CPUtime=0.1 cores=1,3,5,7
/proc/5994/stat : 5994 (java) S 5992 5994 5849 0 -1 4202496 5590 0 1 0 9 1 0 0 25 0 18 0 255952453 16052654080 4967 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5994/statm: 3919105 4967 2116 9 0 3909824 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676420
[startup+0.300868 s]
/proc/loadavg: 7.72 8.01 7.99 1/175 5994
/proc/meminfo: memFree=31057120/32951124 swapFree=67111524/67111528
[pid=5994] ppid=5992 vsize=15680172 CPUtime=0.51 cores=1,3,5,7
/proc/5994/stat : 5994 (java) S 5992 5994 5849 0 -1 4202496 15079 0 1 0 49 2 0 0 25 0 18 0 255952453 16056496128 13516 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5994/statm: 3920043 13523 2206 9 0 3910762 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15680172
[startup+0.700799 s]
/proc/loadavg: 7.72 8.01 7.99 1/175 5994
/proc/meminfo: memFree=31057120/32951124 swapFree=67111524/67111528
[pid=5994] ppid=5992 vsize=15680172 CPUtime=0.92 cores=1,3,5,7
/proc/5994/stat : 5994 (java) S 5992 5994 5849 0 -1 4202496 41821 0 1 0 87 5 0 0 25 0 18 0 255952453 16056496128 40256 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5994/statm: 3920043 40256 2222 9 0 3910762 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15680172
[startup+1.50166 s]
/proc/loadavg: 7.72 8.01 7.99 4/197 6016
/proc/meminfo: memFree=30887624/32951124 swapFree=67111524/67111528
[pid=5994] ppid=5992 vsize=15716160 CPUtime=2.22 cores=1,3,5,7
/proc/5994/stat : 5994 (java) S 5992 5994 5849 0 -1 4202496 56402 0 1 0 215 7 0 0 25 0 22 0 255952453 16093347840 52024 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5994/statm: 3929040 52024 2260 9 0 3919759 0
[pid=5994/tid=5996] ppid=5992 vsize=15716160 CPUtime=1.46 cores=1,3,5,7
/proc/5994/task/5996/stat : 5996 (java) R 5992 5994 5849 0 -1 4202560 35648 0 1 0 142 4 0 0 21 0 22 0 255952454 16093347840 52024 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 46912505122376 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5994/tid=5997] ppid=5992 vsize=15716160 CPUtime=0 cores=1,3,5,7
/proc/5994/task/5997/stat : 5997 (java) S 5992 5994 5849 0 -1 4202560 670 0 0 0 0 0 0 0 16 0 22 0 255952454 16093347840 52024 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 5 0 0 0
[pid=5994/tid=5998] ppid=5992 vsize=15716160 CPUtime=0 cores=1,3,5,7
/proc/5994/task/5998/stat : 5998 (java) S 5992 5994 5849 0 -1 4202560 1238 0 0 0 0 0 0 0 16 0 22 0 255952454 16093347840 52024 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
[pid=5994/tid=5999] ppid=5992 vsize=15716160 CPUtime=0 cores=1,3,5,7
/proc/5994/task/5999/stat : 5999 (java) S 5992 5994 5849 0 -1 4202560 1378 0 0 0 0 0 0 0 16 0 22 0 255952454 16093347840 52024 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 3 0 0 0
[pid=5994/tid=6000] ppid=5992 vsize=15716160 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6000/stat : 6000 (java) S 5992 5994 5849 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 255952454 16093347840 52024 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 1 0 0 0
[pid=5994/tid=6001] ppid=5992 vsize=15716160 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6001/stat : 6001 (java) S 5992 5994 5849 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 255952454 16093347840 52024 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
[pid=5994/tid=6002] ppid=5992 vsize=15716160 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6002/stat : 6002 (java) S 5992 5994 5849 0 -1 4202560 1108 0 0 0 0 0 0 0 16 0 22 0 255952454 16093347840 52024 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
[pid=5994/tid=6003] ppid=5992 vsize=15716160 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6003/stat : 6003 (java) S 5992 5994 5849 0 -1 4202560 370 0 0 0 0 0 0 0 16 0 22 0 255952454 16093347840 52024 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
[pid=5994/tid=6004] ppid=5992 vsize=15716160 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6004/stat : 6004 (java) S 5992 5994 5849 0 -1 4202560 342 0 0 0 0 0 0 0 16 0 22 0 255952454 16093347840 52024 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
[pid=5994/tid=6005] ppid=5992 vsize=15716160 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6005/stat : 6005 (java) S 5992 5994 5849 0 -1 4202560 72 0 0 0 0 0 0 0 16 0 22 0 255952455 16093347840 52024 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478720 0 0 0 16800975 18446604471162313792 0 0 -1 3 0 0 0
[pid=5994/tid=6006] ppid=5992 vsize=15716160 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6006/stat : 6006 (java) S 5992 5994 5849 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 255952456 16093347840 52024 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
[pid=5994/tid=6007] ppid=5992 vsize=15716160 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6007/stat : 6007 (java) S 5992 5994 5849 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 22 0 255952456 16093347840 52024 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
[pid=5994/tid=6008] ppid=5992 vsize=15716160 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6008/stat : 6008 (java) S 5992 5994 5849 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 255952458 16093347840 52024 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672485809 0 4 0 16800975 18446604471162313792 0 0 -1 5 0 0 0
[pid=5994/tid=6009] ppid=5992 vsize=15716160 CPUtime=0.19 cores=1,3,5,7
/proc/5994/task/6009/stat : 6009 (java) S 5992 5994 5849 0 -1 4202560 2392 0 0 0 19 0 0 0 15 0 22 0 255952458 16093347840 52024 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 1 0 0 0
[pid=5994/tid=6010] ppid=5992 vsize=15716160 CPUtime=0.5 cores=1,3,5,7
/proc/5994/task/6010/stat : 6010 (java) R 5992 5994 5849 0 -1 4202560 11737 0 0 0 49 1 0 0 16 0 22 0 255952458 16093347840 52024 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 46989230536240 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5994/tid=6011] ppid=5992 vsize=15716160 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6011/stat : 6011 (java) S 5992 5994 5849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 255952458 16093347840 52024 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 5 0 0 0
[pid=5994/tid=6012] ppid=5992 vsize=15716160 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6012/stat : 6012 (java) S 5992 5994 5849 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 255952458 16093347840 52024 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478720 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
[pid=5994/tid=6013] ppid=5992 vsize=15716160 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6013/stat : 6013 (java) S 5992 5994 5849 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 255952546 16093347840 52024 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478720 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
[pid=5994/tid=6014] ppid=5992 vsize=15716160 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6014/stat : 6014 (java) S 5992 5994 5849 0 -1 4202560 7 0 0 0 0 0 0 0 16 0 22 0 255952546 16093347840 52024 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478720 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
[pid=5994/tid=6015] ppid=5992 vsize=15716160 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6015/stat : 6015 (java) S 5992 5994 5849 0 -1 4202560 7 0 0 0 0 0 0 0 16 0 22 0 255952546 16093347840 52024 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478720 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
[pid=5994/tid=6016] ppid=5992 vsize=15716160 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6016/stat : 6016 (java) S 5992 5994 5849 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 22 0 255952546 16093347840 52024 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478720 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 15716160
[startup+3.1064 s]
/proc/loadavg: 7.72 8.01 7.99 4/216 6060
/proc/meminfo: memFree=30842272/32951124 swapFree=67111524/67111528
[pid=5994] ppid=5992 vsize=15715156 CPUtime=5.37 cores=1,3,5,7
/proc/5994/stat : 5994 (java) S 5992 5994 5849 0 -1 4202496 71031 0 1 0 527 10 0 0 25 0 22 0 255952453 16092319744 62854 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5994/statm: 3928789 62854 2274 9 0 3919508 0
[pid=5994/tid=5996] ppid=5992 vsize=15715156 CPUtime=2.46 cores=1,3,5,7
/proc/5994/task/5996/stat : 5996 (java) S 5992 5994 5849 0 -1 4202560 35703 0 1 0 242 4 0 0 25 0 22 0 255952454 16092319744 62854 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 3 0 0 0
[pid=5994/tid=5997] ppid=5992 vsize=15715156 CPUtime=0.02 cores=1,3,5,7
/proc/5994/task/5997/stat : 5997 (java) S 5992 5994 5849 0 -1 4202560 2639 0 0 0 2 0 0 0 16 0 22 0 255952454 16092319744 62854 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 5 0 0 0
[pid=5994/tid=5998] ppid=5992 vsize=15715156 CPUtime=0.02 cores=1,3,5,7
/proc/5994/task/5998/stat : 5998 (java) S 5992 5994 5849 0 -1 4202560 4559 0 0 0 2 0 0 0 16 0 22 0 255952454 16092319744 62854 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
[pid=5994/tid=5999] ppid=5992 vsize=15715156 CPUtime=0.02 cores=1,3,5,7
/proc/5994/task/5999/stat : 5999 (java) S 5992 5994 5849 0 -1 4202560 4271 0 0 0 2 0 0 0 16 0 22 0 255952454 16092319744 62854 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 3 0 0 0
[pid=5994/tid=6000] ppid=5992 vsize=15715156 CPUtime=0.01 cores=1,3,5,7
/proc/5994/task/6000/stat : 6000 (java) S 5992 5994 5849 0 -1 4202560 2389 0 0 0 1 0 0 0 16 0 22 0 255952454 16092319744 62854 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 3 0 0 0
[pid=5994/tid=6001] ppid=5992 vsize=15715156 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6001/stat : 6001 (java) S 5992 5994 5849 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 22 0 255952454 16092319744 62854 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 3 0 0 0
[pid=5994/tid=6002] ppid=5992 vsize=15715156 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6002/stat : 6002 (java) S 5992 5994 5849 0 -1 4202560 1108 0 0 0 0 0 0 0 15 0 22 0 255952454 16092319744 62854 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 5 0 0 0
[pid=5994/tid=6003] ppid=5992 vsize=15715156 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6003/stat : 6003 (java) S 5992 5994 5849 0 -1 4202560 370 0 0 0 0 0 0 0 15 0 22 0 255952454 16092319744 62854 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 1 0 0 0
[pid=5994/tid=6004] ppid=5992 vsize=15715156 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6004/stat : 6004 (java) S 5992 5994 5849 0 -1 4202560 342 0 0 0 0 0 0 0 15 0 22 0 255952454 16092319744 62854 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 3 0 0 0
[pid=5994/tid=6005] ppid=5992 vsize=15715156 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6005/stat : 6005 (java) S 5992 5994 5849 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 22 0 255952455 16092319744 62854 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478720 0 0 0 16800975 18446604471162313792 0 0 -1 3 0 0 0
[pid=5994/tid=6006] ppid=5992 vsize=15715156 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6006/stat : 6006 (java) S 5992 5994 5849 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 255952456 16092319744 62854 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
[pid=5994/tid=6007] ppid=5992 vsize=15715156 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6007/stat : 6007 (java) S 5992 5994 5849 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 22 0 255952456 16092319744 62854 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
[pid=5994/tid=6008] ppid=5992 vsize=15715156 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6008/stat : 6008 (java) S 5992 5994 5849 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 255952458 16092319744 62854 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672485809 0 4 0 16800975 18446604471162313792 0 0 -1 5 0 0 0
[pid=5994/tid=6009] ppid=5992 vsize=15715156 CPUtime=0.88 cores=1,3,5,7
/proc/5994/task/6009/stat : 6009 (java) R 5992 5994 5849 0 -1 4202560 5027 0 0 0 88 0 0 0 15 0 22 0 255952458 16092319744 62854 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 46989232570954 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5994/tid=6010] ppid=5992 vsize=15715156 CPUtime=1 cores=1,3,5,7
/proc/5994/task/6010/stat : 6010 (java) S 5992 5994 5849 0 -1 4202560 12999 0 0 0 99 1 0 0 15 0 22 0 255952458 16092319744 62854 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 1 0 0 0
[pid=5994/tid=6011] ppid=5992 vsize=15715156 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6011/stat : 6011 (java) S 5992 5994 5849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 255952458 16092319744 62854 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 5 0 0 0
[pid=5994/tid=6012] ppid=5992 vsize=15715156 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6012/stat : 6012 (java) S 5992 5994 5849 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 255952458 16092319744 62854 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478720 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
[pid=5994/tid=6013] ppid=5992 vsize=15715156 CPUtime=0.47 cores=1,3,5,7
/proc/5994/task/6013/stat : 6013 (java) S 5992 5994 5849 0 -1 4202560 28 0 0 0 47 0 0 0 15 0 22 0 255952546 16092319744 62854 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478720 0 4 0 16800975 18446604471162313792 0 0 -1 3 0 0 0
[pid=5994/tid=6014] ppid=5992 vsize=15715156 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6014/stat : 6014 (java) S 5992 5994 5849 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 255952546 16092319744 62854 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478720 0 4 0 16800975 18446604471162313792 0 0 -1 3 0 0 0
[pid=5994/tid=6015] ppid=5992 vsize=15715156 CPUtime=0.03 cores=1,3,5,7
/proc/5994/task/6015/stat : 6015 (java) R 5992 5994 5849 0 -1 4202560 7 0 0 0 3 0 0 0 15 0 22 0 255952546 16092319744 62854 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 46912505193351 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5994/tid=6016] ppid=5992 vsize=15715156 CPUtime=0.36 cores=1,3,5,7
/proc/5994/task/6016/stat : 6016 (java) S 5992 5994 5849 0 -1 4202560 11 0 0 0 36 0 0 0 15 0 22 0 255952546 16092319744 62854 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478720 0 4 0 16800975 18446604471162313792 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.37
Current children cumulated vsize (KiB) 15715156
[startup+6.30079 s]
/proc/loadavg: 7.98 8.06 8.00 11/220 6064
/proc/meminfo: memFree=29801768/32951124 swapFree=67111524/67111528
[pid=5994] ppid=5992 vsize=15708868 CPUtime=17.13 cores=1,3,5,7
/proc/5994/stat : 5994 (java) S 5992 5994 5849 0 -1 4202496 271603 0 1 0 1672 41 0 0 25 0 22 0 255952453 16085880832 260964 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5994/statm: 3927217 260964 2274 9 0 3917936 0
[pid=5994/tid=5996] ppid=5992 vsize=15708868 CPUtime=2.46 cores=1,3,5,7
/proc/5994/task/5996/stat : 5996 (java) S 5992 5994 5849 0 -1 4202560 35703 0 1 0 242 4 0 0 25 0 22 0 255952454 16085880832 260964 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 3 0 0 0
[pid=5994/tid=5997] ppid=5992 vsize=15708868 CPUtime=0.08 cores=1,3,5,7
/proc/5994/task/5997/stat : 5997 (java) S 5992 5994 5849 0 -1 4202560 11667 0 0 0 7 1 0 0 15 0 22 0 255952454 16085880832 260964 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 3 0 0 0
[pid=5994/tid=5998] ppid=5992 vsize=15708868 CPUtime=0.22 cores=1,3,5,7
/proc/5994/task/5998/stat : 5998 (java) S 5992 5994 5849 0 -1 4202560 48382 0 0 0 15 7 0 0 15 0 22 0 255952454 16085880832 260964 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
[pid=5994/tid=5999] ppid=5992 vsize=15708868 CPUtime=0.14 cores=1,3,5,7
/proc/5994/task/5999/stat : 5999 (java) S 5992 5994 5849 0 -1 4202560 17708 0 0 0 11 3 0 0 15 0 22 0 255952454 16085880832 260964 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 1 0 0 0
[pid=5994/tid=6000] ppid=5992 vsize=15708868 CPUtime=0.18 cores=1,3,5,7
/proc/5994/task/6000/stat : 6000 (java) S 5992 5994 5849 0 -1 4202560 22909 0 0 0 14 4 0 0 16 0 22 0 255952454 16085880832 260964 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 3 0 0 0
[pid=5994/tid=6001] ppid=5992 vsize=15708868 CPUtime=0.09 cores=1,3,5,7
/proc/5994/task/6001/stat : 6001 (java) S 5992 5994 5849 0 -1 4202560 9888 0 0 0 8 1 0 0 15 0 22 0 255952454 16085880832 260964 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 1 0 0 0
[pid=5994/tid=6002] ppid=5992 vsize=15708868 CPUtime=0.07 cores=1,3,5,7
/proc/5994/task/6002/stat : 6002 (java) S 5992 5994 5849 0 -1 4202560 14902 0 0 0 5 2 0 0 15 0 22 0 255952454 16085880832 260964 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 1 0 0 0
[pid=5994/tid=6003] ppid=5992 vsize=15708868 CPUtime=0.16 cores=1,3,5,7
/proc/5994/task/6003/stat : 6003 (java) S 5992 5994 5849 0 -1 4202560 19939 0 0 0 14 2 0 0 16 0 22 0 255952454 16085880832 260964 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 1 0 0 0
[pid=5994/tid=6004] ppid=5992 vsize=15708868 CPUtime=0.2 cores=1,3,5,7
/proc/5994/task/6004/stat : 6004 (java) S 5992 5994 5849 0 -1 4202560 29321 0 0 0 17 3 0 0 15 0 22 0 255952454 16085880832 260964 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 5 0 0 0
[pid=5994/tid=6005] ppid=5992 vsize=15708868 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6005/stat : 6005 (java) S 5992 5994 5849 0 -1 4202560 471 0 0 0 0 0 0 0 15 0 22 0 255952455 16085880832 260964 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478720 0 0 0 16800975 18446604471162313792 0 0 -1 3 0 0 0
[pid=5994/tid=6006] ppid=5992 vsize=15708868 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6006/stat : 6006 (java) S 5992 5994 5849 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 255952456 16085880832 260964 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
[pid=5994/tid=6007] ppid=5992 vsize=15708868 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6007/stat : 6007 (java) S 5992 5994 5849 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 22 0 255952456 16085880832 260964 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
[pid=5994/tid=6008] ppid=5992 vsize=15708868 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6008/stat : 6008 (java) S 5992 5994 5849 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 255952458 16085880832 260964 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672485809 0 4 0 16800975 18446604471162313792 0 0 -1 5 0 0 0
[pid=5994/tid=6009] ppid=5992 vsize=15708868 CPUtime=0.93 cores=1,3,5,7
/proc/5994/task/6009/stat : 6009 (java) S 5992 5994 5849 0 -1 4202560 5033 0 0 0 93 0 0 0 15 0 22 0 255952458 16085880832 260964 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/5994/task/6001/stat : 6001 (java) S 5992 5994 5849 0 -1 4202560 516462 0 0 0 301 84 0 0 16 0 22 0 255952454 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
[pid=5994/tid=6002] ppid=5992 vsize=15708868 CPUtime=2.86 cores=1,3,5,7
/proc/5994/task/6002/stat : 6002 (java) S 5992 5994 5849 0 -1 4202560 319506 0 0 0 231 55 0 0 16 0 22 0 255952454 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 3 0 0 0
[pid=5994/tid=6003] ppid=5992 vsize=15708868 CPUtime=2.64 cores=1,3,5,7
/proc/5994/task/6003/stat : 6003 (java) S 5992 5994 5849 0 -1 4202560 387220 0 0 0 201 63 0 0 16 0 22 0 255952454 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 3 0 0 0
[pid=5994/tid=6004] ppid=5992 vsize=15708868 CPUtime=2.81 cores=1,3,5,7
/proc/5994/task/6004/stat : 6004 (java) S 5992 5994 5849 0 -1 4202560 285129 0 0 0 238 43 0 0 16 0 22 0 255952454 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 1 0 0 0
[pid=5994/tid=6005] ppid=5992 vsize=15708868 CPUtime=857.83 cores=1,3,5,7
/proc/5994/task/6005/stat : 6005 (java) R 5992 5994 5849 0 -1 4202560 631885 0 0 0 85671 112 0 0 18 0 22 0 255952455 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 46989230555485 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=5994/tid=6006] ppid=5992 vsize=15708868 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6006/stat : 6006 (java) S 5992 5994 5849 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 22 0 255952456 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
[pid=5994/tid=6007] ppid=5992 vsize=15708868 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6007/stat : 6007 (java) S 5992 5994 5849 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 255952456 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
[pid=5994/tid=6008] ppid=5992 vsize=15708868 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6008/stat : 6008 (java) S 5992 5994 5849 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 255952458 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672485809 0 4 0 16800975 18446604471162313792 0 0 -1 5 0 0 0
[pid=5994/tid=6009] ppid=5992 vsize=15708868 CPUtime=1.14 cores=1,3,5,7
/proc/5994/task/6009/stat : 6009 (java) S 5992 5994 5849 0 -1 4202560 5235 0 0 0 114 0 0 0 15 0 22 0 255952458 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 5 0 0 0
[pid=5994/tid=6010] ppid=5992 vsize=15708868 CPUtime=1.03 cores=1,3,5,7
/proc/5994/task/6010/stat : 6010 (java) S 5992 5994 5849 0 -1 4202560 13000 0 0 0 102 1 0 0 16 0 22 0 255952458 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 1 0 0 0
[pid=5994/tid=6011] ppid=5992 vsize=15708868 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6011/stat : 6011 (java) S 5992 5994 5849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 255952458 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 5 0 0 0
[pid=5994/tid=6012] ppid=5992 vsize=15708868 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6012/stat : 6012 (java) S 5992 5994 5849 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 255952458 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478720 0 4 0 16800975 18446604471162313792 0 0 -1 5 0 0 0
[pid=5994/tid=6013] ppid=5992 vsize=15708868 CPUtime=314.98 cores=1,3,5,7
/proc/5994/task/6013/stat : 6013 (java) S 5992 5994 5849 0 -1 4202560 77829 0 0 0 31484 14 0 0 15 0 22 0 255952546 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 5 0 0 0
[pid=5994/tid=6014] ppid=5992 vsize=15708868 CPUtime=314.3 cores=1,3,5,7
/proc/5994/task/6014/stat : 6014 (java) S 5992 5994 5849 0 -1 4202560 73446 0 0 0 31414 16 0 0 15 0 22 0 255952546 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 3 0 0 0
[pid=5994/tid=6015] ppid=5992 vsize=15708868 CPUtime=313.71 cores=1,3,5,7
/proc/5994/task/6015/stat : 6015 (java) S 5992 5994 5849 0 -1 4202560 88598 0 0 0 31348 23 0 0 15 0 22 0 255952546 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 1 0 0 0
[pid=5994/tid=6016] ppid=5992 vsize=15708868 CPUtime=315.09 cores=1,3,5,7
/proc/5994/task/6016/stat : 6016 (java) S 5992 5994 5849 0 -1 4202560 82680 0 0 0 31488 21 0 0 15 0 22 0 255952546 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2144.08
Current children cumulated vsize (KiB) 15708868
[startup+1242.3 s]
/proc/loadavg: 5.05 5.18 6.13 7/220 6160
/proc/meminfo: memFree=10484880/32951124 swapFree=67111524/67111528
[pid=5994] ppid=5992 vsize=15708868 CPUtime=2204.64 cores=1,3,5,7
/proc/5994/stat : 5994 (java) S 5992 5994 5849 0 -1 4202496 3883853 0 1 0 219799 665 0 0 25 0 22 0 255952453 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5994/statm: 3927217 3846852 2293 9 0 3917936 0
[pid=5994/tid=5996] ppid=5992 vsize=15708868 CPUtime=2.46 cores=1,3,5,7
/proc/5994/task/5996/stat : 5996 (java) S 5992 5994 5849 0 -1 4202560 35703 0 1 0 242 4 0 0 25 0 22 0 255952454 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 3 0 0 0
[pid=5994/tid=5997] ppid=5992 vsize=15708868 CPUtime=2.64 cores=1,3,5,7
/proc/5994/task/5997/stat : 5997 (java) S 5992 5994 5849 0 -1 4202560 337286 0 0 0 216 48 0 0 15 0 22 0 255952454 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 3 0 0 0
[pid=5994/tid=5998] ppid=5992 vsize=15708868 CPUtime=3 cores=1,3,5,7
/proc/5994/task/5998/stat : 5998 (java) S 5992 5994 5849 0 -1 4202560 373638 0 0 0 239 61 0 0 16 0 22 0 255952454 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
[pid=5994/tid=5999] ppid=5992 vsize=15708868 CPUtime=2.86 cores=1,3,5,7
/proc/5994/task/5999/stat : 5999 (java) S 5992 5994 5849 0 -1 4202560 334326 0 0 0 233 53 0 0 16 0 22 0 255952454 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 1 0 0 0
[pid=5994/tid=6000] ppid=5992 vsize=15708868 CPUtime=2.7 cores=1,3,5,7
/proc/5994/task/6000/stat : 6000 (java) S 5992 5994 5849 0 -1 4202560 319944 0 0 0 220 50 0 0 16 0 22 0 255952454 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 3 0 0 0
[pid=5994/tid=6001] ppid=5992 vsize=15708868 CPUtime=3.85 cores=1,3,5,7
/proc/5994/task/6001/stat : 6001 (java) S 5992 5994 5849 0 -1 4202560 516462 0 0 0 301 84 0 0 16 0 22 0 255952454 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
[pid=5994/tid=6002] ppid=5992 vsize=15708868 CPUtime=2.86 cores=1,3,5,7
/proc/5994/task/6002/stat : 6002 (java) S 5992 5994 5849 0 -1 4202560 319506 0 0 0 231 55 0 0 16 0 22 0 255952454 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 3 0 0 0
[pid=5994/tid=6003] ppid=5992 vsize=15708868 CPUtime=2.64 cores=1,3,5,7
/proc/5994/task/6003/stat : 6003 (java) S 5992 5994 5849 0 -1 4202560 387220 0 0 0 201 63 0 0 16 0 22 0 255952454 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 3 0 0 0
[pid=5994/tid=6004] ppid=5992 vsize=15708868 CPUtime=2.81 cores=1,3,5,7
/proc/5994/task/6004/stat : 6004 (java) S 5992 5994 5849 0 -1 4202560 285129 0 0 0 238 43 0 0 16 0 22 0 255952454 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 1 0 0 0
[pid=5994/tid=6005] ppid=5992 vsize=15708868 CPUtime=917.63 cores=1,3,5,7
/proc/5994/task/6005/stat : 6005 (java) R 5992 5994 5849 0 -1 4202560 631887 0 0 0 91647 116 0 0 18 0 22 0 255952455 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 46989229690578 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=5994/tid=6006] ppid=5992 vsize=15708868 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6006/stat : 6006 (java) S 5992 5994 5849 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 22 0 255952456 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
[pid=5994/tid=6007] ppid=5992 vsize=15708868 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6007/stat : 6007 (java) S 5992 5994 5849 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 255952456 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
[pid=5994/tid=6008] ppid=5992 vsize=15708868 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6008/stat : 6008 (java) S 5992 5994 5849 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 255952458 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672485809 0 4 0 16800975 18446604471162313792 0 0 -1 5 0 0 0
[pid=5994/tid=6009] ppid=5992 vsize=15708868 CPUtime=1.14 cores=1,3,5,7
/proc/5994/task/6009/stat : 6009 (java) S 5992 5994 5849 0 -1 4202560 5235 0 0 0 114 0 0 0 15 0 22 0 255952458 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 5 0 0 0
[pid=5994/tid=6010] ppid=5992 vsize=15708868 CPUtime=1.03 cores=1,3,5,7
/proc/5994/task/6010/stat : 6010 (java) S 5992 5994 5849 0 -1 4202560 13000 0 0 0 102 1 0 0 16 0 22 0 255952458 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 1 0 0 0
[pid=5994/tid=6011] ppid=5992 vsize=15708868 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6011/stat : 6011 (java) S 5992 5994 5849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 255952458 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 5 0 0 0
[pid=5994/tid=6012] ppid=5992 vsize=15708868 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6012/stat : 6012 (java) S 5992 5994 5849 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 255952458 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478720 0 4 0 16800975 18446604471162313792 0 0 -1 5 0 0 0
[pid=5994/tid=6013] ppid=5992 vsize=15708868 CPUtime=315.18 cores=1,3,5,7
/proc/5994/task/6013/stat : 6013 (java) S 5992 5994 5849 0 -1 4202560 77885 0 0 0 31503 15 0 0 15 0 22 0 255952546 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 5 0 0 0
[pid=5994/tid=6014] ppid=5992 vsize=15708868 CPUtime=314.51 cores=1,3,5,7
/proc/5994/task/6014/stat : 6014 (java) S 5992 5994 5849 0 -1 4202560 73490 0 0 0 31434 17 0 0 15 0 22 0 255952546 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 3 0 0 0
[pid=5994/tid=6015] ppid=5992 vsize=15708868 CPUtime=313.9 cores=1,3,5,7
/proc/5994/task/6015/stat : 6015 (java) S 5992 5994 5849 0 -1 4202560 88919 0 0 0 31366 24 0 0 16 0 22 0 255952546 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 1 0 0 0
[pid=5994/tid=6016] ppid=5992 vsize=15708868 CPUtime=315.27 cores=1,3,5,7
/proc/5994/task/6016/stat : 6016 (java) S 5992 5994 5849 0 -1 4202560 82763 0 0 0 31505 22 0 0 15 0 22 0 255952546 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2204.64
Current children cumulated vsize (KiB) 15708868
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 5.10 5.17 6.07 6/220 6162
/proc/meminfo: memFree=8477600/32951124 swapFree=67111524/67111528
[pid=5994] ppid=5992 vsize=15708868 CPUtime=2262.59 cores=1,3,5,7
/proc/5994/stat : 5994 (java) S 5992 5994 5849 0 -1 4202496 3884297 0 1 0 225588 671 0 0 25 0 22 0 255952453 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5994/statm: 3927217 3846852 2293 9 0 3917936 0
[pid=5994/tid=5996] ppid=5992 vsize=15708868 CPUtime=2.46 cores=1,3,5,7
/proc/5994/task/5996/stat : 5996 (java) S 5992 5994 5849 0 -1 4202560 35703 0 1 0 242 4 0 0 25 0 22 0 255952454 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 3 0 0 0
[pid=5994/tid=5997] ppid=5992 vsize=15708868 CPUtime=2.64 cores=1,3,5,7
/proc/5994/task/5997/stat : 5997 (java) S 5992 5994 5849 0 -1 4202560 337286 0 0 0 216 48 0 0 15 0 22 0 255952454 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 3 0 0 0
[pid=5994/tid=5998] ppid=5992 vsize=15708868 CPUtime=3 cores=1,3,5,7
/proc/5994/task/5998/stat : 5998 (java) S 5992 5994 5849 0 -1 4202560 373638 0 0 0 239 61 0 0 16 0 22 0 255952454 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
[pid=5994/tid=5999] ppid=5992 vsize=15708868 CPUtime=2.86 cores=1,3,5,7
/proc/5994/task/5999/stat : 5999 (java) S 5992 5994 5849 0 -1 4202560 334326 0 0 0 233 53 0 0 16 0 22 0 255952454 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 1 0 0 0
[pid=5994/tid=6000] ppid=5992 vsize=15708868 CPUtime=2.7 cores=1,3,5,7
/proc/5994/task/6000/stat : 6000 (java) S 5992 5994 5849 0 -1 4202560 319944 0 0 0 220 50 0 0 16 0 22 0 255952454 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 3 0 0 0
[pid=5994/tid=6001] ppid=5992 vsize=15708868 CPUtime=3.85 cores=1,3,5,7
/proc/5994/task/6001/stat : 6001 (java) S 5992 5994 5849 0 -1 4202560 516462 0 0 0 301 84 0 0 16 0 22 0 255952454 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
[pid=5994/tid=6002] ppid=5992 vsize=15708868 CPUtime=2.86 cores=1,3,5,7
/proc/5994/task/6002/stat : 6002 (java) S 5992 5994 5849 0 -1 4202560 319506 0 0 0 231 55 0 0 16 0 22 0 255952454 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 3 0 0 0
[pid=5994/tid=6003] ppid=5992 vsize=15708868 CPUtime=2.64 cores=1,3,5,7
/proc/5994/task/6003/stat : 6003 (java) S 5992 5994 5849 0 -1 4202560 387220 0 0 0 201 63 0 0 16 0 22 0 255952454 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 3 0 0 0
[pid=5994/tid=6004] ppid=5992 vsize=15708868 CPUtime=2.81 cores=1,3,5,7
/proc/5994/task/6004/stat : 6004 (java) S 5992 5994 5849 0 -1 4202560 285129 0 0 0 238 43 0 0 16 0 22 0 255952454 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 1 0 0 0
[pid=5994/tid=6005] ppid=5992 vsize=15708868 CPUtime=975.25 cores=1,3,5,7
/proc/5994/task/6005/stat : 6005 (java) R 5992 5994 5849 0 -1 4202560 631892 0 0 0 97405 120 0 0 18 0 22 0 255952455 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 46989233274245 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=5994/tid=6006] ppid=5992 vsize=15708868 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6006/stat : 6006 (java) S 5992 5994 5849 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 22 0 255952456 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
[pid=5994/tid=6007] ppid=5992 vsize=15708868 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6007/stat : 6007 (java) S 5992 5994 5849 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 255952456 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
[pid=5994/tid=6008] ppid=5992 vsize=15708868 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6008/stat : 6008 (java) S 5992 5994 5849 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 255952458 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672485809 0 4 0 16800975 18446604471162313792 0 0 -1 5 0 0 0
[pid=5994/tid=6009] ppid=5992 vsize=15708868 CPUtime=1.14 cores=1,3,5,7
/proc/5994/task/6009/stat : 6009 (java) S 5992 5994 5849 0 -1 4202560 5235 0 0 0 114 0 0 0 15 0 22 0 255952458 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 5 0 0 0
[pid=5994/tid=6010] ppid=5992 vsize=15708868 CPUtime=1.03 cores=1,3,5,7
/proc/5994/task/6010/stat : 6010 (java) S 5992 5994 5849 0 -1 4202560 13000 0 0 0 102 1 0 0 16 0 22 0 255952458 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 1 0 0 0
[pid=5994/tid=6011] ppid=5992 vsize=15708868 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6011/stat : 6011 (java) S 5992 5994 5849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 255952458 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 5 0 0 0
[pid=5994/tid=6012] ppid=5992 vsize=15708868 CPUtime=0 cores=1,3,5,7
/proc/5994/task/6012/stat : 6012 (java) S 5992 5994 5849 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 255952458 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478720 0 4 0 16800975 18446604471162313792 0 0 -1 5 0 0 0
[pid=5994/tid=6013] ppid=5992 vsize=15708868 CPUtime=315.26 cores=1,3,5,7
/proc/5994/task/6013/stat : 6013 (java) S 5992 5994 5849 0 -1 4202560 78046 0 0 0 31510 16 0 0 15 0 22 0 255952546 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 5 0 0 0
[pid=5994/tid=6014] ppid=5992 vsize=15708868 CPUtime=314.58 cores=1,3,5,7
/proc/5994/task/6014/stat : 6014 (java) S 5992 5994 5849 0 -1 4202560 73685 0 0 0 31441 17 0 0 15 0 22 0 255952546 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 3 0 0 0
[pid=5994/tid=6015] ppid=5992 vsize=15708868 CPUtime=314.01 cores=1,3,5,7
/proc/5994/task/6015/stat : 6015 (java) S 5992 5994 5849 0 -1 4202560 88921 0 0 0 31376 25 0 0 15 0 22 0 255952546 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 1 0 0 0
[pid=5994/tid=6016] ppid=5992 vsize=15708868 CPUtime=315.33 cores=1,3,5,7
/proc/5994/task/6016/stat : 6016 (java) S 5992 5994 5849 0 -1 4202560 82841 0 0 0 31511 22 0 0 15 0 22 0 255952546 16085880832 3846852 33554432000 1073741824 1073778376 140737138817728 18446744073709551615 268672478105 0 4 0 16800975 18446604471162313792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2262.59
Current children cumulated vsize (KiB) 15708868
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -5994
[startup+1302.3 s]
/proc/loadavg: 5.10 5.17 6.07 6/221 6163
/proc/meminfo: memFree=8477468/32951124 swapFree=67111524/67111528
[pid=5994] ppid=5992 vsize=0 CPUtime=2264.89 cores=1,3,5,7
/proc/5994/stat : 5994 (java) Z 5992 5994 5849 0 -1 4203548 3884319 0 1 0 225789 700 0 0 18 0 2 0 255952453 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5994/statm: 0 0 0 0 0 0 0
[pid=5994/tid=6016] ppid=5992 vsize=0 CPUtime=315.61 cores=1,3,5,7
/proc/5994/task/6016/stat : 6016 (java) R 5992 5994 5849 0 -1 4203588 82841 0 0 0 31511 50 0 0 16 0 2 0 255952546 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2264.89
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.5 s]
/proc/loadavg: 5.10 5.17 6.07 6/221 6163
/proc/meminfo: memFree=8477468/32951124 swapFree=67111524/67111528
[pid=5994] ppid=5992 vsize=0 CPUtime=2265.09 cores=1,3,5,7
/proc/5994/stat : 5994 (java) Z 5992 5994 5849 0 -1 4203548 3884319 0 1 0 225789 720 0 0 18 0 2 0 255952453 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5994/statm: 0 0 0 0 0 0 0
[pid=5994/tid=6016] ppid=5992 vsize=0 CPUtime=315.81 cores=1,3,5,7
/proc/5994/task/6016/stat : 6016 (java) R 5992 5994 5849 0 -1 4203588 82841 0 0 0 31511 70 0 0 16 0 2 0 255952546 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2265.09
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.54
CPU time (s): 2265.14
CPU user time (s): 2257.9
CPU system time (s): 7.2389
CPU usage (%): 173.902
Max. virtual memory (cumulated for all children) (KiB): 15716456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2257.9
system time used= 7.2389
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3884319
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79640
involuntary context switches= 43831
runsolver used 2.19167 second user time and 4.95525 second system time
The end