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-3687442-1337871918/watcher-3687442-1337871918 -o /tmp/evaluation-result-3687442-1337871918/solver-3687442-1337871918 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687442-1337871918.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.37 0.09 0.03 6/197 25789
/proc/meminfo: memFree=30281280/32873844 swapFree=7388/7388
[pid=25789] ppid=25787 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/25789/stat : 25789 (java) S 25787 25789 25184 0 -1 4202496 1206 0 0 0 0 0 0 0 20 0 2 0 253316230 95129600 918 33554432000 1073741824 1073778376 140734654804640 140734654795776 239241035837 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25789/statm: 23225 921 698 9 0 16769 0
[pid=25789/tid=25790] ppid=25787 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25790/stat : 25790 (java) D 25787 25789 25184 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 253316230 95129600 927 33554432000 1073741824 1073778376 140734654804640 139972535180840 239228513575 0 0 4096 0 18446744072100609316 0 0 -1 2 0 0 0 0 0
[startup+0.0717001 s]
/proc/loadavg: 0.37 0.09 0.03 6/197 25789
/proc/meminfo: memFree=30281280/32873844 swapFree=7388/7388
[pid=25789] ppid=25787 vsize=9558412 CPUtime=0.06 cores=0,2,4,6
/proc/25789/stat : 25789 (java) S 25787 25789 25184 0 -1 4202496 3302 0 1 0 5 1 0 0 20 0 18 0 253316230 9787813888 4511 33554432000 1073741824 1073778376 140734654804640 140734654795776 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25789/statm: 2389603 4511 1771 9 0 2380296 0
[pid=25789/tid=25790] ppid=25787 vsize=9558412 CPUtime=0.05 cores=0,2,4,6
/proc/25789/task/25790/stat : 25790 (java) R 25787 25789 25184 0 -1 4202560 2093 0 1 0 5 0 0 0 20 0 18 0 253316230 9787813888 4511 33554432000 1073741824 1073778376 140734654804640 139972535188128 139972538028370 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412
[startup+0.100292 s]
/proc/loadavg: 0.37 0.09 0.03 6/197 25789
/proc/meminfo: memFree=30281280/32873844 swapFree=7388/7388
[pid=25789] ppid=25787 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/25789/stat : 25789 (java) S 25787 25789 25184 0 -1 4202496 4310 0 1 0 9 1 0 0 20 0 18 0 253316230 9787813888 5516 33554432000 1073741824 1073778376 140734654804640 140734654795776 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25789/statm: 2389603 5516 2109 9 0 2380296 0
[pid=25789/tid=25790] ppid=25787 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/25789/task/25790/stat : 25790 (java) R 25787 25789 25184 0 -1 4202560 2361 0 1 0 7 0 0 0 20 0 18 0 253316230 9787813888 5516 33554432000 1073741824 1073778376 140734654804640 139972535184304 139972542950227 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300258 s]
/proc/loadavg: 0.37 0.09 0.03 6/197 25789
/proc/meminfo: memFree=30281280/32873844 swapFree=7388/7388
[pid=25789] ppid=25787 vsize=9558412 CPUtime=0.47 cores=0,2,4,6
/proc/25789/stat : 25789 (java) S 25787 25789 25184 0 -1 4202496 5315 0 1 0 46 1 0 0 20 0 18 0 253316230 9787813888 8808 33554432000 1073741824 1073778376 140734654804640 140734654795776 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25789/statm: 2389603 8808 2215 9 0 2380296 0
[pid=25789/tid=25790] ppid=25787 vsize=9558412 CPUtime=0.27 cores=0,2,4,6
/proc/25789/task/25790/stat : 25790 (java) R 25787 25789 25184 0 -1 4202560 2449 0 1 0 26 1 0 0 20 0 18 0 253316230 9787813888 8808 33554432000 1073741824 1073778376 140734654804640 139972535184304 139972397057536 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558412
[startup+0.700275 s]
/proc/loadavg: 0.37 0.09 0.03 6/197 25789
/proc/meminfo: memFree=30281280/32873844 swapFree=7388/7388
[pid=25789] ppid=25787 vsize=9558412 CPUtime=1.59 cores=0,2,4,6
/proc/25789/stat : 25789 (java) S 25787 25789 25184 0 -1 4202496 15274 0 1 0 154 5 0 0 20 0 18 0 253316230 9787813888 38632 33554432000 1073741824 1073778376 140734654804640 140734654795776 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25789/statm: 2389603 38632 2233 9 0 2380296 0
[pid=25789/tid=25790] ppid=25787 vsize=9558412 CPUtime=0.67 cores=0,2,4,6
/proc/25789/task/25790/stat : 25790 (java) R 25787 25789 25184 0 -1 4202560 2495 0 1 0 64 3 0 0 20 0 18 0 253316230 9787813888 38632 33554432000 1073741824 1073778376 140734654804640 139972535177152 139972397626241 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 9558412
[startup+1.5007 s]
/proc/loadavg: 0.37 0.09 0.03 4/215 25807
/proc/meminfo: memFree=30013824/32873844 swapFree=7388/7388
[pid=25789] ppid=25787 vsize=9558412 CPUtime=2.59 cores=0,2,4,6
/proc/25789/stat : 25789 (java) S 25787 25789 25184 0 -1 4202496 15838 0 1 0 246 13 0 0 20 0 18 0 253316230 9787813888 77964 33554432000 1073741824 1073778376 140734654804640 140734654795776 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25789/statm: 2389603 77964 2249 9 0 2380296 0
[pid=25789/tid=25790] ppid=25787 vsize=9558412 CPUtime=1.39 cores=0,2,4,6
/proc/25789/task/25790/stat : 25790 (java) R 25787 25789 25184 0 -1 4202560 2553 0 1 0 134 5 0 0 20 0 18 0 253316230 9787813888 77964 33554432000 1073741824 1073778376 140734654804640 139972535176976 139972397394853 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25789/tid=25792] ppid=25787 vsize=9558412 CPUtime=0.02 cores=0,2,4,6
/proc/25789/task/25792/stat : 25792 (java) S 25787 25789 25184 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 18 0 253316231 9787813888 77964 33554432000 1073741824 1073778376 140734654804640 139972524247464 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25789/tid=25793] ppid=25787 vsize=9558412 CPUtime=0.01 cores=0,2,4,6
/proc/25789/task/25793/stat : 25793 (java) S 25787 25789 25184 0 -1 4202560 105 0 0 0 1 0 0 0 20 0 18 0 253316231 9787813888 77964 33554432000 1073741824 1073778376 140734654804640 139972523194920 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25789/tid=25794] ppid=25787 vsize=9558412 CPUtime=0.04 cores=0,2,4,6
/proc/25789/task/25794/stat : 25794 (java) S 25787 25789 25184 0 -1 4202560 101 0 0 0 3 1 0 0 20 0 18 0 253316231 9787813888 77964 33554432000 1073741824 1073778376 140734654804640 139972522141864 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25789/tid=25795] ppid=25787 vsize=9558412 CPUtime=0.03 cores=0,2,4,6
/proc/25789/task/25795/stat : 25795 (java) S 25787 25789 25184 0 -1 4202560 92 0 0 0 3 0 0 0 20 0 18 0 253316231 9787813888 77964 33554432000 1073741824 1073778376 140734654804640 139972521089320 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25789/tid=25796] ppid=25787 vsize=9558412 CPUtime=0.01 cores=0,2,4,6
/proc/25789/task/25796/stat : 25796 (java) S 25787 25789 25184 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 253316231 9787813888 77964 33554432000 1073741824 1073778376 140734654804640 139972520037288 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25789/tid=25797] ppid=25787 vsize=9558412 CPUtime=0.02 cores=0,2,4,6
/proc/25789/task/25797/stat : 25797 (java) S 25787 25789 25184 0 -1 4202560 98 0 0 0 2 0 0 0 20 0 18 0 253316231 9787813888 77964 33554432000 1073741824 1073778376 140734654804640 139972518984744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25798] ppid=25787 vsize=9558412 CPUtime=0.01 cores=0,2,4,6
/proc/25789/task/25798/stat : 25798 (java) S 25787 25789 25184 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 253316231 9787813888 77964 33554432000 1073741824 1073778376 140734654804640 139972517931688 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25789/tid=25799] ppid=25787 vsize=9558412 CPUtime=0.02 cores=0,2,4,6
/proc/25789/task/25799/stat : 25799 (java) S 25787 25789 25184 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 18 0 253316231 9787813888 77964 33554432000 1073741824 1073778376 140734654804640 139972516879144 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25800] ppid=25787 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25800/stat : 25800 (java) S 25787 25789 25184 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 253316232 9787813888 77964 33554432000 1073741824 1073778376 140734654804640 139972359305576 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25789/tid=25801] ppid=25787 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25801/stat : 25801 (java) S 25787 25789 25184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 253316233 9787813888 77964 33554432000 1073741824 1073778376 140734654804640 139972358251896 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25802] ppid=25787 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25802/stat : 25802 (java) S 25787 25789 25184 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 253316233 9787813888 77964 33554432000 1073741824 1073778376 140734654804640 139972357198728 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25803] ppid=25787 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25803/stat : 25803 (java) S 25787 25789 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253316235 9787813888 77964 33554432000 1073741824 1073778376 140734654804640 139972356147472 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25804] ppid=25787 vsize=9558412 CPUtime=0.42 cores=0,2,4,6
/proc/25789/task/25804/stat : 25804 (java) S 25787 25789 25184 0 -1 4202560 5091 0 0 0 41 1 0 0 20 0 18 0 253316235 9787813888 77964 33554432000 1073741824 1073778376 140734654804640 139972355095352 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25805] ppid=25787 vsize=9558412 CPUtime=0.45 cores=0,2,4,6
/proc/25789/task/25805/stat : 25805 (java) S 25787 25789 25184 0 -1 4202560 6504 0 0 0 45 0 0 0 20 0 18 0 253316235 9787813888 77964 33554432000 1073741824 1073778376 140734654804640 139972354042808 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25789/tid=25806] ppid=25787 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25806/stat : 25806 (java) S 25787 25789 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253316235 9787813888 77964 33554432000 1073741824 1073778376 140734654804640 139972352989944 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25789/tid=25807] ppid=25787 vsize=9558412 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25807/stat : 25807 (java) S 25787 25789 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253316235 9787813888 77964 33554432000 1073741824 1073778376 140734654804640 139972351937608 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 9558412
[startup+3.10083 s]
/proc/loadavg: 0.37 0.09 0.03 8/219 25811
/proc/meminfo: memFree=29689104/32873844 swapFree=7388/7388
[pid=25789] ppid=25787 vsize=9824668 CPUtime=6.69 cores=0,2,4,6
/proc/25789/stat : 25789 (java) S 25787 25789 25184 0 -1 4202496 16402 0 1 0 642 27 0 0 20 0 22 0 253316230 10060460032 110055 33554432000 1073741824 1073778376 140734654804640 140734654795776 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25789/statm: 2456167 110055 2269 9 0 2446860 0
[pid=25789/tid=25790] ppid=25787 vsize=9824668 CPUtime=1.88 cores=0,2,4,6
/proc/25789/task/25790/stat : 25790 (java) S 25787 25789 25184 0 -1 4202560 2579 0 1 0 182 6 0 0 20 0 22 0 253316230 10060460032 110055 33554432000 1073741824 1073778376 140734654804640 139972535186424 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25789/tid=25792] ppid=25787 vsize=9824668 CPUtime=0.06 cores=0,2,4,6
/proc/25789/task/25792/stat : 25792 (java) S 25787 25789 25184 0 -1 4202560 43 0 0 0 5 1 0 0 20 0 22 0 253316231 10060460032 110055 33554432000 1073741824 1073778376 140734654804640 139972524247464 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25793] ppid=25787 vsize=9824668 CPUtime=0.08 cores=0,2,4,6
/proc/25789/task/25793/stat : 25793 (java) S 25787 25789 25184 0 -1 4202560 140 0 0 0 5 3 0 0 20 0 22 0 253316231 10060460032 110055 33554432000 1073741824 1073778376 140734654804640 139972523194920 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25789/tid=25794] ppid=25787 vsize=9824668 CPUtime=0.08 cores=0,2,4,6
/proc/25789/task/25794/stat : 25794 (java) S 25787 25789 25184 0 -1 4202560 122 0 0 0 6 2 0 0 20 0 22 0 253316231 10060460032 110055 33554432000 1073741824 1073778376 140734654804640 139972522141864 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25795] ppid=25787 vsize=9824668 CPUtime=0.1 cores=0,2,4,6
/proc/25789/task/25795/stat : 25795 (java) S 25787 25789 25184 0 -1 4202560 129 0 0 0 8 2 0 0 20 0 22 0 253316231 10060460032 110055 33554432000 1073741824 1073778376 140734654804640 139972521089320 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25789/tid=25796] ppid=25787 vsize=9824668 CPUtime=0.06 cores=0,2,4,6
/proc/25789/task/25796/stat : 25796 (java) S 25787 25789 25184 0 -1 4202560 33 0 0 0 4 2 0 0 20 0 22 0 253316231 10060460032 110055 33554432000 1073741824 1073778376 140734654804640 139972520037288 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25789/tid=25797] ppid=25787 vsize=9824668 CPUtime=0.15 cores=0,2,4,6
/proc/25789/task/25797/stat : 25797 (java) S 25787 25789 25184 0 -1 4202560 172 0 0 0 11 4 0 0 20 0 22 0 253316231 10060460032 110055 33554432000 1073741824 1073778376 140734654804640 139972518984744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25798] ppid=25787 vsize=9824668 CPUtime=0.07 cores=0,2,4,6
/proc/25789/task/25798/stat : 25798 (java) S 25787 25789 25184 0 -1 4202560 37 0 0 0 5 2 0 0 20 0 22 0 253316231 10060460032 110055 33554432000 1073741824 1073778376 140734654804640 139972517931688 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25789/tid=25799] ppid=25787 vsize=9824668 CPUtime=0.08 cores=0,2,4,6
/proc/25789/task/25799/stat : 25799 (java) S 25787 25789 25184 0 -1 4202560 51 0 0 0 7 1 0 0 20 0 22 0 253316231 10060460032 110055 33554432000 1073741824 1073778376 140734654804640 139972516879144 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25789/tid=25800] ppid=25787 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25800/stat : 25800 (java) S 25787 25789 25184 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 253316232 10060460032 110055 33554432000 1073741824 1073778376 140734654804640 139972359305576 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25789/tid=25801] ppid=25787 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25801/stat : 25801 (java) S 25787 25789 25184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253316233 10060460032 110055 33554432000 1073741824 1073778376 140734654804640 139972358251896 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25802] ppid=25787 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25802/stat : 25802 (java) S 25787 25789 25184 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253316233 10060460032 110055 33554432000 1073741824 1073778376 140734654804640 139972357198728 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25803] ppid=25787 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25803/stat : 25803 (java) S 25787 25789 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253316235 10060460032 110055 33554432000 1073741824 1073778376 140734654804640 139972356147472 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25804] ppid=25787 vsize=9824668 CPUtime=0.98 cores=0,2,4,6
/proc/25789/task/25804/stat : 25804 (java) S 25787 25789 25184 0 -1 4202560 5104 0 0 0 97 1 0 0 20 0 22 0 253316235 10060460032 110055 33554432000 1073741824 1073778376 140734654804640 139972355095352 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25805] ppid=25787 vsize=9824668 CPUtime=1.01 cores=0,2,4,6
/proc/25789/task/25805/stat : 25805 (java) S 25787 25789 25184 0 -1 4202560 6508 0 0 0 100 1 0 0 20 0 22 0 253316235 10060460032 110055 33554432000 1073741824 1073778376 140734654804640 139972354042808 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25789/tid=25806] ppid=25787 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25806/stat : 25806 (java) S 25787 25789 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253316235 10060460032 110055 33554432000 1073741824 1073778376 140734654804640 139972352989944 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25789/tid=25807] ppid=25787 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25807/stat : 25807 (java) S 25787 25789 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253316235 10060460032 110055 33554432000 1073741824 1073778376 140734654804640 139972351937608 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25789/tid=25808] ppid=25787 vsize=9824668 CPUtime=0.95 cores=0,2,4,6
/proc/25789/task/25808/stat : 25808 (java) R 25787 25789 25184 0 -1 4202560 28 0 0 0 95 0 0 0 20 0 22 0 253316435 10060460032 110055 33554432000 1073741824 1073778376 140734654804640 139972350880664 139972398088226 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25789/tid=25809] ppid=25787 vsize=9824668 CPUtime=0.96 cores=0,2,4,6
/proc/25789/task/25809/stat : 25809 (java) R 25787 25789 25184 0 -1 4202560 69 0 0 0 96 0 0 0 20 0 22 0 253316435 10060460032 110055 33554432000 1073741824 1073778376 140734654804640 139972349829640 139972398129571 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25789/tid=25810] ppid=25787 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25810/stat : 25810 (java) S 25787 25789 25184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253316439 10060460032 110055 33554432000 1073741824 1073778376 140734654804640 139972348777256 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25789/tid=25811] ppid=25787 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25811/stat : 25811 (java) S 25787 25789 25184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253316439 10060460032 110055 33554432000 1073741824 1073778376 140734654804640 139972347724712 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.69
Current children cumulated vsize (KiB) 9824668
[startup+6.30086 s]
/proc/loadavg: 0.66 0.16 0.05 3/193 25896
/proc/meminfo: memFree=29736696/32873844 swapFree=7388/7388
[pid=25789] ppid=25787 vsize=9824668 CPUtime=13.74 cores=0,2,4,6
/proc/25789/stat : 25789 (java) S 25787 25789 25184 0 -1 4202496 18898 0 1 0 1338 36 0 0 20 0 22 0 253316230 10060460032 238730 33554432000 1073741824 1073778376 140734654804640 140734654795776 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25789/statm: 2456167 238730 2273 9 0 2446860 0
[pid=25789/tid=25790] ppid=25787 vsize=9824668 CPUtime=1.88 cores=0,2,4,6
/proc/25789/task/25790/stat : 25790 (java) S 25787 25789 25184 0 -1 4202560 2579 0 1 0 182 6 0 0 20 0 22 0 253316230 10060460032 238730 33554432000 1073741824 1073778376 140734654804640 139972535186424 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25789/tid=25792] ppid=25787 vsize=9824668 CPUtime=0.09 cores=0,2,4,6
/proc/25789/task/25792/stat : 25792 (java) S 25787 25789 25184 0 -1 4202560 51 0 0 0 7 2 0 0 20 0 22 0 253316231 10060460032 238730 33554432000 1073741824 1073778376 140734654804640 139972524247464 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25789/tid=25793] ppid=25787 vsize=9824668 CPUtime=0.15 cores=0,2,4,6
/proc/25789/task/25793/stat : 25793 (java) S 25787 25789 25184 0 -1 4202560 188 0 0 0 12 3 0 0 20 0 22 0 253316231 10060460032 238730 33554432000 1073741824 1073778376 140734654804640 139972523194920 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25794] ppid=25787 vsize=9824668 CPUtime=0.11 cores=0,2,4,6
/proc/25789/task/25794/stat : 25794 (java) S 25787 25789 25184 0 -1 4202560 131 0 0 0 8 3 0 0 20 0 22 0 253316231 10060460032 238730 33554432000 1073741824 1073778376 140734654804640 139972522141864 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25789/tid=25795] ppid=25787 vsize=9824668 CPUtime=0.13 cores=0,2,4,6
/proc/25789/task/25795/stat : 25795 (java) S 25787 25789 25184 0 -1 4202560 136 0 0 0 11 2 0 0 20 0 22 0 253316231 10060460032 238730 33554432000 1073741824 1073778376 140734654804640 139972521089320 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25789/tid=25796] ppid=25787 vsize=9824668 CPUtime=0.11 cores=0,2,4,6
/proc/25789/task/25796/stat : 25796 (java) S 25787 25789 25184 0 -1 4202560 49 0 0 0 9 2 0 0 20 0 22 0 253316231 10060460032 238730 33554432000 1073741824 1073778376 140734654804640 139972520037288 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25789/tid=25797] ppid=25787 vsize=9824668 CPUtime=0.18 cores=0,2,4,6
/proc/25789/task/25797/stat : 25797 (java) S 25787 25789 25184 0 -1 4202560 181 0 0 0 14 4 0 0 20 0 22 0 253316231 10060460032 238730 33554432000 1073741824 1073778376 140734654804640 139972518984744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25789/tid=25798] ppid=25787 vsize=9824668 CPUtime=0.1 cores=0,2,4,6
/proc/25789/task/25798/stat : 25798 (java) S 25787 25789 25184 0 -1 4202560 45 0 0 0 7 3 0 0 20 0 22 0 253316231 10060460032 238730 33554432000 1073741824 1073778376 140734654804640 139972517931688 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25789/tid=25799] ppid=25787 vsize=9824668 CPUtime=0.11 cores=0,2,4,6
/proc/25789/task/25799/stat : 25799 (java) S 25787 25789 25184 0 -1 4202560 60 0 0 0 9 2 0 0 20 0 22 0 253316231 10060460032 238730 33554432000 1073741824 1073778376 140734654804640 139972516879144 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25789/tid=25800] ppid=25787 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25800/stat : 25800 (java) S 25787 25789 25184 0 -1 4202560 488 0 0 0 0 0 0 0 20 0 22 0 253316232 10060460032 238730 33554432000 1073741824 1073778376 140734654804640 139972359305576 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25789/tid=25801] ppid=25787 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25801/stat : 25801 (java) S 25787 25789 25184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253316233 10060460032 238730 33554432000 1073741824 1073778376 140734654804640 139972358251896 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25802] ppid=25787 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25802/stat : 25802 (java) S 25787 25789 25184 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253316233 10060460032 238730 33554432000 1073741824 1073778376 140734654804640 139972357198728 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25803] ppid=25787 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25803/stat : 25803 (java) S 25787 25789 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253316235 10060460032 238730 33554432000 1073741824 1073778376 140734654804640 139972356147472 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1046.11
Current children cumulated vsize (KiB) 9824668
[startup+526.401 s]
/proc/loadavg: 3.93 3.28 1.70 4/219 26285
/proc/meminfo: memFree=25371776/32873844 swapFree=7388/7388
[pid=25789] ppid=25787 vsize=9824668 CPUtime=1049.33 cores=0,2,4,6
/proc/25789/stat : 25789 (java) S 25787 25789 25184 0 -1 4202496 60139 0 1 0 104815 118 0 0 20 0 22 0 253316230 10060460032 615463 33554432000 1073741824 1073778376 140734654804640 140734654795776 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25789/statm: 2456167 615463 2285 9 0 2446860 0
[pid=25789/tid=25790] ppid=25787 vsize=9824668 CPUtime=1.91 cores=0,2,4,6
/proc/25789/task/25790/stat : 25790 (java) S 25787 25789 25184 0 -1 4202560 2587 0 1 0 184 7 0 0 20 0 22 0 253316230 10060460032 615463 33554432000 1073741824 1073778376 140734654804640 139972535186424 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25789/tid=25792] ppid=25787 vsize=9824668 CPUtime=1.87 cores=0,2,4,6
/proc/25789/task/25792/stat : 25792 (java) S 25787 25789 25184 0 -1 4202560 315 0 0 0 182 5 0 0 20 0 22 0 253316231 10060460032 615463 33554432000 1073741824 1073778376 140734654804640 139972524247464 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25793] ppid=25787 vsize=9824668 CPUtime=1.89 cores=0,2,4,6
/proc/25789/task/25793/stat : 25793 (java) S 25787 25789 25184 0 -1 4202560 380 0 0 0 182 7 0 0 20 0 22 0 253316231 10060460032 615463 33554432000 1073741824 1073778376 140734654804640 139972523194920 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25794] ppid=25787 vsize=9824668 CPUtime=1.82 cores=0,2,4,6
/proc/25789/task/25794/stat : 25794 (java) S 25787 25789 25184 0 -1 4202560 348 0 0 0 176 6 0 0 20 0 22 0 253316231 10060460032 615463 33554432000 1073741824 1073778376 140734654804640 139972522141864 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25789/tid=25795] ppid=25787 vsize=9824668 CPUtime=1.92 cores=0,2,4,6
/proc/25789/task/25795/stat : 25795 (java) S 25787 25789 25184 0 -1 4202560 353 0 0 0 186 6 0 0 20 0 22 0 253316231 10060460032 615463 33554432000 1073741824 1073778376 140734654804640 139972521089320 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25789/tid=25796] ppid=25787 vsize=9824668 CPUtime=1.86 cores=0,2,4,6
/proc/25789/task/25796/stat : 25796 (java) S 25787 25789 25184 0 -1 4202560 260 0 0 0 180 6 0 0 20 0 22 0 253316231 10060460032 615463 33554432000 1073741824 1073778376 140734654804640 139972520037288 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25789/tid=25797] ppid=25787 vsize=9824668 CPUtime=1.94 cores=0,2,4,6
/proc/25789/task/25797/stat : 25797 (java) S 25787 25789 25184 0 -1 4202560 428 0 0 0 187 7 0 0 20 0 22 0 253316231 10060460032 615463 33554432000 1073741824 1073778376 140734654804640 139972518984744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25789/tid=25798] ppid=25787 vsize=9824668 CPUtime=1.78 cores=0,2,4,6
/proc/25789/task/25798/stat : 25798 (java) S 25787 25789 25184 0 -1 4202560 305 0 0 0 173 5 0 0 20 0 22 0 253316231 10060460032 615463 33554432000 1073741824 1073778376 140734654804640 139972517931688 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25789/tid=25799] ppid=25787 vsize=9824668 CPUtime=1.84 cores=0,2,4,6
/proc/25789/task/25799/stat : 25799 (java) S 25787 25789 25184 0 -1 4202560 284 0 0 0 180 4 0 0 20 0 22 0 253316231 10060460032 615463 33554432000 1073741824 1073778376 140734654804640 139972516879144 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25800] ppid=25787 vsize=9824668 CPUtime=11.3 cores=0,2,4,6
/proc/25789/task/25800/stat : 25800 (java) S 25787 25789 25184 0 -1 4202560 36091 0 0 0 1111 19 0 0 20 0 22 0 253316232 10060460032 615463 33554432000 1073741824 1073778376 140734654804640 139972359305576 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25801] ppid=25787 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25801/stat : 25801 (java) S 25787 25789 25184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253316233 10060460032 615463 33554432000 1073741824 1073778376 140734654804640 139972358251896 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25802] ppid=25787 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25802/stat : 25802 (java) S 25787 25789 25184 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253316233 10060460032 615463 33554432000 1073741824 1073778376 140734654804640 139972357198728 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25803] ppid=25787 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25803/stat : 25803 (java) S 25787 25789 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253316235 10060460032 615463 33554432000 1073741824 1073778376 140734654804640 139972356147472 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25804] ppid=25787 vsize=9824668 CPUtime=1.64 cores=0,2,4,6
/proc/25789/task/25804/stat : 25804 (java) S 25787 25789 25184 0 -1 4202560 6328 0 0 0 163 1 0 0 20 0 22 0 253316235 10060460032 615463 33554432000 1073741824 1073778376 140734654804640 139972355095352 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25789/tid=25805] ppid=25787 vsize=9824668 CPUtime=1.7 cores=0,2,4,6
/proc/25789/task/25805/stat : 25805 (java) S 25787 25789 25184 0 -1 4202560 9244 0 0 0 168 2 0 0 20 0 22 0 253316235 10060460032 615463 33554432000 1073741824 1073778376 140734654804640 139972354042808 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25789/tid=25806] ppid=25787 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25806/stat : 25806 (java) S 25787 25789 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253316235 10060460032 615463 33554432000 1073741824 1073778376 140734654804640 139972352989944 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25789/tid=25807] ppid=25787 vsize=9824668 CPUtime=0.19 cores=0,2,4,6
/proc/25789/task/25807/stat : 25807 (java) S 25787 25789 25184 0 -1 4202560 31 0 0 0 10 9 0 0 20 0 22 0 253316235 10060460032 615463 33554432000 1073741824 1073778376 140734654804640 139972351937608 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25808] ppid=25787 vsize=9824668 CPUtime=507.52 cores=0,2,4,6
/proc/25789/task/25808/stat : 25808 (java) R 25787 25789 25184 0 -1 4202560 66 0 0 0 50745 7 0 0 20 0 22 0 253316435 10060460032 615463 33554432000 1073741824 1073778376 140734654804640 139972350881200 139972398129839 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25789/tid=25809] ppid=25787 vsize=9824668 CPUtime=507.53 cores=0,2,4,6
/proc/25789/task/25809/stat : 25809 (java) R 25787 25789 25184 0 -1 4202560 1931 0 0 0 50713 40 0 0 20 0 22 0 253316435 10060460032 615463 33554432000 1073741824 1073778376 140734654804640 139972349829760 139972398284530 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25789/tid=25810] ppid=25787 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25810/stat : 25810 (java) S 25787 25789 25184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253316439 10060460032 615463 33554432000 1073741824 1073778376 140734654804640 139972348777256 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25789/tid=25811] ppid=25787 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25811/stat : 25811 (java) S 25787 25789 25184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253316439 10060460032 615463 33554432000 1073741824 1073778376 140734654804640 139972347724712 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1049.33
Current children cumulated vsize (KiB) 9824668
[startup+527.201 s]
/proc/loadavg: 3.93 3.28 1.70 5/219 26285
/proc/meminfo: memFree=25361224/32873844 swapFree=7388/7388
[pid=25789] ppid=25787 vsize=9824668 CPUtime=1049.51 cores=0,2,4,6
/proc/25789/stat : 25789 (java) S 25787 25789 25184 0 -1 4202496 60142 0 1 0 104826 125 0 0 20 0 20 0 253316230 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 140734654795776 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25789/statm: 2456167 615458 2286 9 0 2446860 0
[pid=25789/tid=25790] ppid=25787 vsize=9824668 CPUtime=1.91 cores=0,2,4,6
/proc/25789/task/25790/stat : 25790 (java) S 25787 25789 25184 0 -1 4202560 2587 0 1 0 184 7 0 0 20 0 20 0 253316230 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972535186424 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25789/tid=25792] ppid=25787 vsize=9824668 CPUtime=1.87 cores=0,2,4,6
/proc/25789/task/25792/stat : 25792 (java) S 25787 25789 25184 0 -1 4202560 315 0 0 0 182 5 0 0 20 0 20 0 253316231 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972524247464 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25793] ppid=25787 vsize=9824668 CPUtime=1.89 cores=0,2,4,6
/proc/25789/task/25793/stat : 25793 (java) S 25787 25789 25184 0 -1 4202560 380 0 0 0 182 7 0 0 20 0 20 0 253316231 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972523194920 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25794] ppid=25787 vsize=9824668 CPUtime=1.82 cores=0,2,4,6
/proc/25789/task/25794/stat : 25794 (java) S 25787 25789 25184 0 -1 4202560 348 0 0 0 176 6 0 0 20 0 20 0 253316231 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972522141864 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25789/tid=25795] ppid=25787 vsize=9824668 CPUtime=1.92 cores=0,2,4,6
/proc/25789/task/25795/stat : 25795 (java) S 25787 25789 25184 0 -1 4202560 353 0 0 0 186 6 0 0 20 0 20 0 253316231 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972521089320 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25789/tid=25796] ppid=25787 vsize=9824668 CPUtime=1.86 cores=0,2,4,6
/proc/25789/task/25796/stat : 25796 (java) S 25787 25789 25184 0 -1 4202560 260 0 0 0 180 6 0 0 20 0 20 0 253316231 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972520037288 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25789/tid=25797] ppid=25787 vsize=9824668 CPUtime=1.94 cores=0,2,4,6
/proc/25789/task/25797/stat : 25797 (java) S 25787 25789 25184 0 -1 4202560 428 0 0 0 187 7 0 0 20 0 20 0 253316231 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972518984744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25789/tid=25798] ppid=25787 vsize=9824668 CPUtime=1.78 cores=0,2,4,6
/proc/25789/task/25798/stat : 25798 (java) S 25787 25789 25184 0 -1 4202560 305 0 0 0 173 5 0 0 20 0 20 0 253316231 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972517931688 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25789/tid=25799] ppid=25787 vsize=9824668 CPUtime=1.84 cores=0,2,4,6
/proc/25789/task/25799/stat : 25799 (java) S 25787 25789 25184 0 -1 4202560 284 0 0 0 180 4 0 0 20 0 20 0 253316231 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972516879144 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25800] ppid=25787 vsize=9824668 CPUtime=11.3 cores=0,2,4,6
/proc/25789/task/25800/stat : 25800 (java) S 25787 25789 25184 0 -1 4202560 36091 0 0 0 1111 19 0 0 20 0 20 0 253316232 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972359305576 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25801] ppid=25787 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25801/stat : 25801 (java) S 25787 25789 25184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 253316233 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972358251896 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25802] ppid=25787 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25802/stat : 25802 (java) S 25787 25789 25184 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 253316233 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972357198728 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25803] ppid=25787 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25803/stat : 25803 (java) S 25787 25789 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253316235 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972356147472 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25804] ppid=25787 vsize=9824668 CPUtime=1.64 cores=0,2,4,6
/proc/25789/task/25804/stat : 25804 (java) S 25787 25789 25184 0 -1 4202560 6329 0 0 0 163 1 0 0 20 0 20 0 253316235 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972355095352 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25789/tid=25805] ppid=25787 vsize=9824668 CPUtime=1.7 cores=0,2,4,6
/proc/25789/task/25805/stat : 25805 (java) S 25787 25789 25184 0 -1 4202560 9244 0 0 0 168 2 0 0 20 0 20 0 253316235 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972354042808 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25789/tid=25806] ppid=25787 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25806/stat : 25806 (java) S 25787 25789 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253316235 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972352989944 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25789/tid=25807] ppid=25787 vsize=9824668 CPUtime=0.19 cores=0,2,4,6
/proc/25789/task/25807/stat : 25807 (java) S 25787 25789 25184 0 -1 4202560 31 0 0 0 10 9 0 0 20 0 20 0 253316235 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972351937608 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25809] ppid=25787 vsize=9824668 CPUtime=508.32 cores=0,2,4,6
/proc/25789/task/25809/stat : 25809 (java) R 25787 25789 25184 0 -1 4202560 1931 0 0 0 50792 40 0 0 20 0 20 0 253316435 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972349829760 139972397485824 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25811] ppid=25787 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25811/stat : 25811 (java) S 25787 25789 25184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 253316439 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972347724712 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1049.51
Current children cumulated vsize (KiB) 9824668
[startup+527.401 s]
/proc/loadavg: 3.93 3.28 1.70 5/219 26285
/proc/meminfo: memFree=25361224/32873844 swapFree=7388/7388
[pid=25789] ppid=25787 vsize=9824668 CPUtime=1049.72 cores=0,2,4,6
/proc/25789/stat : 25789 (java) S 25787 25789 25184 0 -1 4202496 60142 0 1 0 104847 125 0 0 20 0 20 0 253316230 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 140734654795776 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25789/statm: 2456167 615458 2286 9 0 2446860 0
[pid=25789/tid=25790] ppid=25787 vsize=9824668 CPUtime=1.91 cores=0,2,4,6
/proc/25789/task/25790/stat : 25790 (java) S 25787 25789 25184 0 -1 4202560 2587 0 1 0 184 7 0 0 20 0 20 0 253316230 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972535186424 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25789/tid=25792] ppid=25787 vsize=9824668 CPUtime=1.87 cores=0,2,4,6
/proc/25789/task/25792/stat : 25792 (java) S 25787 25789 25184 0 -1 4202560 315 0 0 0 182 5 0 0 20 0 20 0 253316231 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972524247464 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25793] ppid=25787 vsize=9824668 CPUtime=1.89 cores=0,2,4,6
/proc/25789/task/25793/stat : 25793 (java) S 25787 25789 25184 0 -1 4202560 380 0 0 0 182 7 0 0 20 0 20 0 253316231 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972523194920 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25794] ppid=25787 vsize=9824668 CPUtime=1.82 cores=0,2,4,6
/proc/25789/task/25794/stat : 25794 (java) S 25787 25789 25184 0 -1 4202560 348 0 0 0 176 6 0 0 20 0 20 0 253316231 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972522141864 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25789/tid=25795] ppid=25787 vsize=9824668 CPUtime=1.92 cores=0,2,4,6
/proc/25789/task/25795/stat : 25795 (java) S 25787 25789 25184 0 -1 4202560 353 0 0 0 186 6 0 0 20 0 20 0 253316231 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972521089320 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25789/tid=25796] ppid=25787 vsize=9824668 CPUtime=1.86 cores=0,2,4,6
/proc/25789/task/25796/stat : 25796 (java) S 25787 25789 25184 0 -1 4202560 260 0 0 0 180 6 0 0 20 0 20 0 253316231 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972520037288 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25789/tid=25797] ppid=25787 vsize=9824668 CPUtime=1.94 cores=0,2,4,6
/proc/25789/task/25797/stat : 25797 (java) S 25787 25789 25184 0 -1 4202560 428 0 0 0 187 7 0 0 20 0 20 0 253316231 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972518984744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25789/tid=25798] ppid=25787 vsize=9824668 CPUtime=1.78 cores=0,2,4,6
/proc/25789/task/25798/stat : 25798 (java) S 25787 25789 25184 0 -1 4202560 305 0 0 0 173 5 0 0 20 0 20 0 253316231 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972517931688 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25789/tid=25799] ppid=25787 vsize=9824668 CPUtime=1.84 cores=0,2,4,6
/proc/25789/task/25799/stat : 25799 (java) S 25787 25789 25184 0 -1 4202560 284 0 0 0 180 4 0 0 20 0 20 0 253316231 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972516879144 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25800] ppid=25787 vsize=9824668 CPUtime=11.3 cores=0,2,4,6
/proc/25789/task/25800/stat : 25800 (java) S 25787 25789 25184 0 -1 4202560 36091 0 0 0 1111 19 0 0 20 0 20 0 253316232 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972359305576 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25801] ppid=25787 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25801/stat : 25801 (java) S 25787 25789 25184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 253316233 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972358251896 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25802] ppid=25787 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25802/stat : 25802 (java) S 25787 25789 25184 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 253316233 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972357198728 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25803] ppid=25787 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25803/stat : 25803 (java) S 25787 25789 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253316235 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972356147472 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25804] ppid=25787 vsize=9824668 CPUtime=1.65 cores=0,2,4,6
/proc/25789/task/25804/stat : 25804 (java) S 25787 25789 25184 0 -1 4202560 6329 0 0 0 164 1 0 0 20 0 20 0 253316235 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972355095352 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25789/tid=25805] ppid=25787 vsize=9824668 CPUtime=1.7 cores=0,2,4,6
/proc/25789/task/25805/stat : 25805 (java) S 25787 25789 25184 0 -1 4202560 9244 0 0 0 168 2 0 0 20 0 20 0 253316235 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972354042808 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25789/tid=25806] ppid=25787 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25806/stat : 25806 (java) S 25787 25789 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253316235 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972352989944 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25789/tid=25807] ppid=25787 vsize=9824668 CPUtime=0.19 cores=0,2,4,6
/proc/25789/task/25807/stat : 25807 (java) S 25787 25789 25184 0 -1 4202560 31 0 0 0 10 9 0 0 20 0 20 0 253316235 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972351937608 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25809] ppid=25787 vsize=9824668 CPUtime=508.52 cores=0,2,4,6
/proc/25789/task/25809/stat : 25809 (java) R 25787 25789 25184 0 -1 4202560 1931 0 0 0 50812 40 0 0 20 0 20 0 253316435 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972349830072 139972397485824 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25789/tid=25811] ppid=25787 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25789/task/25811/stat : 25811 (java) S 25787 25789 25184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 253316439 10060460032 615458 33554432000 1073741824 1073778376 140734654804640 139972347724712 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1049.72
Current children cumulated vsize (KiB) 9824668
Child status: 20
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25789 and gives
# childrusage.ru_utime.tv_sec=1047
# childrusage.ru_utime.tv_usec=142810
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=482774
# CPU time returned by wait4() is 1048.63
# while last known CPU time is 1049.72
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 1.02014
# lost CPU user time (s): 1.09009
# lost CPU system time (s): -0.0700001
Real time (s): 527.473
CPU time (s): 1050.74
CPU user time (s): 1049.56
CPU system time (s): 1.18
CPU usage (%): 199.203
Max. virtual memory (cumulated for all children) (KiB): 9826184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1047.14
system time used= 1.48277
maximum resident set size= 2910156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60146
page faults= 1
swaps= 0
block input operations= 0
block output operations= 608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18275
involuntary context switches= 31088
runsolver used 2.25066 second user time and 5.49816 second system time
The end