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-3733396-1338696087/watcher-3733396-1338696087 -o /tmp/evaluation-result-3733396-1338696087/solver-3733396-1338696087 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3733396-1338696087.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/195 30420
/proc/meminfo: memFree=28407340/32873844 swapFree=7372/7372
[pid=30420] ppid=30418 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/30420/stat : 30420 (java) R 30418 30420 28047 0 -1 4202496 1097 0 0 0 0 0 0 0 20 0 1 0 335737322 23793664 825 33554432000 1073741824 1073778376 140735178826352 140735178815416 140409871991248 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30420/statm: 5809 841 633 9 0 128 0
[startup+0.0853499 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 30420
/proc/meminfo: memFree=28407340/32873844 swapFree=7372/7372
[pid=30420] ppid=30418 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/30420/stat : 30420 (java) S 30418 30420 28047 0 -1 4202496 4194 0 1 0 6 1 0 0 20 0 18 0 335737322 3028844544 5401 33554432000 1073741824 1073778376 140735178826352 140735178817488 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30420/statm: 739464 5401 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856
[startup+0.100269 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 30420
/proc/meminfo: memFree=28407340/32873844 swapFree=7372/7372
[pid=30420] ppid=30418 vsize=2957856 CPUtime=0.1 cores=1,3,5,7
/proc/30420/stat : 30420 (java) S 30418 30420 28047 0 -1 4202496 4969 0 1 0 9 1 0 0 20 0 18 0 335737322 3028844544 6166 33554432000 1073741824 1073778376 140735178826352 140735178817488 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30420/statm: 739464 6166 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856
[startup+0.300182 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 30420
/proc/meminfo: memFree=28407340/32873844 swapFree=7372/7372
[pid=30420] ppid=30418 vsize=2957856 CPUtime=0.48 cores=1,3,5,7
/proc/30420/stat : 30420 (java) S 30418 30420 28047 0 -1 4202496 6416 0 1 0 46 2 0 0 20 0 18 0 335737322 3028844544 12210 33554432000 1073741824 1073778376 140735178826352 140735178817488 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30420/statm: 739464 12210 2233 9 0 729885 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 2957856
[startup+0.700215 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 30420
/proc/meminfo: memFree=28407340/32873844 swapFree=7372/7372
[pid=30420] ppid=30418 vsize=2957856 CPUtime=1.3 cores=1,3,5,7
/proc/30420/stat : 30420 (java) S 30418 30420 28047 0 -1 4202496 12920 0 1 0 125 5 0 0 20 0 18 0 335737322 3028844544 45406 33554432000 1073741824 1073778376 140735178826352 140735178817488 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30420/statm: 739464 45406 2265 9 0 729885 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 2957856
[startup+1.50089 s]
/proc/loadavg: 2.00 2.00 2.00 4/214 30439
/proc/meminfo: memFree=28213496/32873844 swapFree=7372/7372
[pid=30420] ppid=30418 vsize=3024420 CPUtime=2.54 cores=1,3,5,7
/proc/30420/stat : 30420 (java) S 30418 30420 28047 0 -1 4202496 13699 0 1 0 247 7 0 0 20 0 19 0 335737322 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140735178817488 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30420/statm: 756105 61908 2274 9 0 746526 0
[pid=30420/tid=30421] ppid=30418 vsize=3024420 CPUtime=1.47 cores=1,3,5,7
/proc/30420/task/30421/stat : 30421 (java) R 30418 30420 28047 0 -1 4202560 3181 0 1 0 143 4 0 0 20 0 19 0 335737322 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409868178056 140409740824118 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30420/tid=30423] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30423/stat : 30423 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737323 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409734208040 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30424] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30424/stat : 30424 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737323 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409733155240 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30425] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30425/stat : 30425 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737323 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409732102440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30426] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30426/stat : 30426 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737323 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409731049640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30420/tid=30427] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30427/stat : 30427 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737323 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409729997864 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30420/tid=30428] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30428/stat : 30428 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737323 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409393114024 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30420/tid=30429] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30429/stat : 30429 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737323 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409392061224 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30420/tid=30430] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30430/stat : 30430 (java) S 30418 30420 28047 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335737323 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409391008424 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30431] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30431/stat : 30431 (java) S 30418 30420 28047 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 335737324 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409378810344 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30432] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30432/stat : 30432 (java) S 30418 30420 28047 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335737325 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409377756408 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30433] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30433/stat : 30433 (java) S 30418 30420 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335737325 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409376703496 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30434] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30434/stat : 30434 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737327 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409375651984 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30435] ppid=30418 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/30420/task/30435/stat : 30435 (java) S 30418 30420 28047 0 -1 4202560 4843 0 0 0 52 0 0 0 20 0 19 0 335737327 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409374600120 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30436] ppid=30418 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/30420/task/30436/stat : 30436 (java) S 30418 30420 28047 0 -1 4202560 4480 0 0 0 48 2 0 0 20 0 19 0 335737327 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409373547320 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30437] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30437/stat : 30437 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737327 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409372494712 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30438] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30438/stat : 30438 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737328 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409371442120 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30439] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30439/stat : 30439 (java) S 30418 30420 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335737405 3097006080 61908 33554432000 1073741824 1073778376 140735178826352 140409369240744 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 3024420
[startup+3.10087 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 30439
/proc/meminfo: memFree=28063124/32873844 swapFree=7372/7372
[pid=30420] ppid=30418 vsize=3024420 CPUtime=4.28 cores=1,3,5,7
/proc/30420/stat : 30420 (java) S 30418 30420 28047 0 -1 4202496 13888 0 1 0 412 16 0 0 20 0 19 0 335737322 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140735178817488 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30420/statm: 756105 121327 2288 9 0 746526 0
[pid=30420/tid=30421] ppid=30418 vsize=3024420 CPUtime=3.02 cores=1,3,5,7
/proc/30420/task/30421/stat : 30421 (java) R 30418 30420 28047 0 -1 4202560 3288 0 1 0 293 9 0 0 20 0 19 0 335737322 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409868176776 140409740823771 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30420/tid=30423] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30423/stat : 30423 (java) S 30418 30420 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335737323 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409734208040 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30424] ppid=30418 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/30420/task/30424/stat : 30424 (java) S 30418 30420 28047 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 335737323 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409733155240 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30425] ppid=30418 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/30420/task/30425/stat : 30425 (java) S 30418 30420 28047 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 335737323 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409732102440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30426] ppid=30418 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/30420/task/30426/stat : 30426 (java) S 30418 30420 28047 0 -1 4202560 21 0 0 0 2 1 0 0 20 0 19 0 335737323 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409731049640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30427] ppid=30418 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/30420/task/30427/stat : 30427 (java) S 30418 30420 28047 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 335737323 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409729997864 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30428] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30428/stat : 30428 (java) S 30418 30420 28047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 335737323 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409393114024 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30429] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30429/stat : 30429 (java) S 30418 30420 28047 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 335737323 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409392061224 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30430] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30430/stat : 30430 (java) S 30418 30420 28047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335737323 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409391008424 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30431] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30431/stat : 30431 (java) S 30418 30420 28047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 335737324 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409378810344 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30432] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30432/stat : 30432 (java) S 30418 30420 28047 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335737325 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409377756408 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30433] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30433/stat : 30433 (java) S 30418 30420 28047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335737325 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409376703496 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30434] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30434/stat : 30434 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737327 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409375651984 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30435] ppid=30418 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/30420/task/30435/stat : 30435 (java) S 30418 30420 28047 0 -1 4202560 4843 0 0 0 52 0 0 0 20 0 19 0 335737327 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409374600120 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30436] ppid=30418 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/30420/task/30436/stat : 30436 (java) S 30418 30420 28047 0 -1 4202560 4481 0 0 0 50 2 0 0 20 0 19 0 335737327 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409373547320 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30437] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30437/stat : 30437 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737327 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409372494712 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30438] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30438/stat : 30438 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737328 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409371442120 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30439] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30439/stat : 30439 (java) S 30418 30420 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335737405 3097006080 121327 33554432000 1073741824 1073778376 140735178826352 140409369240744 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 3024420
[startup+6.30086 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 30439
/proc/meminfo: memFree=27886252/32873844 swapFree=7372/7372
[pid=30420] ppid=30418 vsize=3024420 CPUtime=7.68 cores=1,3,5,7
/proc/30420/stat : 30420 (java) S 30418 30420 28047 0 -1 4202496 13989 0 1 0 745 23 0 0 20 0 19 0 335737322 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140735178817488 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30420/statm: 756105 131938 2288 9 0 746526 0
[pid=30420/tid=30421] ppid=30418 vsize=3024420 CPUtime=6.17 cores=1,3,5,7
/proc/30420/task/30421/stat : 30421 (java) R 30418 30420 28047 0 -1 4202560 3291 0 1 0 608 9 0 0 20 0 19 0 335737322 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409868176624 140409740799116 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30420/tid=30423] ppid=30418 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/30420/task/30423/stat : 30423 (java) S 30418 30420 28047 0 -1 4202560 19 0 0 0 0 2 0 0 20 0 19 0 335737323 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409734208040 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30424] ppid=30418 vsize=3024420 CPUtime=0.05 cores=1,3,5,7
/proc/30420/task/30424/stat : 30424 (java) S 30418 30420 28047 0 -1 4202560 30 0 0 0 2 3 0 0 20 0 19 0 335737323 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409733155240 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30425] ppid=30418 vsize=3024420 CPUtime=0.05 cores=1,3,5,7
/proc/30420/task/30425/stat : 30425 (java) S 30418 30420 28047 0 -1 4202560 32 0 0 0 3 2 0 0 20 0 19 0 335737323 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409732102440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30420/tid=30426] ppid=30418 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/30420/task/30426/stat : 30426 (java) S 30418 30420 28047 0 -1 4202560 25 0 0 0 2 2 0 0 20 0 19 0 335737323 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409731049640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30427] ppid=30418 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/30420/task/30427/stat : 30427 (java) S 30418 30420 28047 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 335737323 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409729997864 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30428] ppid=30418 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/30420/task/30428/stat : 30428 (java) S 30418 30420 28047 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 335737323 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409393114024 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30429] ppid=30418 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/30420/task/30429/stat : 30429 (java) S 30418 30420 28047 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 335737323 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409392061224 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30430] ppid=30418 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/30420/task/30430/stat : 30430 (java) S 30418 30420 28047 0 -1 4202560 26 0 0 0 1 2 0 0 20 0 19 0 335737323 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409391008424 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30420/tid=30431] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30431/stat : 30431 (java) S 30418 30420 28047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 335737324 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409378810344 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30432] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30432/stat : 30432 (java) S 30418 30420 28047 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335737325 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409377756408 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30433] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30433/stat : 30433 (java) S 30418 30420 28047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335737325 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409376703496 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30434] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30434/stat : 30434 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737327 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409375651984 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30435] ppid=30418 vsize=3024420 CPUtime=0.56 cores=1,3,5,7
/proc/30420/task/30435/stat : 30435 (java) S 30418 30420 28047 0 -1 4202560 4848 0 0 0 56 0 0 0 20 0 19 0 335737327 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409374600120 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30436] ppid=30418 vsize=3024420 CPUtime=0.56 cores=1,3,5,7
/proc/30420/task/30436/stat : 30436 (java) S 30418 30420 28047 0 -1 4202560 4485 0 0 0 54 2 0 0 20 0 19 0 335737327 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409373547320 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30437] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30437/stat : 30437 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737327 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409372494712 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30438] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30438/stat : 30438 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737328 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409371442120 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30439] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30439/stat : 30439 (java) S 30418 30420 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335737405 3097006080 131938 33554432000 1073741824 1073778376 140735178826352 140409369240744 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.68
Current children cumulated vsize (KiB) 3024420
[startup+12.7009 s]
################
# More data... #
################
[pid=30420/tid=30435] ppid=30418 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/30420/task/30435/stat : 30435 (java) S 30418 30420 28047 0 -1 4202560 4859 0 0 0 62 0 0 0 20 0 19 0 335737327 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409374600120 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30436] ppid=30418 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/30420/task/30436/stat : 30436 (java) S 30418 30420 28047 0 -1 4202560 4496 0 0 0 59 2 0 0 20 0 19 0 335737327 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409373547320 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30437] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30437/stat : 30437 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737327 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409372494712 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30438] ppid=30418 vsize=3024420 CPUtime=0.8 cores=1,3,5,7
/proc/30420/task/30438/stat : 30438 (java) S 30418 30420 28047 0 -1 4202560 95 0 0 0 45 35 0 0 20 0 19 0 335737328 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409371442120 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30439] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30439/stat : 30439 (java) S 30418 30420 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335737405 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409369240744 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1677.86
Current children cumulated vsize (KiB) 3024420
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 30512
/proc/meminfo: memFree=26935112/32873844 swapFree=7372/7372
[pid=30420] ppid=30418 vsize=3024420 CPUtime=1738.1 cores=1,3,5,7
/proc/30420/stat : 30420 (java) S 30418 30420 28047 0 -1 4202496 19495 0 1 0 173575 235 0 0 20 0 19 0 335737322 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140735178817488 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30420/statm: 756105 423755 2300 9 0 746526 0
[pid=30420/tid=30421] ppid=30418 vsize=3024420 CPUtime=1710.08 cores=1,3,5,7
/proc/30420/task/30421/stat : 30421 (java) R 30418 30420 28047 0 -1 4202560 3461 0 1 0 170972 36 0 0 20 0 19 0 335737322 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409868176592 140409740506022 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30420/tid=30423] ppid=30418 vsize=3024420 CPUtime=2.61 cores=1,3,5,7
/proc/30420/task/30423/stat : 30423 (java) S 30418 30420 28047 0 -1 4202560 565 0 0 0 235 26 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409734208040 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30424] ppid=30418 vsize=3024420 CPUtime=2.43 cores=1,3,5,7
/proc/30420/task/30424/stat : 30424 (java) S 30418 30420 28047 0 -1 4202560 403 0 0 0 219 24 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409733155240 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30425] ppid=30418 vsize=3024420 CPUtime=2.41 cores=1,3,5,7
/proc/30420/task/30425/stat : 30425 (java) S 30418 30420 28047 0 -1 4202560 537 0 0 0 218 23 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409732102440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30426] ppid=30418 vsize=3024420 CPUtime=2.13 cores=1,3,5,7
/proc/30420/task/30426/stat : 30426 (java) S 30418 30420 28047 0 -1 4202560 394 0 0 0 193 20 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409731049640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30427] ppid=30418 vsize=3024420 CPUtime=2.47 cores=1,3,5,7
/proc/30420/task/30427/stat : 30427 (java) S 30418 30420 28047 0 -1 4202560 544 0 0 0 224 23 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409729997864 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30428] ppid=30418 vsize=3024420 CPUtime=2.38 cores=1,3,5,7
/proc/30420/task/30428/stat : 30428 (java) S 30418 30420 28047 0 -1 4202560 528 0 0 0 218 20 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409393114024 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30429] ppid=30418 vsize=3024420 CPUtime=2.42 cores=1,3,5,7
/proc/30420/task/30429/stat : 30429 (java) S 30418 30420 28047 0 -1 4202560 425 0 0 0 218 24 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409392061224 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30430] ppid=30418 vsize=3024420 CPUtime=2.5 cores=1,3,5,7
/proc/30420/task/30430/stat : 30430 (java) S 30418 30420 28047 0 -1 4202560 481 0 0 0 228 22 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409391008424 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30431] ppid=30418 vsize=3024420 CPUtime=2.22 cores=1,3,5,7
/proc/30420/task/30431/stat : 30431 (java) S 30418 30420 28047 0 -1 4202560 1521 0 0 0 219 3 0 0 20 0 19 0 335737324 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409378810344 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30420/tid=30432] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30432/stat : 30432 (java) S 30418 30420 28047 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335737325 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409377756408 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30433] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30433/stat : 30433 (java) S 30418 30420 28047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335737325 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409376703496 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30434] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30434/stat : 30434 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737327 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409375651984 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30435] ppid=30418 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/30420/task/30435/stat : 30435 (java) S 30418 30420 28047 0 -1 4202560 4859 0 0 0 62 0 0 0 20 0 19 0 335737327 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409374600120 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30436] ppid=30418 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/30420/task/30436/stat : 30436 (java) S 30418 30420 28047 0 -1 4202560 4496 0 0 0 59 2 0 0 20 0 19 0 335737327 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409373547320 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30437] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30437/stat : 30437 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737327 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409372494712 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30438] ppid=30418 vsize=3024420 CPUtime=0.83 cores=1,3,5,7
/proc/30420/task/30438/stat : 30438 (java) S 30418 30420 28047 0 -1 4202560 99 0 0 0 47 36 0 0 20 0 19 0 335737328 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409371442120 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30439] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30439/stat : 30439 (java) S 30418 30420 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335737405 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409369240744 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1738.1
Current children cumulated vsize (KiB) 3024420
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/213 30513
/proc/meminfo: memFree=26935268/32873844 swapFree=7372/7372
[pid=30420] ppid=30418 vsize=3024420 CPUtime=1798.38 cores=1,3,5,7
/proc/30420/stat : 30420 (java) S 30418 30420 28047 0 -1 4202496 19503 0 1 0 179602 236 0 0 20 0 19 0 335737322 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140735178817488 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30420/statm: 756105 423755 2300 9 0 746526 0
[pid=30420/tid=30421] ppid=30418 vsize=3024420 CPUtime=1769.83 cores=1,3,5,7
/proc/30420/task/30421/stat : 30421 (java) R 30418 30420 28047 0 -1 4202560 3463 0 1 0 176946 37 0 0 20 0 19 0 335737322 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409868176624 140409740897827 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30420/tid=30423] ppid=30418 vsize=3024420 CPUtime=2.66 cores=1,3,5,7
/proc/30420/task/30423/stat : 30423 (java) S 30418 30420 28047 0 -1 4202560 565 0 0 0 240 26 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409734208040 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30424] ppid=30418 vsize=3024420 CPUtime=2.46 cores=1,3,5,7
/proc/30420/task/30424/stat : 30424 (java) S 30418 30420 28047 0 -1 4202560 403 0 0 0 222 24 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409733155240 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30425] ppid=30418 vsize=3024420 CPUtime=2.45 cores=1,3,5,7
/proc/30420/task/30425/stat : 30425 (java) S 30418 30420 28047 0 -1 4202560 537 0 0 0 222 23 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409732102440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30426] ppid=30418 vsize=3024420 CPUtime=2.17 cores=1,3,5,7
/proc/30420/task/30426/stat : 30426 (java) S 30418 30420 28047 0 -1 4202560 394 0 0 0 197 20 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409731049640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30427] ppid=30418 vsize=3024420 CPUtime=2.53 cores=1,3,5,7
/proc/30420/task/30427/stat : 30427 (java) S 30418 30420 28047 0 -1 4202560 544 0 0 0 230 23 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409729997864 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30428] ppid=30418 vsize=3024420 CPUtime=2.43 cores=1,3,5,7
/proc/30420/task/30428/stat : 30428 (java) S 30418 30420 28047 0 -1 4202560 528 0 0 0 223 20 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409393114024 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30429] ppid=30418 vsize=3024420 CPUtime=2.46 cores=1,3,5,7
/proc/30420/task/30429/stat : 30429 (java) S 30418 30420 28047 0 -1 4202560 425 0 0 0 222 24 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409392061224 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30430] ppid=30418 vsize=3024420 CPUtime=2.53 cores=1,3,5,7
/proc/30420/task/30430/stat : 30430 (java) S 30418 30420 28047 0 -1 4202560 481 0 0 0 231 22 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409391008424 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30431] ppid=30418 vsize=3024420 CPUtime=2.23 cores=1,3,5,7
/proc/30420/task/30431/stat : 30431 (java) S 30418 30420 28047 0 -1 4202560 1523 0 0 0 220 3 0 0 20 0 19 0 335737324 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409378810344 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30420/tid=30432] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30432/stat : 30432 (java) S 30418 30420 28047 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335737325 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409377756408 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30433] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30433/stat : 30433 (java) S 30418 30420 28047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335737325 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409376703496 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30434] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30434/stat : 30434 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737327 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409375651984 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30435] ppid=30418 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/30420/task/30435/stat : 30435 (java) S 30418 30420 28047 0 -1 4202560 4859 0 0 0 62 0 0 0 20 0 19 0 335737327 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409374600120 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30436] ppid=30418 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/30420/task/30436/stat : 30436 (java) S 30418 30420 28047 0 -1 4202560 4496 0 0 0 59 2 0 0 20 0 19 0 335737327 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409373547320 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30437] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30437/stat : 30437 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737327 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409372494712 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30438] ppid=30418 vsize=3024420 CPUtime=0.87 cores=1,3,5,7
/proc/30420/task/30438/stat : 30438 (java) S 30418 30420 28047 0 -1 4202560 103 0 0 0 49 38 0 0 20 0 19 0 335737328 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409371442120 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30439] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30439/stat : 30439 (java) S 30418 30420 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335737405 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409369240744 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1798.38
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1784 s]
/proc/loadavg: 2.07 2.02 2.00 3/213 30513
/proc/meminfo: memFree=26935268/32873844 swapFree=7372/7372
[pid=30420] ppid=30418 vsize=3024420 CPUtime=1800.09 cores=1,3,5,7
/proc/30420/stat : 30420 (java) S 30418 30420 28047 0 -1 4202496 19503 0 1 0 179773 236 0 0 20 0 19 0 335737322 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140735178817488 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30420/statm: 756105 423755 2300 9 0 746526 0
[pid=30420/tid=30421] ppid=30418 vsize=3024420 CPUtime=1771.53 cores=1,3,5,7
/proc/30420/task/30421/stat : 30421 (java) R 30418 30420 28047 0 -1 4202560 3463 0 1 0 177116 37 0 0 20 0 19 0 335737322 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409868176624 140409740897647 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30420/tid=30423] ppid=30418 vsize=3024420 CPUtime=2.66 cores=1,3,5,7
/proc/30420/task/30423/stat : 30423 (java) S 30418 30420 28047 0 -1 4202560 565 0 0 0 240 26 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409734208040 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30424] ppid=30418 vsize=3024420 CPUtime=2.46 cores=1,3,5,7
/proc/30420/task/30424/stat : 30424 (java) S 30418 30420 28047 0 -1 4202560 403 0 0 0 222 24 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409733155240 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30425] ppid=30418 vsize=3024420 CPUtime=2.45 cores=1,3,5,7
/proc/30420/task/30425/stat : 30425 (java) S 30418 30420 28047 0 -1 4202560 537 0 0 0 222 23 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409732102440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30426] ppid=30418 vsize=3024420 CPUtime=2.17 cores=1,3,5,7
/proc/30420/task/30426/stat : 30426 (java) S 30418 30420 28047 0 -1 4202560 394 0 0 0 197 20 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409731049640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30427] ppid=30418 vsize=3024420 CPUtime=2.53 cores=1,3,5,7
/proc/30420/task/30427/stat : 30427 (java) S 30418 30420 28047 0 -1 4202560 544 0 0 0 230 23 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409729997864 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30428] ppid=30418 vsize=3024420 CPUtime=2.43 cores=1,3,5,7
/proc/30420/task/30428/stat : 30428 (java) S 30418 30420 28047 0 -1 4202560 528 0 0 0 223 20 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409393114024 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30429] ppid=30418 vsize=3024420 CPUtime=2.46 cores=1,3,5,7
/proc/30420/task/30429/stat : 30429 (java) S 30418 30420 28047 0 -1 4202560 425 0 0 0 222 24 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409392061224 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30430] ppid=30418 vsize=3024420 CPUtime=2.53 cores=1,3,5,7
/proc/30420/task/30430/stat : 30430 (java) S 30418 30420 28047 0 -1 4202560 481 0 0 0 231 22 0 0 20 0 19 0 335737323 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409391008424 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30431] ppid=30418 vsize=3024420 CPUtime=2.23 cores=1,3,5,7
/proc/30420/task/30431/stat : 30431 (java) S 30418 30420 28047 0 -1 4202560 1523 0 0 0 220 3 0 0 20 0 19 0 335737324 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409378810344 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30420/tid=30432] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30432/stat : 30432 (java) S 30418 30420 28047 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335737325 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409377756408 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30433] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30433/stat : 30433 (java) S 30418 30420 28047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335737325 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409376703496 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30434] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30434/stat : 30434 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737327 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409375651984 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30435] ppid=30418 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/30420/task/30435/stat : 30435 (java) S 30418 30420 28047 0 -1 4202560 4859 0 0 0 62 0 0 0 20 0 19 0 335737327 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409374600120 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30420/tid=30436] ppid=30418 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/30420/task/30436/stat : 30436 (java) S 30418 30420 28047 0 -1 4202560 4496 0 0 0 59 2 0 0 20 0 19 0 335737327 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409373547320 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30437] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30437/stat : 30437 (java) S 30418 30420 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335737327 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409372494712 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30420/tid=30438] ppid=30418 vsize=3024420 CPUtime=0.87 cores=1,3,5,7
/proc/30420/task/30438/stat : 30438 (java) S 30418 30420 28047 0 -1 4202560 103 0 0 0 49 38 0 0 20 0 19 0 335737328 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409371442120 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30420/tid=30439] ppid=30418 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30420/task/30439/stat : 30439 (java) S 30418 30420 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335737405 3097006080 423755 33554432000 1073741824 1073778376 140735178826352 140409369240744 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30420 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=69412
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=751581
# CPU time returned by wait4() is 1795.82
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1784.02
CPU time (s): 1800.09
CPU user time (s): 1797.73
CPU system time (s): 2.36
CPU usage (%): 100.901
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.07
system time used= 2.75158
maximum resident set size= 1695140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19536
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43237
involuntary context switches= 37294
runsolver used 6.19106 second user time and 16.7035 second system time
The end