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-3729802-1338729424/watcher-3729802-1338729424 -o /tmp/evaluation-result-3729802-1338729424/solver-3729802-1338729424 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3729802-1338729424.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.60 3.52 3.52 4/197 11901
/proc/meminfo: memFree=31124940/32873648 swapFree=7628/7628
[pid=11901] ppid=11899 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/11901/stat : 11901 (java) S 11899 11901 3958 0 -1 4202496 1153 0 0 0 0 0 0 0 20 0 2 0 339068424 91889664 873 33554432000 1073741824 1073778376 140736817251616 140736817242752 217413877821 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11901/statm: 22434 882 667 9 0 16769 0
[pid=11901/tid=11902] ppid=11899 vsize=89740 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11902/stat : 11902 (java) R 11899 11901 3958 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 2 0 339068424 91893760 893 33554432000 1073741824 1073778376 140736817251616 140736817240680 217410520352 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.0850281 s]
/proc/loadavg: 3.60 3.52 3.52 4/197 11901
/proc/meminfo: memFree=31124940/32873648 swapFree=7628/7628
[pid=11901] ppid=11899 vsize=2699928 CPUtime=0.09 cores=1,3,5,7
/proc/11901/stat : 11901 (java) S 11899 11901 3958 0 -1 4202496 4700 0 1 0 8 1 0 0 20 0 18 0 339068424 2764726272 6408 33554432000 1073741824 1073778376 140736817251616 140736817242752 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11901/statm: 674982 6408 2109 9 0 665676 0
[pid=11901/tid=11902] ppid=11899 vsize=2699928 CPUtime=0.06 cores=1,3,5,7
/proc/11901/task/11902/stat : 11902 (java) R 11899 11901 3958 0 -1 4202560 2728 0 1 0 6 0 0 0 20 0 18 0 339068424 2764726272 6408 33554432000 1073741824 1073778376 140736817251616 140091121471608 217413903629 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2699928
[startup+0.100248 s]
/proc/loadavg: 3.60 3.52 3.52 4/197 11901
/proc/meminfo: memFree=31124940/32873648 swapFree=7628/7628
[pid=11901] ppid=11899 vsize=2699928 CPUtime=0.11 cores=1,3,5,7
/proc/11901/stat : 11901 (java) S 11899 11901 3958 0 -1 4202496 4842 0 1 0 10 1 0 0 20 0 18 0 339068424 2764726272 6538 33554432000 1073741824 1073778376 140736817251616 140736817242752 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11901/statm: 674982 6538 2144 9 0 665676 0
[pid=11901/tid=11902] ppid=11899 vsize=2699928 CPUtime=0.07 cores=1,3,5,7
/proc/11901/task/11902/stat : 11902 (java) R 11899 11901 3958 0 -1 4202560 2776 0 1 0 7 0 0 0 20 0 18 0 339068424 2764726272 6538 33554432000 1073741824 1073778376 140736817251616 140091121471608 217413903629 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2699928
[startup+0.300203 s]
/proc/loadavg: 3.60 3.52 3.52 4/197 11901
/proc/meminfo: memFree=31124940/32873648 swapFree=7628/7628
[pid=11901] ppid=11899 vsize=2966184 CPUtime=0.5 cores=1,3,5,7
/proc/11901/stat : 11901 (java) S 11899 11901 3958 0 -1 4202496 6220 0 1 0 49 1 0 0 20 0 22 0 339068424 3037372416 10316 33554432000 1073741824 1073778376 140736817251616 140736817242752 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11901/statm: 741546 10316 2228 9 0 732240 0
[pid=11901/tid=11902] ppid=11899 vsize=2966184 CPUtime=0.27 cores=1,3,5,7
/proc/11901/task/11902/stat : 11902 (java) S 11899 11901 3958 0 -1 4202560 2803 0 1 0 27 0 0 0 20 0 22 0 339068424 3037372416 10316 33554432000 1073741824 1073778376 140736817251616 140091121484952 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2966184
[startup+0.700238 s]
/proc/loadavg: 3.60 3.52 3.52 4/197 11901
/proc/meminfo: memFree=31124940/32873648 swapFree=7628/7628
[pid=11901] ppid=11899 vsize=2966184 CPUtime=2.09 cores=1,3,5,7
/proc/11901/stat : 11901 (java) S 11899 11901 3958 0 -1 4202496 15472 0 1 0 205 4 0 0 20 0 22 0 339068424 3037372416 29557 33554432000 1073741824 1073778376 140736817251616 140736817242752 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11901/statm: 741546 29557 2242 9 0 732240 0
[pid=11901/tid=11902] ppid=11899 vsize=2966184 CPUtime=0.27 cores=1,3,5,7
/proc/11901/task/11902/stat : 11902 (java) S 11899 11901 3958 0 -1 4202560 2803 0 1 0 27 0 0 0 20 0 22 0 339068424 3037372416 29557 33554432000 1073741824 1073778376 140736817251616 140091121484952 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 2966184
[startup+1.50076 s]
/proc/loadavg: 3.60 3.52 3.52 7/219 11923
/proc/meminfo: memFree=30945540/32873648 swapFree=7628/7628
[pid=11901] ppid=11899 vsize=2966184 CPUtime=4.4 cores=1,3,5,7
/proc/11901/stat : 11901 (java) S 11899 11901 3958 0 -1 4202496 19720 0 1 0 434 6 0 0 20 0 22 0 339068424 3037372416 59814 33554432000 1073741824 1073778376 140736817251616 140736817242752 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11901/statm: 741546 59814 2273 9 0 732240 0
[pid=11901/tid=11902] ppid=11899 vsize=2966184 CPUtime=0.27 cores=1,3,5,7
/proc/11901/task/11902/stat : 11902 (java) S 11899 11901 3958 0 -1 4202560 2803 0 1 0 27 0 0 0 20 0 22 0 339068424 3037372416 59814 33554432000 1073741824 1073778376 140736817251616 140091121484952 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11901/tid=11904] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11904/stat : 11904 (java) S 11899 11901 3958 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 339068425 3037372416 59814 33554432000 1073741824 1073778376 140736817251616 140091105765800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11901/tid=11905] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11905/stat : 11905 (java) S 11899 11901 3958 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 339068425 3037372416 59814 33554432000 1073741824 1073778376 140736817251616 140091104713256 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11901/tid=11906] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11906/stat : 11906 (java) S 11899 11901 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339068425 3037372416 59814 33554432000 1073741824 1073778376 140736817251616 140091103660200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11901/tid=11907] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11907/stat : 11907 (java) S 11899 11901 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339068425 3037372416 59814 33554432000 1073741824 1073778376 140736817251616 140091102607656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11901/tid=11908] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11908/stat : 11908 (java) S 11899 11901 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339068425 3037372416 59814 33554432000 1073741824 1073778376 140736817251616 140091101555624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11901/tid=11909] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11909/stat : 11909 (java) S 11899 11901 3958 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 339068425 3037372416 59814 33554432000 1073741824 1073778376 140736817251616 140091100503080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11901/tid=11910] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11910/stat : 11910 (java) S 11899 11901 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339068425 3037372416 59814 33554432000 1073741824 1073778376 140736817251616 140091099450024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11901/tid=11911] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11911/stat : 11911 (java) S 11899 11901 3958 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 339068425 3037372416 59814 33554432000 1073741824 1073778376 140736817251616 140091098397480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11901/tid=11912] ppid=11899 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/11901/task/11912/stat : 11912 (java) S 11899 11901 3958 0 -1 4202560 30 0 0 0 1 0 0 0 20 0 22 0 339068426 3037372416 59814 33554432000 1073741824 1073778376 140736817251616 140090966972776 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11901/tid=11913] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11913/stat : 11913 (java) S 11899 11901 3958 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 339068426 3037372416 59814 33554432000 1073741824 1073778376 140736817251616 140090965919096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11901/tid=11914] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11914/stat : 11914 (java) S 11899 11901 3958 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 339068426 3037372416 59814 33554432000 1073741824 1073778376 140736817251616 140091097342856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11901/tid=11915] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11915/stat : 11915 (java) S 11899 11901 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339068429 3037372416 59814 33554432000 1073741824 1073778376 140736817251616 140090964867344 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11901/tid=11916] ppid=11899 vsize=2966184 CPUtime=0.85 cores=1,3,5,7
/proc/11901/task/11916/stat : 11916 (java) S 11899 11901 3958 0 -1 4202560 6565 0 0 0 83 2 0 0 20 0 22 0 339068429 3037372416 59814 33554432000 1073741824 1073778376 140736817251616 140090963815224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11901/tid=11917] ppid=11899 vsize=2966184 CPUtime=0.88 cores=1,3,5,7
/proc/11901/task/11917/stat : 11917 (java) S 11899 11901 3958 0 -1 4202560 8921 0 0 0 86 2 0 0 20 0 22 0 339068429 3037372416 59814 33554432000 1073741824 1073778376 140736817251616 140090962762680 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11901/tid=11918] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11918/stat : 11918 (java) S 11899 11901 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339068429 3037372416 59814 33554432000 1073741824 1073778376 140736817251616 140090089138936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11901/tid=11919] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11919/stat : 11919 (java) S 11899 11901 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339068429 3037372416 59814 33554432000 1073741824 1073778376 140736817251616 140090088086600 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11901/tid=11920] ppid=11899 vsize=2966184 CPUtime=1.15 cores=1,3,5,7
/proc/11901/task/11920/stat : 11920 (java) R 11899 11901 3958 0 -1 4202560 30 0 0 0 115 0 0 0 20 0 22 0 339068453 3037372416 59814 33554432000 1073741824 1073778376 140736817251616 140090087031120 140090978950966 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11901/tid=11921] ppid=11899 vsize=2966184 CPUtime=1.15 cores=1,3,5,7
/proc/11901/task/11921/stat : 11921 (java) R 11899 11901 3958 0 -1 4202560 143 0 0 0 113 2 0 0 20 0 22 0 339068453 3037372416 59814 33554432000 1073741824 1073778376 140736817251616 140090085978216 140090979316925 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11901/tid=11922] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11922/stat : 11922 (java) S 11899 11901 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339068454 3037372416 59814 33554432000 1073741824 1073778376 140736817251616 140090084926248 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11901/tid=11923] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11923/stat : 11923 (java) S 11899 11901 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339068454 3037372416 59814 33554432000 1073741824 1073778376 140736817251616 140090083873704 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 2966184
[startup+3.10076 s]
/proc/loadavg: 3.60 3.52 3.52 7/219 11923
/proc/meminfo: memFree=30805680/32873648 swapFree=7628/7628
[pid=11901] ppid=11899 vsize=2966184 CPUtime=7.61 cores=1,3,5,7
/proc/11901/stat : 11901 (java) S 11899 11901 3958 0 -1 4202496 19801 0 1 0 753 8 0 0 20 0 22 0 339068424 3037372416 94637 33554432000 1073741824 1073778376 140736817251616 140736817242752 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11901/statm: 741546 94637 2273 9 0 732240 0
[pid=11901/tid=11902] ppid=11899 vsize=2966184 CPUtime=0.27 cores=1,3,5,7
/proc/11901/task/11902/stat : 11902 (java) S 11899 11901 3958 0 -1 4202560 2803 0 1 0 27 0 0 0 20 0 22 0 339068424 3037372416 94637 33554432000 1073741824 1073778376 140736817251616 140091121484952 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11901/tid=11904] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11904/stat : 11904 (java) S 11899 11901 3958 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 339068425 3037372416 94637 33554432000 1073741824 1073778376 140736817251616 140091105765800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11901/tid=11905] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11905/stat : 11905 (java) S 11899 11901 3958 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 339068425 3037372416 94637 33554432000 1073741824 1073778376 140736817251616 140091104713256 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11901/tid=11906] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11906/stat : 11906 (java) S 11899 11901 3958 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 339068425 3037372416 94637 33554432000 1073741824 1073778376 140736817251616 140091103660200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11901/tid=11907] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11907/stat : 11907 (java) S 11899 11901 3958 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 339068425 3037372416 94637 33554432000 1073741824 1073778376 140736817251616 140091102607656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11901/tid=11908] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11908/stat : 11908 (java) S 11899 11901 3958 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 339068425 3037372416 94637 33554432000 1073741824 1073778376 140736817251616 140091101555624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11901/tid=11909] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11909/stat : 11909 (java) S 11899 11901 3958 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 339068425 3037372416 94637 33554432000 1073741824 1073778376 140736817251616 140091100503080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11901/tid=11910] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11910/stat : 11910 (java) S 11899 11901 3958 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 339068425 3037372416 94637 33554432000 1073741824 1073778376 140736817251616 140091099450024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11901/tid=11911] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11911/stat : 11911 (java) S 11899 11901 3958 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 339068425 3037372416 94637 33554432000 1073741824 1073778376 140736817251616 140091098397480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11901/tid=11912] ppid=11899 vsize=2966184 CPUtime=0.08 cores=1,3,5,7
/proc/11901/task/11912/stat : 11912 (java) S 11899 11901 3958 0 -1 4202560 34 0 0 0 8 0 0 0 20 0 22 0 339068426 3037372416 94637 33554432000 1073741824 1073778376 140736817251616 140090966972776 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11901/tid=11913] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11913/stat : 11913 (java) S 11899 11901 3958 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 339068426 3037372416 94637 33554432000 1073741824 1073778376 140736817251616 140090965919096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11901/tid=11914] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11914/stat : 11914 (java) S 11899 11901 3958 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 339068426 3037372416 94637 33554432000 1073741824 1073778376 140736817251616 140091097342856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11901/tid=11915] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11915/stat : 11915 (java) S 11899 11901 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339068429 3037372416 94637 33554432000 1073741824 1073778376 140736817251616 140090964867344 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11901/tid=11916] ppid=11899 vsize=2966184 CPUtime=0.91 cores=1,3,5,7
/proc/11901/task/11916/stat : 11916 (java) S 11899 11901 3958 0 -1 4202560 6566 0 0 0 89 2 0 0 20 0 22 0 339068429 3037372416 94637 33554432000 1073741824 1073778376 140736817251616 140090963815224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11901/tid=11917] ppid=11899 vsize=2966184 CPUtime=0.89 cores=1,3,5,7
/proc/11901/task/11917/stat : 11917 (java) S 11899 11901 3958 0 -1 4202560 8921 0 0 0 87 2 0 0 20 0 22 0 339068429 3037372416 94637 33554432000 1073741824 1073778376 140736817251616 140090962762680 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11901/tid=11918] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11918/stat : 11918 (java) S 11899 11901 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339068429 3037372416 94637 33554432000 1073741824 1073778376 140736817251616 140090089138936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11901/tid=11919] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11919/stat : 11919 (java) S 11899 11901 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339068429 3037372416 94637 33554432000 1073741824 1073778376 140736817251616 140090088086600 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11901/tid=11920] ppid=11899 vsize=2966184 CPUtime=2.67 cores=1,3,5,7
/proc/11901/task/11920/stat : 11920 (java) R 11899 11901 3958 0 -1 4202560 33 0 0 0 267 0 0 0 20 0 22 0 339068453 3037372416 94637 33554432000 1073741824 1073778376 140736817251616 140090087031240 140090978896922 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11901/tid=11921] ppid=11899 vsize=2966184 CPUtime=2.67 cores=1,3,5,7
/proc/11901/task/11921/stat : 11921 (java) R 11899 11901 3958 0 -1 4202560 205 0 0 0 263 4 0 0 20 0 22 0 339068453 3037372416 94637 33554432000 1073741824 1073778376 140736817251616 140090085976568 140090978941361 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11901/tid=11922] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11922/stat : 11922 (java) S 11899 11901 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339068454 3037372416 94637 33554432000 1073741824 1073778376 140736817251616 140090084926248 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11901/tid=11923] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11923/stat : 11923 (java) S 11899 11901 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339068454 3037372416 94637 33554432000 1073741824 1073778376 140736817251616 140090083873704 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.61
Current children cumulated vsize (KiB) 2966184
Solver just ended. Dumping a history of the last processes samples
[startup+4.70064 s]
/proc/loadavg: 3.63 3.53 3.52 5/219 11923
/proc/meminfo: memFree=30715164/32873648 swapFree=7628/7628
[pid=11901] ppid=11899 vsize=2966184 CPUtime=10.36 cores=1,3,5,7
/proc/11901/stat : 11901 (java) S 11899 11901 3958 0 -1 4202496 19826 0 1 0 1025 11 0 0 20 0 20 0 339068424 3037372416 103846 33554432000 1073741824 1073778376 140736817251616 140736817242752 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11901/statm: 741546 103846 2274 9 0 732240 0
[pid=11901/tid=11902] ppid=11899 vsize=2966184 CPUtime=0.27 cores=1,3,5,7
/proc/11901/task/11902/stat : 11902 (java) S 11899 11901 3958 0 -1 4202560 2803 0 1 0 27 0 0 0 20 0 20 0 339068424 3037372416 103846 33554432000 1073741824 1073778376 140736817251616 140091121484952 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11901/tid=11904] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11904/stat : 11904 (java) S 11899 11901 3958 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 339068425 3037372416 103846 33554432000 1073741824 1073778376 140736817251616 140091105765800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11901/tid=11905] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11905/stat : 11905 (java) S 11899 11901 3958 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 339068425 3037372416 103846 33554432000 1073741824 1073778376 140736817251616 140091104713256 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11901/tid=11906] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11906/stat : 11906 (java) S 11899 11901 3958 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 339068425 3037372416 103846 33554432000 1073741824 1073778376 140736817251616 140091103660200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11901/tid=11907] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11907/stat : 11907 (java) S 11899 11901 3958 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 339068425 3037372416 103846 33554432000 1073741824 1073778376 140736817251616 140091102607656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11901/tid=11908] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11908/stat : 11908 (java) S 11899 11901 3958 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 339068425 3037372416 103846 33554432000 1073741824 1073778376 140736817251616 140091101555624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11901/tid=11909] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11909/stat : 11909 (java) S 11899 11901 3958 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 339068425 3037372416 103846 33554432000 1073741824 1073778376 140736817251616 140091100503080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11901/tid=11910] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11910/stat : 11910 (java) S 11899 11901 3958 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 339068425 3037372416 103846 33554432000 1073741824 1073778376 140736817251616 140091099450024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11901/tid=11911] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11911/stat : 11911 (java) S 11899 11901 3958 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 339068425 3037372416 103846 33554432000 1073741824 1073778376 140736817251616 140091098397480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11901/tid=11912] ppid=11899 vsize=2966184 CPUtime=0.13 cores=1,3,5,7
/proc/11901/task/11912/stat : 11912 (java) S 11899 11901 3958 0 -1 4202560 35 0 0 0 13 0 0 0 20 0 20 0 339068426 3037372416 103846 33554432000 1073741824 1073778376 140736817251616 140090966972776 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11901/tid=11913] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11913/stat : 11913 (java) S 11899 11901 3958 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 339068426 3037372416 103846 33554432000 1073741824 1073778376 140736817251616 140090965919096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11901/tid=11914] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11914/stat : 11914 (java) S 11899 11901 3958 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 339068426 3037372416 103846 33554432000 1073741824 1073778376 140736817251616 140091097342856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11901/tid=11915] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11915/stat : 11915 (java) S 11899 11901 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339068429 3037372416 103846 33554432000 1073741824 1073778376 140736817251616 140090964867344 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11901/tid=11916] ppid=11899 vsize=2966184 CPUtime=1 cores=1,3,5,7
/proc/11901/task/11916/stat : 11916 (java) S 11899 11901 3958 0 -1 4202560 6568 0 0 0 98 2 0 0 20 0 20 0 339068429 3037372416 103846 33554432000 1073741824 1073778376 140736817251616 140090963815224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11901/tid=11917] ppid=11899 vsize=2966184 CPUtime=0.89 cores=1,3,5,7
/proc/11901/task/11917/stat : 11917 (java) S 11899 11901 3958 0 -1 4202560 8921 0 0 0 87 2 0 0 20 0 20 0 339068429 3037372416 103846 33554432000 1073741824 1073778376 140736817251616 140090962762680 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11901/tid=11918] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11918/stat : 11918 (java) S 11899 11901 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339068429 3037372416 103846 33554432000 1073741824 1073778376 140736817251616 140090089138936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11901/tid=11919] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11919/stat : 11919 (java) S 11899 11901 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339068429 3037372416 103846 33554432000 1073741824 1073778376 140736817251616 140090088086600 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11901/tid=11922] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11922/stat : 11922 (java) S 11899 11901 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339068454 3037372416 103846 33554432000 1073741824 1073778376 140736817251616 140090084926248 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11901/tid=11923] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11923/stat : 11923 (java) S 11899 11901 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339068454 3037372416 103846 33554432000 1073741824 1073778376 140736817251616 140090083873704 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 10.36
Current children cumulated vsize (KiB) 2966184
[startup+5.1007 s]
/proc/loadavg: 3.63 3.53 3.52 5/219 11923
/proc/meminfo: memFree=30715164/32873648 swapFree=7628/7628
[pid=11901] ppid=11899 vsize=2966184 CPUtime=10.36 cores=1,3,5,7
/proc/11901/stat : 11901 (java) S 11899 11901 3958 0 -1 4202496 19826 0 1 0 1025 11 0 0 20 0 20 0 339068424 3037372416 103599 33554432000 1073741824 1073778376 140736817251616 140736817242752 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11901/statm: 741546 103599 2274 9 0 732240 0
[pid=11901/tid=11902] ppid=11899 vsize=2966184 CPUtime=0.27 cores=1,3,5,7
/proc/11901/task/11902/stat : 11902 (java) S 11899 11901 3958 0 -1 4202560 2803 0 1 0 27 0 0 0 20 0 20 0 339068424 3037372416 103599 33554432000 1073741824 1073778376 140736817251616 140091121484952 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11901/tid=11904] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11904/stat : 11904 (java) S 11899 11901 3958 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 339068425 3037372416 103599 33554432000 1073741824 1073778376 140736817251616 140091105765800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11901/tid=11905] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11905/stat : 11905 (java) S 11899 11901 3958 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 339068425 3037372416 103599 33554432000 1073741824 1073778376 140736817251616 140091104713256 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11901/tid=11906] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11906/stat : 11906 (java) S 11899 11901 3958 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 339068425 3037372416 103599 33554432000 1073741824 1073778376 140736817251616 140091103660200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11901/tid=11907] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11907/stat : 11907 (java) S 11899 11901 3958 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 339068425 3037372416 103599 33554432000 1073741824 1073778376 140736817251616 140091102607656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11901/tid=11908] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11908/stat : 11908 (java) S 11899 11901 3958 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 339068425 3037372416 103599 33554432000 1073741824 1073778376 140736817251616 140091101555624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11901/tid=11909] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11909/stat : 11909 (java) S 11899 11901 3958 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 339068425 3037372416 103599 33554432000 1073741824 1073778376 140736817251616 140091100503080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11901/tid=11910] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11910/stat : 11910 (java) S 11899 11901 3958 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 339068425 3037372416 103599 33554432000 1073741824 1073778376 140736817251616 140091099450024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11901/tid=11911] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11911/stat : 11911 (java) S 11899 11901 3958 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 339068425 3037372416 103599 33554432000 1073741824 1073778376 140736817251616 140091098397480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11901/tid=11912] ppid=11899 vsize=2966184 CPUtime=0.13 cores=1,3,5,7
/proc/11901/task/11912/stat : 11912 (java) S 11899 11901 3958 0 -1 4202560 35 0 0 0 13 0 0 0 20 0 20 0 339068426 3037372416 103599 33554432000 1073741824 1073778376 140736817251616 140090966972776 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11901/tid=11913] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11913/stat : 11913 (java) S 11899 11901 3958 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 339068426 3037372416 103599 33554432000 1073741824 1073778376 140736817251616 140090965919096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11901/tid=11914] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11914/stat : 11914 (java) S 11899 11901 3958 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 339068426 3037372416 103599 33554432000 1073741824 1073778376 140736817251616 140091097342856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11901/tid=11915] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11915/stat : 11915 (java) S 11899 11901 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339068429 3037372416 103599 33554432000 1073741824 1073778376 140736817251616 140090964867344 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11901/tid=11916] ppid=11899 vsize=2966184 CPUtime=1 cores=1,3,5,7
/proc/11901/task/11916/stat : 11916 (java) S 11899 11901 3958 0 -1 4202560 6568 0 0 0 98 2 0 0 20 0 20 0 339068429 3037372416 103599 33554432000 1073741824 1073778376 140736817251616 140090963815224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11901/tid=11917] ppid=11899 vsize=2966184 CPUtime=0.89 cores=1,3,5,7
/proc/11901/task/11917/stat : 11917 (java) S 11899 11901 3958 0 -1 4202560 8921 0 0 0 87 2 0 0 20 0 20 0 339068429 3037372416 103599 33554432000 1073741824 1073778376 140736817251616 140090962762680 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11901/tid=11918] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11918/stat : 11918 (java) S 11899 11901 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339068429 3037372416 103599 33554432000 1073741824 1073778376 140736817251616 140090089138936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11901/tid=11919] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11919/stat : 11919 (java) S 11899 11901 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339068429 3037372416 103599 33554432000 1073741824 1073778376 140736817251616 140090088086600 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11901/tid=11922] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11922/stat : 11922 (java) S 11899 11901 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339068454 3037372416 103599 33554432000 1073741824 1073778376 140736817251616 140090084926248 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11901/tid=11923] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11923/stat : 11923 (java) S 11899 11901 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339068454 3037372416 103599 33554432000 1073741824 1073778376 140736817251616 140090083873704 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 10.36
Current children cumulated vsize (KiB) 2966184
[startup+5.30064 s]
/proc/loadavg: 3.63 3.53 3.52 5/219 11923
/proc/meminfo: memFree=30715164/32873648 swapFree=7628/7628
[pid=11901] ppid=11899 vsize=2966184 CPUtime=10.36 cores=1,3,5,7
/proc/11901/stat : 11901 (java) S 11899 11901 3958 0 -1 4202496 19829 0 1 0 1025 11 0 0 20 0 21 0 339068424 3037372416 103601 33554432000 1073741824 1073778376 140736817251616 140736817242752 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11901/statm: 741546 103601 2274 9 0 732240 0
[pid=11901/tid=11902] ppid=11899 vsize=2966184 CPUtime=0.27 cores=1,3,5,7
/proc/11901/task/11902/stat : 11902 (java) S 11899 11901 3958 0 -1 4202560 2804 0 1 0 27 0 0 0 20 0 21 0 339068424 3037372416 103601 33554432000 1073741824 1073778376 140736817251616 140091121484504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11901/tid=11904] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11904/stat : 11904 (java) S 11899 11901 3958 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 21 0 339068425 3037372416 103601 33554432000 1073741824 1073778376 140736817251616 140091105765800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11901/tid=11905] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11905/stat : 11905 (java) S 11899 11901 3958 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 339068425 3037372416 103601 33554432000 1073741824 1073778376 140736817251616 140091104713256 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11901/tid=11906] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11906/stat : 11906 (java) S 11899 11901 3958 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 21 0 339068425 3037372416 103601 33554432000 1073741824 1073778376 140736817251616 140091103660200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11901/tid=11907] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11907/stat : 11907 (java) S 11899 11901 3958 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 21 0 339068425 3037372416 103601 33554432000 1073741824 1073778376 140736817251616 140091102607656 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11901/tid=11908] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11908/stat : 11908 (java) S 11899 11901 3958 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 339068425 3037372416 103601 33554432000 1073741824 1073778376 140736817251616 140091101555624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11901/tid=11909] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11909/stat : 11909 (java) S 11899 11901 3958 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 339068425 3037372416 103601 33554432000 1073741824 1073778376 140736817251616 140091100503080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11901/tid=11910] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11910/stat : 11910 (java) S 11899 11901 3958 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 21 0 339068425 3037372416 103601 33554432000 1073741824 1073778376 140736817251616 140091099450024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11901/tid=11911] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11911/stat : 11911 (java) S 11899 11901 3958 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 21 0 339068425 3037372416 103601 33554432000 1073741824 1073778376 140736817251616 140091098397480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11901/tid=11912] ppid=11899 vsize=2966184 CPUtime=0.13 cores=1,3,5,7
/proc/11901/task/11912/stat : 11912 (java) S 11899 11901 3958 0 -1 4202560 35 0 0 0 13 0 0 0 20 0 21 0 339068426 3037372416 103601 33554432000 1073741824 1073778376 140736817251616 140090966972776 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11901/tid=11913] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11913/stat : 11913 (java) S 11899 11901 3958 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 339068426 3037372416 103601 33554432000 1073741824 1073778376 140736817251616 140090965919096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11901/tid=11914] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11914/stat : 11914 (java) S 11899 11901 3958 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 21 0 339068426 3037372416 103601 33554432000 1073741824 1073778376 140736817251616 140091097342856 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11901/tid=11915] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11915/stat : 11915 (java) S 11899 11901 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 339068429 3037372416 103601 33554432000 1073741824 1073778376 140736817251616 140090964867344 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11901/tid=11916] ppid=11899 vsize=2966184 CPUtime=1 cores=1,3,5,7
/proc/11901/task/11916/stat : 11916 (java) R 11899 11901 3958 0 -1 4202560 6570 0 0 0 98 2 0 0 20 0 21 0 339068429 3037372416 103603 33554432000 1073741824 1073778376 140736817251616 140090963815064 140091127265467 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11901/tid=11917] ppid=11899 vsize=2966184 CPUtime=0.89 cores=1,3,5,7
/proc/11901/task/11917/stat : 11917 (java) S 11899 11901 3958 0 -1 4202560 8921 0 0 0 87 2 0 0 20 0 21 0 339068429 3037372416 103604 33554432000 1073741824 1073778376 140736817251616 140090962762680 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11901/tid=11918] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11918/stat : 11918 (java) S 11899 11901 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 339068429 3037372416 103604 33554432000 1073741824 1073778376 140736817251616 140090089138936 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11901/tid=11919] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11919/stat : 11919 (java) S 11899 11901 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 339068429 3037372416 103604 33554432000 1073741824 1073778376 140736817251616 140090088086600 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11901/tid=11922] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11922/stat : 11922 (java) S 11899 11901 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 339068454 3037372416 103604 33554432000 1073741824 1073778376 140736817251616 140090084926248 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11901/tid=11923] ppid=11899 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11901/task/11923/stat : 11923 (java) S 11899 11901 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 339068454 3037372416 103604 33554432000 1073741824 1073778376 140736817251616 140090083873704 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 10.36
Current children cumulated vsize (KiB) 2966184
Child status: 10
Real time (s): 5.32268
CPU time (s): 10.4314
CPU user time (s): 10.2194
CPU system time (s): 0.211967
CPU usage (%): 195.981
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.2194
system time used= 0.211967
maximum resident set size= 415424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19847
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 694
involuntary context switches= 210
runsolver used 0.012998 second user time and 0.041993 second system time
The end