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-3710835-1338154943/watcher-3710835-1338154943 -o /tmp/evaluation-result-3710835-1338154943/solver-3710835-1338154943 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710835-1338154943.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.00 2.00 3/194 25107
/proc/meminfo: memFree=30814116/32873844 swapFree=7116/7116
[pid=25107] ppid=25105 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/25107/stat : 25107 (java) R 25105 25107 19004 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 281619272 9515008 183 33554432000 1073741824 1073778376 140734224156032 140734224147064 240565173941 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25107/statm: 2323 183 140 9 0 71 0
[startup+0.021244 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 25107
/proc/meminfo: memFree=30814116/32873844 swapFree=7116/7116
[pid=25107] ppid=25105 vsize=102664 CPUtime=0 cores=1,3,5,7
/proc/25107/stat : 25107 (java) S 25105 25107 19004 0 -1 4202496 1429 0 1 0 0 0 0 0 20 0 2 0 281619272 105127936 1109 33554432000 1073741824 1073778376 140736125613680 140736125604816 240568533053 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25107/statm: 25666 1109 856 9 0 16775 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 102664
[startup+0.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 25107
/proc/meminfo: memFree=30814116/32873844 swapFree=7116/7116
[pid=25107] ppid=25105 vsize=9558440 CPUtime=0.07 cores=1,3,5,7
/proc/25107/stat : 25107 (java) S 25105 25107 19004 0 -1 4202496 3694 0 1 0 6 1 0 0 20 0 18 0 281619272 9787842560 4901 33554432000 1073741824 1073778376 140736125613680 140736125604816 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25107/statm: 2389610 4902 1939 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558440
[startup+0.300291 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 25107
/proc/meminfo: memFree=30814116/32873844 swapFree=7116/7116
[pid=25107] ppid=25105 vsize=9625004 CPUtime=0.52 cores=1,3,5,7
/proc/25107/stat : 25107 (java) S 25105 25107 19004 0 -1 4202496 6671 0 1 0 50 2 0 0 20 0 19 0 281619272 9856004096 8036 33554432000 1073741824 1073778376 140736125613680 140736125604816 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25107/statm: 2406251 8036 2235 9 0 2396937 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9625004
[startup+0.700305 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 25107
/proc/meminfo: memFree=30814116/32873844 swapFree=7116/7116
[pid=25107] ppid=25105 vsize=9625004 CPUtime=1.3 cores=1,3,5,7
/proc/25107/stat : 25107 (java) S 25105 25107 19004 0 -1 4202496 10536 0 1 0 127 3 0 0 20 0 19 0 281619272 9856004096 11161 33554432000 1073741824 1073778376 140736125613680 140736125604816 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25107/statm: 2406251 11161 2251 9 0 2396937 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 9625004
[startup+1.50337 s]
/proc/loadavg: 2.08 2.02 2.01 3/213 25126
/proc/meminfo: memFree=30767352/32873844 swapFree=7116/7116
[pid=25107] ppid=25105 vsize=9625004 CPUtime=2.28 cores=1,3,5,7
/proc/25107/stat : 25107 (java) S 25105 25107 19004 0 -1 4202496 10612 0 1 0 224 4 0 0 20 0 19 0 281619272 9856004096 14801 33554432000 1073741824 1073778376 140736125613680 140736125604816 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25107/statm: 2406251 14801 2282 9 0 2396937 0
[pid=25107/tid=25109] ppid=25105 vsize=9625004 CPUtime=1.43 cores=1,3,5,7
/proc/25107/task/25109/stat : 25109 (java) R 25105 25107 19004 0 -1 4202560 2511 0 1 0 142 1 0 0 20 0 19 0 281619273 9856004096 14801 33554432000 1073741824 1073778376 140736125613680 140668602622376 140668450561857 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25107/tid=25110] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25110/stat : 25110 (java) S 25105 25107 19004 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281619274 9856004096 14801 33554432000 1073741824 1073778376 140736125613680 140668575074984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25107/tid=25111] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25111/stat : 25111 (java) S 25105 25107 19004 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281619274 9856004096 14801 33554432000 1073741824 1073778376 140736125613680 140668574022440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25107/tid=25112] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25112/stat : 25112 (java) S 25105 25107 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281619274 9856004096 14801 33554432000 1073741824 1073778376 140736125613680 140668572969896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25107/tid=25113] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25113/stat : 25113 (java) S 25105 25107 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281619274 9856004096 14801 33554432000 1073741824 1073778376 140736125613680 140668571917352 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25107/tid=25114] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25114/stat : 25114 (java) S 25105 25107 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281619274 9856004096 14801 33554432000 1073741824 1073778376 140736125613680 140668570863784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25107/tid=25115] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25115/stat : 25115 (java) S 25105 25107 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281619274 9856004096 14801 33554432000 1073741824 1073778376 140736125613680 140668569811240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25107/tid=25116] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25116/stat : 25116 (java) S 25105 25107 19004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 281619274 9856004096 14801 33554432000 1073741824 1073778376 140736125613680 140668568758696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25107/tid=25117] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25117/stat : 25117 (java) S 25105 25107 19004 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281619274 9856004096 14801 33554432000 1073741824 1073778376 140736125613680 140668439145000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25118] ppid=25105 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/25107/task/25118/stat : 25118 (java) S 25105 25107 19004 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 281619275 9856004096 14801 33554432000 1073741824 1073778376 140736125613680 140667956197992 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25107/tid=25119] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25119/stat : 25119 (java) S 25105 25107 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281619276 9856004096 14801 33554432000 1073741824 1073778376 140736125613680 140667955144312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25120] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25120/stat : 25120 (java) S 25105 25107 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281619276 9856004096 14801 33554432000 1073741824 1073778376 140736125613680 140667954091656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25121] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25121/stat : 25121 (java) S 25105 25107 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281619279 9856004096 14801 33554432000 1073741824 1073778376 140736125613680 140667953040400 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25122] ppid=25105 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/25107/task/25122/stat : 25122 (java) S 25105 25107 19004 0 -1 4202560 4442 0 0 0 40 0 0 0 20 0 19 0 281619279 9856004096 14801 33554432000 1073741824 1073778376 140736125613680 140667951986744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25123] ppid=25105 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/25107/task/25123/stat : 25123 (java) S 25105 25107 19004 0 -1 4202560 2410 0 0 0 36 0 0 0 20 0 19 0 281619279 9856004096 14801 33554432000 1073741824 1073778376 140736125613680 140667950934200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25107/tid=25124] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25124/stat : 25124 (java) S 25105 25107 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281619279 9856004096 14801 33554432000 1073741824 1073778376 140736125613680 140667949881848 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25107/tid=25125] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25125/stat : 25125 (java) S 25105 25107 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281619279 9856004096 14801 33554432000 1073741824 1073778376 140736125613680 140667948829512 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25126] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25126/stat : 25126 (java) S 25105 25107 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281619291 9856004096 14801 33554432000 1073741824 1073778376 140736125613680 140667947775272 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 9625004
[startup+3.10081 s]
/proc/loadavg: 2.08 2.02 2.01 3/213 25126
/proc/meminfo: memFree=30762760/32873844 swapFree=7116/7116
[pid=25107] ppid=25105 vsize=9625004 CPUtime=3.9 cores=1,3,5,7
/proc/25107/stat : 25107 (java) S 25105 25107 19004 0 -1 4202496 10628 0 1 0 386 4 0 0 20 0 19 0 281619272 9856004096 14813 33554432000 1073741824 1073778376 140736125613680 140736125604816 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25107/statm: 2406251 14813 2283 9 0 2396937 0
[pid=25107/tid=25109] ppid=25105 vsize=9625004 CPUtime=2.98 cores=1,3,5,7
/proc/25107/task/25109/stat : 25109 (java) R 25105 25107 19004 0 -1 4202560 2515 0 1 0 296 2 0 0 20 0 19 0 281619273 9856004096 14813 33554432000 1073741824 1073778376 140736125613680 140668602622256 140668450545089 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25107/tid=25110] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25110/stat : 25110 (java) S 25105 25107 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281619274 9856004096 14813 33554432000 1073741824 1073778376 140736125613680 140668575074984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25111] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25111/stat : 25111 (java) S 25105 25107 19004 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281619274 9856004096 14813 33554432000 1073741824 1073778376 140736125613680 140668574022440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25107/tid=25112] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25112/stat : 25112 (java) S 25105 25107 19004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281619274 9856004096 14813 33554432000 1073741824 1073778376 140736125613680 140668572969896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25107/tid=25113] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25113/stat : 25113 (java) S 25105 25107 19004 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281619274 9856004096 14813 33554432000 1073741824 1073778376 140736125613680 140668571917352 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25107/tid=25114] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25114/stat : 25114 (java) S 25105 25107 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281619274 9856004096 14813 33554432000 1073741824 1073778376 140736125613680 140668570863784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25107/tid=25115] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25115/stat : 25115 (java) S 25105 25107 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281619274 9856004096 14813 33554432000 1073741824 1073778376 140736125613680 140668569811240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25107/tid=25116] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25116/stat : 25116 (java) S 25105 25107 19004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281619274 9856004096 14813 33554432000 1073741824 1073778376 140736125613680 140668568758696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25117] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25117/stat : 25117 (java) S 25105 25107 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281619274 9856004096 14813 33554432000 1073741824 1073778376 140736125613680 140668439145000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25118] ppid=25105 vsize=9625004 CPUtime=0.06 cores=1,3,5,7
/proc/25107/task/25118/stat : 25118 (java) S 25105 25107 19004 0 -1 4202560 31 0 0 0 6 0 0 0 20 0 19 0 281619275 9856004096 14813 33554432000 1073741824 1073778376 140736125613680 140667956197992 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25107/tid=25119] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25119/stat : 25119 (java) S 25105 25107 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281619276 9856004096 14813 33554432000 1073741824 1073778376 140736125613680 140667955144312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25120] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25120/stat : 25120 (java) S 25105 25107 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281619276 9856004096 14813 33554432000 1073741824 1073778376 140736125613680 140667954091656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25121] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25121/stat : 25121 (java) S 25105 25107 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281619279 9856004096 14813 33554432000 1073741824 1073778376 140736125613680 140667953040400 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25122] ppid=25105 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/25107/task/25122/stat : 25122 (java) S 25105 25107 19004 0 -1 4202560 4443 0 0 0 42 0 0 0 20 0 19 0 281619279 9856004096 14813 33554432000 1073741824 1073778376 140736125613680 140667951986744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25123] ppid=25105 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/25107/task/25123/stat : 25123 (java) S 25105 25107 19004 0 -1 4202560 2410 0 0 0 36 0 0 0 20 0 19 0 281619279 9856004096 14813 33554432000 1073741824 1073778376 140736125613680 140667950934200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25107/tid=25124] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25124/stat : 25124 (java) S 25105 25107 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281619279 9856004096 14813 33554432000 1073741824 1073778376 140736125613680 140667949881848 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25107/tid=25125] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25125/stat : 25125 (java) S 25105 25107 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281619279 9856004096 14813 33554432000 1073741824 1073778376 140736125613680 140667948829512 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25107/tid=25126] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25126/stat : 25126 (java) S 25105 25107 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281619291 9856004096 14813 33554432000 1073741824 1073778376 140736125613680 140667947775272 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 9625004
[startup+6.30083 s]
/proc/loadavg: 2.08 2.02 2.01 3/213 25126
/proc/meminfo: memFree=30765860/32873844 swapFree=7116/7116
[pid=25107] ppid=25105 vsize=9625004 CPUtime=7.11 cores=1,3,5,7
/proc/25107/stat : 25107 (java) S 25105 25107 19004 0 -1 4202496 10645 0 1 0 707 4 0 0 20 0 19 0 281619272 9856004096 14443 33554432000 1073741824 1073778376 140736125613680 140736125604816 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25107/statm: 2406251 14443 2283 9 0 2396937 0
[pid=25107/tid=25109] ppid=25105 vsize=9625004 CPUtime=6.09 cores=1,3,5,7
/proc/25107/task/25109/stat : 25109 (java) R 25105 25107 19004 0 -1 4202560 2521 0 1 0 607 2 0 0 20 0 19 0 281619273 9856004096 14443 33554432000 1073741824 1073778376 140736125613680 140668602622376 140668450562076 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25107/tid=25110] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25110/stat : 25110 (java) S 25105 25107 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281619274 9856004096 14443 33554432000 1073741824 1073778376 140736125613680 140668575074984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25107/tid=25111] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25111/stat : 25111 (java) S 25105 25107 19004 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281619274 9856004096 14443 33554432000 1073741824 1073778376 140736125613680 140668574022440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25107/tid=25112] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25112/stat : 25112 (java) S 25105 25107 19004 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281619274 9856004096 14443 33554432000 1073741824 1073778376 140736125613680 140668572969896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25107/tid=25113] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25113/stat : 25113 (java) S 25105 25107 19004 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281619274 9856004096 14443 33554432000 1073741824 1073778376 140736125613680 140668571917352 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25107/tid=25114] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25114/stat : 25114 (java) S 25105 25107 19004 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281619274 9856004096 14443 33554432000 1073741824 1073778376 140736125613680 140668570863784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25107/tid=25115] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25115/stat : 25115 (java) S 25105 25107 19004 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281619274 9856004096 14443 33554432000 1073741824 1073778376 140736125613680 140668569811240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25116] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25116/stat : 25116 (java) S 25105 25107 19004 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281619274 9856004096 14443 33554432000 1073741824 1073778376 140736125613680 140668568758696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25117] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25117/stat : 25117 (java) S 25105 25107 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281619274 9856004096 14443 33554432000 1073741824 1073778376 140736125613680 140668439145000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25118] ppid=25105 vsize=9625004 CPUtime=0.12 cores=1,3,5,7
/proc/25107/task/25118/stat : 25118 (java) S 25105 25107 19004 0 -1 4202560 32 0 0 0 12 0 0 0 20 0 19 0 281619275 9856004096 14443 33554432000 1073741824 1073778376 140736125613680 140667956197992 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25107/tid=25119] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25119/stat : 25119 (java) S 25105 25107 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281619276 9856004096 14443 33554432000 1073741824 1073778376 140736125613680 140667955144312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25120] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25120/stat : 25120 (java) S 25105 25107 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281619276 9856004096 14443 33554432000 1073741824 1073778376 140736125613680 140667954091656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25121] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25121/stat : 25121 (java) S 25105 25107 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281619279 9856004096 14443 33554432000 1073741824 1073778376 140736125613680 140667953040400 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25122] ppid=25105 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/25107/task/25122/stat : 25122 (java) S 25105 25107 19004 0 -1 4202560 4443 0 0 0 42 0 0 0 20 0 19 0 281619279 9856004096 14443 33554432000 1073741824 1073778376 140736125613680 140667951986744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25123] ppid=25105 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/25107/task/25123/stat : 25123 (java) S 25105 25107 19004 0 -1 4202560 2410 0 0 0 36 0 0 0 20 0 19 0 281619279 9856004096 14443 33554432000 1073741824 1073778376 140736125613680 140667950934200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25107/tid=25124] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25124/stat : 25124 (java) S 25105 25107 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281619279 9856004096 14443 33554432000 1073741824 1073778376 140736125613680 140667949881848 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25107/tid=25125] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25125/stat : 25125 (java) S 25105 25107 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281619279 9856004096 14443 33554432000 1073741824 1073778376 140736125613680 140667948829512 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25107/tid=25126] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25126/stat : 25126 (java) S 25105 25107 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281619291 9856004096 14443 33554432000 1073741824 1073778376 140736125613680 140667947775272 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.11
Current children cumulated vsize (KiB) 9625004
[startup+12.7008 s]
################
# More data... #
################
[pid=25107/tid=25122] ppid=25105 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/25107/task/25122/stat : 25122 (java) S 25105 25107 19004 0 -1 4202560 4443 0 0 0 42 0 0 0 20 0 19 0 281619279 9856004096 40059 33554432000 1073741824 1073778376 140736125613680 140667951986744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25123] ppid=25105 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/25107/task/25123/stat : 25123 (java) S 25105 25107 19004 0 -1 4202560 2410 0 0 0 36 0 0 0 20 0 19 0 281619279 9856004096 40059 33554432000 1073741824 1073778376 140736125613680 140667950934200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25107/tid=25124] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25124/stat : 25124 (java) S 25105 25107 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281619279 9856004096 40059 33554432000 1073741824 1073778376 140736125613680 140667949881848 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25107/tid=25125] ppid=25105 vsize=9625004 CPUtime=0.77 cores=1,3,5,7
/proc/25107/task/25125/stat : 25125 (java) S 25105 25107 19004 0 -1 4202560 99 0 0 0 44 33 0 0 20 0 19 0 281619279 9856004096 40059 33554432000 1073741824 1073778376 140736125613680 140667948829512 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25107/tid=25126] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25126/stat : 25126 (java) S 25105 25107 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281619291 9856004096 40059 33554432000 1073741824 1073778376 140736125613680 140667947775272 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1727.9
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 25233
/proc/meminfo: memFree=29559820/32873844 swapFree=7116/7116
[pid=25107] ppid=25105 vsize=9625004 CPUtime=1787.94 cores=1,3,5,7
/proc/25107/stat : 25107 (java) S 25105 25107 19004 0 -1 4202496 13441 0 1 0 178726 68 0 0 20 0 19 0 281619272 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140736125604816 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25107/statm: 2406251 40571 2283 9 0 2396937 0
[pid=25107/tid=25109] ppid=25105 vsize=9625004 CPUtime=1770.33 cores=1,3,5,7
/proc/25107/task/25109/stat : 25109 (java) R 25105 25107 19004 0 -1 4202560 2670 0 1 0 177004 29 0 0 20 0 19 0 281619273 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140668602622256 140668450629431 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25107/tid=25110] ppid=25105 vsize=9625004 CPUtime=0.73 cores=1,3,5,7
/proc/25107/task/25110/stat : 25110 (java) S 25105 25107 19004 0 -1 4202560 382 0 0 0 71 2 0 0 20 0 19 0 281619274 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140668575074984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25107/tid=25111] ppid=25105 vsize=9625004 CPUtime=0.68 cores=1,3,5,7
/proc/25107/task/25111/stat : 25111 (java) S 25105 25107 19004 0 -1 4202560 264 0 0 0 66 2 0 0 20 0 19 0 281619274 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140668574022440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25107/tid=25112] ppid=25105 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/25107/task/25112/stat : 25112 (java) S 25105 25107 19004 0 -1 4202560 298 0 0 0 71 0 0 0 20 0 19 0 281619274 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140668572969896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25113] ppid=25105 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/25107/task/25113/stat : 25113 (java) S 25105 25107 19004 0 -1 4202560 272 0 0 0 70 1 0 0 20 0 19 0 281619274 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140668571917352 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25114] ppid=25105 vsize=9625004 CPUtime=0.65 cores=1,3,5,7
/proc/25107/task/25114/stat : 25114 (java) S 25105 25107 19004 0 -1 4202560 266 0 0 0 63 2 0 0 20 0 19 0 281619274 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140668570863784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25107/tid=25115] ppid=25105 vsize=9625004 CPUtime=0.65 cores=1,3,5,7
/proc/25107/task/25115/stat : 25115 (java) S 25105 25107 19004 0 -1 4202560 499 0 0 0 63 2 0 0 20 0 19 0 281619274 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140668569811240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25107/tid=25116] ppid=25105 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/25107/task/25116/stat : 25116 (java) S 25105 25107 19004 0 -1 4202560 203 0 0 0 65 2 0 0 20 0 19 0 281619274 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140668568758696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25117] ppid=25105 vsize=9625004 CPUtime=0.66 cores=1,3,5,7
/proc/25107/task/25117/stat : 25117 (java) S 25105 25107 19004 0 -1 4202560 295 0 0 0 66 0 0 0 20 0 19 0 281619274 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140668439145000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25107/tid=25118] ppid=25105 vsize=9625004 CPUtime=5.73 cores=1,3,5,7
/proc/25107/task/25118/stat : 25118 (java) S 25105 25107 19004 0 -1 4202560 154 0 0 0 570 3 0 0 20 0 19 0 281619275 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140667956197992 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25107/tid=25119] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25119/stat : 25119 (java) S 25105 25107 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281619276 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140667955144312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25120] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25120/stat : 25120 (java) S 25105 25107 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281619276 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140667954091656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25121] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25121/stat : 25121 (java) S 25105 25107 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281619279 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140667953040400 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25122] ppid=25105 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/25107/task/25122/stat : 25122 (java) S 25105 25107 19004 0 -1 4202560 4443 0 0 0 42 0 0 0 20 0 19 0 281619279 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140667951986744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25123] ppid=25105 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/25107/task/25123/stat : 25123 (java) S 25105 25107 19004 0 -1 4202560 2410 0 0 0 36 0 0 0 20 0 19 0 281619279 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140667950934200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25107/tid=25124] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25124/stat : 25124 (java) S 25105 25107 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281619279 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140667949881848 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25107/tid=25125] ppid=25105 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/25107/task/25125/stat : 25125 (java) S 25105 25107 19004 0 -1 4202560 103 0 0 0 45 35 0 0 20 0 19 0 281619279 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140667948829512 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25107/tid=25126] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25126/stat : 25126 (java) S 25105 25107 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281619291 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140667947775272 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1787.94
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 25233
/proc/meminfo: memFree=29559820/32873844 swapFree=7116/7116
[pid=25107] ppid=25105 vsize=9625004 CPUtime=1800.01 cores=1,3,5,7
/proc/25107/stat : 25107 (java) S 25105 25107 19004 0 -1 4202496 13444 0 1 0 179933 68 0 0 20 0 19 0 281619272 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140736125604816 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25107/statm: 2406251 40571 2283 9 0 2396937 0
[pid=25107/tid=25109] ppid=25105 vsize=9625004 CPUtime=1782.19 cores=1,3,5,7
/proc/25107/task/25109/stat : 25109 (java) R 25105 25107 19004 0 -1 4202560 2671 0 1 0 178189 30 0 0 20 0 19 0 281619273 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140668602622256 140668450629431 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25107/tid=25110] ppid=25105 vsize=9625004 CPUtime=0.73 cores=1,3,5,7
/proc/25107/task/25110/stat : 25110 (java) S 25105 25107 19004 0 -1 4202560 382 0 0 0 71 2 0 0 20 0 19 0 281619274 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140668575074984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25107/tid=25111] ppid=25105 vsize=9625004 CPUtime=0.69 cores=1,3,5,7
/proc/25107/task/25111/stat : 25111 (java) S 25105 25107 19004 0 -1 4202560 264 0 0 0 67 2 0 0 20 0 19 0 281619274 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140668574022440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25107/tid=25112] ppid=25105 vsize=9625004 CPUtime=0.72 cores=1,3,5,7
/proc/25107/task/25112/stat : 25112 (java) S 25105 25107 19004 0 -1 4202560 298 0 0 0 72 0 0 0 20 0 19 0 281619274 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140668572969896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25113] ppid=25105 vsize=9625004 CPUtime=0.72 cores=1,3,5,7
/proc/25107/task/25113/stat : 25113 (java) S 25105 25107 19004 0 -1 4202560 272 0 0 0 71 1 0 0 20 0 19 0 281619274 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140668571917352 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25114] ppid=25105 vsize=9625004 CPUtime=0.65 cores=1,3,5,7
/proc/25107/task/25114/stat : 25114 (java) S 25105 25107 19004 0 -1 4202560 266 0 0 0 63 2 0 0 20 0 19 0 281619274 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140668570863784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25115] ppid=25105 vsize=9625004 CPUtime=0.65 cores=1,3,5,7
/proc/25107/task/25115/stat : 25115 (java) S 25105 25107 19004 0 -1 4202560 499 0 0 0 63 2 0 0 20 0 19 0 281619274 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140668569811240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25107/tid=25116] ppid=25105 vsize=9625004 CPUtime=0.69 cores=1,3,5,7
/proc/25107/task/25116/stat : 25116 (java) S 25105 25107 19004 0 -1 4202560 203 0 0 0 67 2 0 0 20 0 19 0 281619274 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140668568758696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25117] ppid=25105 vsize=9625004 CPUtime=0.66 cores=1,3,5,7
/proc/25107/task/25117/stat : 25117 (java) S 25105 25107 19004 0 -1 4202560 295 0 0 0 66 0 0 0 20 0 19 0 281619274 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140668439145000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25107/tid=25118] ppid=25105 vsize=9625004 CPUtime=5.83 cores=1,3,5,7
/proc/25107/task/25118/stat : 25118 (java) S 25105 25107 19004 0 -1 4202560 156 0 0 0 580 3 0 0 20 0 19 0 281619275 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140667956197992 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25107/tid=25119] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25119/stat : 25119 (java) S 25105 25107 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281619276 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140667955144312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25120] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25120/stat : 25120 (java) S 25105 25107 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281619276 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140667954091656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25121] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25121/stat : 25121 (java) S 25105 25107 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281619279 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140667953040400 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25122] ppid=25105 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/25107/task/25122/stat : 25122 (java) S 25105 25107 19004 0 -1 4202560 4443 0 0 0 42 0 0 0 20 0 19 0 281619279 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140667951986744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25123] ppid=25105 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/25107/task/25123/stat : 25123 (java) S 25105 25107 19004 0 -1 4202560 2410 0 0 0 36 0 0 0 20 0 19 0 281619279 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140667950934200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25107/tid=25124] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25124/stat : 25124 (java) S 25105 25107 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281619279 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140667949881848 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25107/tid=25125] ppid=25105 vsize=9625004 CPUtime=0.81 cores=1,3,5,7
/proc/25107/task/25125/stat : 25125 (java) S 25105 25107 19004 0 -1 4202560 103 0 0 0 46 35 0 0 20 0 19 0 281619279 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140667948829512 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25107/tid=25126] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25126/stat : 25126 (java) S 25105 25107 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281619291 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140667947775272 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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+1794.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 25233
/proc/meminfo: memFree=29559820/32873844 swapFree=7116/7116
[pid=25107] ppid=25105 vsize=9625004 CPUtime=1800.01 cores=1,3,5,7
/proc/25107/stat : 25107 (java) S 25105 25107 19004 0 -1 4202496 13444 0 1 0 179933 68 0 0 20 0 19 0 281619272 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140736125604816 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25107/statm: 2406251 40571 2283 9 0 2396937 0
[pid=25107/tid=25109] ppid=25105 vsize=9625004 CPUtime=1782.19 cores=1,3,5,7
/proc/25107/task/25109/stat : 25109 (java) R 25105 25107 19004 0 -1 4202560 2671 0 1 0 178189 30 0 0 20 0 19 0 281619273 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140668602622256 140668450629431 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25107/tid=25110] ppid=25105 vsize=9625004 CPUtime=0.73 cores=1,3,5,7
/proc/25107/task/25110/stat : 25110 (java) S 25105 25107 19004 0 -1 4202560 382 0 0 0 71 2 0 0 20 0 19 0 281619274 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140668575074984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25107/tid=25111] ppid=25105 vsize=9625004 CPUtime=0.69 cores=1,3,5,7
/proc/25107/task/25111/stat : 25111 (java) S 25105 25107 19004 0 -1 4202560 264 0 0 0 67 2 0 0 20 0 19 0 281619274 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140668574022440 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25107/tid=25112] ppid=25105 vsize=9625004 CPUtime=0.72 cores=1,3,5,7
/proc/25107/task/25112/stat : 25112 (java) S 25105 25107 19004 0 -1 4202560 298 0 0 0 72 0 0 0 20 0 19 0 281619274 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140668572969896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25113] ppid=25105 vsize=9625004 CPUtime=0.72 cores=1,3,5,7
/proc/25107/task/25113/stat : 25113 (java) S 25105 25107 19004 0 -1 4202560 272 0 0 0 71 1 0 0 20 0 19 0 281619274 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140668571917352 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25114] ppid=25105 vsize=9625004 CPUtime=0.65 cores=1,3,5,7
/proc/25107/task/25114/stat : 25114 (java) S 25105 25107 19004 0 -1 4202560 266 0 0 0 63 2 0 0 20 0 19 0 281619274 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140668570863784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25115] ppid=25105 vsize=9625004 CPUtime=0.65 cores=1,3,5,7
/proc/25107/task/25115/stat : 25115 (java) S 25105 25107 19004 0 -1 4202560 499 0 0 0 63 2 0 0 20 0 19 0 281619274 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140668569811240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25107/tid=25116] ppid=25105 vsize=9625004 CPUtime=0.69 cores=1,3,5,7
/proc/25107/task/25116/stat : 25116 (java) S 25105 25107 19004 0 -1 4202560 203 0 0 0 67 2 0 0 20 0 19 0 281619274 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140668568758696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25117] ppid=25105 vsize=9625004 CPUtime=0.66 cores=1,3,5,7
/proc/25107/task/25117/stat : 25117 (java) S 25105 25107 19004 0 -1 4202560 295 0 0 0 66 0 0 0 20 0 19 0 281619274 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140668439145000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25107/tid=25118] ppid=25105 vsize=9625004 CPUtime=5.83 cores=1,3,5,7
/proc/25107/task/25118/stat : 25118 (java) S 25105 25107 19004 0 -1 4202560 156 0 0 0 580 3 0 0 20 0 19 0 281619275 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140667956197992 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25107/tid=25119] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25119/stat : 25119 (java) S 25105 25107 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281619276 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140667955144312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25120] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25120/stat : 25120 (java) S 25105 25107 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281619276 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140667954091656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25121] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25121/stat : 25121 (java) S 25105 25107 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281619279 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140667953040400 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25122] ppid=25105 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/25107/task/25122/stat : 25122 (java) S 25105 25107 19004 0 -1 4202560 4443 0 0 0 42 0 0 0 20 0 19 0 281619279 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140667951986744 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25107/tid=25123] ppid=25105 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/25107/task/25123/stat : 25123 (java) S 25105 25107 19004 0 -1 4202560 2410 0 0 0 36 0 0 0 20 0 19 0 281619279 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140667950934200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25107/tid=25124] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25124/stat : 25124 (java) S 25105 25107 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281619279 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140667949881848 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25107/tid=25125] ppid=25105 vsize=9625004 CPUtime=0.81 cores=1,3,5,7
/proc/25107/task/25125/stat : 25125 (java) S 25105 25107 19004 0 -1 4202560 103 0 0 0 46 35 0 0 20 0 19 0 281619279 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140667948829512 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25107/tid=25126] ppid=25105 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25107/task/25126/stat : 25126 (java) S 25105 25107 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281619291 9856004096 40571 33554432000 1073741824 1073778376 140736125613680 140667947775272 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625004
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25107 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=548187
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=931858
# CPU time returned by wait4() is 1795.48
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1794.35
CPU time (s): 1800.01
CPU user time (s): 1799.33
CPU system time (s): 0.68
CPU usage (%): 100.315
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.55
system time used= 0.931858
maximum resident set size= 162432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13484
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42040
involuntary context switches= 12135
runsolver used 10.2704 second user time and 12.1332 second system time
The end