runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3459290-1307136045/watcher-3459290-1307136045 -o /tmp/evaluation-result-3459290-1307136045/solver-3459290-1307136045 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459290-1307136045.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.01 2.17 2/404 2513
/proc/meminfo: memFree=23404656/32951124 swapFree=49244120/67111528
[pid=2513] ppid=2511 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/2513/stat : 2513 (java) R 2511 2513 31984 0 -1 4202496 952 0 0 0 0 0 0 0 24 0 1 0 825207342 23580672 695 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218365994472 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2513/statm: 5757 695 512 9 0 124 0
[pid=2513/tid=2514] ppid=2511 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2514/stat : 2514 (java) R 2511 2513 31984 0 -1 4202560 4455 0 1 0 0 0 0 0 25 0 2 0 825207343 13850947584 5272 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0274201 s]
/proc/loadavg: 2.03 2.01 2.17 2/404 2513
/proc/meminfo: memFree=23404656/32951124 swapFree=49244120/67111528
[pid=2513] ppid=2511 vsize=13600564 CPUtime=0.02 cores=0,2,4,6
/proc/2513/stat : 2513 (java) S 2511 2513 31984 0 -1 4202496 12619 0 1 0 1 1 0 0 24 0 10 0 825207342 13926977536 12317 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/2513/statm: 3400141 12317 1058 9 0 3391297 0
[pid=2513/tid=2514] ppid=2511 vsize=13600564 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2514/stat : 2514 (java) R 2511 2513 31984 0 -1 4202560 11493 0 1 0 0 0 0 0 25 0 10 0 825207343 13926977536 12317 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382786527 0 2147483391 0 16784584 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13600564
[startup+0.104385 s]
/proc/loadavg: 2.03 2.01 2.17 2/404 2513
/proc/meminfo: memFree=23404656/32951124 swapFree=49244120/67111528
[pid=2513] ppid=2511 vsize=13622352 CPUtime=0.1 cores=0,2,4,6
/proc/2513/stat : 2513 (java) S 2511 2513 31984 0 -1 4202496 15634 0 1 0 9 1 0 0 24 0 18 0 825207342 13949288448 15312 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2513/statm: 3405588 15312 2093 9 0 3396322 0
[pid=2513/tid=2514] ppid=2511 vsize=13622352 CPUtime=0.08 cores=0,2,4,6
/proc/2513/task/2514/stat : 2514 (java) R 2511 2513 31984 0 -1 4202560 13704 0 1 0 7 1 0 0 25 0 18 0 825207343 13949288448 15312 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622352
[startup+0.300309 s]
/proc/loadavg: 2.03 2.01 2.17 2/404 2513
/proc/meminfo: memFree=23404656/32951124 swapFree=49244120/67111528
[pid=2513] ppid=2511 vsize=13623508 CPUtime=0.46 cores=0,2,4,6
/proc/2513/stat : 2513 (java) S 2511 2513 31984 0 -1 4202496 18317 0 1 0 44 2 0 0 24 0 18 0 825207342 13950472192 17786 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2513/statm: 3405877 17786 2200 9 0 3396611 0
[pid=2513/tid=2514] ppid=2511 vsize=13623508 CPUtime=0.28 cores=0,2,4,6
/proc/2513/task/2514/stat : 2514 (java) R 2511 2513 31984 0 -1 4202560 15562 0 1 0 26 2 0 0 25 0 18 0 825207343 13950472192 17787 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 46912505537254 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13623508
[startup+0.700325 s]
/proc/loadavg: 2.03 2.01 2.17 2/404 2513
/proc/meminfo: memFree=23404656/32951124 swapFree=49244120/67111528
[pid=2513] ppid=2511 vsize=13626772 CPUtime=1.17 cores=0,2,4,6
/proc/2513/stat : 2513 (java) S 2511 2513 31984 0 -1 4202496 52183 0 1 0 111 6 0 0 24 0 18 0 825207342 13953814528 49947 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2513/statm: 3406693 49952 2214 9 0 3397427 0
[pid=2513/tid=2514] ppid=2511 vsize=13626772 CPUtime=0.68 cores=0,2,4,6
/proc/2513/task/2514/stat : 2514 (java) R 2511 2513 31984 0 -1 4202560 46012 0 1 0 63 5 0 0 25 0 18 0 825207343 13953814528 49952 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382783947 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 13626772
[startup+1.50118 s]
/proc/loadavg: 2.03 2.01 2.17 3/422 2531
/proc/meminfo: memFree=23094832/32951124 swapFree=49244120/67111528
[pid=2513] ppid=2511 vsize=13626772 CPUtime=1.97 cores=0,2,4,6
/proc/2513/stat : 2513 (java) S 2511 2513 31984 0 -1 4202496 130061 0 1 0 179 18 0 0 24 0 18 0 825207342 13953814528 127825 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2513/statm: 3406693 127829 2214 9 0 3397427 0
[pid=2513/tid=2514] ppid=2511 vsize=13626772 CPUtime=1.48 cores=0,2,4,6
/proc/2513/task/2514/stat : 2514 (java) R 2511 2513 31984 0 -1 4202560 123892 0 1 0 131 17 0 0 25 0 18 0 825207343 13953814528 127832 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 46912505604613 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2513/tid=2516] ppid=2511 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2516/stat : 2516 (java) S 2511 2513 31984 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 825207345 13953814528 127834 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 2 0 0 0
[pid=2513/tid=2517] ppid=2511 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2517/stat : 2517 (java) S 2511 2513 31984 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 825207345 13953814528 127837 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 2 0 0 0
[pid=2513/tid=2518] ppid=2511 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825207345 13953814528 127840 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 4 0 0 0
[pid=2513/tid=2519] ppid=2511 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2519/stat : 2519 (java) S 2511 2513 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825207345 13953814528 127842 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 4 0 0 0
[pid=2513/tid=2520] ppid=2511 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2520/stat : 2520 (java) S 2511 2513 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825207345 13953814528 127845 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 4 0 0 0
[pid=2513/tid=2521] ppid=2511 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2521/stat : 2521 (java) S 2511 2513 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825207345 13953814528 127848 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 4 0 0 0
[pid=2513/tid=2522] ppid=2511 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2522/stat : 2522 (java) S 2511 2513 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825207345 13953814528 127850 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2523] ppid=2511 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2523/stat : 2523 (java) S 2511 2513 31984 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 825207345 13953814528 127853 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2524] ppid=2511 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2524/stat : 2524 (java) S 2511 2513 31984 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 825207346 13953814528 127856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773760 0 0 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2525] ppid=2511 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2525/stat : 2525 (java) S 2511 2513 31984 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 825207346 13953814528 127858 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2526] ppid=2511 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2526/stat : 2526 (java) S 2511 2513 31984 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 825207346 13953814528 127861 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2527] ppid=2511 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2527/stat : 2527 (java) S 2511 2513 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825207348 13953814528 127864 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382780849 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2528] ppid=2511 vsize=13626772 CPUtime=0.26 cores=0,2,4,6
/proc/2513/task/2528/stat : 2528 (java) S 2511 2513 31984 0 -1 4202560 2410 0 0 0 26 0 0 0 17 0 18 0 825207348 13953814528 127867 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 4 0 0 0
[pid=2513/tid=2529] ppid=2511 vsize=13626772 CPUtime=0.21 cores=0,2,4,6
/proc/2513/task/2529/stat : 2529 (java) S 2511 2513 31984 0 -1 4202560 2612 0 0 0 21 0 0 0 17 0 18 0 825207348 13953814528 127869 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 2 0 0 0
[pid=2513/tid=2530] ppid=2511 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2530/stat : 2530 (java) S 2511 2513 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825207348 13953814528 127872 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2531] ppid=2511 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2531/stat : 2531 (java) S 2511 2513 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 825207348 13953814528 127875 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773760 0 4 0 16800975 18446604450238805952 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 13626772
[startup+3.10085 s]
/proc/loadavg: 2.03 2.01 2.17 3/422 2531
/proc/meminfo: memFree=22662816/32951124 swapFree=49244120/67111528
[pid=2513] ppid=2511 vsize=13626772 CPUtime=3.57 cores=0,2,4,6
/proc/2513/stat : 2513 (java) S 2511 2513 31984 0 -1 4202496 289149 0 1 0 318 39 0 0 24 0 18 0 825207342 13953814528 286914 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2513/statm: 3406693 286918 2214 9 0 3397427 0
[pid=2513/tid=2514] ppid=2511 vsize=13626772 CPUtime=3.08 cores=0,2,4,6
/proc/2513/task/2514/stat : 2514 (java) R 2511 2513 31984 0 -1 4202560 282980 0 1 0 270 38 0 0 25 0 18 0 825207343 13953814528 286920 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 46912505629254 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2513/tid=2516] ppid=2511 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2516/stat : 2516 (java) S 2511 2513 31984 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 825207345 13953814528 286922 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 2 0 0 0
[pid=2513/tid=2517] ppid=2511 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2517/stat : 2517 (java) S 2511 2513 31984 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 825207345 13953814528 286922 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 2 0 0 0
[pid=2513/tid=2518] ppid=2511 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825207345 13953814528 286925 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 4 0 0 0
[pid=2513/tid=2519] ppid=2511 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2519/stat : 2519 (java) S 2511 2513 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825207345 13953814528 286928 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 4 0 0 0
[pid=2513/tid=2520] ppid=2511 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2520/stat : 2520 (java) S 2511 2513 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825207345 13953814528 286930 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 4 0 0 0
[pid=2513/tid=2521] ppid=2511 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2521/stat : 2521 (java) S 2511 2513 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825207345 13953814528 286933 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 4 0 0 0
[pid=2513/tid=2522] ppid=2511 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2522/stat : 2522 (java) S 2511 2513 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825207345 13953814528 286936 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2523] ppid=2511 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2523/stat : 2523 (java) S 2511 2513 31984 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 825207345 13953814528 286938 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2524] ppid=2511 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2524/stat : 2524 (java) S 2511 2513 31984 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 825207346 13953814528 286941 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773760 0 0 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2525] ppid=2511 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2525/stat : 2525 (java) S 2511 2513 31984 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 825207346 13953814528 286944 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2526] ppid=2511 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2526/stat : 2526 (java) S 2511 2513 31984 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 825207346 13953814528 286946 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2527] ppid=2511 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2527/stat : 2527 (java) S 2511 2513 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825207348 13953814528 286949 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382780849 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2528] ppid=2511 vsize=13626772 CPUtime=0.26 cores=0,2,4,6
/proc/2513/task/2528/stat : 2528 (java) S 2511 2513 31984 0 -1 4202560 2410 0 0 0 26 0 0 0 15 0 18 0 825207348 13953814528 286952 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 4 0 0 0
[pid=2513/tid=2529] ppid=2511 vsize=13626772 CPUtime=0.21 cores=0,2,4,6
/proc/2513/task/2529/stat : 2529 (java) S 2511 2513 31984 0 -1 4202560 2612 0 0 0 21 0 0 0 17 0 18 0 825207348 13953814528 286954 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 2 0 0 0
[pid=2513/tid=2530] ppid=2511 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2530/stat : 2530 (java) S 2511 2513 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825207348 13953814528 286957 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2531] ppid=2511 vsize=13626772 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2531/stat : 2531 (java) S 2511 2513 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 825207348 13953814528 286960 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773760 0 4 0 16800975 18446604450238805952 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 13626772
[startup+6.30133 s]
/proc/loadavg: 2.10 2.03 2.18 3/423 2533
/proc/meminfo: memFree=21942868/32951124 swapFree=49244120/67111528
[pid=2513] ppid=2511 vsize=13628276 CPUtime=7.17 cores=0,2,4,6
/proc/2513/stat : 2513 (java) S 2511 2513 31984 0 -1 4202496 369915 0 1 0 668 49 0 0 24 0 19 0 825207342 13955354624 366566 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2513/statm: 3407069 366566 2238 9 0 3397803 0
[pid=2513/tid=2514] ppid=2511 vsize=13628276 CPUtime=6.28 cores=0,2,4,6
/proc/2513/task/2514/stat : 2514 (java) R 2511 2513 31984 0 -1 4202560 362435 0 1 0 580 48 0 0 21 0 19 0 825207343 13955354624 366566 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 46912505911177 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2513/tid=2516] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2516/stat : 2516 (java) S 2511 2513 31984 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 825207345 13955354624 366566 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 2 0 0 0
[pid=2513/tid=2517] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2517/stat : 2517 (java) S 2511 2513 31984 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 825207345 13955354624 366566 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 2 0 0 0
[pid=2513/tid=2518] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825207345 13955354624 366566 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 4 0 0 0
[pid=2513/tid=2519] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2519/stat : 2519 (java) S 2511 2513 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825207345 13955354624 366566 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 4 0 0 0
[pid=2513/tid=2520] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2520/stat : 2520 (java) S 2511 2513 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825207345 13955354624 366566 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 4 0 0 0
[pid=2513/tid=2521] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2521/stat : 2521 (java) S 2511 2513 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825207345 13955354624 366566 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 4 0 0 0
[pid=2513/tid=2522] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2522/stat : 2522 (java) S 2511 2513 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825207345 13955354624 366566 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2523] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2523/stat : 2523 (java) S 2511 2513 31984 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 825207345 13955354624 366566 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2524] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2524/stat : 2524 (java) S 2511 2513 31984 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 825207346 13955354624 366566 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773760 0 0 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2525] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2525/stat : 2525 (java) S 2511 2513 31984 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 825207346 13955354624 366566 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2526] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2526/stat : 2526 (java) S 2511 2513 31984 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825207346 13955354624 366566 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2527] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2527/stat : 2527 (java) S 2511 2513 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825207348 13955354624 366566 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382780849 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2528] ppid=2511 vsize=13628276 CPUtime=0.41 cores=0,2,4,6
/proc/2513/task/2528/stat : 2528 (java) S 2511 2513 31984 0 -1 4202560 2715 0 0 0 41 0 0 0 15 0 19 0 825207348 13955354624 366566 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 4 0 0 0
[pid=2513/tid=2529] ppid=2511 vsize=13628276 CPUtime=0.46 cores=0,2,4,6
/proc/2513/task/2529/stat : 2529 (java) S 2511 2513 31984 0 -1 4202560 3600 0 0 0 46 0 0 0 15 0 19 0 825207348 13955354624 366566 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 2 0 0 0
[pid=2513/tid=2530] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2530/stat : 2530 (java) S 2511 2513 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825207348 13955354624 366566 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2531] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2531/stat : 2531 (java) S 2511 2513 31984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825207348 13955354624 366566 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773760 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=2513/tid=2521] ppid=2511 vsize=13628276 CPUtime=0.38 cores=0,2,4,6
/proc/2513/task/2521/stat : 2521 (java) S 2511 2513 31984 0 -1 4202560 5198 0 0 0 38 0 0 0 15 0 19 0 825207345 13955354624 419424 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 0 0 0 0
[pid=2513/tid=2522] ppid=2511 vsize=13628276 CPUtime=0.37 cores=0,2,4,6
/proc/2513/task/2522/stat : 2522 (java) S 2511 2513 31984 0 -1 4202560 3111 0 0 0 37 0 0 0 16 0 19 0 825207345 13955354624 419424 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 4 0 0 0
[pid=2513/tid=2523] ppid=2511 vsize=13628276 CPUtime=0.32 cores=0,2,4,6
/proc/2513/task/2523/stat : 2523 (java) S 2511 2513 31984 0 -1 4202560 3843 0 0 0 32 0 0 0 15 0 19 0 825207345 13955354624 419424 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 4 0 0 0
[pid=2513/tid=2524] ppid=2511 vsize=13628276 CPUtime=15.98 cores=0,2,4,6
/proc/2513/task/2524/stat : 2524 (java) S 2511 2513 31984 0 -1 4202560 22122 0 0 0 1595 3 0 0 15 0 19 0 825207346 13955354624 419424 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773760 0 0 0 16800975 18446604450238805952 0 0 -1 2 0 0 0
[pid=2513/tid=2525] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2525/stat : 2525 (java) S 2511 2513 31984 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 825207346 13955354624 419424 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2526] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2526/stat : 2526 (java) S 2511 2513 31984 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825207346 13955354624 419424 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2527] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2527/stat : 2527 (java) S 2511 2513 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825207348 13955354624 419424 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382780849 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2528] ppid=2511 vsize=13628276 CPUtime=0.48 cores=0,2,4,6
/proc/2513/task/2528/stat : 2528 (java) S 2511 2513 31984 0 -1 4202560 2752 0 0 0 48 0 0 0 15 0 19 0 825207348 13955354624 419424 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 4 0 0 0
[pid=2513/tid=2529] ppid=2511 vsize=13628276 CPUtime=0.52 cores=0,2,4,6
/proc/2513/task/2529/stat : 2529 (java) S 2511 2513 31984 0 -1 4202560 3606 0 0 0 52 0 0 0 15 0 19 0 825207348 13955354624 419424 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 2 0 0 0
[pid=2513/tid=2530] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2530/stat : 2530 (java) S 2511 2513 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825207348 13955354624 419424 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2531] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2531/stat : 2531 (java) S 2511 2513 31984 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 825207348 13955354624 419424 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773760 0 4 0 16800975 18446604450238805952 0 0 -1 0 0 0 0
[pid=2513/tid=2533] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2533/stat : 2533 (java) S 2511 2513 31984 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825207726 13955354624 419424 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773760 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1665.29
Current children cumulated vsize (KiB) 13628276
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/423 2579
/proc/meminfo: memFree=21635056/32951124 swapFree=49244120/67111528
[pid=2513] ppid=2511 vsize=13628276 CPUtime=1725.32 cores=0,2,4,6
/proc/2513/stat : 2513 (java) S 2511 2513 31984 0 -1 4202496 423493 0 1 0 172472 60 0 0 24 0 19 0 825207342 13955354624 419845 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2513/statm: 3407069 419845 2264 9 0 3397803 0
[pid=2513/tid=2514] ppid=2511 vsize=13628276 CPUtime=1705.16 cores=0,2,4,6
/proc/2513/task/2514/stat : 2514 (java) R 2511 2513 31984 0 -1 4202560 362816 0 1 0 170466 50 0 0 25 0 19 0 825207343 13955354624 419845 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 46912505792008 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2513/tid=2516] ppid=2511 vsize=13628276 CPUtime=0.31 cores=0,2,4,6
/proc/2513/task/2516/stat : 2516 (java) S 2511 2513 31984 0 -1 4202560 968 0 0 0 31 0 0 0 16 0 19 0 825207345 13955354624 419845 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2517] ppid=2511 vsize=13628276 CPUtime=0.32 cores=0,2,4,6
/proc/2513/task/2517/stat : 2517 (java) S 2511 2513 31984 0 -1 4202560 3359 0 0 0 32 0 0 0 16 0 19 0 825207345 13955354624 419845 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 4 0 0 0
[pid=2513/tid=2518] ppid=2511 vsize=13628276 CPUtime=0.37 cores=0,2,4,6
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 31984 0 -1 4202560 4133 0 0 0 37 0 0 0 15 0 19 0 825207345 13955354624 419845 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2519] ppid=2511 vsize=13628276 CPUtime=0.39 cores=0,2,4,6
/proc/2513/task/2519/stat : 2519 (java) S 2511 2513 31984 0 -1 4202560 4721 0 0 0 39 0 0 0 15 0 19 0 825207345 13955354624 419845 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2520] ppid=2511 vsize=13628276 CPUtime=0.36 cores=0,2,4,6
/proc/2513/task/2520/stat : 2520 (java) S 2511 2513 31984 0 -1 4202560 5192 0 0 0 36 0 0 0 15 0 19 0 825207345 13955354624 419845 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 0 0 0 0
[pid=2513/tid=2521] ppid=2511 vsize=13628276 CPUtime=0.4 cores=0,2,4,6
/proc/2513/task/2521/stat : 2521 (java) S 2511 2513 31984 0 -1 4202560 5198 0 0 0 40 0 0 0 16 0 19 0 825207345 13955354624 419845 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 0 0 0 0
[pid=2513/tid=2522] ppid=2511 vsize=13628276 CPUtime=0.37 cores=0,2,4,6
/proc/2513/task/2522/stat : 2522 (java) S 2511 2513 31984 0 -1 4202560 3111 0 0 0 37 0 0 0 15 0 19 0 825207345 13955354624 419845 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 4 0 0 0
[pid=2513/tid=2523] ppid=2511 vsize=13628276 CPUtime=0.33 cores=0,2,4,6
/proc/2513/task/2523/stat : 2523 (java) S 2511 2513 31984 0 -1 4202560 3843 0 0 0 33 0 0 0 16 0 19 0 825207345 13955354624 419845 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2524] ppid=2511 vsize=13628276 CPUtime=16.17 cores=0,2,4,6
/proc/2513/task/2524/stat : 2524 (java) S 2511 2513 31984 0 -1 4202560 22545 0 0 0 1614 3 0 0 15 0 19 0 825207346 13955354624 419845 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773760 0 0 0 16800975 18446604450238805952 0 0 -1 2 0 0 0
[pid=2513/tid=2525] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2525/stat : 2525 (java) S 2511 2513 31984 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 825207346 13955354624 419845 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2526] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2526/stat : 2526 (java) S 2511 2513 31984 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825207346 13955354624 419845 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2527] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2527/stat : 2527 (java) S 2511 2513 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825207348 13955354624 419845 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382780849 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2528] ppid=2511 vsize=13628276 CPUtime=0.48 cores=0,2,4,6
/proc/2513/task/2528/stat : 2528 (java) S 2511 2513 31984 0 -1 4202560 2752 0 0 0 48 0 0 0 15 0 19 0 825207348 13955354624 419845 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 4 0 0 0
[pid=2513/tid=2529] ppid=2511 vsize=13628276 CPUtime=0.52 cores=0,2,4,6
/proc/2513/task/2529/stat : 2529 (java) S 2511 2513 31984 0 -1 4202560 3606 0 0 0 52 0 0 0 15 0 19 0 825207348 13955354624 419845 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 2 0 0 0
[pid=2513/tid=2530] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2530/stat : 2530 (java) S 2511 2513 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825207348 13955354624 419845 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2531] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2531/stat : 2531 (java) S 2511 2513 31984 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 825207348 13955354624 419845 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773760 0 4 0 16800975 18446604450238805952 0 0 -1 0 0 0 0
[pid=2513/tid=2533] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2533/stat : 2533 (java) S 2511 2513 31984 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825207726 13955354624 419845 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773760 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1725.32
Current children cumulated vsize (KiB) 13628276
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/423 2581
/proc/meminfo: memFree=21620744/32951124 swapFree=49244120/67111528
[pid=2513] ppid=2511 vsize=13628276 CPUtime=1785.39 cores=0,2,4,6
/proc/2513/stat : 2513 (java) S 2511 2513 31984 0 -1 4202496 426515 0 1 0 178479 60 0 0 24 0 19 0 825207342 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2513/statm: 3407069 422856 2264 9 0 3397803 0
[pid=2513/tid=2514] ppid=2511 vsize=13628276 CPUtime=1764.67 cores=0,2,4,6
/proc/2513/task/2514/stat : 2514 (java) R 2511 2513 31984 0 -1 4202560 362818 0 1 0 176417 50 0 0 25 0 19 0 825207343 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 46912505911177 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2513/tid=2516] ppid=2511 vsize=13628276 CPUtime=0.34 cores=0,2,4,6
/proc/2513/task/2516/stat : 2516 (java) S 2511 2513 31984 0 -1 4202560 1997 0 0 0 34 0 0 0 15 0 19 0 825207345 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 0 0 0 0
[pid=2513/tid=2517] ppid=2511 vsize=13628276 CPUtime=0.33 cores=0,2,4,6
/proc/2513/task/2517/stat : 2517 (java) S 2511 2513 31984 0 -1 4202560 3364 0 0 0 33 0 0 0 16 0 19 0 825207345 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 4 0 0 0
[pid=2513/tid=2518] ppid=2511 vsize=13628276 CPUtime=0.39 cores=0,2,4,6
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 31984 0 -1 4202560 4136 0 0 0 39 0 0 0 16 0 19 0 825207345 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2519] ppid=2511 vsize=13628276 CPUtime=0.42 cores=0,2,4,6
/proc/2513/task/2519/stat : 2519 (java) S 2511 2513 31984 0 -1 4202560 6346 0 0 0 42 0 0 0 15 0 19 0 825207345 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2520] ppid=2511 vsize=13628276 CPUtime=0.36 cores=0,2,4,6
/proc/2513/task/2520/stat : 2520 (java) S 2511 2513 31984 0 -1 4202560 5192 0 0 0 36 0 0 0 15 0 19 0 825207345 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 4 0 0 0
[pid=2513/tid=2521] ppid=2511 vsize=13628276 CPUtime=0.4 cores=0,2,4,6
/proc/2513/task/2521/stat : 2521 (java) S 2511 2513 31984 0 -1 4202560 5198 0 0 0 40 0 0 0 15 0 19 0 825207345 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 0 0 0 0
[pid=2513/tid=2522] ppid=2511 vsize=13628276 CPUtime=0.39 cores=0,2,4,6
/proc/2513/task/2522/stat : 2522 (java) S 2511 2513 31984 0 -1 4202560 3111 0 0 0 39 0 0 0 16 0 19 0 825207345 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 0 0 0 0
[pid=2513/tid=2523] ppid=2511 vsize=13628276 CPUtime=0.33 cores=0,2,4,6
/proc/2513/task/2523/stat : 2523 (java) S 2511 2513 31984 0 -1 4202560 3843 0 0 0 33 0 0 0 15 0 19 0 825207345 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2524] ppid=2511 vsize=13628276 CPUtime=16.62 cores=0,2,4,6
/proc/2513/task/2524/stat : 2524 (java) S 2511 2513 31984 0 -1 4202560 22899 0 0 0 1659 3 0 0 15 0 19 0 825207346 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773760 0 0 0 16800975 18446604450238805952 0 0 -1 2 0 0 0
[pid=2513/tid=2525] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2525/stat : 2525 (java) S 2511 2513 31984 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 825207346 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2526] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2526/stat : 2526 (java) S 2511 2513 31984 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825207346 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2527] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2527/stat : 2527 (java) S 2511 2513 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825207348 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382780849 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2528] ppid=2511 vsize=13628276 CPUtime=0.48 cores=0,2,4,6
/proc/2513/task/2528/stat : 2528 (java) S 2511 2513 31984 0 -1 4202560 2752 0 0 0 48 0 0 0 15 0 19 0 825207348 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 4 0 0 0
[pid=2513/tid=2529] ppid=2511 vsize=13628276 CPUtime=0.52 cores=0,2,4,6
/proc/2513/task/2529/stat : 2529 (java) S 2511 2513 31984 0 -1 4202560 3606 0 0 0 52 0 0 0 15 0 19 0 825207348 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 2 0 0 0
[pid=2513/tid=2530] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2530/stat : 2530 (java) S 2511 2513 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825207348 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2531] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2531/stat : 2531 (java) S 2511 2513 31984 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 825207348 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773760 0 4 0 16800975 18446604450238805952 0 0 -1 0 0 0 0
[pid=2513/tid=2533] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2533/stat : 2533 (java) S 2511 2513 31984 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825207726 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773760 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1785.39
Current children cumulated vsize (KiB) 13628276
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797 s]
/proc/loadavg: 1.93 1.98 1.99 3/423 2821
/proc/meminfo: memFree=21996180/32951124 swapFree=49244120/67111528
[pid=2513] ppid=2511 vsize=13628276 CPUtime=1800.09 cores=0,2,4,6
/proc/2513/stat : 2513 (java) S 2511 2513 31984 0 -1 4202496 426515 0 1 0 179949 60 0 0 24 0 19 0 825207342 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2513/statm: 3407069 422856 2264 9 0 3397803 0
[pid=2513/tid=2514] ppid=2511 vsize=13628276 CPUtime=1779.39 cores=0,2,4,6
/proc/2513/task/2514/stat : 2514 (java) R 2511 2513 31984 0 -1 4202560 362818 0 1 0 177888 51 0 0 25 0 19 0 825207343 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 46912505818543 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2513/tid=2516] ppid=2511 vsize=13628276 CPUtime=0.34 cores=0,2,4,6
/proc/2513/task/2516/stat : 2516 (java) S 2511 2513 31984 0 -1 4202560 1997 0 0 0 34 0 0 0 15 0 19 0 825207345 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 0 0 0 0
[pid=2513/tid=2517] ppid=2511 vsize=13628276 CPUtime=0.33 cores=0,2,4,6
/proc/2513/task/2517/stat : 2517 (java) S 2511 2513 31984 0 -1 4202560 3364 0 0 0 33 0 0 0 16 0 19 0 825207345 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 4 0 0 0
[pid=2513/tid=2518] ppid=2511 vsize=13628276 CPUtime=0.39 cores=0,2,4,6
/proc/2513/task/2518/stat : 2518 (java) S 2511 2513 31984 0 -1 4202560 4136 0 0 0 39 0 0 0 16 0 19 0 825207345 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2519] ppid=2511 vsize=13628276 CPUtime=0.42 cores=0,2,4,6
/proc/2513/task/2519/stat : 2519 (java) S 2511 2513 31984 0 -1 4202560 6346 0 0 0 42 0 0 0 15 0 19 0 825207345 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2520] ppid=2511 vsize=13628276 CPUtime=0.36 cores=0,2,4,6
/proc/2513/task/2520/stat : 2520 (java) S 2511 2513 31984 0 -1 4202560 5192 0 0 0 36 0 0 0 15 0 19 0 825207345 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 4 0 0 0
[pid=2513/tid=2521] ppid=2511 vsize=13628276 CPUtime=0.4 cores=0,2,4,6
/proc/2513/task/2521/stat : 2521 (java) S 2511 2513 31984 0 -1 4202560 5198 0 0 0 40 0 0 0 15 0 19 0 825207345 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 0 0 0 0
[pid=2513/tid=2522] ppid=2511 vsize=13628276 CPUtime=0.39 cores=0,2,4,6
/proc/2513/task/2522/stat : 2522 (java) S 2511 2513 31984 0 -1 4202560 3111 0 0 0 39 0 0 0 16 0 19 0 825207345 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 0 0 0 0
[pid=2513/tid=2523] ppid=2511 vsize=13628276 CPUtime=0.33 cores=0,2,4,6
/proc/2513/task/2523/stat : 2523 (java) S 2511 2513 31984 0 -1 4202560 3843 0 0 0 33 0 0 0 15 0 19 0 825207345 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2524] ppid=2511 vsize=13628276 CPUtime=16.62 cores=0,2,4,6
/proc/2513/task/2524/stat : 2524 (java) S 2511 2513 31984 0 -1 4202560 22899 0 0 0 1659 3 0 0 15 0 19 0 825207346 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773760 0 0 0 16800975 18446604450238805952 0 0 -1 2 0 0 0
[pid=2513/tid=2525] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2525/stat : 2525 (java) S 2511 2513 31984 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 825207346 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2526] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2526/stat : 2526 (java) S 2511 2513 31984 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825207346 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2527] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2527/stat : 2527 (java) S 2511 2513 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825207348 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382780849 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2528] ppid=2511 vsize=13628276 CPUtime=0.48 cores=0,2,4,6
/proc/2513/task/2528/stat : 2528 (java) S 2511 2513 31984 0 -1 4202560 2752 0 0 0 48 0 0 0 15 0 19 0 825207348 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 4 0 0 0
[pid=2513/tid=2529] ppid=2511 vsize=13628276 CPUtime=0.52 cores=0,2,4,6
/proc/2513/task/2529/stat : 2529 (java) S 2511 2513 31984 0 -1 4202560 3606 0 0 0 52 0 0 0 15 0 19 0 825207348 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 2 0 0 0
[pid=2513/tid=2530] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2530/stat : 2530 (java) S 2511 2513 31984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825207348 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773145 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
[pid=2513/tid=2531] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2531/stat : 2531 (java) S 2511 2513 31984 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 825207348 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773760 0 4 0 16800975 18446604450238805952 0 0 -1 0 0 0 0
[pid=2513/tid=2533] ppid=2511 vsize=13628276 CPUtime=0 cores=0,2,4,6
/proc/2513/task/2533/stat : 2533 (java) S 2511 2513 31984 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825207726 13955354624 422856 33554432000 1073741824 1073778376 140735866022848 18446744073709551615 218382773760 0 4 0 16800975 18446604450238805952 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13628276
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1797.12
CPU time (s): 1800.26
CPU user time (s): 1799.59
CPU system time (s): 0.673897
CPU usage (%): 100.175
Max. virtual memory (cumulated for all children) (KiB): 13628276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.673897
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 426548
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39077
involuntary context switches= 22022
runsolver used 7.47086 second user time and 15.4267 second system time
The end