runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3457386-1307658646/watcher-3457386-1307658646 -o /tmp/evaluation-result-3457386-1307658646/solver-3457386-1307658646 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457386-1307658646.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: 7.50 7.96 7.35 2/174 8675
/proc/meminfo: memFree=32130916/32951124 swapFree=67051740/67111528
[pid=8675] ppid=8673 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/8675/stat : 8675 (java) R 8673 8675 7396 0 -1 4202496 952 0 0 0 0 0 0 0 22 0 1 0 877462610 23580672 697 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228117751272 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8675/statm: 5757 698 515 9 0 124 0
[startup+0.1029 s]
/proc/loadavg: 7.50 7.96 7.35 2/174 8675
/proc/meminfo: memFree=32130916/32951124 swapFree=67051740/67111528
[pid=8675] ppid=8673 vsize=10540288 CPUtime=0.1 cores=0,2,4,6
/proc/8675/stat : 8675 (java) S 8673 8675 7396 0 -1 4202496 13091 0 1 0 9 1 0 0 22 0 18 0 877462610 10793254912 12761 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8675/statm: 2635072 12761 2092 9 0 2625806 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540288
[startup+0.204934 s]
/proc/loadavg: 7.50 7.96 7.35 2/174 8675
/proc/meminfo: memFree=32130916/32951124 swapFree=67051740/67111528
[pid=8675] ppid=8673 vsize=10551516 CPUtime=0.33 cores=0,2,4,6
/proc/8675/stat : 8675 (java) S 8673 8675 7396 0 -1 4202496 18586 0 1 0 30 3 0 0 22 0 18 0 877462610 10804752384 17011 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8675/statm: 2637879 17011 2177 9 0 2628613 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 10551516
[startup+0.300913 s]
/proc/loadavg: 7.50 7.96 7.35 2/174 8675
/proc/meminfo: memFree=32130916/32951124 swapFree=67051740/67111528
[pid=8675] ppid=8673 vsize=10555976 CPUtime=0.61 cores=0,2,4,6
/proc/8675/stat : 8675 (java) S 8673 8675 7396 0 -1 4202496 23135 0 1 0 57 4 0 0 22 0 19 0 877462610 10809319424 20442 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8675/statm: 2638994 20442 2206 9 0 2629728 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 10555976
[startup+0.700885 s]
/proc/loadavg: 7.50 7.96 7.35 2/174 8675
/proc/meminfo: memFree=32130916/32951124 swapFree=67051740/67111528
[pid=8675] ppid=8673 vsize=10556680 CPUtime=1.73 cores=0,2,4,6
/proc/8675/stat : 8675 (java) S 8673 8675 7396 0 -1 4202496 42958 0 1 0 166 7 0 0 22 0 19 0 877462610 10810040320 40241 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8675/statm: 2639170 40243 2220 9 0 2629904 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 10556680
[startup+1.50068 s]
/proc/loadavg: 7.50 7.96 7.35 3/213 8721
/proc/meminfo: memFree=31590932/32951124 swapFree=67051740/67111528
[pid=8675] ppid=8673 vsize=10556680 CPUtime=2.72 cores=0,2,4,6
/proc/8675/stat : 8675 (java) S 8673 8675 7396 0 -1 4202496 94675 0 1 0 258 14 0 0 22 0 19 0 877462610 10810040320 91957 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8675/statm: 2639170 91958 2227 9 0 2629904 0
[pid=8675/tid=8677] ppid=8673 vsize=10556680 CPUtime=1.47 cores=0,2,4,6
/proc/8675/task/8677/stat : 8677 (java) R 8673 8675 7396 0 -1 4202560 80904 0 1 0 136 11 0 0 19 0 19 0 877462611 10810040320 91959 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 46912505627707 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=8675/tid=8678] ppid=8673 vsize=10556680 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8678/stat : 8678 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462613 10810040320 91960 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8679] ppid=8673 vsize=10556680 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8679/stat : 8679 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462613 10810040320 91960 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8680] ppid=8673 vsize=10556680 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8680/stat : 8680 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462613 10810040320 91961 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8681] ppid=8673 vsize=10556680 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8681/stat : 8681 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462613 10810040320 91962 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8682] ppid=8673 vsize=10556680 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8682/stat : 8682 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462613 10810040320 91963 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8683] ppid=8673 vsize=10556680 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8683/stat : 8683 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462613 10810040320 91963 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8684] ppid=8673 vsize=10556680 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8684/stat : 8684 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462613 10810040320 91964 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8685] ppid=8673 vsize=10556680 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8685/stat : 8685 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462613 10810040320 91965 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8686] ppid=8673 vsize=10556680 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8686/stat : 8686 (java) S 8673 8675 7396 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877462614 10810040320 91966 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134530560 0 0 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8687] ppid=8673 vsize=10556680 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8687/stat : 8687 (java) S 8673 8675 7396 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877462614 10810040320 91966 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8688] ppid=8673 vsize=10556680 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8688/stat : 8688 (java) S 8673 8675 7396 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877462614 10810040320 91967 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8689] ppid=8673 vsize=10556680 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8689/stat : 8689 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462616 10810040320 91968 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134537649 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8690] ppid=8673 vsize=10556680 CPUtime=0.62 cores=0,2,4,6
/proc/8675/task/8690/stat : 8690 (java) S 8673 8675 7396 0 -1 4202560 4433 0 0 0 61 1 0 0 15 0 19 0 877462616 10810040320 91968 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8691] ppid=8673 vsize=10556680 CPUtime=0.61 cores=0,2,4,6
/proc/8675/task/8691/stat : 8691 (java) S 8673 8675 7396 0 -1 4202560 8181 0 0 0 60 1 0 0 19 0 19 0 877462616 10810040320 91969 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 0 0 0 0
[pid=8675/tid=8692] ppid=8673 vsize=10556680 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8692/stat : 8692 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462616 10810040320 91970 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8693] ppid=8673 vsize=10556680 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8693/stat : 8693 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877462616 10810040320 91971 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134530560 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8721] ppid=8673 vsize=10556680 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8721/stat : 8721 (java) S 8673 8675 7396 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877462634 10810040320 91972 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134530560 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 10556680
[startup+3.10141 s]
/proc/loadavg: 7.50 7.96 7.35 3/214 8722
/proc/meminfo: memFree=31273732/32951124 swapFree=67051740/67111528
[pid=8675] ppid=8673 vsize=10556680 CPUtime=4.44 cores=0,2,4,6
/proc/8675/stat : 8675 (java) S 8673 8675 7396 0 -1 4202496 181808 0 1 0 421 23 0 0 22 0 19 0 877462610 10810040320 179089 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8675/statm: 2639170 179092 2227 9 0 2629904 0
[pid=8675/tid=8677] ppid=8673 vsize=10556680 CPUtime=3.08 cores=0,2,4,6
/proc/8675/task/8677/stat : 8677 (java) R 8673 8675 7396 0 -1 4202560 168028 0 1 0 288 20 0 0 22 0 19 0 877462611 10810040320 179093 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 46912505556848 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=8675/tid=8678] ppid=8673 vsize=10556680 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8678/stat : 8678 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462613 10810040320 179095 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8679] ppid=8673 vsize=10556680 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8679/stat : 8679 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462613 10810040320 179099 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8680] ppid=8673 vsize=10556680 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8680/stat : 8680 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462613 10810040320 179103 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8681] ppid=8673 vsize=10556680 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8681/stat : 8681 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462613 10810040320 179106 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8682] ppid=8673 vsize=10556680 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8682/stat : 8682 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462613 10810040320 179109 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8683] ppid=8673 vsize=10556680 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8683/stat : 8683 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462613 10810040320 179110 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8684] ppid=8673 vsize=10556680 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8684/stat : 8684 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462613 10810040320 179112 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8685] ppid=8673 vsize=10556680 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8685/stat : 8685 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462613 10810040320 179114 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8686] ppid=8673 vsize=10556680 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8686/stat : 8686 (java) S 8673 8675 7396 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877462614 10810040320 179115 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134530560 0 0 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8687] ppid=8673 vsize=10556680 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8687/stat : 8687 (java) S 8673 8675 7396 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877462614 10810040320 179117 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8688] ppid=8673 vsize=10556680 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8688/stat : 8688 (java) S 8673 8675 7396 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877462614 10810040320 179118 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8689] ppid=8673 vsize=10556680 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8689/stat : 8689 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462616 10810040320 179120 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134537649 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8690] ppid=8673 vsize=10556680 CPUtime=0.63 cores=0,2,4,6
/proc/8675/task/8690/stat : 8690 (java) S 8673 8675 7396 0 -1 4202560 4433 0 0 0 62 1 0 0 15 0 19 0 877462616 10810040320 179122 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8691] ppid=8673 vsize=10556680 CPUtime=0.71 cores=0,2,4,6
/proc/8675/task/8691/stat : 8691 (java) S 8673 8675 7396 0 -1 4202560 8192 0 0 0 70 1 0 0 15 0 19 0 877462616 10810040320 179124 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 0 0 0 0
[pid=8675/tid=8692] ppid=8673 vsize=10556680 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8692/stat : 8692 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462616 10810040320 179126 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8693] ppid=8673 vsize=10556680 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8693/stat : 8693 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877462616 10810040320 179127 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134530560 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8721] ppid=8673 vsize=10556680 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8721/stat : 8721 (java) S 8673 8675 7396 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877462634 10810040320 179128 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134530560 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 10556680
[startup+6.30086 s]
/proc/loadavg: 7.22 7.90 7.33 3/214 8722
/proc/meminfo: memFree=30309884/32951124 swapFree=67051740/67111528
[pid=8675] ppid=8673 vsize=10551868 CPUtime=7.67 cores=0,2,4,6
/proc/8675/stat : 8675 (java) S 8673 8675 7396 0 -1 4202496 320971 0 1 0 730 37 0 0 22 0 19 0 877462610 10805112832 316973 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8675/statm: 2637967 316974 2228 9 0 2628701 0
[pid=8675/tid=8677] ppid=8673 vsize=10551868 CPUtime=6.27 cores=0,2,4,6
/proc/8675/task/8677/stat : 8677 (java) R 8673 8675 7396 0 -1 4202560 307183 0 1 0 593 34 0 0 21 0 19 0 877462611 10805112832 316974 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 46912505629739 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8675/tid=8678] ppid=8673 vsize=10551868 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8678/stat : 8678 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462613 10805112832 316975 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8679] ppid=8673 vsize=10551868 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8679/stat : 8679 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462613 10805112832 316975 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8680] ppid=8673 vsize=10551868 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8680/stat : 8680 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462613 10805112832 316976 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8681] ppid=8673 vsize=10551868 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8681/stat : 8681 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462613 10805112832 316976 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8682] ppid=8673 vsize=10551868 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8682/stat : 8682 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462613 10805112832 316977 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8683] ppid=8673 vsize=10551868 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8683/stat : 8683 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462613 10805112832 316978 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8684] ppid=8673 vsize=10551868 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8684/stat : 8684 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462613 10805112832 316978 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8685] ppid=8673 vsize=10551868 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8685/stat : 8685 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462613 10805112832 316979 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8686] ppid=8673 vsize=10551868 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8686/stat : 8686 (java) S 8673 8675 7396 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 877462614 10805112832 316979 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134530560 0 0 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8687] ppid=8673 vsize=10551868 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8687/stat : 8687 (java) S 8673 8675 7396 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877462614 10805112832 316980 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8688] ppid=8673 vsize=10551868 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8688/stat : 8688 (java) S 8673 8675 7396 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877462614 10805112832 316980 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8689] ppid=8673 vsize=10551868 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8689/stat : 8689 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462616 10805112832 316981 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134537649 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8690] ppid=8673 vsize=10551868 CPUtime=0.63 cores=0,2,4,6
/proc/8675/task/8690/stat : 8690 (java) S 8673 8675 7396 0 -1 4202560 4433 0 0 0 62 1 0 0 15 0 19 0 877462616 10805112832 316981 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8691] ppid=8673 vsize=10551868 CPUtime=0.75 cores=0,2,4,6
/proc/8675/task/8691/stat : 8691 (java) S 8673 8675 7396 0 -1 4202560 8196 0 0 0 74 1 0 0 15 0 19 0 877462616 10805112832 316982 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 0 0 0 0
[pid=8675/tid=8692] ppid=8673 vsize=10551868 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8692/stat : 8692 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462616 10805112832 316982 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8693] ppid=8673 vsize=10551868 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8693/stat : 8693 (java) S 8673 8675 7396 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 877462616 10805112832 316983 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134530560 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8721] ppid=8673 vsize=10551868 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8721/stat : 8721 (java) S 8673 8675 7396 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877462634 10805112832 316983 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134530560 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.67
Current children cumulated vsize (KiB) 10551868
[startup+12.7017 s]
################
# More data... #
################
[pid=8675/tid=8721] ppid=8673 vsize=10550492 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8721/stat : 8721 (java) S 8673 8675 7396 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877462634 10803703808 956215 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134530560 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1667.58
Current children cumulated vsize (KiB) 10550492
[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 2.82 3/214 8767
/proc/meminfo: memFree=24444240/32951124 swapFree=67051740/67111528
[pid=8675] ppid=8673 vsize=10550492 CPUtime=1727.75 cores=0,2,4,6
/proc/8675/stat : 8675 (java) S 8673 8675 7396 0 -1 4202496 968715 0 1 0 172659 116 0 0 22 0 19 0 877462610 10803703808 958505 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8675/statm: 2637623 958505 2257 9 0 2628357 0
[pid=8675/tid=8677] ppid=8673 vsize=10550492 CPUtime=1719.57 cores=0,2,4,6
/proc/8675/task/8677/stat : 8677 (java) R 8673 8675 7396 0 -1 4202560 824965 0 1 0 171863 94 0 0 25 0 19 0 877462611 10803703808 958505 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 46912505628359 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8675/tid=8678] ppid=8673 vsize=10550492 CPUtime=0.48 cores=0,2,4,6
/proc/8675/task/8678/stat : 8678 (java) S 8673 8675 7396 0 -1 4202560 16352 0 0 0 46 2 0 0 15 0 19 0 877462613 10803703808 958505 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8679] ppid=8673 vsize=10550492 CPUtime=0.51 cores=0,2,4,6
/proc/8675/task/8679/stat : 8679 (java) S 8673 8675 7396 0 -1 4202560 16376 0 0 0 49 2 0 0 15 0 19 0 877462613 10803703808 958505 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8680] ppid=8673 vsize=10550492 CPUtime=0.53 cores=0,2,4,6
/proc/8675/task/8680/stat : 8680 (java) S 8673 8675 7396 0 -1 4202560 12952 0 0 0 52 1 0 0 16 0 19 0 877462613 10803703808 958505 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 0 0 0 0
[pid=8675/tid=8681] ppid=8673 vsize=10550492 CPUtime=0.44 cores=0,2,4,6
/proc/8675/task/8681/stat : 8681 (java) S 8673 8675 7396 0 -1 4202560 13382 0 0 0 43 1 0 0 16 0 19 0 877462613 10803703808 958505 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 2 0 0 0
[pid=8675/tid=8682] ppid=8673 vsize=10550492 CPUtime=0.47 cores=0,2,4,6
/proc/8675/task/8682/stat : 8682 (java) S 8673 8675 7396 0 -1 4202560 12997 0 0 0 45 2 0 0 15 0 19 0 877462613 10803703808 958505 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8683] ppid=8673 vsize=10550492 CPUtime=0.47 cores=0,2,4,6
/proc/8675/task/8683/stat : 8683 (java) S 8673 8675 7396 0 -1 4202560 14603 0 0 0 46 1 0 0 16 0 19 0 877462613 10803703808 958505 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8684] ppid=8673 vsize=10550492 CPUtime=0.45 cores=0,2,4,6
/proc/8675/task/8684/stat : 8684 (java) S 8673 8675 7396 0 -1 4202560 10955 0 0 0 45 0 0 0 16 0 19 0 877462613 10803703808 958505 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8685] ppid=8673 vsize=10550492 CPUtime=0.53 cores=0,2,4,6
/proc/8675/task/8685/stat : 8685 (java) S 8673 8675 7396 0 -1 4202560 17226 0 0 0 51 2 0 0 15 0 19 0 877462613 10803703808 958505 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8686] ppid=8673 vsize=10550492 CPUtime=1.56 cores=0,2,4,6
/proc/8675/task/8686/stat : 8686 (java) S 8673 8675 7396 0 -1 4202560 10980 0 0 0 155 1 0 0 15 0 19 0 877462614 10803703808 958505 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134530560 0 0 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8687] ppid=8673 vsize=10550492 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8687/stat : 8687 (java) S 8673 8675 7396 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877462614 10803703808 958505 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8688] ppid=8673 vsize=10550492 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8688/stat : 8688 (java) S 8673 8675 7396 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877462614 10803703808 958505 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8689] ppid=8673 vsize=10550492 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8689/stat : 8689 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462616 10803703808 958505 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134537649 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8690] ppid=8673 vsize=10550492 CPUtime=1.09 cores=0,2,4,6
/proc/8675/task/8690/stat : 8690 (java) S 8673 8675 7396 0 -1 4202560 6181 0 0 0 108 1 0 0 16 0 19 0 877462616 10803703808 958505 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 2 0 0 0
[pid=8675/tid=8691] ppid=8673 vsize=10550492 CPUtime=1.49 cores=0,2,4,6
/proc/8675/task/8691/stat : 8691 (java) S 8673 8675 7396 0 -1 4202560 10496 0 0 0 148 1 0 0 15 0 19 0 877462616 10803703808 958505 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8692] ppid=8673 vsize=10550492 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8692/stat : 8692 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462616 10803703808 958505 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8693] ppid=8673 vsize=10550492 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8693/stat : 8693 (java) S 8673 8675 7396 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 877462616 10803703808 958505 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134530560 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8721] ppid=8673 vsize=10550492 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8721/stat : 8721 (java) S 8673 8675 7396 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877462634 10803703808 958505 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134530560 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1727.75
Current children cumulated vsize (KiB) 10550492
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.76 3/214 8769
/proc/meminfo: memFree=24409580/32951124 swapFree=67051740/67111528
[pid=8675] ppid=8673 vsize=10550492 CPUtime=1787.93 cores=0,2,4,6
/proc/8675/stat : 8675 (java) S 8673 8675 7396 0 -1 4202496 975762 0 1 0 178676 117 0 0 22 0 19 0 877462610 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8675/statm: 2637623 965403 2257 9 0 2628357 0
[pid=8675/tid=8677] ppid=8673 vsize=10550492 CPUtime=1778.9 cores=0,2,4,6
/proc/8675/task/8677/stat : 8677 (java) R 8673 8675 7396 0 -1 4202560 824968 0 1 0 177796 94 0 0 25 0 19 0 877462611 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 46912505630200 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8675/tid=8678] ppid=8673 vsize=10550492 CPUtime=0.5 cores=0,2,4,6
/proc/8675/task/8678/stat : 8678 (java) S 8673 8675 7396 0 -1 4202560 17462 0 0 0 48 2 0 0 16 0 19 0 877462613 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8679] ppid=8673 vsize=10550492 CPUtime=0.57 cores=0,2,4,6
/proc/8675/task/8679/stat : 8679 (java) S 8673 8675 7396 0 -1 4202560 17910 0 0 0 54 3 0 0 16 0 19 0 877462613 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 2 0 0 0
[pid=8675/tid=8680] ppid=8673 vsize=10550492 CPUtime=0.56 cores=0,2,4,6
/proc/8675/task/8680/stat : 8680 (java) S 8673 8675 7396 0 -1 4202560 13300 0 0 0 55 1 0 0 16 0 19 0 877462613 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 0 0 0 0
[pid=8675/tid=8681] ppid=8673 vsize=10550492 CPUtime=0.44 cores=0,2,4,6
/proc/8675/task/8681/stat : 8681 (java) S 8673 8675 7396 0 -1 4202560 13382 0 0 0 43 1 0 0 15 0 19 0 877462613 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 2 0 0 0
[pid=8675/tid=8682] ppid=8673 vsize=10550492 CPUtime=0.51 cores=0,2,4,6
/proc/8675/task/8682/stat : 8682 (java) S 8673 8675 7396 0 -1 4202560 13598 0 0 0 49 2 0 0 15 0 19 0 877462613 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 0 0 0 0
[pid=8675/tid=8683] ppid=8673 vsize=10550492 CPUtime=0.47 cores=0,2,4,6
/proc/8675/task/8683/stat : 8683 (java) S 8673 8675 7396 0 -1 4202560 14603 0 0 0 46 1 0 0 15 0 19 0 877462613 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8684] ppid=8673 vsize=10550492 CPUtime=0.49 cores=0,2,4,6
/proc/8675/task/8684/stat : 8684 (java) S 8673 8675 7396 0 -1 4202560 11973 0 0 0 48 1 0 0 16 0 19 0 877462613 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 0 0 0 0
[pid=8675/tid=8685] ppid=8673 vsize=10550492 CPUtime=0.6 cores=0,2,4,6
/proc/8675/task/8685/stat : 8685 (java) S 8673 8675 7396 0 -1 4202560 18798 0 0 0 58 2 0 0 16 0 19 0 877462613 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8686] ppid=8673 vsize=10550492 CPUtime=2.16 cores=0,2,4,6
/proc/8675/task/8686/stat : 8686 (java) S 8673 8675 7396 0 -1 4202560 11837 0 0 0 215 1 0 0 15 0 19 0 877462614 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134530560 0 0 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8687] ppid=8673 vsize=10550492 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8687/stat : 8687 (java) S 8673 8675 7396 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877462614 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8688] ppid=8673 vsize=10550492 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8688/stat : 8688 (java) S 8673 8675 7396 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877462614 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8689] ppid=8673 vsize=10550492 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8689/stat : 8689 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462616 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134537649 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8690] ppid=8673 vsize=10550492 CPUtime=1.09 cores=0,2,4,6
/proc/8675/task/8690/stat : 8690 (java) S 8673 8675 7396 0 -1 4202560 6181 0 0 0 108 1 0 0 16 0 19 0 877462616 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 2 0 0 0
[pid=8675/tid=8691] ppid=8673 vsize=10550492 CPUtime=1.49 cores=0,2,4,6
/proc/8675/task/8691/stat : 8691 (java) S 8673 8675 7396 0 -1 4202560 10496 0 0 0 148 1 0 0 15 0 19 0 877462616 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8692] ppid=8673 vsize=10550492 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8692/stat : 8692 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462616 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8693] ppid=8673 vsize=10550492 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8693/stat : 8693 (java) S 8673 8675 7396 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 877462616 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134530560 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8721] ppid=8673 vsize=10550492 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8721/stat : 8721 (java) S 8673 8675 7396 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877462634 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134530560 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1787.93
Current children cumulated vsize (KiB) 10550492
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.4 s]
/proc/loadavg: 2.02 2.02 2.75 3/214 8769
/proc/meminfo: memFree=24409428/32951124 swapFree=67051740/67111528
[pid=8675] ppid=8673 vsize=10550492 CPUtime=1800.04 cores=0,2,4,6
/proc/8675/stat : 8675 (java) S 8673 8675 7396 0 -1 4202496 975764 0 1 0 179887 117 0 0 22 0 19 0 877462610 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8675/statm: 2637623 965403 2257 9 0 2628357 0
[pid=8675/tid=8677] ppid=8673 vsize=10550492 CPUtime=1791.01 cores=0,2,4,6
/proc/8675/task/8677/stat : 8677 (java) R 8673 8675 7396 0 -1 4202560 824969 0 1 0 179007 94 0 0 25 0 19 0 877462611 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 46912505629948 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8675/tid=8678] ppid=8673 vsize=10550492 CPUtime=0.5 cores=0,2,4,6
/proc/8675/task/8678/stat : 8678 (java) S 8673 8675 7396 0 -1 4202560 17462 0 0 0 48 2 0 0 16 0 19 0 877462613 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8679] ppid=8673 vsize=10550492 CPUtime=0.57 cores=0,2,4,6
/proc/8675/task/8679/stat : 8679 (java) S 8673 8675 7396 0 -1 4202560 17910 0 0 0 54 3 0 0 16 0 19 0 877462613 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 2 0 0 0
[pid=8675/tid=8680] ppid=8673 vsize=10550492 CPUtime=0.56 cores=0,2,4,6
/proc/8675/task/8680/stat : 8680 (java) S 8673 8675 7396 0 -1 4202560 13300 0 0 0 55 1 0 0 16 0 19 0 877462613 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 0 0 0 0
[pid=8675/tid=8681] ppid=8673 vsize=10550492 CPUtime=0.44 cores=0,2,4,6
/proc/8675/task/8681/stat : 8681 (java) S 8673 8675 7396 0 -1 4202560 13382 0 0 0 43 1 0 0 15 0 19 0 877462613 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 2 0 0 0
[pid=8675/tid=8682] ppid=8673 vsize=10550492 CPUtime=0.51 cores=0,2,4,6
/proc/8675/task/8682/stat : 8682 (java) S 8673 8675 7396 0 -1 4202560 13598 0 0 0 49 2 0 0 15 0 19 0 877462613 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 0 0 0 0
[pid=8675/tid=8683] ppid=8673 vsize=10550492 CPUtime=0.47 cores=0,2,4,6
/proc/8675/task/8683/stat : 8683 (java) S 8673 8675 7396 0 -1 4202560 14603 0 0 0 46 1 0 0 15 0 19 0 877462613 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8684] ppid=8673 vsize=10550492 CPUtime=0.49 cores=0,2,4,6
/proc/8675/task/8684/stat : 8684 (java) S 8673 8675 7396 0 -1 4202560 11973 0 0 0 48 1 0 0 16 0 19 0 877462613 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 0 0 0 0
[pid=8675/tid=8685] ppid=8673 vsize=10550492 CPUtime=0.6 cores=0,2,4,6
/proc/8675/task/8685/stat : 8685 (java) S 8673 8675 7396 0 -1 4202560 18798 0 0 0 58 2 0 0 16 0 19 0 877462613 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8686] ppid=8673 vsize=10550492 CPUtime=2.16 cores=0,2,4,6
/proc/8675/task/8686/stat : 8686 (java) S 8673 8675 7396 0 -1 4202560 11837 0 0 0 215 1 0 0 15 0 19 0 877462614 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134530560 0 0 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8687] ppid=8673 vsize=10550492 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8687/stat : 8687 (java) S 8673 8675 7396 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877462614 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8688] ppid=8673 vsize=10550492 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8688/stat : 8688 (java) S 8673 8675 7396 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877462614 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8689] ppid=8673 vsize=10550492 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8689/stat : 8689 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462616 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134537649 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8690] ppid=8673 vsize=10550492 CPUtime=1.09 cores=0,2,4,6
/proc/8675/task/8690/stat : 8690 (java) S 8673 8675 7396 0 -1 4202560 6181 0 0 0 108 1 0 0 16 0 19 0 877462616 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 2 0 0 0
[pid=8675/tid=8691] ppid=8673 vsize=10550492 CPUtime=1.5 cores=0,2,4,6
/proc/8675/task/8691/stat : 8691 (java) S 8673 8675 7396 0 -1 4202560 10497 0 0 0 149 1 0 0 15 0 19 0 877462616 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8692] ppid=8673 vsize=10550492 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8692/stat : 8692 (java) S 8673 8675 7396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877462616 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134529945 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
[pid=8675/tid=8693] ppid=8673 vsize=10550492 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8693/stat : 8693 (java) S 8673 8675 7396 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 877462616 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134530560 0 4 0 16800975 18446604453953333376 0 0 -1 4 0 0 0
[pid=8675/tid=8721] ppid=8673 vsize=10550492 CPUtime=0 cores=0,2,4,6
/proc/8675/task/8721/stat : 8721 (java) S 8673 8675 7396 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877462634 10803703808 965403 33554432000 1073741824 1073778376 140737316559888 18446744073709551615 228134530560 0 4 0 16800975 18446604453953333376 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10550492
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.51 s]
/proc/loadavg: 2.02 2.02 2.75 3/214 8769
/proc/meminfo: memFree=24409428/32951124 swapFree=67051740/67111528
[pid=8675] ppid=8673 vsize=0 CPUtime=1800.19 cores=0,2,4,6
/proc/8675/stat : 8675 (java) Z 8673 8675 7396 0 -1 4203548 975809 0 1 0 179897 122 0 0 17 0 2 0 877462610 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8675/statm: 0 0 0 0 0 0 0
[pid=8675/tid=8677] ppid=8673 vsize=0 CPUtime=1791.1 cores=0,2,4,6
/proc/8675/task/8677/stat : 8677 (java) R 8673 8675 7396 0 -1 4203588 824969 0 1 0 179011 99 0 0 25 0 2 0 877462611 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0
[startup+1794.6 s]
/proc/loadavg: 2.02 2.02 2.75 3/214 8769
/proc/meminfo: memFree=24409428/32951124 swapFree=67051740/67111528
[pid=8675] ppid=8673 vsize=0 CPUtime=1800.28 cores=0,2,4,6
/proc/8675/stat : 8675 (java) Z 8673 8675 7396 0 -1 4203548 975809 0 1 0 179897 131 0 0 17 0 2 0 877462610 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8675/statm: 0 0 0 0 0 0 0
[pid=8675/tid=8677] ppid=8673 vsize=0 CPUtime=1791.19 cores=0,2,4,6
/proc/8675/task/8677/stat : 8677 (java) R 8673 8675 7396 0 -1 4203588 824969 0 1 0 179011 108 0 0 25 0 2 0 877462611 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.62
CPU time (s): 1800.3
CPU user time (s): 1798.97
CPU system time (s): 1.3328
CPU usage (%): 100.317
Max. virtual memory (cumulated for all children) (KiB): 10559120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.97
system time used= 1.3328
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 975809
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38575
involuntary context switches= 8952
runsolver used 3.22151 second user time and 6.582 second system time
The end