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-3710559-1338144195/watcher-3710559-1338144195 -o /tmp/evaluation-result-3710559-1338144195/solver-3710559-1338144195 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710559-1338144195.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 1.97 3/192 24082
/proc/meminfo: memFree=28467416/32873624 swapFree=7104/7104
[pid=24082] ppid=24080 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/24082/stat : 24082 (java) D 24080 24082 21372 0 -1 4202496 81 0 0 0 0 0 0 0 20 0 1 0 280544937 278528 33 33554432000 1073741824 1073778376 140734100898896 140734100896072 227503336743 0 0 4096 0 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/24082/statm: 68 33 25 9 0 25 0
[startup+0.060345 s]
/proc/loadavg: 2.00 2.01 1.97 3/192 24082
/proc/meminfo: memFree=28467416/32873624 swapFree=7104/7104
[pid=24082] ppid=24080 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/24082/stat : 24082 (java) S 24080 24082 21372 0 -1 4202496 3122 0 1 0 2 0 0 0 20 0 13 0 280544937 9446973440 3307 33554432000 1073741824 1073778376 140737278922784 140737278913920 227515859005 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24082/statm: 2306390 3307 1707 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100187 s]
/proc/loadavg: 2.00 2.01 1.97 3/192 24082
/proc/meminfo: memFree=28467416/32873624 swapFree=7104/7104
[pid=24082] ppid=24080 vsize=9558440 CPUtime=0.06 cores=1,3,5,7
/proc/24082/stat : 24082 (java) S 24080 24082 21372 0 -1 4202496 4064 0 1 0 6 0 0 0 20 0 18 0 280544937 9787842560 4759 33554432000 1073741824 1073778376 140737278922784 140737278913920 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24082/statm: 2389610 4759 2074 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558440
[startup+0.300169 s]
/proc/loadavg: 2.00 2.01 1.97 3/192 24082
/proc/meminfo: memFree=28467416/32873624 swapFree=7104/7104
[pid=24082] ppid=24080 vsize=9558440 CPUtime=0.52 cores=1,3,5,7
/proc/24082/stat : 24082 (java) S 24080 24082 21372 0 -1 4202496 7235 0 1 0 51 1 0 0 20 0 18 0 280544937 9787842560 8860 33554432000 1073741824 1073778376 140737278922784 140737278913920 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24082/statm: 2389610 8860 2224 9 0 2380296 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558440
[startup+0.700171 s]
/proc/loadavg: 2.00 2.01 1.97 3/192 24082
/proc/meminfo: memFree=28467416/32873624 swapFree=7104/7104
[pid=24082] ppid=24080 vsize=9625004 CPUtime=1.38 cores=1,3,5,7
/proc/24082/stat : 24082 (java) S 24080 24082 21372 0 -1 4202496 8682 0 1 0 137 1 0 0 20 0 19 0 280544937 9856004096 12087 33554432000 1073741824 1073778376 140737278922784 140737278913920 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24082/statm: 2406251 12087 2259 9 0 2396937 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 9625004
[startup+1.50063 s]
/proc/loadavg: 2.00 2.01 1.97 5/211 24101
/proc/meminfo: memFree=28421500/32873624 swapFree=7104/7104
[pid=24082] ppid=24080 vsize=9625004 CPUtime=2.27 cores=1,3,5,7
/proc/24082/stat : 24082 (java) S 24080 24082 21372 0 -1 4202496 8750 0 1 0 225 2 0 0 20 0 19 0 280544937 9856004096 14194 33554432000 1073741824 1073778376 140737278922784 140737278913920 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24082/statm: 2406251 14194 2284 9 0 2396937 0
[pid=24082/tid=24084] ppid=24080 vsize=9625004 CPUtime=1.42 cores=1,3,5,7
/proc/24082/task/24084/stat : 24084 (java) R 24080 24082 21372 0 -1 4202560 2580 0 1 0 141 1 0 0 20 0 19 0 280544939 9856004096 14194 33554432000 1073741824 1073778376 140737278922784 139751265743400 139751138543387 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=24082/tid=24085] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24085/stat : 24085 (java) S 24080 24082 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280544940 9856004096 14194 33554432000 1073741824 1073778376 140737278922784 139751109557032 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24082/tid=24086] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24086/stat : 24086 (java) S 24080 24082 21372 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280544940 9856004096 14194 33554432000 1073741824 1073778376 140737278922784 139751108504232 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24082/tid=24087] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24087/stat : 24087 (java) S 24080 24082 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280544940 9856004096 14194 33554432000 1073741824 1073778376 140737278922784 139751107451944 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24088] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24088/stat : 24088 (java) S 24080 24082 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280544940 9856004096 14194 33554432000 1073741824 1073778376 140737278922784 139751106399144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24082/tid=24089] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24089/stat : 24089 (java) S 24080 24082 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280544940 9856004096 14194 33554432000 1073741824 1073778376 140737278922784 139751105345832 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24090] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24090/stat : 24090 (java) S 24080 24082 21372 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280544940 9856004096 14194 33554432000 1073741824 1073778376 140737278922784 139751104293032 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24082/tid=24091] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24091/stat : 24091 (java) S 24080 24082 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280544940 9856004096 14194 33554432000 1073741824 1073778376 140737278922784 139751103240744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24092] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24092/stat : 24092 (java) S 24080 24082 21372 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280544940 9856004096 14194 33554432000 1073741824 1073778376 140737278922784 139751102187944 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24093] ppid=24080 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/24082/task/24093/stat : 24093 (java) S 24080 24082 21372 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 280544941 9856004096 14194 33554432000 1073741824 1073778376 140737278922784 139751089990376 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24094] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24094/stat : 24094 (java) S 24080 24082 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280544942 9856004096 14194 33554432000 1073741824 1073778376 140737278922784 139751088936440 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24095] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24095/stat : 24095 (java) S 24080 24082 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280544942 9856004096 14194 33554432000 1073741824 1073778376 140737278922784 139751087884040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24096] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24096/stat : 24096 (java) S 24080 24082 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280544944 9856004096 14194 33554432000 1073741824 1073778376 140737278922784 139751086832528 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24097] ppid=24080 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/24082/task/24097/stat : 24097 (java) S 24080 24082 21372 0 -1 4202560 2423 0 0 0 37 0 0 0 20 0 19 0 280544944 9856004096 14194 33554432000 1073741824 1073778376 140737278922784 139751085779128 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24098] ppid=24080 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/24082/task/24098/stat : 24098 (java) S 24080 24082 21372 0 -1 4202560 2505 0 0 0 39 0 0 0 20 0 19 0 280544944 9856004096 14194 33554432000 1073741824 1073778376 140737278922784 139751084726328 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24099] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24099/stat : 24099 (java) S 24080 24082 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280544944 9856004096 14194 33554432000 1073741824 1073778376 140737278922784 139751083674232 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24100] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24100/stat : 24100 (java) S 24080 24082 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280544944 9856004096 14194 33554432000 1073741824 1073778376 140737278922784 139751082621640 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24101] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24101/stat : 24101 (java) S 24080 24082 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280544971 9856004096 14194 33554432000 1073741824 1073778376 140737278922784 139751081567656 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 9625004
[startup+3.10052 s]
/proc/loadavg: 2.00 2.00 1.97 3/211 24101
/proc/meminfo: memFree=28416900/32873624 swapFree=7104/7104
[pid=24082] ppid=24080 vsize=9625004 CPUtime=3.91 cores=1,3,5,7
/proc/24082/stat : 24082 (java) S 24080 24082 21372 0 -1 4202496 8769 0 1 0 389 2 0 0 20 0 19 0 280544937 9856004096 15232 33554432000 1073741824 1073778376 140737278922784 140737278913920 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24082/statm: 2406251 15232 2284 9 0 2396937 0
[pid=24082/tid=24084] ppid=24080 vsize=9625004 CPUtime=2.97 cores=1,3,5,7
/proc/24082/task/24084/stat : 24084 (java) R 24080 24082 21372 0 -1 4202560 2582 0 1 0 296 1 0 0 20 0 19 0 280544939 9856004096 15232 33554432000 1073741824 1073778376 140737278922784 139751265743152 139751138525832 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24085] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24085/stat : 24085 (java) S 24080 24082 21372 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280544940 9856004096 15232 33554432000 1073741824 1073778376 140737278922784 139751109557032 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24086] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24086/stat : 24086 (java) S 24080 24082 21372 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280544940 9856004096 15232 33554432000 1073741824 1073778376 140737278922784 139751108504232 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24082/tid=24087] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24087/stat : 24087 (java) S 24080 24082 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280544940 9856004096 15232 33554432000 1073741824 1073778376 140737278922784 139751107451944 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24082/tid=24088] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24088/stat : 24088 (java) S 24080 24082 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280544940 9856004096 15232 33554432000 1073741824 1073778376 140737278922784 139751106399144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24089] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24089/stat : 24089 (java) S 24080 24082 21372 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280544940 9856004096 15232 33554432000 1073741824 1073778376 140737278922784 139751105345832 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24090] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24090/stat : 24090 (java) S 24080 24082 21372 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280544940 9856004096 15232 33554432000 1073741824 1073778376 140737278922784 139751104293032 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24082/tid=24091] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24091/stat : 24091 (java) S 24080 24082 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280544940 9856004096 15232 33554432000 1073741824 1073778376 140737278922784 139751103240744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24092] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24092/stat : 24092 (java) S 24080 24082 21372 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280544940 9856004096 15232 33554432000 1073741824 1073778376 140737278922784 139751102187944 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24093] ppid=24080 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/24082/task/24093/stat : 24093 (java) S 24080 24082 21372 0 -1 4202560 32 0 0 0 4 0 0 0 20 0 19 0 280544941 9856004096 15232 33554432000 1073741824 1073778376 140737278922784 139751089990376 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24082/tid=24094] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24094/stat : 24094 (java) S 24080 24082 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280544942 9856004096 15232 33554432000 1073741824 1073778376 140737278922784 139751088936440 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24095] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24095/stat : 24095 (java) S 24080 24082 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280544942 9856004096 15232 33554432000 1073741824 1073778376 140737278922784 139751087884040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24096] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24096/stat : 24096 (java) S 24080 24082 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280544944 9856004096 15232 33554432000 1073741824 1073778376 140737278922784 139751086832528 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24097] ppid=24080 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/24082/task/24097/stat : 24097 (java) S 24080 24082 21372 0 -1 4202560 2423 0 0 0 37 0 0 0 20 0 19 0 280544944 9856004096 15232 33554432000 1073741824 1073778376 140737278922784 139751085779128 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24098] ppid=24080 vsize=9625004 CPUtime=0.43 cores=1,3,5,7
/proc/24082/task/24098/stat : 24098 (java) S 24080 24082 21372 0 -1 4202560 2514 0 0 0 43 0 0 0 20 0 19 0 280544944 9856004096 15232 33554432000 1073741824 1073778376 140737278922784 139751084726328 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24099] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24099/stat : 24099 (java) S 24080 24082 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280544944 9856004096 15232 33554432000 1073741824 1073778376 140737278922784 139751083674232 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24100] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24100/stat : 24100 (java) S 24080 24082 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280544944 9856004096 15232 33554432000 1073741824 1073778376 140737278922784 139751082621640 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24101] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24101/stat : 24101 (java) S 24080 24082 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280544971 9856004096 15232 33554432000 1073741824 1073778376 140737278922784 139751081567656 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.91
Current children cumulated vsize (KiB) 9625004
[startup+6.30052 s]
/proc/loadavg: 2.00 2.00 1.97 3/211 24101
/proc/meminfo: memFree=28412884/32873624 swapFree=7104/7104
[pid=24082] ppid=24080 vsize=9625004 CPUtime=7.16 cores=1,3,5,7
/proc/24082/stat : 24082 (java) S 24080 24082 21372 0 -1 4202496 8794 0 1 0 714 2 0 0 20 0 19 0 280544937 9856004096 15661 33554432000 1073741824 1073778376 140737278922784 140737278913920 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24082/statm: 2406251 15661 2284 9 0 2396937 0
[pid=24082/tid=24084] ppid=24080 vsize=9625004 CPUtime=6.08 cores=1,3,5,7
/proc/24082/task/24084/stat : 24084 (java) R 24080 24082 21372 0 -1 4202560 2588 0 1 0 607 1 0 0 20 0 19 0 280544939 9856004096 15661 33554432000 1073741824 1073778376 140737278922784 139751265743152 139751138517895 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24085] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24085/stat : 24085 (java) S 24080 24082 21372 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280544940 9856004096 15661 33554432000 1073741824 1073778376 140737278922784 139751109557032 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24086] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24086/stat : 24086 (java) S 24080 24082 21372 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280544940 9856004096 15661 33554432000 1073741824 1073778376 140737278922784 139751108504232 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24087] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24087/stat : 24087 (java) S 24080 24082 21372 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280544940 9856004096 15661 33554432000 1073741824 1073778376 140737278922784 139751107451944 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24082/tid=24088] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24088/stat : 24088 (java) S 24080 24082 21372 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280544940 9856004096 15661 33554432000 1073741824 1073778376 140737278922784 139751106399144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24089] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24089/stat : 24089 (java) S 24080 24082 21372 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 280544940 9856004096 15661 33554432000 1073741824 1073778376 140737278922784 139751105345832 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24090] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24090/stat : 24090 (java) S 24080 24082 21372 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280544940 9856004096 15661 33554432000 1073741824 1073778376 140737278922784 139751104293032 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24091] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24091/stat : 24091 (java) S 24080 24082 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280544940 9856004096 15661 33554432000 1073741824 1073778376 140737278922784 139751103240744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24092] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24092/stat : 24092 (java) S 24080 24082 21372 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280544940 9856004096 15661 33554432000 1073741824 1073778376 140737278922784 139751102187944 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24082/tid=24093] ppid=24080 vsize=9625004 CPUtime=0.1 cores=1,3,5,7
/proc/24082/task/24093/stat : 24093 (java) S 24080 24082 21372 0 -1 4202560 33 0 0 0 10 0 0 0 20 0 19 0 280544941 9856004096 15661 33554432000 1073741824 1073778376 140737278922784 139751089990376 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24094] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24094/stat : 24094 (java) S 24080 24082 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280544942 9856004096 15661 33554432000 1073741824 1073778376 140737278922784 139751088936440 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24095] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24095/stat : 24095 (java) S 24080 24082 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280544942 9856004096 15661 33554432000 1073741824 1073778376 140737278922784 139751087884040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24096] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24096/stat : 24096 (java) S 24080 24082 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280544944 9856004096 15661 33554432000 1073741824 1073778376 140737278922784 139751086832528 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24097] ppid=24080 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/24082/task/24097/stat : 24097 (java) S 24080 24082 21372 0 -1 4202560 2423 0 0 0 37 0 0 0 20 0 19 0 280544944 9856004096 15661 33554432000 1073741824 1073778376 140737278922784 139751085779128 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24098] ppid=24080 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/24082/task/24098/stat : 24098 (java) S 24080 24082 21372 0 -1 4202560 2514 0 0 0 44 0 0 0 20 0 19 0 280544944 9856004096 15661 33554432000 1073741824 1073778376 140737278922784 139751084726328 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24099] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24099/stat : 24099 (java) S 24080 24082 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280544944 9856004096 15661 33554432000 1073741824 1073778376 140737278922784 139751083674232 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24100] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24100/stat : 24100 (java) S 24080 24082 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280544944 9856004096 15661 33554432000 1073741824 1073778376 140737278922784 139751082621640 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24101] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24101/stat : 24101 (java) S 24080 24082 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280544971 9856004096 15661 33554432000 1073741824 1073778376 140737278922784 139751081567656 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.16
Current children cumulated vsize (KiB) 9625004
[startup+12.7006 s]
################
# More data... #
################
[pid=24082/tid=24097] ppid=24080 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/24082/task/24097/stat : 24097 (java) S 24080 24082 21372 0 -1 4202560 2423 0 0 0 37 0 0 0 20 0 19 0 280544944 9856004096 63764 33554432000 1073741824 1073778376 140737278922784 139751085779128 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24098] ppid=24080 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/24082/task/24098/stat : 24098 (java) S 24080 24082 21372 0 -1 4202560 2569 0 0 0 46 0 0 0 20 0 19 0 280544944 9856004096 63764 33554432000 1073741824 1073778376 140737278922784 139751084726328 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24099] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24099/stat : 24099 (java) S 24080 24082 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280544944 9856004096 63764 33554432000 1073741824 1073778376 140737278922784 139751083674232 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24100] ppid=24080 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/24082/task/24100/stat : 24100 (java) S 24080 24082 21372 0 -1 4202560 99 0 0 0 20 20 0 0 20 0 19 0 280544944 9856004096 63764 33554432000 1073741824 1073778376 140737278922784 139751082621640 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24101] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24101/stat : 24101 (java) S 24080 24082 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280544971 9856004096 63764 33554432000 1073741824 1073778376 140737278922784 139751081567656 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1729.74
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 1.99 1.99 1.99 11/211 24198
/proc/meminfo: memFree=27145140/32873624 swapFree=7104/7104
[pid=24082] ppid=24080 vsize=9625004 CPUtime=1790 cores=1,3,5,7
/proc/24082/stat : 24082 (java) S 24080 24082 21372 0 -1 4202496 11346 0 1 0 178959 41 0 0 20 0 19 0 280544937 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 140737278913920 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24082/statm: 2406251 64788 2285 9 0 2396937 0
[pid=24082/tid=24084] ppid=24080 vsize=9625004 CPUtime=1764.65 cores=1,3,5,7
/proc/24082/task/24084/stat : 24084 (java) R 24080 24082 21372 0 -1 4202560 2799 0 1 0 176437 28 0 0 20 0 19 0 280544939 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751265743272 139751138497225 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24085] ppid=24080 vsize=9625004 CPUtime=1.16 cores=1,3,5,7
/proc/24082/task/24085/stat : 24085 (java) S 24080 24082 21372 0 -1 4202560 192 0 0 0 114 2 0 0 20 0 19 0 280544940 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751109557032 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24086] ppid=24080 vsize=9625004 CPUtime=1.17 cores=1,3,5,7
/proc/24082/task/24086/stat : 24086 (java) S 24080 24082 21372 0 -1 4202560 174 0 0 0 115 2 0 0 20 0 19 0 280544940 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751108504232 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24082/tid=24087] ppid=24080 vsize=9625004 CPUtime=1.22 cores=1,3,5,7
/proc/24082/task/24087/stat : 24087 (java) S 24080 24082 21372 0 -1 4202560 305 0 0 0 120 2 0 0 20 0 19 0 280544940 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751107451944 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24082/tid=24088] ppid=24080 vsize=9625004 CPUtime=1.13 cores=1,3,5,7
/proc/24082/task/24088/stat : 24088 (java) S 24080 24082 21372 0 -1 4202560 280 0 0 0 112 1 0 0 20 0 19 0 280544940 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751106399144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24082/tid=24089] ppid=24080 vsize=9625004 CPUtime=1.18 cores=1,3,5,7
/proc/24082/task/24089/stat : 24089 (java) S 24080 24082 21372 0 -1 4202560 278 0 0 0 116 2 0 0 20 0 19 0 280544940 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751105345832 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24082/tid=24090] ppid=24080 vsize=9625004 CPUtime=1.09 cores=1,3,5,7
/proc/24082/task/24090/stat : 24090 (java) S 24080 24082 21372 0 -1 4202560 65 0 0 0 107 2 0 0 20 0 19 0 280544940 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751104293032 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24082/tid=24091] ppid=24080 vsize=9625004 CPUtime=1.18 cores=1,3,5,7
/proc/24082/task/24091/stat : 24091 (java) S 24080 24082 21372 0 -1 4202560 305 0 0 0 116 2 0 0 20 0 19 0 280544940 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751103240744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24092] ppid=24080 vsize=9625004 CPUtime=1.16 cores=1,3,5,7
/proc/24082/task/24092/stat : 24092 (java) S 24080 24082 21372 0 -1 4202560 496 0 0 0 114 2 0 0 20 0 19 0 280544940 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751102187944 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24082/tid=24093] ppid=24080 vsize=9625004 CPUtime=10.32 cores=1,3,5,7
/proc/24082/task/24093/stat : 24093 (java) S 24080 24082 21372 0 -1 4202560 176 0 0 0 1030 2 0 0 20 0 19 0 280544941 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751089990376 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24094] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24094/stat : 24094 (java) S 24080 24082 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280544942 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751088936440 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24095] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24095/stat : 24095 (java) S 24080 24082 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280544942 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751087884040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24096] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24096/stat : 24096 (java) S 24080 24082 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280544944 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751086832528 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24097] ppid=24080 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/24082/task/24097/stat : 24097 (java) S 24080 24082 21372 0 -1 4202560 2423 0 0 0 37 0 0 0 20 0 19 0 280544944 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751085779128 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24098] ppid=24080 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/24082/task/24098/stat : 24098 (java) S 24080 24082 21372 0 -1 4202560 2569 0 0 0 46 0 0 0 20 0 19 0 280544944 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751084726328 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24099] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24099/stat : 24099 (java) S 24080 24082 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280544944 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751083674232 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24100] ppid=24080 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/24082/task/24100/stat : 24100 (java) S 24080 24082 21372 0 -1 4202560 103 0 0 0 21 20 0 0 20 0 19 0 280544944 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751082621640 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24101] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24101/stat : 24101 (java) S 24080 24082 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280544971 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751081567656 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1790
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/211 24257
/proc/meminfo: memFree=28306728/32873624 swapFree=7104/7104
[pid=24082] ppid=24080 vsize=9625004 CPUtime=1800 cores=1,3,5,7
/proc/24082/stat : 24082 (java) S 24080 24082 21372 0 -1 4202496 11346 0 1 0 179959 41 0 0 20 0 19 0 280544937 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 140737278913920 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24082/statm: 2406251 64788 2285 9 0 2396937 0
[pid=24082/tid=24084] ppid=24080 vsize=9625004 CPUtime=1774.63 cores=1,3,5,7
/proc/24082/task/24084/stat : 24084 (java) R 24080 24082 21372 0 -1 4202560 2799 0 1 0 177435 28 0 0 20 0 19 0 280544939 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751265743152 139751138661987 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24085] ppid=24080 vsize=9625004 CPUtime=1.16 cores=1,3,5,7
/proc/24082/task/24085/stat : 24085 (java) S 24080 24082 21372 0 -1 4202560 192 0 0 0 114 2 0 0 20 0 19 0 280544940 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751109557032 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24086] ppid=24080 vsize=9625004 CPUtime=1.17 cores=1,3,5,7
/proc/24082/task/24086/stat : 24086 (java) S 24080 24082 21372 0 -1 4202560 174 0 0 0 115 2 0 0 20 0 19 0 280544940 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751108504232 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24082/tid=24087] ppid=24080 vsize=9625004 CPUtime=1.22 cores=1,3,5,7
/proc/24082/task/24087/stat : 24087 (java) S 24080 24082 21372 0 -1 4202560 305 0 0 0 120 2 0 0 20 0 19 0 280544940 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751107451944 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24082/tid=24088] ppid=24080 vsize=9625004 CPUtime=1.13 cores=1,3,5,7
/proc/24082/task/24088/stat : 24088 (java) S 24080 24082 21372 0 -1 4202560 280 0 0 0 112 1 0 0 20 0 19 0 280544940 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751106399144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24082/tid=24089] ppid=24080 vsize=9625004 CPUtime=1.18 cores=1,3,5,7
/proc/24082/task/24089/stat : 24089 (java) S 24080 24082 21372 0 -1 4202560 278 0 0 0 116 2 0 0 20 0 19 0 280544940 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751105345832 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24082/tid=24090] ppid=24080 vsize=9625004 CPUtime=1.09 cores=1,3,5,7
/proc/24082/task/24090/stat : 24090 (java) S 24080 24082 21372 0 -1 4202560 65 0 0 0 107 2 0 0 20 0 19 0 280544940 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751104293032 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24082/tid=24091] ppid=24080 vsize=9625004 CPUtime=1.18 cores=1,3,5,7
/proc/24082/task/24091/stat : 24091 (java) S 24080 24082 21372 0 -1 4202560 305 0 0 0 116 2 0 0 20 0 19 0 280544940 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751103240744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24092] ppid=24080 vsize=9625004 CPUtime=1.16 cores=1,3,5,7
/proc/24082/task/24092/stat : 24092 (java) S 24080 24082 21372 0 -1 4202560 496 0 0 0 114 2 0 0 20 0 19 0 280544940 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751102187944 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24082/tid=24093] ppid=24080 vsize=9625004 CPUtime=10.32 cores=1,3,5,7
/proc/24082/task/24093/stat : 24093 (java) S 24080 24082 21372 0 -1 4202560 176 0 0 0 1030 2 0 0 20 0 19 0 280544941 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751089990376 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24094] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24094/stat : 24094 (java) S 24080 24082 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280544942 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751088936440 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24095] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24095/stat : 24095 (java) S 24080 24082 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280544942 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751087884040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24096] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24096/stat : 24096 (java) S 24080 24082 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280544944 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751086832528 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24097] ppid=24080 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/24082/task/24097/stat : 24097 (java) S 24080 24082 21372 0 -1 4202560 2423 0 0 0 37 0 0 0 20 0 19 0 280544944 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751085779128 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24098] ppid=24080 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/24082/task/24098/stat : 24098 (java) S 24080 24082 21372 0 -1 4202560 2569 0 0 0 46 0 0 0 20 0 19 0 280544944 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751084726328 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24099] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24099/stat : 24099 (java) S 24080 24082 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280544944 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751083674232 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24100] ppid=24080 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/24082/task/24100/stat : 24100 (java) S 24080 24082 21372 0 -1 4202560 103 0 0 0 21 21 0 0 20 0 19 0 280544944 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751082621640 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24101] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24101/stat : 24101 (java) S 24080 24082 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280544971 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751081567656 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9625004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/211 24257
/proc/meminfo: memFree=28306728/32873624 swapFree=7104/7104
[pid=24082] ppid=24080 vsize=9625004 CPUtime=1800 cores=1,3,5,7
/proc/24082/stat : 24082 (java) S 24080 24082 21372 0 -1 4202496 11346 0 1 0 179959 41 0 0 20 0 19 0 280544937 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 140737278913920 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24082/statm: 2406251 64788 2285 9 0 2396937 0
[pid=24082/tid=24084] ppid=24080 vsize=9625004 CPUtime=1774.63 cores=1,3,5,7
/proc/24082/task/24084/stat : 24084 (java) R 24080 24082 21372 0 -1 4202560 2799 0 1 0 177435 28 0 0 20 0 19 0 280544939 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751265743152 139751138661987 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24085] ppid=24080 vsize=9625004 CPUtime=1.16 cores=1,3,5,7
/proc/24082/task/24085/stat : 24085 (java) S 24080 24082 21372 0 -1 4202560 192 0 0 0 114 2 0 0 20 0 19 0 280544940 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751109557032 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24086] ppid=24080 vsize=9625004 CPUtime=1.17 cores=1,3,5,7
/proc/24082/task/24086/stat : 24086 (java) S 24080 24082 21372 0 -1 4202560 174 0 0 0 115 2 0 0 20 0 19 0 280544940 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751108504232 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24082/tid=24087] ppid=24080 vsize=9625004 CPUtime=1.22 cores=1,3,5,7
/proc/24082/task/24087/stat : 24087 (java) S 24080 24082 21372 0 -1 4202560 305 0 0 0 120 2 0 0 20 0 19 0 280544940 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751107451944 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24082/tid=24088] ppid=24080 vsize=9625004 CPUtime=1.13 cores=1,3,5,7
/proc/24082/task/24088/stat : 24088 (java) S 24080 24082 21372 0 -1 4202560 280 0 0 0 112 1 0 0 20 0 19 0 280544940 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751106399144 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24082/tid=24089] ppid=24080 vsize=9625004 CPUtime=1.18 cores=1,3,5,7
/proc/24082/task/24089/stat : 24089 (java) S 24080 24082 21372 0 -1 4202560 278 0 0 0 116 2 0 0 20 0 19 0 280544940 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751105345832 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24082/tid=24090] ppid=24080 vsize=9625004 CPUtime=1.09 cores=1,3,5,7
/proc/24082/task/24090/stat : 24090 (java) S 24080 24082 21372 0 -1 4202560 65 0 0 0 107 2 0 0 20 0 19 0 280544940 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751104293032 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24082/tid=24091] ppid=24080 vsize=9625004 CPUtime=1.18 cores=1,3,5,7
/proc/24082/task/24091/stat : 24091 (java) S 24080 24082 21372 0 -1 4202560 305 0 0 0 116 2 0 0 20 0 19 0 280544940 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751103240744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24092] ppid=24080 vsize=9625004 CPUtime=1.16 cores=1,3,5,7
/proc/24082/task/24092/stat : 24092 (java) S 24080 24082 21372 0 -1 4202560 496 0 0 0 114 2 0 0 20 0 19 0 280544940 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751102187944 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24082/tid=24093] ppid=24080 vsize=9625004 CPUtime=10.32 cores=1,3,5,7
/proc/24082/task/24093/stat : 24093 (java) S 24080 24082 21372 0 -1 4202560 176 0 0 0 1030 2 0 0 20 0 19 0 280544941 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751089990376 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24094] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24094/stat : 24094 (java) S 24080 24082 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280544942 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751088936440 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24095] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24095/stat : 24095 (java) S 24080 24082 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280544942 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751087884040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24096] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24096/stat : 24096 (java) S 24080 24082 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280544944 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751086832528 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24097] ppid=24080 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/24082/task/24097/stat : 24097 (java) S 24080 24082 21372 0 -1 4202560 2423 0 0 0 37 0 0 0 20 0 19 0 280544944 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751085779128 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24098] ppid=24080 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/24082/task/24098/stat : 24098 (java) S 24080 24082 21372 0 -1 4202560 2569 0 0 0 46 0 0 0 20 0 19 0 280544944 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751084726328 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24099] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24099/stat : 24099 (java) S 24080 24082 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280544944 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751083674232 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24082/tid=24100] ppid=24080 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/24082/task/24100/stat : 24100 (java) S 24080 24082 21372 0 -1 4202560 103 0 0 0 21 21 0 0 20 0 19 0 280544944 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751082621640 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24082/tid=24101] ppid=24080 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/24082/task/24101/stat : 24101 (java) S 24080 24082 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280544971 9856004096 64788 33554432000 1073741824 1073778376 140737278922784 139751081567656 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9625004
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24082 and gives
# childrusage.ru_utime.tv_sec=1795
# childrusage.ru_utime.tv_usec=49111
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=800878
# CPU time returned by wait4() is 1795.85
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1792.35
CPU time (s): 1800
CPU user time (s): 1799.59
CPU system time (s): 0.41
CPU usage (%): 100.427
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.05
system time used= 0.800878
maximum resident set size= 259280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11380
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43616
involuntary context switches= 23060
runsolver used 5.9111 second user time and 14.4718 second system time
The end