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-3710430-1338246445/watcher-3710430-1338246445 -o /tmp/evaluation-result-3710430-1338246445/solver-3710430-1338246445 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710430-1338246445.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 1232
/proc/meminfo: memFree=27066060/32873844 swapFree=6872/6872
[pid=1232] ppid=1230 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/1232/stat : 1232 (java) D 1230 1232 32222 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 290712056 2560000 46 33554432000 1073741824 1073778376 140737466940336 140737466937464 209088245031 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/1232/statm: 625 46 37 9 0 29 0
[startup+0.0437801 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 1232
/proc/meminfo: memFree=27066060/32873844 swapFree=6872/6872
[pid=1232] ppid=1230 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/1232/stat : 1232 (java) S 1230 1232 32222 0 -1 4202496 2971 0 1 0 2 0 0 0 20 0 13 0 290712056 9446973440 3669 33554432000 1073741824 1073778376 140735933514224 140735933505360 209100767293 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1232/statm: 2306390 3673 1667 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100347 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 1232
/proc/meminfo: memFree=27066060/32873844 swapFree=6872/6872
[pid=1232] ppid=1230 vsize=9558440 CPUtime=0.08 cores=1,3,5,7
/proc/1232/stat : 1232 (java) S 1230 1232 32222 0 -1 4202496 3696 0 1 0 7 1 0 0 20 0 18 0 290712056 9787842560 4904 33554432000 1073741824 1073778376 140735933514224 140735933505360 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1232/statm: 2389610 4905 1939 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440
[startup+0.300319 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 1232
/proc/meminfo: memFree=27066060/32873844 swapFree=6872/6872
[pid=1232] ppid=1230 vsize=9558440 CPUtime=0.45 cores=1,3,5,7
/proc/1232/stat : 1232 (java) S 1230 1232 32222 0 -1 4202496 5246 0 1 0 42 3 0 0 20 0 18 0 290712056 9787842560 21032 33554432000 1073741824 1073778376 140735933514224 140735933505360 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1232/statm: 2389610 21032 2223 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558440
[startup+0.700335 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 1232
/proc/meminfo: memFree=27066060/32873844 swapFree=6872/6872
[pid=1232] ppid=1230 vsize=9558440 CPUtime=0.98 cores=1,3,5,7
/proc/1232/stat : 1232 (java) S 1230 1232 32222 0 -1 4202496 5422 0 1 0 91 7 0 0 20 0 18 0 290712056 9787842560 52877 33554432000 1073741824 1073778376 140735933514224 140735933505360 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1232/statm: 2389610 52877 2239 9 0 2380296 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 9558440
[startup+1.50079 s]
/proc/loadavg: 2.00 2.00 2.00 10/212 1250
/proc/meminfo: memFree=26824484/32873844 swapFree=6872/6872
[pid=1232] ppid=1230 vsize=9558440 CPUtime=2 cores=1,3,5,7
/proc/1232/stat : 1232 (java) S 1230 1232 32222 0 -1 4202496 5858 0 1 0 189 11 0 0 20 0 18 0 290712056 9787842560 64526 33554432000 1073741824 1073778376 140735933514224 140735933505360 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1232/statm: 2389610 64526 2239 9 0 2380296 0
[pid=1232/tid=1234] ppid=1230 vsize=9558440 CPUtime=1.33 cores=1,3,5,7
/proc/1232/task/1234/stat : 1234 (java) R 1230 1232 32222 0 -1 4202560 2572 0 1 0 129 4 0 0 20 0 18 0 290712057 9787842560 64526 33554432000 1073741824 1073778376 140735933514224 140622296793040 209100793101 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1232/tid=1235] ppid=1230 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/1232/task/1235/stat : 1235 (java) S 1230 1232 32222 0 -1 4202560 100 0 0 0 7 2 0 0 20 0 18 0 290712058 9787842560 64526 33554432000 1073741824 1073778376 140735933514224 140622269254696 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1232/tid=1236] ppid=1230 vsize=9558440 CPUtime=0.04 cores=1,3,5,7
/proc/1232/task/1236/stat : 1236 (java) S 1230 1232 32222 0 -1 4202560 19 0 0 0 4 0 0 0 20 0 18 0 290712058 9787842560 64526 33554432000 1073741824 1073778376 140735933514224 140622268201896 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1232/tid=1237] ppid=1230 vsize=9558440 CPUtime=0.01 cores=1,3,5,7
/proc/1232/task/1237/stat : 1237 (java) S 1230 1232 32222 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 18 0 290712058 9787842560 64526 33554432000 1073741824 1073778376 140735933514224 140622267149096 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1232/tid=1238] ppid=1230 vsize=9558440 CPUtime=0.11 cores=1,3,5,7
/proc/1232/task/1238/stat : 1238 (java) S 1230 1232 32222 0 -1 4202560 276 0 0 0 9 2 0 0 20 0 18 0 290712058 9787842560 64526 33554432000 1073741824 1073778376 140735933514224 140622266096296 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1232/tid=1239] ppid=1230 vsize=9558440 CPUtime=0.05 cores=1,3,5,7
/proc/1232/task/1239/stat : 1239 (java) S 1230 1232 32222 0 -1 4202560 46 0 0 0 5 0 0 0 20 0 18 0 290712058 9787842560 64526 33554432000 1073741824 1073778376 140735933514224 140622265043496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1232/tid=1240] ppid=1230 vsize=9558440 CPUtime=0.01 cores=1,3,5,7
/proc/1232/task/1240/stat : 1240 (java) S 1230 1232 32222 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 290712058 9787842560 64526 33554432000 1073741824 1073778376 140735933514224 140622263990696 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1241] ppid=1230 vsize=9558440 CPUtime=0.02 cores=1,3,5,7
/proc/1232/task/1241/stat : 1241 (java) S 1230 1232 32222 0 -1 4202560 29 0 0 0 2 0 0 0 20 0 18 0 290712058 9787842560 64526 33554432000 1073741824 1073778376 140735933514224 140622134028584 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1232/tid=1242] ppid=1230 vsize=9558440 CPUtime=0.02 cores=1,3,5,7
/proc/1232/task/1242/stat : 1242 (java) S 1230 1232 32222 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 18 0 290712058 9787842560 64526 33554432000 1073741824 1073778376 140735933514224 140622132975784 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1232/tid=1243] ppid=1230 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1243/stat : 1243 (java) S 1230 1232 32222 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 290712059 9787842560 64526 33554432000 1073741824 1073778376 140735933514224 140621650029544 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1244] ppid=1230 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1244/stat : 1244 (java) S 1230 1232 32222 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 290712060 9787842560 64526 33554432000 1073741824 1073778376 140735933514224 140621648975608 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1245] ppid=1230 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1245/stat : 1245 (java) S 1230 1232 32222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 290712060 9787842560 64526 33554432000 1073741824 1073778376 140735933514224 140621647922696 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1246] ppid=1230 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1246/stat : 1246 (java) S 1230 1232 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 290712062 9787842560 64526 33554432000 1073741824 1073778376 140735933514224 140621646871184 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1247] ppid=1230 vsize=9558440 CPUtime=0.07 cores=1,3,5,7
/proc/1232/task/1247/stat : 1247 (java) S 1230 1232 32222 0 -1 4202560 536 0 0 0 7 0 0 0 20 0 18 0 290712062 9787842560 64526 33554432000 1073741824 1073778376 140735933514224 140621645818296 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1248] ppid=1230 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/1232/task/1248/stat : 1248 (java) S 1230 1232 32222 0 -1 4202560 994 0 0 0 9 0 0 0 20 0 18 0 290712062 9787842560 64526 33554432000 1073741824 1073778376 140735933514224 140621644765496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1232/tid=1249] ppid=1230 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1249/stat : 1249 (java) S 1230 1232 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 290712063 9787842560 64526 33554432000 1073741824 1073778376 140735933514224 140621643712888 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1232/tid=1250] ppid=1230 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1250/stat : 1250 (java) S 1230 1232 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 290712063 9787842560 64526 33554432000 1073741824 1073778376 140735933514224 140621642660296 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 9558440
[startup+3.10087 s]
/proc/loadavg: 2.00 2.00 2.00 4/212 1250
/proc/meminfo: memFree=26655556/32873844 swapFree=6872/6872
[pid=1232] ppid=1230 vsize=9558440 CPUtime=4.54 cores=1,3,5,7
/proc/1232/stat : 1232 (java) S 1230 1232 32222 0 -1 4202496 8160 0 1 0 419 35 0 0 20 0 18 0 290712056 9787842560 186594 33554432000 1073741824 1073778376 140735933514224 140735933505360 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1232/statm: 2389610 186594 2244 9 0 2380296 0
[pid=1232/tid=1234] ppid=1230 vsize=9558440 CPUtime=2.64 cores=1,3,5,7
/proc/1232/task/1234/stat : 1234 (java) R 1230 1232 32222 0 -1 4202560 2904 0 1 0 254 10 0 0 20 0 18 0 290712057 9787842560 186594 33554432000 1073741824 1073778376 140735933514224 140622296799736 209100793101 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1232/tid=1235] ppid=1230 vsize=9558440 CPUtime=0.17 cores=1,3,5,7
/proc/1232/task/1235/stat : 1235 (java) S 1230 1232 32222 0 -1 4202560 126 0 0 0 15 2 0 0 20 0 18 0 290712058 9787842560 186594 33554432000 1073741824 1073778376 140735933514224 140622269254696 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1232/tid=1236] ppid=1230 vsize=9558440 CPUtime=0.15 cores=1,3,5,7
/proc/1232/task/1236/stat : 1236 (java) S 1230 1232 32222 0 -1 4202560 351 0 0 0 13 2 0 0 20 0 18 0 290712058 9787842560 186594 33554432000 1073741824 1073778376 140735933514224 140622268201896 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1232/tid=1237] ppid=1230 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/1232/task/1237/stat : 1237 (java) S 1230 1232 32222 0 -1 4202560 452 0 0 0 8 2 0 0 20 0 18 0 290712058 9787842560 186594 33554432000 1073741824 1073778376 140735933514224 140622267149096 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1232/tid=1238] ppid=1230 vsize=9558440 CPUtime=0.24 cores=1,3,5,7
/proc/1232/task/1238/stat : 1238 (java) S 1230 1232 32222 0 -1 4202560 324 0 0 0 19 5 0 0 20 0 18 0 290712058 9787842560 186594 33554432000 1073741824 1073778376 140735933514224 140622266096296 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1232/tid=1239] ppid=1230 vsize=9558440 CPUtime=0.24 cores=1,3,5,7
/proc/1232/task/1239/stat : 1239 (java) S 1230 1232 32222 0 -1 4202560 128 0 0 0 19 5 0 0 20 0 18 0 290712058 9787842560 186594 33554432000 1073741824 1073778376 140735933514224 140622265043496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1232/tid=1240] ppid=1230 vsize=9558440 CPUtime=0.14 cores=1,3,5,7
/proc/1232/task/1240/stat : 1240 (java) S 1230 1232 32222 0 -1 4202560 70 0 0 0 12 2 0 0 20 0 18 0 290712058 9787842560 186594 33554432000 1073741824 1073778376 140735933514224 140622263990696 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1232/tid=1241] ppid=1230 vsize=9558440 CPUtime=0.19 cores=1,3,5,7
/proc/1232/task/1241/stat : 1241 (java) S 1230 1232 32222 0 -1 4202560 193 0 0 0 16 3 0 0 20 0 18 0 290712058 9787842560 186594 33554432000 1073741824 1073778376 140735933514224 140622134028584 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1232/tid=1242] ppid=1230 vsize=9558440 CPUtime=0.23 cores=1,3,5,7
/proc/1232/task/1242/stat : 1242 (java) S 1230 1232 32222 0 -1 4202560 114 0 0 0 19 4 0 0 20 0 18 0 290712058 9787842560 186594 33554432000 1073741824 1073778376 140735933514224 140622132975784 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1232/tid=1243] ppid=1230 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1243/stat : 1243 (java) S 1230 1232 32222 0 -1 4202560 494 0 0 0 0 0 0 0 20 0 18 0 290712059 9787842560 186594 33554432000 1073741824 1073778376 140735933514224 140621650029544 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1244] ppid=1230 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1244/stat : 1244 (java) S 1230 1232 32222 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 290712060 9787842560 186594 33554432000 1073741824 1073778376 140735933514224 140621648975608 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1245] ppid=1230 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1245/stat : 1245 (java) S 1230 1232 32222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 290712060 9787842560 186594 33554432000 1073741824 1073778376 140735933514224 140621647922696 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1246] ppid=1230 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1246/stat : 1246 (java) S 1230 1232 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 290712062 9787842560 186594 33554432000 1073741824 1073778376 140735933514224 140621646871184 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1247] ppid=1230 vsize=9558440 CPUtime=0.14 cores=1,3,5,7
/proc/1232/task/1247/stat : 1247 (java) S 1230 1232 32222 0 -1 4202560 816 0 0 0 14 0 0 0 20 0 18 0 290712062 9787842560 186594 33554432000 1073741824 1073778376 140735933514224 140621645818296 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1248] ppid=1230 vsize=9558440 CPUtime=0.13 cores=1,3,5,7
/proc/1232/task/1248/stat : 1248 (java) S 1230 1232 32222 0 -1 4202560 1013 0 0 0 13 0 0 0 20 0 18 0 290712062 9787842560 186594 33554432000 1073741824 1073778376 140735933514224 140621644765496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1232/tid=1249] ppid=1230 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1249/stat : 1249 (java) S 1230 1232 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 290712063 9787842560 186594 33554432000 1073741824 1073778376 140735933514224 140621643712888 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1232/tid=1250] ppid=1230 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1250/stat : 1250 (java) S 1230 1232 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 290712063 9787842560 186594 33554432000 1073741824 1073778376 140735933514224 140621642660296 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.54
Current children cumulated vsize (KiB) 9558440
[startup+6.30073 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 1250
/proc/meminfo: memFree=25645980/32873844 swapFree=6872/6872
[pid=1232] ppid=1230 vsize=9558440 CPUtime=10.68 cores=1,3,5,7
/proc/1232/stat : 1232 (java) S 1230 1232 32222 0 -1 4202496 18242 0 1 0 986 82 0 0 20 0 18 0 290712056 9787842560 390415 33554432000 1073741824 1073778376 140735933514224 140735933505360 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1232/statm: 2389610 390415 2272 9 0 2380296 0
[pid=1232/tid=1234] ppid=1230 vsize=9558440 CPUtime=4.98 cores=1,3,5,7
/proc/1232/task/1234/stat : 1234 (java) S 1230 1232 32222 0 -1 4202560 3618 0 1 0 478 20 0 0 20 0 18 0 290712057 9787842560 390415 33554432000 1073741824 1073778376 140735933514224 140622296800440 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1232/tid=1235] ppid=1230 vsize=9558440 CPUtime=0.64 cores=1,3,5,7
/proc/1232/task/1235/stat : 1235 (java) R 1230 1232 32222 0 -1 4202560 504 0 0 0 56 8 0 0 20 0 18 0 290712058 9787842560 390415 33554432000 1073741824 1073778376 140735933514224 140622269254872 140622304296713 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1232/tid=1236] ppid=1230 vsize=9558440 CPUtime=0.58 cores=1,3,5,7
/proc/1232/task/1236/stat : 1236 (java) D 1230 1232 32222 0 -1 4202560 735 0 0 0 50 8 0 0 20 0 18 0 290712058 9787842560 390415 33554432000 1073741824 1073778376 140735933514224 140622268201656 209097450471 0 4 0 16800975 18446744071581355491 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1237] ppid=1230 vsize=9558440 CPUtime=0.55 cores=1,3,5,7
/proc/1232/task/1237/stat : 1237 (java) R 1230 1232 32222 0 -1 4202560 551 0 0 0 48 7 0 0 20 0 18 0 290712058 9787842560 390415 33554432000 1073741824 1073778376 140735933514224 140622267149272 140622304296675 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1232/tid=1238] ppid=1230 vsize=9558440 CPUtime=0.77 cores=1,3,5,7
/proc/1232/task/1238/stat : 1238 (java) R 1230 1232 32222 0 -1 4202560 443 0 0 0 67 10 0 0 20 0 18 0 290712058 9787842560 390415 33554432000 1073741824 1073778376 140735933514224 140622266096472 140622303697836 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=1232/tid=1239] ppid=1230 vsize=9558440 CPUtime=0.62 cores=1,3,5,7
/proc/1232/task/1239/stat : 1239 (java) R 1230 1232 32222 0 -1 4202560 653 0 0 0 53 9 0 0 20 0 18 0 290712058 9787842560 390415 33554432000 1073741824 1073778376 140735933514224 140622265043376 140622299272905 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1232/tid=1240] ppid=1230 vsize=9558440 CPUtime=0.47 cores=1,3,5,7
/proc/1232/task/1240/stat : 1240 (java) D 1230 1232 32222 0 -1 4202560 612 0 0 0 42 5 0 0 20 0 18 0 290712058 9787842560 390415 33554432000 1073741824 1073778376 140735933514224 140622263990456 209097450471 0 4 0 16800975 18446744071581355491 0 0 -1 5 0 0 0 0 0
[pid=1232/tid=1241] ppid=1230 vsize=9558440 CPUtime=0.6 cores=1,3,5,7
/proc/1232/task/1241/stat : 1241 (java) R 1230 1232 32222 0 -1 4202560 282 0 0 0 53 7 0 0 20 0 18 0 290712058 9787842560 390415 33554432000 1073741824 1073778376 140735933514224 140622134028760 140622303697917 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1232/tid=1242] ppid=1230 vsize=9558440 CPUtime=0.57 cores=1,3,5,7
/proc/1232/task/1242/stat : 1242 (java) R 1230 1232 32222 0 -1 4202560 763 0 0 0 49 8 0 0 20 0 18 0 290712058 9787842560 390415 33554432000 1073741824 1073778376 140735933514224 140622132975960 140622303700050 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1243] ppid=1230 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1243/stat : 1243 (java) S 1230 1232 32222 0 -1 4202560 1037 0 0 0 0 0 0 0 20 0 18 0 290712059 9787842560 390415 33554432000 1073741824 1073778376 140735933514224 140621650028424 209100780604 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1232/tid=1244] ppid=1230 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1244/stat : 1244 (java) S 1230 1232 32222 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 290712060 9787842560 390415 33554432000 1073741824 1073778376 140735933514224 140621648975608 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1245] ppid=1230 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1245/stat : 1245 (java) S 1230 1232 32222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 290712060 9787842560 390415 33554432000 1073741824 1073778376 140735933514224 140621647922696 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1246] ppid=1230 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1246/stat : 1246 (java) S 1230 1232 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 290712062 9787842560 390415 33554432000 1073741824 1073778376 140735933514224 140621646871184 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1247] ppid=1230 vsize=9558440 CPUtime=0.38 cores=1,3,5,7
/proc/1232/task/1247/stat : 1247 (java) S 1230 1232 32222 0 -1 4202560 3598 0 0 0 38 0 0 0 20 0 18 0 290712062 9787842560 390415 33554432000 1073741824 1073778376 140735933514224 140621645818296 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1248] ppid=1230 vsize=9558440 CPUtime=0.35 cores=1,3,5,7
/proc/1232/task/1248/stat : 1248 (java) S 1230 1232 32222 0 -1 4202560 4271 0 0 0 35 0 0 0 20 0 18 0 290712062 9787842560 390415 33554432000 1073741824 1073778376 140735933514224 140621644765496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1232/tid=1249] ppid=1230 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1249/stat : 1249 (java) S 1230 1232 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 290712063 9787842560 390415 33554432000 1073741824 1073778376 140735933514224 140621643712888 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1232/tid=1250] ppid=1230 vsize=9558440 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1250/stat : 1250 (java) S 1230 1232 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 290712063 9787842560 390415 33554432000 1073741824 1073778376 140735933514224 140621642660296 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 10.68
Current children cumulated vsize (KiB) 9558440
[startup+12.7008 s]
/proc/loadavg: 1.93 1.98 1.99 10/212 1309
/proc/meminfo: memFree=28116632/32873844 swapFree=6872/6872
[pid=1232] ppid=1230 vsize=9558440 CPUtime=20.62 cores=1,3,5,7
/proc/1232/stat : 1232 (java) S 1230 1232 32222 0 -1 4202496 24138 0 1 0 1927 135 0 0 20 0 18 0 290712056 9787842560 694726 33554432000 1073741824 1073778376 140735933514224 140735933505360 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1232/statm: 2389610 694726 2280 9 0 2380296 0
[pid=1232/tid=1234] ppid=1230 vsize=9558440 CPUtime=8.93 cores=1,3,5,7
################
# More data... #
################
[pid=1232/tid=1247] ppid=1230 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/1232/task/1247/stat : 1247 (java) S 1230 1232 32222 0 -1 4202560 4353 0 0 0 85 0 0 0 20 0 19 0 290712062 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140621645818296 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1248] ppid=1230 vsize=9625004 CPUtime=0.7 cores=1,3,5,7
/proc/1232/task/1248/stat : 1248 (java) S 1230 1232 32222 0 -1 4202560 4290 0 0 0 70 0 0 0 20 0 19 0 290712062 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140621644765496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1232/tid=1249] ppid=1230 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1249/stat : 1249 (java) S 1230 1232 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290712063 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140621643712888 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1232/tid=1250] ppid=1230 vsize=9625004 CPUtime=0.99 cores=1,3,5,7
/proc/1232/task/1250/stat : 1250 (java) S 1230 1232 32222 0 -1 4202560 99 0 0 0 54 45 0 0 20 0 19 0 290712063 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140621642660296 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1232/tid=1310] ppid=1230 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1310/stat : 1310 (java) S 1230 1232 32222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290715249 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140621641606824 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1737.72
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 1327
/proc/meminfo: memFree=26952360/32873844 swapFree=6872/6872
[pid=1232] ppid=1230 vsize=9625004 CPUtime=1797.71 cores=1,3,5,7
/proc/1232/stat : 1232 (java) S 1230 1232 32222 0 -1 4202496 40870 0 1 0 179489 282 0 0 20 0 19 0 290712056 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140735933505360 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1232/statm: 2406251 951315 2291 9 0 2396937 0
[pid=1232/tid=1234] ppid=1230 vsize=9625004 CPUtime=1765.35 cores=1,3,5,7
/proc/1232/task/1234/stat : 1234 (java) R 1230 1232 32222 0 -1 4202560 4058 0 1 0 176467 68 0 0 20 0 19 0 290712057 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140622296801864 140622146049165 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1235] ppid=1230 vsize=9625004 CPUtime=2.41 cores=1,3,5,7
/proc/1232/task/1235/stat : 1235 (java) S 1230 1232 32222 0 -1 4202560 4280 0 0 0 216 25 0 0 20 0 19 0 290712058 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140622269254696 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1232/tid=1236] ppid=1230 vsize=9625004 CPUtime=2.33 cores=1,3,5,7
/proc/1232/task/1236/stat : 1236 (java) S 1230 1232 32222 0 -1 4202560 3762 0 0 0 208 25 0 0 20 0 19 0 290712058 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140622268201896 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1232/tid=1237] ppid=1230 vsize=9625004 CPUtime=2.17 cores=1,3,5,7
/proc/1232/task/1237/stat : 1237 (java) S 1230 1232 32222 0 -1 4202560 3261 0 0 0 193 24 0 0 20 0 19 0 290712058 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140622267149096 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1232/tid=1238] ppid=1230 vsize=9625004 CPUtime=2.15 cores=1,3,5,7
/proc/1232/task/1238/stat : 1238 (java) S 1230 1232 32222 0 -1 4202560 3009 0 0 0 192 23 0 0 20 0 19 0 290712058 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140622266096296 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1239] ppid=1230 vsize=9625004 CPUtime=2.19 cores=1,3,5,7
/proc/1232/task/1239/stat : 1239 (java) S 1230 1232 32222 0 -1 4202560 3481 0 0 0 195 24 0 0 20 0 19 0 290712058 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140622265043496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1240] ppid=1230 vsize=9625004 CPUtime=2.15 cores=1,3,5,7
/proc/1232/task/1240/stat : 1240 (java) S 1230 1232 32222 0 -1 4202560 1993 0 0 0 197 18 0 0 20 0 19 0 290712058 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140622263990696 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1241] ppid=1230 vsize=9625004 CPUtime=2.34 cores=1,3,5,7
/proc/1232/task/1241/stat : 1241 (java) S 1230 1232 32222 0 -1 4202560 1521 0 0 0 209 25 0 0 20 0 19 0 290712058 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140622134028584 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1232/tid=1242] ppid=1230 vsize=9625004 CPUtime=2.18 cores=1,3,5,7
/proc/1232/task/1242/stat : 1242 (java) S 1230 1232 32222 0 -1 4202560 2993 0 0 0 196 22 0 0 20 0 19 0 290712058 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140622132975784 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1232/tid=1243] ppid=1230 vsize=9625004 CPUtime=7.62 cores=1,3,5,7
/proc/1232/task/1243/stat : 1243 (java) S 1230 1232 32222 0 -1 4202560 2584 0 0 0 753 9 0 0 20 0 19 0 290712059 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140621650029544 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1244] ppid=1230 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1244/stat : 1244 (java) S 1230 1232 32222 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290712060 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140621648975608 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1245] ppid=1230 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1245/stat : 1245 (java) S 1230 1232 32222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290712060 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140621647922696 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1246] ppid=1230 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1246/stat : 1246 (java) S 1230 1232 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290712062 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140621646871184 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1247] ppid=1230 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/1232/task/1247/stat : 1247 (java) S 1230 1232 32222 0 -1 4202560 4353 0 0 0 85 0 0 0 20 0 19 0 290712062 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140621645818296 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1248] ppid=1230 vsize=9625004 CPUtime=0.7 cores=1,3,5,7
/proc/1232/task/1248/stat : 1248 (java) S 1230 1232 32222 0 -1 4202560 4290 0 0 0 70 0 0 0 20 0 19 0 290712062 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140621644765496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1232/tid=1249] ppid=1230 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1249/stat : 1249 (java) S 1230 1232 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290712063 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140621643712888 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1232/tid=1250] ppid=1230 vsize=9625004 CPUtime=1.03 cores=1,3,5,7
/proc/1232/task/1250/stat : 1250 (java) S 1230 1232 32222 0 -1 4202560 103 0 0 0 56 47 0 0 20 0 19 0 290712063 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140621642660296 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1232/tid=1310] ppid=1230 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1310/stat : 1310 (java) S 1230 1232 32222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290715249 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140621641606824 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.71
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1784.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 1327
/proc/meminfo: memFree=26952360/32873844 swapFree=6872/6872
[pid=1232] ppid=1230 vsize=9625004 CPUtime=1800.01 cores=1,3,5,7
/proc/1232/stat : 1232 (java) S 1230 1232 32222 0 -1 4202496 40870 0 1 0 179719 282 0 0 20 0 19 0 290712056 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140735933505360 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1232/statm: 2406251 951315 2291 9 0 2396937 0
[pid=1232/tid=1234] ppid=1230 vsize=9625004 CPUtime=1767.65 cores=1,3,5,7
/proc/1232/task/1234/stat : 1234 (java) R 1230 1232 32222 0 -1 4202560 4058 0 1 0 176697 68 0 0 20 0 19 0 290712057 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140622296801864 140622145853075 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1235] ppid=1230 vsize=9625004 CPUtime=2.41 cores=1,3,5,7
/proc/1232/task/1235/stat : 1235 (java) S 1230 1232 32222 0 -1 4202560 4280 0 0 0 216 25 0 0 20 0 19 0 290712058 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140622269254696 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1232/tid=1236] ppid=1230 vsize=9625004 CPUtime=2.33 cores=1,3,5,7
/proc/1232/task/1236/stat : 1236 (java) S 1230 1232 32222 0 -1 4202560 3762 0 0 0 208 25 0 0 20 0 19 0 290712058 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140622268201896 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1232/tid=1237] ppid=1230 vsize=9625004 CPUtime=2.17 cores=1,3,5,7
/proc/1232/task/1237/stat : 1237 (java) S 1230 1232 32222 0 -1 4202560 3261 0 0 0 193 24 0 0 20 0 19 0 290712058 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140622267149096 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1232/tid=1238] ppid=1230 vsize=9625004 CPUtime=2.15 cores=1,3,5,7
/proc/1232/task/1238/stat : 1238 (java) S 1230 1232 32222 0 -1 4202560 3009 0 0 0 192 23 0 0 20 0 19 0 290712058 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140622266096296 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1239] ppid=1230 vsize=9625004 CPUtime=2.19 cores=1,3,5,7
/proc/1232/task/1239/stat : 1239 (java) S 1230 1232 32222 0 -1 4202560 3481 0 0 0 195 24 0 0 20 0 19 0 290712058 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140622265043496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1240] ppid=1230 vsize=9625004 CPUtime=2.15 cores=1,3,5,7
/proc/1232/task/1240/stat : 1240 (java) S 1230 1232 32222 0 -1 4202560 1993 0 0 0 197 18 0 0 20 0 19 0 290712058 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140622263990696 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1241] ppid=1230 vsize=9625004 CPUtime=2.34 cores=1,3,5,7
/proc/1232/task/1241/stat : 1241 (java) S 1230 1232 32222 0 -1 4202560 1521 0 0 0 209 25 0 0 20 0 19 0 290712058 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140622134028584 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1232/tid=1242] ppid=1230 vsize=9625004 CPUtime=2.18 cores=1,3,5,7
/proc/1232/task/1242/stat : 1242 (java) S 1230 1232 32222 0 -1 4202560 2993 0 0 0 196 22 0 0 20 0 19 0 290712058 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140622132975784 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1232/tid=1243] ppid=1230 vsize=9625004 CPUtime=7.62 cores=1,3,5,7
/proc/1232/task/1243/stat : 1243 (java) S 1230 1232 32222 0 -1 4202560 2584 0 0 0 753 9 0 0 20 0 19 0 290712059 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140621650029544 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1244] ppid=1230 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1244/stat : 1244 (java) S 1230 1232 32222 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290712060 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140621648975608 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1245] ppid=1230 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1245/stat : 1245 (java) S 1230 1232 32222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290712060 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140621647922696 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1246] ppid=1230 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1246/stat : 1246 (java) S 1230 1232 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290712062 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140621646871184 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1247] ppid=1230 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/1232/task/1247/stat : 1247 (java) S 1230 1232 32222 0 -1 4202560 4353 0 0 0 85 0 0 0 20 0 19 0 290712062 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140621645818296 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1248] ppid=1230 vsize=9625004 CPUtime=0.7 cores=1,3,5,7
/proc/1232/task/1248/stat : 1248 (java) S 1230 1232 32222 0 -1 4202560 4290 0 0 0 70 0 0 0 20 0 19 0 290712062 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140621644765496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1232/tid=1249] ppid=1230 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1249/stat : 1249 (java) S 1230 1232 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290712063 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140621643712888 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1232/tid=1250] ppid=1230 vsize=9625004 CPUtime=1.03 cores=1,3,5,7
/proc/1232/task/1250/stat : 1250 (java) S 1230 1232 32222 0 -1 4202560 103 0 0 0 56 47 0 0 20 0 19 0 290712063 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140621642660296 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1232/tid=1310] ppid=1230 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1310/stat : 1310 (java) S 1230 1232 32222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290715249 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140621641606824 209100781481 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+1784.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 1327
/proc/meminfo: memFree=26952360/32873844 swapFree=6872/6872
[pid=1232] ppid=1230 vsize=9625004 CPUtime=1800.01 cores=1,3,5,7
/proc/1232/stat : 1232 (java) S 1230 1232 32222 0 -1 4202496 40870 0 1 0 179719 282 0 0 20 0 19 0 290712056 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140735933505360 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1232/statm: 2406251 951315 2291 9 0 2396937 0
[pid=1232/tid=1234] ppid=1230 vsize=9625004 CPUtime=1767.65 cores=1,3,5,7
/proc/1232/task/1234/stat : 1234 (java) R 1230 1232 32222 0 -1 4202560 4058 0 1 0 176697 68 0 0 20 0 19 0 290712057 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140622296801864 140622145853075 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1235] ppid=1230 vsize=9625004 CPUtime=2.41 cores=1,3,5,7
/proc/1232/task/1235/stat : 1235 (java) S 1230 1232 32222 0 -1 4202560 4280 0 0 0 216 25 0 0 20 0 19 0 290712058 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140622269254696 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1232/tid=1236] ppid=1230 vsize=9625004 CPUtime=2.33 cores=1,3,5,7
/proc/1232/task/1236/stat : 1236 (java) S 1230 1232 32222 0 -1 4202560 3762 0 0 0 208 25 0 0 20 0 19 0 290712058 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140622268201896 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1232/tid=1237] ppid=1230 vsize=9625004 CPUtime=2.17 cores=1,3,5,7
/proc/1232/task/1237/stat : 1237 (java) S 1230 1232 32222 0 -1 4202560 3261 0 0 0 193 24 0 0 20 0 19 0 290712058 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140622267149096 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1232/tid=1238] ppid=1230 vsize=9625004 CPUtime=2.15 cores=1,3,5,7
/proc/1232/task/1238/stat : 1238 (java) S 1230 1232 32222 0 -1 4202560 3009 0 0 0 192 23 0 0 20 0 19 0 290712058 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140622266096296 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1239] ppid=1230 vsize=9625004 CPUtime=2.19 cores=1,3,5,7
/proc/1232/task/1239/stat : 1239 (java) S 1230 1232 32222 0 -1 4202560 3481 0 0 0 195 24 0 0 20 0 19 0 290712058 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140622265043496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1240] ppid=1230 vsize=9625004 CPUtime=2.15 cores=1,3,5,7
/proc/1232/task/1240/stat : 1240 (java) S 1230 1232 32222 0 -1 4202560 1993 0 0 0 197 18 0 0 20 0 19 0 290712058 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140622263990696 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1241] ppid=1230 vsize=9625004 CPUtime=2.34 cores=1,3,5,7
/proc/1232/task/1241/stat : 1241 (java) S 1230 1232 32222 0 -1 4202560 1521 0 0 0 209 25 0 0 20 0 19 0 290712058 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140622134028584 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1232/tid=1242] ppid=1230 vsize=9625004 CPUtime=2.18 cores=1,3,5,7
/proc/1232/task/1242/stat : 1242 (java) S 1230 1232 32222 0 -1 4202560 2993 0 0 0 196 22 0 0 20 0 19 0 290712058 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140622132975784 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1232/tid=1243] ppid=1230 vsize=9625004 CPUtime=7.62 cores=1,3,5,7
/proc/1232/task/1243/stat : 1243 (java) S 1230 1232 32222 0 -1 4202560 2584 0 0 0 753 9 0 0 20 0 19 0 290712059 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140621650029544 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1244] ppid=1230 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1244/stat : 1244 (java) S 1230 1232 32222 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290712060 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140621648975608 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1245] ppid=1230 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1245/stat : 1245 (java) S 1230 1232 32222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290712060 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140621647922696 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1246] ppid=1230 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1246/stat : 1246 (java) S 1230 1232 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290712062 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140621646871184 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1247] ppid=1230 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/1232/task/1247/stat : 1247 (java) S 1230 1232 32222 0 -1 4202560 4353 0 0 0 85 0 0 0 20 0 19 0 290712062 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140621645818296 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1232/tid=1248] ppid=1230 vsize=9625004 CPUtime=0.7 cores=1,3,5,7
/proc/1232/task/1248/stat : 1248 (java) S 1230 1232 32222 0 -1 4202560 4290 0 0 0 70 0 0 0 20 0 19 0 290712062 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140621644765496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1232/tid=1249] ppid=1230 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1249/stat : 1249 (java) S 1230 1232 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290712063 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140621643712888 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1232/tid=1250] ppid=1230 vsize=9625004 CPUtime=1.03 cores=1,3,5,7
/proc/1232/task/1250/stat : 1250 (java) S 1230 1232 32222 0 -1 4202560 103 0 0 0 56 47 0 0 20 0 19 0 290712063 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140621642660296 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1232/tid=1310] ppid=1230 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1232/task/1310/stat : 1310 (java) S 1230 1232 32222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290715249 9856004096 951315 33554432000 1073741824 1073778376 140735933514224 140621641606824 209100781481 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 1232 and gives
# childrusage.ru_utime.tv_sec=1792
# childrusage.ru_utime.tv_usec=799453
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=240507
# CPU time returned by wait4() is 1796.04
# 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): 1784.64
CPU time (s): 1800.01
CPU user time (s): 1797.19
CPU system time (s): 2.82
CPU usage (%): 100.861
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.8
system time used= 3.24051
maximum resident set size= 3805396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40906
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42372
involuntary context switches= 17391
runsolver used 6.37903 second user time and 16.1535 second system time
The end