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-3741749-1338752263/watcher-3741749-1338752263 -o /tmp/evaluation-result-3741749-1338752263/solver-3741749-1338752263 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741749-1338752263.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 11540
/proc/meminfo: memFree=25468712/32873648 swapFree=7120/7120
[pid=11540] ppid=11538 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/11540/stat : 11540 (java) D 11538 11540 11123 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 341353714 9515008 183 33554432000 1073741824 1073778376 140735673909328 140735673900360 219513962165 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/11540/statm: 2323 183 140 9 0 71 0
[startup+0.055891 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 11540
/proc/meminfo: memFree=25468712/32873648 swapFree=7120/7120
[pid=11540] ppid=11538 vsize=2623916 CPUtime=0.03 cores=1,3,5,7
/proc/11540/stat : 11540 (java) S 11538 11540 11123 0 -1 4202496 3950 0 1 0 2 1 0 0 20 0 13 0 341353714 2686889984 5157 33554432000 1073741824 1073778376 140735919272528 140735919263664 219517321277 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11540/statm: 655979 5157 1708 9 0 646680 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2623916
[startup+0.100345 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 11540
/proc/meminfo: memFree=25468712/32873648 swapFree=7120/7120
[pid=11540] ppid=11538 vsize=2957856 CPUtime=0.09 cores=1,3,5,7
/proc/11540/stat : 11540 (java) S 11538 11540 11123 0 -1 4202496 4913 0 1 0 7 2 0 0 20 0 18 0 341353714 3028844544 6625 33554432000 1073741824 1073778376 140735919272528 140735919263664 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11540/statm: 739464 6625 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856
[startup+0.300293 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 11540
/proc/meminfo: memFree=25468712/32873648 swapFree=7120/7120
[pid=11540] ppid=11538 vsize=3024420 CPUtime=0.53 cores=1,3,5,7
/proc/11540/stat : 11540 (java) S 11538 11540 11123 0 -1 4202496 7155 0 1 0 51 2 0 0 20 0 19 0 341353714 3097006080 8988 33554432000 1073741824 1073778376 140735919272528 140735919263664 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11540/statm: 756105 8988 2256 9 0 746526 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 3024420
[startup+0.70031 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 11540
/proc/meminfo: memFree=25468712/32873648 swapFree=7120/7120
[pid=11540] ppid=11538 vsize=3024420 CPUtime=1.04 cores=1,3,5,7
/proc/11540/stat : 11540 (java) S 11538 11540 11123 0 -1 4202496 7471 0 1 0 101 3 0 0 20 0 19 0 341353714 3097006080 10099 33554432000 1073741824 1073778376 140735919272528 140735919263664 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11540/statm: 756105 10099 2262 9 0 746526 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 3024420
[startup+1.50072 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 11561
/proc/meminfo: memFree=25432424/32873648 swapFree=7120/7120
[pid=11540] ppid=11538 vsize=3024420 CPUtime=1.84 cores=1,3,5,7
/proc/11540/stat : 11540 (java) S 11538 11540 11123 0 -1 4202496 7478 0 1 0 181 3 0 0 20 0 19 0 341353714 3097006080 12660 33554432000 1073741824 1073778376 140735919272528 140735919263664 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11540/statm: 756105 12660 2262 9 0 746526 0
[pid=11540/tid=11542] ppid=11538 vsize=3024420 CPUtime=1.47 cores=1,3,5,7
/proc/11540/task/11542/stat : 11542 (java) R 11538 11540 11123 0 -1 4202560 3039 0 1 0 145 2 0 0 20 0 19 0 341353716 3097006080 12660 33554432000 1073741824 1073778376 140735919272528 139671958245720 139671816923844 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11540/tid=11543] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11543/stat : 11543 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353717 3097006080 12660 33554432000 1073741824 1073778376 140735919272528 139671941671464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11544] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11544/stat : 11544 (java) S 11538 11540 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341353717 3097006080 12660 33554432000 1073741824 1073778376 140735919272528 139671940618664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11540/tid=11545] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11545/stat : 11545 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353717 3097006080 12660 33554432000 1073741824 1073778376 140735919272528 139671939565864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11540/tid=11546] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11546/stat : 11546 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353717 3097006080 12660 33554432000 1073741824 1073778376 140735919272528 139671938513064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11540/tid=11547] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11547/stat : 11547 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353717 3097006080 12660 33554432000 1073741824 1073778376 140735919272528 139671937461288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11548] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11548/stat : 11548 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353717 3097006080 12660 33554432000 1073741824 1073778376 140735919272528 139671936408488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11540/tid=11549] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11549/stat : 11549 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353717 3097006080 12660 33554432000 1073741824 1073778376 140735919272528 139671935355688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11550] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11550/stat : 11550 (java) S 11538 11540 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341353717 3097006080 12660 33554432000 1073741824 1073778376 140735919272528 139671816366760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11551] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11551/stat : 11551 (java) S 11538 11540 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341353718 3097006080 12660 33554432000 1073741824 1073778376 140735919272528 139671804168680 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11552] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11552/stat : 11552 (java) S 11538 11540 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341353718 3097006080 12660 33554432000 1073741824 1073778376 140735919272528 139671803114744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11553] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11553/stat : 11553 (java) S 11538 11540 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341353718 3097006080 12660 33554432000 1073741824 1073778376 140735919272528 139671802061832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11554] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11554/stat : 11554 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353721 3097006080 12660 33554432000 1073741824 1073778376 140735919272528 139671801010320 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11555] ppid=11538 vsize=3024420 CPUtime=0.18 cores=1,3,5,7
/proc/11540/task/11555/stat : 11555 (java) S 11538 11540 11123 0 -1 4202560 1833 0 0 0 18 0 0 0 20 0 19 0 341353721 3097006080 12660 33554432000 1073741824 1073778376 140735919272528 139671061392312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11556] ppid=11538 vsize=3024420 CPUtime=0.16 cores=1,3,5,7
/proc/11540/task/11556/stat : 11556 (java) S 11538 11540 11123 0 -1 4202560 1399 0 0 0 16 0 0 0 20 0 19 0 341353721 3097006080 12660 33554432000 1073741824 1073778376 140735919272528 139671060339512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11540/tid=11557] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11557/stat : 11557 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353721 3097006080 12660 33554432000 1073741824 1073778376 140735919272528 139671059286904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11540/tid=11558] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11558/stat : 11558 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353721 3097006080 12660 33554432000 1073741824 1073778376 140735919272528 139671058234312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11561] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11561/stat : 11561 (java) S 11538 11540 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341353736 3097006080 12660 33554432000 1073741824 1073778376 140735919272528 139671056102312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 3024420
[startup+3.1007 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 11561
/proc/meminfo: memFree=25419384/32873648 swapFree=7120/7120
[pid=11540] ppid=11538 vsize=3024420 CPUtime=3.44 cores=1,3,5,7
/proc/11540/stat : 11540 (java) S 11538 11540 11123 0 -1 4202496 7487 0 1 0 341 3 0 0 20 0 19 0 341353714 3097006080 17268 33554432000 1073741824 1073778376 140735919272528 140735919263664 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11540/statm: 756105 17268 2262 9 0 746526 0
[pid=11540/tid=11542] ppid=11538 vsize=3024420 CPUtime=3.06 cores=1,3,5,7
/proc/11540/task/11542/stat : 11542 (java) R 11538 11540 11123 0 -1 4202560 3048 0 1 0 304 2 0 0 20 0 19 0 341353716 3097006080 17268 33554432000 1073741824 1073778376 140735919272528 139671958245720 139671816901673 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11540/tid=11543] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11543/stat : 11543 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353717 3097006080 17268 33554432000 1073741824 1073778376 140735919272528 139671941671464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11544] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11544/stat : 11544 (java) S 11538 11540 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341353717 3097006080 17268 33554432000 1073741824 1073778376 140735919272528 139671940618664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11540/tid=11545] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11545/stat : 11545 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353717 3097006080 17268 33554432000 1073741824 1073778376 140735919272528 139671939565864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11540/tid=11546] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11546/stat : 11546 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353717 3097006080 17268 33554432000 1073741824 1073778376 140735919272528 139671938513064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11540/tid=11547] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11547/stat : 11547 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353717 3097006080 17268 33554432000 1073741824 1073778376 140735919272528 139671937461288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11548] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11548/stat : 11548 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353717 3097006080 17268 33554432000 1073741824 1073778376 140735919272528 139671936408488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11540/tid=11549] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11549/stat : 11549 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353717 3097006080 17268 33554432000 1073741824 1073778376 140735919272528 139671935355688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11550] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11550/stat : 11550 (java) S 11538 11540 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341353717 3097006080 17268 33554432000 1073741824 1073778376 140735919272528 139671816366760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11551] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11551/stat : 11551 (java) S 11538 11540 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341353718 3097006080 17268 33554432000 1073741824 1073778376 140735919272528 139671804168680 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11552] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11552/stat : 11552 (java) S 11538 11540 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341353718 3097006080 17268 33554432000 1073741824 1073778376 140735919272528 139671803114744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11553] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11553/stat : 11553 (java) S 11538 11540 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341353718 3097006080 17268 33554432000 1073741824 1073778376 140735919272528 139671802061832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11554] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11554/stat : 11554 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353721 3097006080 17268 33554432000 1073741824 1073778376 140735919272528 139671801010320 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11555] ppid=11538 vsize=3024420 CPUtime=0.18 cores=1,3,5,7
/proc/11540/task/11555/stat : 11555 (java) S 11538 11540 11123 0 -1 4202560 1833 0 0 0 18 0 0 0 20 0 19 0 341353721 3097006080 17268 33554432000 1073741824 1073778376 140735919272528 139671061392312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11556] ppid=11538 vsize=3024420 CPUtime=0.16 cores=1,3,5,7
/proc/11540/task/11556/stat : 11556 (java) S 11538 11540 11123 0 -1 4202560 1399 0 0 0 16 0 0 0 20 0 19 0 341353721 3097006080 17268 33554432000 1073741824 1073778376 140735919272528 139671060339512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11540/tid=11557] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11557/stat : 11557 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353721 3097006080 17268 33554432000 1073741824 1073778376 140735919272528 139671059286904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11540/tid=11558] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11558/stat : 11558 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353721 3097006080 17268 33554432000 1073741824 1073778376 140735919272528 139671058234312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11561] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11561/stat : 11561 (java) S 11538 11540 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341353736 3097006080 17268 33554432000 1073741824 1073778376 140735919272528 139671056102312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.44
Current children cumulated vsize (KiB) 3024420
[startup+6.30076 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 11561
/proc/meminfo: memFree=25386844/32873648 swapFree=7120/7120
[pid=11540] ppid=11538 vsize=3024420 CPUtime=6.65 cores=1,3,5,7
/proc/11540/stat : 11540 (java) S 11538 11540 11123 0 -1 4202496 7503 0 1 0 661 4 0 0 20 0 19 0 341353714 3097006080 24275 33554432000 1073741824 1073778376 140735919272528 140735919263664 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11540/statm: 756105 24275 2263 9 0 746526 0
[pid=11540/tid=11542] ppid=11538 vsize=3024420 CPUtime=6.26 cores=1,3,5,7
/proc/11540/task/11542/stat : 11542 (java) R 11538 11540 11123 0 -1 4202560 3063 0 1 0 624 2 0 0 20 0 19 0 341353716 3097006080 24275 33554432000 1073741824 1073778376 140735919272528 139671958245888 139671816846335 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11540/tid=11543] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11543/stat : 11543 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353717 3097006080 24275 33554432000 1073741824 1073778376 140735919272528 139671941671464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11544] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11544/stat : 11544 (java) S 11538 11540 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341353717 3097006080 24275 33554432000 1073741824 1073778376 140735919272528 139671940618664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11540/tid=11545] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11545/stat : 11545 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353717 3097006080 24275 33554432000 1073741824 1073778376 140735919272528 139671939565864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11540/tid=11546] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11546/stat : 11546 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353717 3097006080 24275 33554432000 1073741824 1073778376 140735919272528 139671938513064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11540/tid=11547] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11547/stat : 11547 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353717 3097006080 24275 33554432000 1073741824 1073778376 140735919272528 139671937461288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11548] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11548/stat : 11548 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353717 3097006080 24275 33554432000 1073741824 1073778376 140735919272528 139671936408488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11540/tid=11549] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11549/stat : 11549 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353717 3097006080 24275 33554432000 1073741824 1073778376 140735919272528 139671935355688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11550] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11550/stat : 11550 (java) S 11538 11540 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341353717 3097006080 24275 33554432000 1073741824 1073778376 140735919272528 139671816366760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11551] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11551/stat : 11551 (java) S 11538 11540 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341353718 3097006080 24275 33554432000 1073741824 1073778376 140735919272528 139671804168680 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11552] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11552/stat : 11552 (java) S 11538 11540 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341353718 3097006080 24275 33554432000 1073741824 1073778376 140735919272528 139671803114744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11553] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11553/stat : 11553 (java) S 11538 11540 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341353718 3097006080 24275 33554432000 1073741824 1073778376 140735919272528 139671802061832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11554] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11554/stat : 11554 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353721 3097006080 24275 33554432000 1073741824 1073778376 140735919272528 139671801010320 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11555] ppid=11538 vsize=3024420 CPUtime=0.18 cores=1,3,5,7
/proc/11540/task/11555/stat : 11555 (java) S 11538 11540 11123 0 -1 4202560 1833 0 0 0 18 0 0 0 20 0 19 0 341353721 3097006080 24275 33554432000 1073741824 1073778376 140735919272528 139671061392312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11556] ppid=11538 vsize=3024420 CPUtime=0.16 cores=1,3,5,7
/proc/11540/task/11556/stat : 11556 (java) S 11538 11540 11123 0 -1 4202560 1399 0 0 0 16 0 0 0 20 0 19 0 341353721 3097006080 24275 33554432000 1073741824 1073778376 140735919272528 139671060339512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11540/tid=11557] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11557/stat : 11557 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353721 3097006080 24275 33554432000 1073741824 1073778376 140735919272528 139671059286904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11540/tid=11558] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11558/stat : 11558 (java) S 11538 11540 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341353721 3097006080 24275 33554432000 1073741824 1073778376 140735919272528 139671058234312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11561] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11561/stat : 11561 (java) S 11538 11540 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341353736 3097006080 24275 33554432000 1073741824 1073778376 140735919272528 139671056102312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.65
Current children cumulated vsize (KiB) 3024420
[startup+12.7008 s]
################
# More data... #
################
[pid=11540/tid=11548] ppid=11538 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/11540/task/11548/stat : 11548 (java) S 11538 11540 11123 0 -1 4202560 383 0 0 0 39 13 0 0 20 0 19 0 341353717 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671936408488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11540/tid=11549] ppid=11538 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/11540/task/11549/stat : 11549 (java) S 11538 11540 11123 0 -1 4202560 380 0 0 0 29 13 0 0 20 0 19 0 341353717 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671935355688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11540/tid=11550] ppid=11538 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/11540/task/11550/stat : 11550 (java) S 11538 11540 11123 0 -1 4202560 355 0 0 0 34 12 0 0 20 0 19 0 341353717 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671816366760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11540/tid=11551] ppid=11538 vsize=3024420 CPUtime=1.33 cores=1,3,5,7
/proc/11540/task/11551/stat : 11551 (java) S 11538 11540 11123 0 -1 4202560 58 0 0 0 131 2 0 0 20 0 19 0 341353718 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671804168680 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11540/tid=11552] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11552/stat : 11552 (java) S 11538 11540 11123 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 341353718 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671803114744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11553] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11553/stat : 11553 (java) S 11538 11540 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341353718 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671802061832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11554] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11554/stat : 11554 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353721 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671801010320 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11555] ppid=11538 vsize=3024420 CPUtime=0.23 cores=1,3,5,7
/proc/11540/task/11555/stat : 11555 (java) S 11538 11540 11123 0 -1 4202560 1842 0 0 0 23 0 0 0 20 0 19 0 341353721 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671061392312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11556] ppid=11538 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/11540/task/11556/stat : 11556 (java) S 11538 11540 11123 0 -1 4202560 1407 0 0 0 19 0 0 0 20 0 19 0 341353721 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671060339512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11540/tid=11557] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11557/stat : 11557 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353721 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671059286904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11540/tid=11558] ppid=11538 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/11540/task/11558/stat : 11558 (java) S 11538 11540 11123 0 -1 4202560 98 0 0 0 26 46 0 0 20 0 19 0 341353721 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671058234312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11540/tid=11561] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11561/stat : 11561 (java) S 11538 11540 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341353736 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671056102312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1666.36
Current children cumulated vsize (KiB) 3024420
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 11665
/proc/meminfo: memFree=24753984/32873648 swapFree=7120/7120
[pid=11540] ppid=11538 vsize=3024420 CPUtime=1726.35 cores=1,3,5,7
/proc/11540/stat : 11540 (java) S 11538 11540 11123 0 -1 4202496 10943 0 1 0 172473 162 0 0 20 0 19 0 341353714 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 140735919263664 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11540/statm: 756105 419431 2292 9 0 746526 0
[pid=11540/tid=11542] ppid=11538 vsize=3024420 CPUtime=1719.86 cores=1,3,5,7
/proc/11540/task/11542/stat : 11542 (java) R 11538 11540 11123 0 -1 4202560 3236 0 1 0 171952 34 0 0 20 0 19 0 341353716 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671958245800 139671817035776 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11543] ppid=11538 vsize=3024420 CPUtime=0.58 cores=1,3,5,7
/proc/11540/task/11543/stat : 11543 (java) S 11538 11540 11123 0 -1 4202560 329 0 0 0 43 15 0 0 20 0 19 0 341353717 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671941671464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11540/tid=11544] ppid=11538 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/11540/task/11544/stat : 11544 (java) S 11538 11540 11123 0 -1 4202560 396 0 0 0 32 13 0 0 20 0 19 0 341353717 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671940618664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11540/tid=11545] ppid=11538 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/11540/task/11545/stat : 11545 (java) S 11538 11540 11123 0 -1 4202560 368 0 0 0 35 14 0 0 20 0 19 0 341353717 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671939565864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11540/tid=11546] ppid=11538 vsize=3024420 CPUtime=0.88 cores=1,3,5,7
/proc/11540/task/11546/stat : 11546 (java) S 11538 11540 11123 0 -1 4202560 506 0 0 0 61 27 0 0 20 0 19 0 341353717 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671938513064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11540/tid=11547] ppid=11538 vsize=3024420 CPUtime=0.67 cores=1,3,5,7
/proc/11540/task/11547/stat : 11547 (java) S 11538 11540 11123 0 -1 4202560 388 0 0 0 50 17 0 0 20 0 19 0 341353717 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671937461288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11540/tid=11548] ppid=11538 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/11540/task/11548/stat : 11548 (java) S 11538 11540 11123 0 -1 4202560 383 0 0 0 39 13 0 0 20 0 19 0 341353717 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671936408488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11540/tid=11549] ppid=11538 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/11540/task/11549/stat : 11549 (java) S 11538 11540 11123 0 -1 4202560 380 0 0 0 29 13 0 0 20 0 19 0 341353717 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671935355688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11540/tid=11550] ppid=11538 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/11540/task/11550/stat : 11550 (java) S 11538 11540 11123 0 -1 4202560 355 0 0 0 34 12 0 0 20 0 19 0 341353717 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671816366760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11540/tid=11551] ppid=11538 vsize=3024420 CPUtime=1.33 cores=1,3,5,7
/proc/11540/task/11551/stat : 11551 (java) S 11538 11540 11123 0 -1 4202560 58 0 0 0 131 2 0 0 20 0 19 0 341353718 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671804168680 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11540/tid=11552] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11552/stat : 11552 (java) S 11538 11540 11123 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 341353718 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671803114744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11553] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11553/stat : 11553 (java) S 11538 11540 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341353718 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671802061832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11554] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11554/stat : 11554 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353721 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671801010320 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11555] ppid=11538 vsize=3024420 CPUtime=0.23 cores=1,3,5,7
/proc/11540/task/11555/stat : 11555 (java) S 11538 11540 11123 0 -1 4202560 1842 0 0 0 23 0 0 0 20 0 19 0 341353721 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671061392312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11556] ppid=11538 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/11540/task/11556/stat : 11556 (java) S 11538 11540 11123 0 -1 4202560 1407 0 0 0 19 0 0 0 20 0 19 0 341353721 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671060339512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11540/tid=11557] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11557/stat : 11557 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353721 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671059286904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11540/tid=11558] ppid=11538 vsize=3024420 CPUtime=0.73 cores=1,3,5,7
/proc/11540/task/11558/stat : 11558 (java) S 11538 11540 11123 0 -1 4202560 100 0 0 0 26 47 0 0 20 0 19 0 341353721 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671058234312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11540/tid=11561] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11561/stat : 11561 (java) S 11538 11540 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341353736 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671056102312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1726.35
Current children cumulated vsize (KiB) 3024420
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 11665
/proc/meminfo: memFree=24753616/32873648 swapFree=7120/7120
[pid=11540] ppid=11538 vsize=3024420 CPUtime=1786.36 cores=1,3,5,7
/proc/11540/stat : 11540 (java) S 11538 11540 11123 0 -1 4202496 10947 0 1 0 178473 163 0 0 20 0 19 0 341353714 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 140735919263664 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11540/statm: 756105 419431 2292 9 0 746526 0
[pid=11540/tid=11542] ppid=11538 vsize=3024420 CPUtime=1779.87 cores=1,3,5,7
/proc/11540/task/11542/stat : 11542 (java) R 11538 11540 11123 0 -1 4202560 3236 0 1 0 177952 35 0 0 20 0 19 0 341353716 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671958245800 139671816640400 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11543] ppid=11538 vsize=3024420 CPUtime=0.58 cores=1,3,5,7
/proc/11540/task/11543/stat : 11543 (java) S 11538 11540 11123 0 -1 4202560 329 0 0 0 43 15 0 0 20 0 19 0 341353717 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671941671464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11540/tid=11544] ppid=11538 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/11540/task/11544/stat : 11544 (java) S 11538 11540 11123 0 -1 4202560 396 0 0 0 32 13 0 0 20 0 19 0 341353717 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671940618664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11540/tid=11545] ppid=11538 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/11540/task/11545/stat : 11545 (java) S 11538 11540 11123 0 -1 4202560 368 0 0 0 35 14 0 0 20 0 19 0 341353717 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671939565864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11540/tid=11546] ppid=11538 vsize=3024420 CPUtime=0.88 cores=1,3,5,7
/proc/11540/task/11546/stat : 11546 (java) S 11538 11540 11123 0 -1 4202560 506 0 0 0 61 27 0 0 20 0 19 0 341353717 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671938513064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11540/tid=11547] ppid=11538 vsize=3024420 CPUtime=0.67 cores=1,3,5,7
/proc/11540/task/11547/stat : 11547 (java) S 11538 11540 11123 0 -1 4202560 388 0 0 0 50 17 0 0 20 0 19 0 341353717 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671937461288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11540/tid=11548] ppid=11538 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/11540/task/11548/stat : 11548 (java) S 11538 11540 11123 0 -1 4202560 383 0 0 0 39 13 0 0 20 0 19 0 341353717 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671936408488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11540/tid=11549] ppid=11538 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/11540/task/11549/stat : 11549 (java) S 11538 11540 11123 0 -1 4202560 380 0 0 0 29 13 0 0 20 0 19 0 341353717 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671935355688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11540/tid=11550] ppid=11538 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/11540/task/11550/stat : 11550 (java) S 11538 11540 11123 0 -1 4202560 355 0 0 0 34 12 0 0 20 0 19 0 341353717 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671816366760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11540/tid=11551] ppid=11538 vsize=3024420 CPUtime=1.33 cores=1,3,5,7
/proc/11540/task/11551/stat : 11551 (java) S 11538 11540 11123 0 -1 4202560 58 0 0 0 131 2 0 0 20 0 19 0 341353718 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671804168680 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11540/tid=11552] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11552/stat : 11552 (java) S 11538 11540 11123 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 341353718 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671803114744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11553] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11553/stat : 11553 (java) S 11538 11540 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341353718 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671802061832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11554] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11554/stat : 11554 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353721 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671801010320 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11555] ppid=11538 vsize=3024420 CPUtime=0.23 cores=1,3,5,7
/proc/11540/task/11555/stat : 11555 (java) S 11538 11540 11123 0 -1 4202560 1842 0 0 0 23 0 0 0 20 0 19 0 341353721 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671061392312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11556] ppid=11538 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/11540/task/11556/stat : 11556 (java) S 11538 11540 11123 0 -1 4202560 1407 0 0 0 19 0 0 0 20 0 19 0 341353721 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671060339512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11540/tid=11557] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11557/stat : 11557 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353721 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671059286904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11540/tid=11558] ppid=11538 vsize=3024420 CPUtime=0.76 cores=1,3,5,7
/proc/11540/task/11558/stat : 11558 (java) S 11538 11540 11123 0 -1 4202560 104 0 0 0 27 49 0 0 20 0 19 0 341353721 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671058234312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11540/tid=11561] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11561/stat : 11561 (java) S 11538 11540 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341353736 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671056102312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1786.36
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 11665
/proc/meminfo: memFree=24753992/32873648 swapFree=7120/7120
[pid=11540] ppid=11538 vsize=3024420 CPUtime=1800.06 cores=1,3,5,7
/proc/11540/stat : 11540 (java) S 11538 11540 11123 0 -1 4202496 10949 0 1 0 179843 163 0 0 20 0 19 0 341353714 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 140735919263664 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11540/statm: 756105 419431 2292 9 0 746526 0
[pid=11540/tid=11542] ppid=11538 vsize=3024420 CPUtime=1793.58 cores=1,3,5,7
/proc/11540/task/11542/stat : 11542 (java) R 11538 11540 11123 0 -1 4202560 3236 0 1 0 179323 35 0 0 20 0 19 0 341353716 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671958245800 139671817036096 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11543] ppid=11538 vsize=3024420 CPUtime=0.58 cores=1,3,5,7
/proc/11540/task/11543/stat : 11543 (java) S 11538 11540 11123 0 -1 4202560 329 0 0 0 43 15 0 0 20 0 19 0 341353717 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671941671464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11540/tid=11544] ppid=11538 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/11540/task/11544/stat : 11544 (java) S 11538 11540 11123 0 -1 4202560 396 0 0 0 32 13 0 0 20 0 19 0 341353717 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671940618664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11540/tid=11545] ppid=11538 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/11540/task/11545/stat : 11545 (java) S 11538 11540 11123 0 -1 4202560 368 0 0 0 35 14 0 0 20 0 19 0 341353717 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671939565864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11540/tid=11546] ppid=11538 vsize=3024420 CPUtime=0.88 cores=1,3,5,7
/proc/11540/task/11546/stat : 11546 (java) S 11538 11540 11123 0 -1 4202560 506 0 0 0 61 27 0 0 20 0 19 0 341353717 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671938513064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11540/tid=11547] ppid=11538 vsize=3024420 CPUtime=0.67 cores=1,3,5,7
/proc/11540/task/11547/stat : 11547 (java) S 11538 11540 11123 0 -1 4202560 388 0 0 0 50 17 0 0 20 0 19 0 341353717 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671937461288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11540/tid=11548] ppid=11538 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/11540/task/11548/stat : 11548 (java) S 11538 11540 11123 0 -1 4202560 383 0 0 0 39 13 0 0 20 0 19 0 341353717 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671936408488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11540/tid=11549] ppid=11538 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/11540/task/11549/stat : 11549 (java) S 11538 11540 11123 0 -1 4202560 380 0 0 0 29 13 0 0 20 0 19 0 341353717 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671935355688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11540/tid=11550] ppid=11538 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/11540/task/11550/stat : 11550 (java) S 11538 11540 11123 0 -1 4202560 355 0 0 0 34 12 0 0 20 0 19 0 341353717 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671816366760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11540/tid=11551] ppid=11538 vsize=3024420 CPUtime=1.34 cores=1,3,5,7
/proc/11540/task/11551/stat : 11551 (java) S 11538 11540 11123 0 -1 4202560 58 0 0 0 131 3 0 0 20 0 19 0 341353718 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671804168680 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11540/tid=11552] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11552/stat : 11552 (java) S 11538 11540 11123 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 341353718 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671803114744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11553] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11553/stat : 11553 (java) S 11538 11540 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341353718 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671802061832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11554] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11554/stat : 11554 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353721 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671801010320 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11555] ppid=11538 vsize=3024420 CPUtime=0.23 cores=1,3,5,7
/proc/11540/task/11555/stat : 11555 (java) S 11538 11540 11123 0 -1 4202560 1842 0 0 0 23 0 0 0 20 0 19 0 341353721 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671061392312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11540/tid=11556] ppid=11538 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/11540/task/11556/stat : 11556 (java) S 11538 11540 11123 0 -1 4202560 1407 0 0 0 19 0 0 0 20 0 19 0 341353721 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671060339512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11540/tid=11557] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11557/stat : 11557 (java) S 11538 11540 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341353721 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671059286904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11540/tid=11558] ppid=11538 vsize=3024420 CPUtime=0.77 cores=1,3,5,7
/proc/11540/task/11558/stat : 11558 (java) S 11538 11540 11123 0 -1 4202560 106 0 0 0 27 50 0 0 20 0 19 0 341353721 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671058234312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11540/tid=11561] ppid=11538 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/11540/task/11561/stat : 11561 (java) S 11538 11540 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341353736 3097006080 419431 33554432000 1073741824 1073778376 140735919272528 139671056102312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1796.02
CPU time (s): 1800.85
CPU user time (s): 1798.59
CPU system time (s): 2.26266
CPU usage (%): 100.269
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.59
system time used= 2.26266
maximum resident set size= 1677836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10979
page faults= 1
swaps= 0
block input operations= 0
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37996
involuntary context switches= 3383
runsolver used 6.78097 second user time and 14.2418 second system time
The end