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-3687996-1337875674/watcher-3687996-1337875674 -o /tmp/evaluation-result-3687996-1337875674/solver-3687996-1337875674 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687996-1337875674.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: 3.88 3.92 3.77 3/197 22801
/proc/meminfo: memFree=28753484/32873648 swapFree=7108/7108
[pid=22801] ppid=22799 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/22801/stat : 22801 (java) S 22799 22801 21597 0 -1 4202496 1151 0 0 0 0 0 0 0 20 0 2 0 253694779 91889664 872 33554432000 1073741824 1073778376 140733888486576 140733888477712 219517321277 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22801/statm: 22434 883 667 9 0 16769 0
[pid=22801/tid=22802] ppid=22799 vsize=89740 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22802/stat : 22802 (java) R 22799 22801 21597 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 2 0 253694780 91893760 894 33554432000 1073741824 1073778376 140733888486576 140733888475640 219513442321 0 0 4096 0 0 0 0 -1 4 0 0 0 0 0
[startup+0.105809 s]
/proc/loadavg: 3.88 3.92 3.77 3/197 22801
/proc/meminfo: memFree=28753484/32873648 swapFree=7108/7108
[pid=22801] ppid=22799 vsize=9558412 CPUtime=0.12 cores=0,2,4,6
/proc/22801/stat : 22801 (java) S 22799 22801 21597 0 -1 4202496 4505 0 1 0 11 1 0 0 20 0 18 0 253694779 9787813888 6133 33554432000 1073741824 1073778376 140733888486576 140733888477712 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22801/statm: 2389603 6133 2152 9 0 2380296 0
[pid=22801/tid=22802] ppid=22799 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/22801/task/22802/stat : 22802 (java) R 22799 22801 21597 0 -1 4202560 2430 0 1 0 8 0 0 0 20 0 18 0 253694780 9787813888 6133 33554432000 1073741824 1073778376 140733888486576 140300294966192 219517347085 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 9558412
[startup+0.200249 s]
/proc/loadavg: 3.88 3.92 3.77 3/197 22801
/proc/meminfo: memFree=28753484/32873648 swapFree=7108/7108
[pid=22801] ppid=22799 vsize=9824668 CPUtime=0.41 cores=0,2,4,6
/proc/22801/stat : 22801 (java) S 22799 22801 21597 0 -1 4202496 7848 0 1 0 40 1 0 0 20 0 22 0 253694779 10060460032 9320 33554432000 1073741824 1073778376 140733888486576 140733888477712 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22801/statm: 2456167 9320 2206 9 0 2446860 0
[pid=22801/tid=22802] ppid=22799 vsize=9824668 CPUtime=0.1 cores=0,2,4,6
/proc/22801/task/22802/stat : 22802 (java) S 22799 22801 21597 0 -1 4202560 2436 0 1 0 10 0 0 0 20 0 22 0 253694780 10060460032 9320 33554432000 1073741824 1073778376 140733888486576 140300294968312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 9824668
[startup+0.300263 s]
/proc/loadavg: 3.88 3.92 3.77 3/197 22801
/proc/meminfo: memFree=28753484/32873648 swapFree=7108/7108
[pid=22801] ppid=22799 vsize=9824668 CPUtime=0.81 cores=0,2,4,6
/proc/22801/stat : 22801 (java) S 22799 22801 21597 0 -1 4202496 10469 0 1 0 79 2 0 0 20 0 22 0 253694779 10060460032 11223 33554432000 1073741824 1073778376 140733888486576 140733888477712 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22801/statm: 2456167 11223 2213 9 0 2446860 0
[pid=22801/tid=22802] ppid=22799 vsize=9824668 CPUtime=0.1 cores=0,2,4,6
/proc/22801/task/22802/stat : 22802 (java) S 22799 22801 21597 0 -1 4202560 2436 0 1 0 10 0 0 0 20 0 22 0 253694780 10060460032 11223 33554432000 1073741824 1073778376 140733888486576 140300294968312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 9824668
[startup+0.700222 s]
/proc/loadavg: 3.88 3.92 3.77 3/197 22801
/proc/meminfo: memFree=28753484/32873648 swapFree=7108/7108
[pid=22801] ppid=22799 vsize=9824668 CPUtime=2.36 cores=0,2,4,6
/proc/22801/stat : 22801 (java) S 22799 22801 21597 0 -1 4202496 20918 0 1 0 232 4 0 0 20 0 22 0 253694779 10060460032 27752 33554432000 1073741824 1073778376 140733888486576 140733888477712 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22801/statm: 2456167 27752 2252 9 0 2446860 0
[pid=22801/tid=22802] ppid=22799 vsize=9824668 CPUtime=0.1 cores=0,2,4,6
/proc/22801/task/22802/stat : 22802 (java) S 22799 22801 21597 0 -1 4202560 2436 0 1 0 10 0 0 0 20 0 22 0 253694780 10060460032 27752 33554432000 1073741824 1073778376 140733888486576 140300294968312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 9824668
[startup+1.50079 s]
/proc/loadavg: 3.88 3.92 3.77 5/219 22823
/proc/meminfo: memFree=28634208/32873648 swapFree=7108/7108
[pid=22801] ppid=22799 vsize=9824668 CPUtime=4.61 cores=0,2,4,6
/proc/22801/stat : 22801 (java) S 22799 22801 21597 0 -1 4202496 27375 0 1 0 454 7 0 0 20 0 22 0 253694779 10060460032 45239 33554432000 1073741824 1073778376 140733888486576 140733888477712 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22801/statm: 2456167 45239 2266 9 0 2446860 0
[pid=22801/tid=22802] ppid=22799 vsize=9824668 CPUtime=0.1 cores=0,2,4,6
/proc/22801/task/22802/stat : 22802 (java) S 22799 22801 21597 0 -1 4202560 2436 0 1 0 10 0 0 0 20 0 22 0 253694780 10060460032 45239 33554432000 1073741824 1073778376 140733888486576 140300294968312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22801/tid=22804] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22804/stat : 22804 (java) S 22799 22801 21597 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253694781 10060460032 45239 33554432000 1073741824 1073778376 140733888486576 140300284029864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22801/tid=22805] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22805/stat : 22805 (java) S 22799 22801 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253694781 10060460032 45239 33554432000 1073741824 1073778376 140733888486576 140300282977320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22801/tid=22806] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22806/stat : 22806 (java) S 22799 22801 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253694781 10060460032 45239 33554432000 1073741824 1073778376 140733888486576 140300281924264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22801/tid=22807] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22807/stat : 22807 (java) S 22799 22801 21597 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 253694781 10060460032 45239 33554432000 1073741824 1073778376 140733888486576 140300280871720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22801/tid=22808] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22808/stat : 22808 (java) S 22799 22801 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253694781 10060460032 45239 33554432000 1073741824 1073778376 140733888486576 140300279818664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22801/tid=22809] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22809/stat : 22809 (java) S 22799 22801 21597 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253694781 10060460032 45239 33554432000 1073741824 1073778376 140733888486576 140300278766120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22801/tid=22810] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22810/stat : 22810 (java) S 22799 22801 21597 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253694781 10060460032 45239 33554432000 1073741824 1073778376 140733888486576 140300277713064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22801/tid=22811] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22811/stat : 22811 (java) S 22799 22801 21597 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253694781 10060460032 45239 33554432000 1073741824 1073778376 140733888486576 140300276660520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22801/tid=22812] ppid=22799 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/22801/task/22812/stat : 22812 (java) S 22799 22801 21597 0 -1 4202560 33 0 0 0 3 0 0 0 20 0 22 0 253694782 10060460032 45239 33554432000 1073741824 1073778376 140733888486576 140300118997864 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22801/tid=22813] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22813/stat : 22813 (java) S 22799 22801 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253694782 10060460032 45239 33554432000 1073741824 1073778376 140733888486576 140300117944184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22801/tid=22814] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22814/stat : 22814 (java) S 22799 22801 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253694782 10060460032 45239 33554432000 1073741824 1073778376 140733888486576 140300116891016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22801/tid=22815] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22815/stat : 22815 (java) S 22799 22801 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253694784 10060460032 45239 33554432000 1073741824 1073778376 140733888486576 140300115839760 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22801/tid=22816] ppid=22799 vsize=9824668 CPUtime=0.88 cores=0,2,4,6
/proc/22801/task/22816/stat : 22816 (java) S 22799 22801 21597 0 -1 4202560 16299 0 0 0 85 3 0 0 20 0 22 0 253694784 10060460032 45239 33554432000 1073741824 1073778376 140733888486576 140300114786616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22801/tid=22817] ppid=22799 vsize=9824668 CPUtime=0.89 cores=0,2,4,6
/proc/22801/task/22817/stat : 22817 (java) S 22799 22801 21597 0 -1 4202560 7181 0 0 0 89 0 0 0 20 0 22 0 253694784 10060460032 45239 33554432000 1073741824 1073778376 140733888486576 140300113734072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22801/tid=22818] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22818/stat : 22818 (java) S 22799 22801 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253694784 10060460032 45239 33554432000 1073741824 1073778376 140733888486576 140300112681208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22801/tid=22819] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22819/stat : 22819 (java) S 22799 22801 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253694784 10060460032 45239 33554432000 1073741824 1073778376 140733888486576 140300111628872 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22801/tid=22820] ppid=22799 vsize=9824668 CPUtime=1.3 cores=0,2,4,6
/proc/22801/task/22820/stat : 22820 (java) R 22799 22801 21597 0 -1 4202560 48 0 0 0 130 0 0 0 20 0 22 0 253694792 10060460032 45239 33554432000 1073741824 1073778376 140733888486576 140300110574536 140300157078936 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22801/tid=22821] ppid=22799 vsize=9824668 CPUtime=1.3 cores=0,2,4,6
/proc/22801/task/22821/stat : 22821 (java) R 22799 22801 21597 0 -1 4202560 124 0 0 0 128 2 0 0 20 0 22 0 253694792 10060460032 45239 33554432000 1073741824 1073778376 140733888486576 140300109521328 140300157407585 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22801/tid=22822] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22822/stat : 22822 (java) S 22799 22801 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253694792 10060460032 45239 33554432000 1073741824 1073778376 140733888486576 140300108469544 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22801/tid=22823] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22823/stat : 22823 (java) S 22799 22801 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253694792 10060460032 45239 33554432000 1073741824 1073778376 140733888486576 140300107417000 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 9824668
[startup+3.10073 s]
/proc/loadavg: 3.88 3.92 3.77 5/219 22823
/proc/meminfo: memFree=28588964/32873648 swapFree=7108/7108
[pid=22801] ppid=22799 vsize=9824668 CPUtime=7.84 cores=0,2,4,6
/proc/22801/stat : 22801 (java) S 22799 22801 21597 0 -1 4202496 27433 0 1 0 777 7 0 0 20 0 22 0 253694779 10060460032 47849 33554432000 1073741824 1073778376 140733888486576 140733888477712 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22801/statm: 2456167 47849 2273 9 0 2446860 0
[pid=22801/tid=22802] ppid=22799 vsize=9824668 CPUtime=0.1 cores=0,2,4,6
/proc/22801/task/22802/stat : 22802 (java) S 22799 22801 21597 0 -1 4202560 2436 0 1 0 10 0 0 0 20 0 22 0 253694780 10060460032 47849 33554432000 1073741824 1073778376 140733888486576 140300294968312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22801/tid=22804] ppid=22799 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/22801/task/22804/stat : 22804 (java) S 22799 22801 21597 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 253694781 10060460032 47849 33554432000 1073741824 1073778376 140733888486576 140300284029864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22801/tid=22805] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22805/stat : 22805 (java) S 22799 22801 21597 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 253694781 10060460032 47849 33554432000 1073741824 1073778376 140733888486576 140300282977320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22801/tid=22806] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22806/stat : 22806 (java) S 22799 22801 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253694781 10060460032 47849 33554432000 1073741824 1073778376 140733888486576 140300281924264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22801/tid=22807] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22807/stat : 22807 (java) S 22799 22801 21597 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 22 0 253694781 10060460032 47849 33554432000 1073741824 1073778376 140733888486576 140300280871720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22801/tid=22808] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22808/stat : 22808 (java) S 22799 22801 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253694781 10060460032 47849 33554432000 1073741824 1073778376 140733888486576 140300279818664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22801/tid=22809] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22809/stat : 22809 (java) S 22799 22801 21597 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253694781 10060460032 47849 33554432000 1073741824 1073778376 140733888486576 140300278766120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22801/tid=22810] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22810/stat : 22810 (java) S 22799 22801 21597 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253694781 10060460032 47849 33554432000 1073741824 1073778376 140733888486576 140300277713064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22801/tid=22811] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22811/stat : 22811 (java) S 22799 22801 21597 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253694781 10060460032 47849 33554432000 1073741824 1073778376 140733888486576 140300276660520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22801/tid=22812] ppid=22799 vsize=9824668 CPUtime=0.11 cores=0,2,4,6
/proc/22801/task/22812/stat : 22812 (java) S 22799 22801 21597 0 -1 4202560 36 0 0 0 11 0 0 0 20 0 22 0 253694782 10060460032 47849 33554432000 1073741824 1073778376 140733888486576 140300118997864 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22801/tid=22813] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22813/stat : 22813 (java) S 22799 22801 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253694782 10060460032 47849 33554432000 1073741824 1073778376 140733888486576 140300117944184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22801/tid=22814] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22814/stat : 22814 (java) S 22799 22801 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253694782 10060460032 47849 33554432000 1073741824 1073778376 140733888486576 140300116891016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22801/tid=22815] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22815/stat : 22815 (java) S 22799 22801 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253694784 10060460032 47849 33554432000 1073741824 1073778376 140733888486576 140300115839760 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22801/tid=22816] ppid=22799 vsize=9824668 CPUtime=0.99 cores=0,2,4,6
/proc/22801/task/22816/stat : 22816 (java) S 22799 22801 21597 0 -1 4202560 16307 0 0 0 96 3 0 0 20 0 22 0 253694784 10060460032 47849 33554432000 1073741824 1073778376 140733888486576 140300114786616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22801/tid=22817] ppid=22799 vsize=9824668 CPUtime=0.89 cores=0,2,4,6
/proc/22801/task/22817/stat : 22817 (java) S 22799 22801 21597 0 -1 4202560 7181 0 0 0 89 0 0 0 20 0 22 0 253694784 10060460032 47849 33554432000 1073741824 1073778376 140733888486576 140300113734072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22801/tid=22818] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22818/stat : 22818 (java) S 22799 22801 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253694784 10060460032 47849 33554432000 1073741824 1073778376 140733888486576 140300112681208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22801/tid=22819] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22819/stat : 22819 (java) S 22799 22801 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253694784 10060460032 47849 33554432000 1073741824 1073778376 140733888486576 140300111628872 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22801/tid=22820] ppid=22799 vsize=9824668 CPUtime=2.8 cores=0,2,4,6
/proc/22801/task/22820/stat : 22820 (java) R 22799 22801 21597 0 -1 4202560 50 0 0 0 280 0 0 0 20 0 22 0 253694792 10060460032 47849 33554432000 1073741824 1073778376 140733888486576 140300110574416 140300157171524 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=22801/tid=22821] ppid=22799 vsize=9824668 CPUtime=2.79 cores=0,2,4,6
/proc/22801/task/22821/stat : 22821 (java) R 22799 22801 21597 0 -1 4202560 129 0 0 0 277 2 0 0 20 0 22 0 253694792 10060460032 47849 33554432000 1073741824 1073778376 140733888486576 140300109519648 140300157436504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22801/tid=22822] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22822/stat : 22822 (java) S 22799 22801 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253694792 10060460032 47849 33554432000 1073741824 1073778376 140733888486576 140300108469544 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22801/tid=22823] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22823/stat : 22823 (java) S 22799 22801 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253694792 10060460032 47849 33554432000 1073741824 1073778376 140733888486576 140300107417000 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.84
Current children cumulated vsize (KiB) 9824668
[startup+6.30081 s]
/proc/loadavg: 3.81 3.91 3.76 5/219 22823
/proc/meminfo: memFree=28548072/32873648 swapFree=7108/7108
[pid=22801] ppid=22799 vsize=9824668 CPUtime=14.17 cores=0,2,4,6
/proc/22801/stat : 22801 (java) S 22799 22801 21597 0 -1 4202496 27552 0 1 0 1408 9 0 0 20 0 22 0 253694779 10060460032 64533 33554432000 1073741824 1073778376 140733888486576 140733888477712 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22801/statm: 2456167 64533 2273 9 0 2446860 0
[pid=22801/tid=22802] ppid=22799 vsize=9824668 CPUtime=0.1 cores=0,2,4,6
/proc/22801/task/22802/stat : 22802 (java) S 22799 22801 21597 0 -1 4202560 2437 0 1 0 10 0 0 0 20 0 22 0 253694780 10060460032 64533 33554432000 1073741824 1073778376 140733888486576 140300294968312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22801/tid=22804] ppid=22799 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/22801/task/22804/stat : 22804 (java) S 22799 22801 21597 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 22 0 253694781 10060460032 64533 33554432000 1073741824 1073778376 140733888486576 140300284029864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22801/tid=22805] ppid=22799 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/22801/task/22805/stat : 22805 (java) S 22799 22801 21597 0 -1 4202560 23 0 0 0 1 0 0 0 20 0 22 0 253694781 10060460032 64533 33554432000 1073741824 1073778376 140733888486576 140300282977320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22801/tid=22806] ppid=22799 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/22801/task/22806/stat : 22806 (java) S 22799 22801 21597 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 253694781 10060460032 64533 33554432000 1073741824 1073778376 140733888486576 140300281924264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22801/tid=22807] ppid=22799 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/22801/task/22807/stat : 22807 (java) S 22799 22801 21597 0 -1 4202560 28 0 0 0 2 0 0 0 20 0 22 0 253694781 10060460032 64533 33554432000 1073741824 1073778376 140733888486576 140300280871720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22801/tid=22808] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22808/stat : 22808 (java) S 22799 22801 21597 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253694781 10060460032 64533 33554432000 1073741824 1073778376 140733888486576 140300279818664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22801/tid=22809] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22809/stat : 22809 (java) S 22799 22801 21597 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253694781 10060460032 64533 33554432000 1073741824 1073778376 140733888486576 140300278766120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22801/tid=22810] ppid=22799 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/22801/task/22810/stat : 22810 (java) S 22799 22801 21597 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 22 0 253694781 10060460032 64533 33554432000 1073741824 1073778376 140733888486576 140300277713064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22801/tid=22811] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22811/stat : 22811 (java) S 22799 22801 21597 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253694781 10060460032 64533 33554432000 1073741824 1073778376 140733888486576 140300276660520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
################
# More data... #
################
[pid=22801/tid=22821] ppid=22799 vsize=9824668 CPUtime=796.3 cores=0,2,4,6
/proc/22801/task/22821/stat : 22821 (java) R 22799 22801 21597 0 -1 4202560 3762 0 0 0 79595 35 0 0 20 0 22 0 253694792 10060460032 209584 33554432000 1073741824 1073778376 140733888486576 140300109520848 140300157249065 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22801/tid=22822] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22822/stat : 22822 (java) S 22799 22801 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253694792 10060460032 209584 33554432000 1073741824 1073778376 140733888486576 140300108469544 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22801/tid=22823] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22823/stat : 22823 (java) S 22799 22801 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253694792 10060460032 209584 33554432000 1073741824 1073778376 140733888486576 140300107417000 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1637.2
Current children cumulated vsize (KiB) 9824668
[startup+882.307 s]
/proc/loadavg: 4.00 3.98 3.89 5/219 22894
/proc/meminfo: memFree=27971096/32873648 swapFree=7108/7108
[pid=22801] ppid=22799 vsize=9824668 CPUtime=1756.69 cores=0,2,4,6
/proc/22801/stat : 22801 (java) S 22799 22801 21597 0 -1 4202496 43193 0 1 0 175547 122 0 0 20 0 22 0 253694779 10060460032 199901 33554432000 1073741824 1073778376 140733888486576 140733888477712 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22801/statm: 2456167 199901 2274 9 0 2446860 0
[pid=22801/tid=22802] ppid=22799 vsize=9824668 CPUtime=0.14 cores=0,2,4,6
/proc/22801/task/22802/stat : 22802 (java) S 22799 22801 21597 0 -1 4202560 2477 0 1 0 12 2 0 0 20 0 22 0 253694780 10060460032 199901 33554432000 1073741824 1073778376 140733888486576 140300294968312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22801/tid=22804] ppid=22799 vsize=9824668 CPUtime=3.04 cores=0,2,4,6
/proc/22801/task/22804/stat : 22804 (java) S 22799 22801 21597 0 -1 4202560 507 0 0 0 296 8 0 0 20 0 22 0 253694781 10060460032 199901 33554432000 1073741824 1073778376 140733888486576 140300284029864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22801/tid=22805] ppid=22799 vsize=9824668 CPUtime=3.16 cores=0,2,4,6
/proc/22801/task/22805/stat : 22805 (java) S 22799 22801 21597 0 -1 4202560 754 0 0 0 308 8 0 0 20 0 22 0 253694781 10060460032 199901 33554432000 1073741824 1073778376 140733888486576 140300282977320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22801/tid=22806] ppid=22799 vsize=9824668 CPUtime=2.97 cores=0,2,4,6
/proc/22801/task/22806/stat : 22806 (java) S 22799 22801 21597 0 -1 4202560 878 0 0 0 289 8 0 0 20 0 22 0 253694781 10060460032 199901 33554432000 1073741824 1073778376 140733888486576 140300281924264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22801/tid=22807] ppid=22799 vsize=9824668 CPUtime=2.8 cores=0,2,4,6
/proc/22801/task/22807/stat : 22807 (java) S 22799 22801 21597 0 -1 4202560 417 0 0 0 274 6 0 0 20 0 22 0 253694781 10060460032 199901 33554432000 1073741824 1073778376 140733888486576 140300280871720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22801/tid=22808] ppid=22799 vsize=9824668 CPUtime=2.94 cores=0,2,4,6
/proc/22801/task/22808/stat : 22808 (java) S 22799 22801 21597 0 -1 4202560 458 0 0 0 287 7 0 0 20 0 22 0 253694781 10060460032 199901 33554432000 1073741824 1073778376 140733888486576 140300279818664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22801/tid=22809] ppid=22799 vsize=9824668 CPUtime=2.79 cores=0,2,4,6
/proc/22801/task/22809/stat : 22809 (java) S 22799 22801 21597 0 -1 4202560 379 0 0 0 272 7 0 0 20 0 22 0 253694781 10060460032 199901 33554432000 1073741824 1073778376 140733888486576 140300278766120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22801/tid=22810] ppid=22799 vsize=9824668 CPUtime=3.15 cores=0,2,4,6
/proc/22801/task/22810/stat : 22810 (java) S 22799 22801 21597 0 -1 4202560 670 0 0 0 309 6 0 0 20 0 22 0 253694781 10060460032 199901 33554432000 1073741824 1073778376 140733888486576 140300277713064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22801/tid=22811] ppid=22799 vsize=9824668 CPUtime=3.2 cores=0,2,4,6
/proc/22801/task/22811/stat : 22811 (java) S 22799 22801 21597 0 -1 4202560 578 0 0 0 313 7 0 0 20 0 22 0 253694781 10060460032 199901 33554432000 1073741824 1073778376 140733888486576 140300276660520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22801/tid=22812] ppid=22799 vsize=9824668 CPUtime=21.26 cores=0,2,4,6
/proc/22801/task/22812/stat : 22812 (java) S 22799 22801 21597 0 -1 4202560 1222 0 0 0 2104 22 0 0 20 0 22 0 253694782 10060460032 199901 33554432000 1073741824 1073778376 140733888486576 140300118997864 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22801/tid=22813] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22813/stat : 22813 (java) S 22799 22801 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253694782 10060460032 199901 33554432000 1073741824 1073778376 140733888486576 140300117944184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22801/tid=22814] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22814/stat : 22814 (java) S 22799 22801 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253694782 10060460032 199901 33554432000 1073741824 1073778376 140733888486576 140300116891016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22801/tid=22815] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22815/stat : 22815 (java) S 22799 22801 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253694784 10060460032 199901 33554432000 1073741824 1073778376 140733888486576 140300115839760 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22801/tid=22816] ppid=22799 vsize=9824668 CPUtime=1.65 cores=0,2,4,6
/proc/22801/task/22816/stat : 22816 (java) S 22799 22801 21597 0 -1 4202560 22317 0 0 0 161 4 0 0 20 0 22 0 253694784 10060460032 199901 33554432000 1073741824 1073778376 140733888486576 140300114786616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22801/tid=22817] ppid=22799 vsize=9824668 CPUtime=0.97 cores=0,2,4,6
/proc/22801/task/22817/stat : 22817 (java) S 22799 22801 21597 0 -1 4202560 7203 0 0 0 97 0 0 0 20 0 22 0 253694784 10060460032 199901 33554432000 1073741824 1073778376 140733888486576 140300113734072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22801/tid=22818] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22818/stat : 22818 (java) S 22799 22801 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253694784 10060460032 199901 33554432000 1073741824 1073778376 140733888486576 140300112681208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22801/tid=22819] ppid=22799 vsize=9824668 CPUtime=0.32 cores=0,2,4,6
/proc/22801/task/22819/stat : 22819 (java) S 22799 22801 21597 0 -1 4202560 50 0 0 0 16 16 0 0 20 0 22 0 253694784 10060460032 199901 33554432000 1073741824 1073778376 140733888486576 140300111628872 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22801/tid=22820] ppid=22799 vsize=9824668 CPUtime=854.31 cores=0,2,4,6
/proc/22801/task/22820/stat : 22820 (java) R 22799 22801 21597 0 -1 4202560 324 0 0 0 85416 15 0 0 20 0 22 0 253694792 10060460032 199901 33554432000 1073741824 1073778376 140733888486576 140300110574416 140300157171045 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22801/tid=22821] ppid=22799 vsize=9824668 CPUtime=854.21 cores=0,2,4,6
/proc/22801/task/22821/stat : 22821 (java) R 22799 22801 21597 0 -1 4202560 3771 0 0 0 85386 35 0 0 20 0 22 0 253694792 10060460032 199901 33554432000 1073741824 1073778376 140733888486576 140300109519952 140300157245949 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22801/tid=22822] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22822/stat : 22822 (java) S 22799 22801 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253694792 10060460032 199901 33554432000 1073741824 1073778376 140733888486576 140300108469544 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22801/tid=22823] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22823/stat : 22823 (java) S 22799 22801 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253694792 10060460032 199901 33554432000 1073741824 1073778376 140733888486576 140300107417000 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1756.69
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+904.001 s]
/proc/loadavg: 4.00 3.98 3.89 5/219 22894
/proc/meminfo: memFree=28069932/32873648 swapFree=7108/7108
[pid=22801] ppid=22799 vsize=9824668 CPUtime=1800.13 cores=0,2,4,6
/proc/22801/stat : 22801 (java) S 22799 22801 21597 0 -1 4202496 43235 0 1 0 179889 124 0 0 20 0 22 0 253694779 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140733888477712 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22801/statm: 2456167 191801 2274 9 0 2446860 0
[pid=22801/tid=22802] ppid=22799 vsize=9824668 CPUtime=0.14 cores=0,2,4,6
/proc/22801/task/22802/stat : 22802 (java) S 22799 22801 21597 0 -1 4202560 2477 0 1 0 12 2 0 0 20 0 22 0 253694780 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300294968312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22801/tid=22804] ppid=22799 vsize=9824668 CPUtime=3.18 cores=0,2,4,6
/proc/22801/task/22804/stat : 22804 (java) S 22799 22801 21597 0 -1 4202560 509 0 0 0 310 8 0 0 20 0 22 0 253694781 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300284029864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22801/tid=22805] ppid=22799 vsize=9824668 CPUtime=3.27 cores=0,2,4,6
/proc/22801/task/22805/stat : 22805 (java) S 22799 22801 21597 0 -1 4202560 755 0 0 0 319 8 0 0 20 0 22 0 253694781 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300282977320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22801/tid=22806] ppid=22799 vsize=9824668 CPUtime=3.06 cores=0,2,4,6
/proc/22801/task/22806/stat : 22806 (java) S 22799 22801 21597 0 -1 4202560 879 0 0 0 298 8 0 0 20 0 22 0 253694781 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300281924264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22801/tid=22807] ppid=22799 vsize=9824668 CPUtime=2.93 cores=0,2,4,6
/proc/22801/task/22807/stat : 22807 (java) S 22799 22801 21597 0 -1 4202560 418 0 0 0 287 6 0 0 20 0 22 0 253694781 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300280871720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22801/tid=22808] ppid=22799 vsize=9824668 CPUtime=3.05 cores=0,2,4,6
/proc/22801/task/22808/stat : 22808 (java) S 22799 22801 21597 0 -1 4202560 461 0 0 0 298 7 0 0 20 0 22 0 253694781 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300279818664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22801/tid=22809] ppid=22799 vsize=9824668 CPUtime=2.9 cores=0,2,4,6
/proc/22801/task/22809/stat : 22809 (java) S 22799 22801 21597 0 -1 4202560 381 0 0 0 283 7 0 0 20 0 22 0 253694781 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300278766120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22801/tid=22810] ppid=22799 vsize=9824668 CPUtime=3.21 cores=0,2,4,6
/proc/22801/task/22810/stat : 22810 (java) S 22799 22801 21597 0 -1 4202560 671 0 0 0 315 6 0 0 20 0 22 0 253694781 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300277713064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22801/tid=22811] ppid=22799 vsize=9824668 CPUtime=3.28 cores=0,2,4,6
/proc/22801/task/22811/stat : 22811 (java) S 22799 22801 21597 0 -1 4202560 578 0 0 0 321 7 0 0 20 0 22 0 253694781 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300276660520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22801/tid=22812] ppid=22799 vsize=9824668 CPUtime=21.62 cores=0,2,4,6
/proc/22801/task/22812/stat : 22812 (java) S 22799 22801 21597 0 -1 4202560 1244 0 0 0 2140 22 0 0 20 0 22 0 253694782 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300118997864 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22801/tid=22813] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22813/stat : 22813 (java) S 22799 22801 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253694782 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300117944184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22801/tid=22814] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22814/stat : 22814 (java) S 22799 22801 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253694782 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300116891016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22801/tid=22815] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22815/stat : 22815 (java) S 22799 22801 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253694784 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300115839760 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22801/tid=22816] ppid=22799 vsize=9824668 CPUtime=1.65 cores=0,2,4,6
/proc/22801/task/22816/stat : 22816 (java) S 22799 22801 21597 0 -1 4202560 22317 0 0 0 161 4 0 0 20 0 22 0 253694784 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300114786616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22801/tid=22817] ppid=22799 vsize=9824668 CPUtime=0.97 cores=0,2,4,6
/proc/22801/task/22817/stat : 22817 (java) S 22799 22801 21597 0 -1 4202560 7203 0 0 0 97 0 0 0 20 0 22 0 253694784 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300113734072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22801/tid=22818] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22818/stat : 22818 (java) S 22799 22801 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253694784 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300112681208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22801/tid=22819] ppid=22799 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/22801/task/22819/stat : 22819 (java) S 22799 22801 21597 0 -1 4202560 52 0 0 0 17 16 0 0 20 0 22 0 253694784 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300111628872 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22801/tid=22820] ppid=22799 vsize=9824668 CPUtime=875.42 cores=0,2,4,6
/proc/22801/task/22820/stat : 22820 (java) R 22799 22801 21597 0 -1 4202560 327 0 0 0 87526 16 0 0 20 0 22 0 253694792 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300110574416 140300157379476 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22801/tid=22821] ppid=22799 vsize=9824668 CPUtime=875.32 cores=0,2,4,6
/proc/22801/task/22821/stat : 22821 (java) R 22799 22801 21597 0 -1 4202560 3775 0 0 0 87496 36 0 0 20 0 22 0 253694792 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300109520064 140300157249065 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22801/tid=22822] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22822/stat : 22822 (java) S 22799 22801 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253694792 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300108469544 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22801/tid=22823] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22823/stat : 22823 (java) S 22799 22801 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253694792 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300107417000 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+904.001 s]
/proc/loadavg: 4.00 3.98 3.89 5/219 22894
/proc/meminfo: memFree=28069932/32873648 swapFree=7108/7108
[pid=22801] ppid=22799 vsize=9824668 CPUtime=1800.13 cores=0,2,4,6
/proc/22801/stat : 22801 (java) S 22799 22801 21597 0 -1 4202496 43235 0 1 0 179889 124 0 0 20 0 22 0 253694779 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140733888477712 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22801/statm: 2456167 191801 2274 9 0 2446860 0
[pid=22801/tid=22802] ppid=22799 vsize=9824668 CPUtime=0.14 cores=0,2,4,6
/proc/22801/task/22802/stat : 22802 (java) S 22799 22801 21597 0 -1 4202560 2477 0 1 0 12 2 0 0 20 0 22 0 253694780 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300294968312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22801/tid=22804] ppid=22799 vsize=9824668 CPUtime=3.18 cores=0,2,4,6
/proc/22801/task/22804/stat : 22804 (java) S 22799 22801 21597 0 -1 4202560 509 0 0 0 310 8 0 0 20 0 22 0 253694781 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300284029864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22801/tid=22805] ppid=22799 vsize=9824668 CPUtime=3.27 cores=0,2,4,6
/proc/22801/task/22805/stat : 22805 (java) S 22799 22801 21597 0 -1 4202560 755 0 0 0 319 8 0 0 20 0 22 0 253694781 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300282977320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22801/tid=22806] ppid=22799 vsize=9824668 CPUtime=3.06 cores=0,2,4,6
/proc/22801/task/22806/stat : 22806 (java) S 22799 22801 21597 0 -1 4202560 879 0 0 0 298 8 0 0 20 0 22 0 253694781 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300281924264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22801/tid=22807] ppid=22799 vsize=9824668 CPUtime=2.93 cores=0,2,4,6
/proc/22801/task/22807/stat : 22807 (java) S 22799 22801 21597 0 -1 4202560 418 0 0 0 287 6 0 0 20 0 22 0 253694781 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300280871720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22801/tid=22808] ppid=22799 vsize=9824668 CPUtime=3.05 cores=0,2,4,6
/proc/22801/task/22808/stat : 22808 (java) S 22799 22801 21597 0 -1 4202560 461 0 0 0 298 7 0 0 20 0 22 0 253694781 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300279818664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22801/tid=22809] ppid=22799 vsize=9824668 CPUtime=2.9 cores=0,2,4,6
/proc/22801/task/22809/stat : 22809 (java) S 22799 22801 21597 0 -1 4202560 381 0 0 0 283 7 0 0 20 0 22 0 253694781 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300278766120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22801/tid=22810] ppid=22799 vsize=9824668 CPUtime=3.21 cores=0,2,4,6
/proc/22801/task/22810/stat : 22810 (java) S 22799 22801 21597 0 -1 4202560 671 0 0 0 315 6 0 0 20 0 22 0 253694781 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300277713064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22801/tid=22811] ppid=22799 vsize=9824668 CPUtime=3.28 cores=0,2,4,6
/proc/22801/task/22811/stat : 22811 (java) S 22799 22801 21597 0 -1 4202560 578 0 0 0 321 7 0 0 20 0 22 0 253694781 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300276660520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22801/tid=22812] ppid=22799 vsize=9824668 CPUtime=21.62 cores=0,2,4,6
/proc/22801/task/22812/stat : 22812 (java) S 22799 22801 21597 0 -1 4202560 1244 0 0 0 2140 22 0 0 20 0 22 0 253694782 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300118997864 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22801/tid=22813] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22813/stat : 22813 (java) S 22799 22801 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253694782 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300117944184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22801/tid=22814] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22814/stat : 22814 (java) S 22799 22801 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253694782 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300116891016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22801/tid=22815] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22815/stat : 22815 (java) S 22799 22801 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253694784 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300115839760 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22801/tid=22816] ppid=22799 vsize=9824668 CPUtime=1.65 cores=0,2,4,6
/proc/22801/task/22816/stat : 22816 (java) S 22799 22801 21597 0 -1 4202560 22317 0 0 0 161 4 0 0 20 0 22 0 253694784 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300114786616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22801/tid=22817] ppid=22799 vsize=9824668 CPUtime=0.97 cores=0,2,4,6
/proc/22801/task/22817/stat : 22817 (java) S 22799 22801 21597 0 -1 4202560 7203 0 0 0 97 0 0 0 20 0 22 0 253694784 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300113734072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22801/tid=22818] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22818/stat : 22818 (java) S 22799 22801 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253694784 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300112681208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22801/tid=22819] ppid=22799 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/22801/task/22819/stat : 22819 (java) S 22799 22801 21597 0 -1 4202560 52 0 0 0 17 16 0 0 20 0 22 0 253694784 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300111628872 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22801/tid=22820] ppid=22799 vsize=9824668 CPUtime=875.42 cores=0,2,4,6
/proc/22801/task/22820/stat : 22820 (java) R 22799 22801 21597 0 -1 4202560 327 0 0 0 87526 16 0 0 20 0 22 0 253694792 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300110574416 140300157379476 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22801/tid=22821] ppid=22799 vsize=9824668 CPUtime=875.32 cores=0,2,4,6
/proc/22801/task/22821/stat : 22821 (java) R 22799 22801 21597 0 -1 4202560 3775 0 0 0 87496 36 0 0 20 0 22 0 253694792 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300109520064 140300157249065 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22801/tid=22822] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22822/stat : 22822 (java) S 22799 22801 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253694792 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300108469544 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22801/tid=22823] ppid=22799 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22801/task/22823/stat : 22823 (java) S 22799 22801 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253694792 10060460032 191801 33554432000 1073741824 1073778376 140733888486576 140300107417000 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 9824668
Child status: 143
Real time (s): 904.058
CPU time (s): 1800.77
CPU user time (s): 1799.08
CPU system time (s): 1.69074
CPU usage (%): 199.187
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.08
system time used= 1.69074
maximum resident set size= 1276088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43280
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29916
involuntary context switches= 52306
runsolver used 3.35049 second user time and 8.17376 second system time
The end