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-3479236-1307448374/watcher-3479236-1307448374 -o /tmp/evaluation-result-3479236-1307448374/solver-3479236-1307448374 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3479236-1307448374.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: 1.97 2.04 1.96 2/507 22615
/proc/meminfo: memFree=24250832/32951124 swapFree=63649284/67111528
[pid=22615] ppid=22613 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/22615/stat : 22615 (java) S 22613 22615 22213 0 -1 4202496 4825 0 1 0 0 0 0 0 25 0 2 0 856435863 10694979584 4526 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/22615/statm: 2611079 4539 917 9 0 2602235 0
[pid=22615/tid=22616] ppid=22613 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22616/stat : 22616 (java) R 22613 22615 22213 0 -1 4202560 7384 0 1 0 0 0 0 0 25 0 2 0 856435864 10694979584 8201 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210204341307 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0669469 s]
/proc/loadavg: 1.97 2.04 1.96 2/507 22615
/proc/meminfo: memFree=24250832/32951124 swapFree=63649284/67111528
[pid=22615] ppid=22613 vsize=10538624 CPUtime=0.06 cores=1,3,5,7
/proc/22615/stat : 22615 (java) S 22613 22615 22213 0 -1 4202496 11816 0 1 0 5 1 0 0 25 0 18 0 856435863 10791550976 11512 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22615/statm: 2634656 11512 1742 9 0 2625390 0
[pid=22615/tid=22616] ppid=22613 vsize=10538624 CPUtime=0.06 cores=1,3,5,7
/proc/22615/task/22616/stat : 22616 (java) R 22613 22615 22213 0 -1 4202560 10640 0 1 0 5 1 0 0 25 0 18 0 856435864 10791550976 11512 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 47286939822099 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10538624
[startup+0.100936 s]
/proc/loadavg: 1.97 2.04 1.96 2/507 22615
/proc/meminfo: memFree=24250832/32951124 swapFree=63649284/67111528
[pid=22615] ppid=22613 vsize=10540236 CPUtime=0.1 cores=1,3,5,7
/proc/22615/stat : 22615 (java) S 22613 22615 22213 0 -1 4202496 13007 0 1 0 9 1 0 0 25 0 18 0 856435863 10793201664 12703 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22615/statm: 2635059 12704 2092 9 0 2625793 0
[pid=22615/tid=22616] ppid=22613 vsize=10540236 CPUtime=0.09 cores=1,3,5,7
/proc/22615/task/22616/stat : 22616 (java) R 22613 22615 22213 0 -1 4202560 11127 0 1 0 8 1 0 0 25 0 18 0 856435864 10793201664 12704 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 47286940485144 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540236
[startup+0.319238 s]
/proc/loadavg: 1.97 2.04 1.96 2/507 22615
/proc/meminfo: memFree=24250832/32951124 swapFree=63649284/67111528
[pid=22615] ppid=22613 vsize=10545156 CPUtime=0.56 cores=1,3,5,7
/proc/22615/stat : 22615 (java) S 22613 22615 22213 0 -1 4202496 17363 0 1 0 54 2 0 0 25 0 19 0 856435863 10798239744 16053 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22615/statm: 2636289 16054 2215 9 0 2627023 0
[pid=22615/tid=22616] ppid=22613 vsize=10545156 CPUtime=0.32 cores=1,3,5,7
/proc/22615/task/22616/stat : 22616 (java) R 22613 22615 22213 0 -1 4202560 12542 0 1 0 31 1 0 0 25 0 19 0 856435864 10798239744 16054 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 46912505602150 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 10545156
[startup+0.700851 s]
/proc/loadavg: 1.97 2.04 1.96 2/507 22615
/proc/meminfo: memFree=24250832/32951124 swapFree=63649284/67111528
[pid=22615] ppid=22613 vsize=10552508 CPUtime=1.55 cores=1,3,5,7
/proc/22615/stat : 22615 (java) S 22613 22615 22213 0 -1 4202496 35128 0 1 0 150 5 0 0 25 0 19 0 856435863 10805768192 30651 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22615/statm: 2638127 30653 2221 9 0 2628861 0
[pid=22615/tid=22616] ppid=22613 vsize=10552508 CPUtime=0.68 cores=1,3,5,7
/proc/22615/task/22616/stat : 22616 (java) R 22613 22615 22213 0 -1 4202560 23679 0 1 0 65 3 0 0 25 0 19 0 856435864 10805768192 30654 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 46912505586097 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 10552508
[startup+1.5007 s]
/proc/loadavg: 1.97 2.03 1.96 3/526 22634
/proc/meminfo: memFree=24079524/32951124 swapFree=63649284/67111528
[pid=22615] ppid=22613 vsize=10552508 CPUtime=2.47 cores=1,3,5,7
/proc/22615/stat : 22615 (java) S 22613 22615 22213 0 -1 4202496 91299 0 1 0 236 11 0 0 25 0 19 0 856435863 10805768192 86821 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22615/statm: 2638127 86825 2223 9 0 2628861 0
[pid=22615/tid=22616] ppid=22613 vsize=10552508 CPUtime=1.49 cores=1,3,5,7
/proc/22615/task/22616/stat : 22616 (java) R 22613 22615 22213 0 -1 4202560 79832 0 1 0 140 9 0 0 18 0 19 0 856435864 10805768192 86827 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 46912505602165 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22615/tid=22618] ppid=22613 vsize=10552508 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22618/stat : 22618 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435865 10805768192 86829 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22619] ppid=22613 vsize=10552508 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22619/stat : 22619 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435865 10805768192 86832 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22620] ppid=22613 vsize=10552508 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22620/stat : 22620 (java) S 22613 22615 22213 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 856435865 10805768192 86834 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22621] ppid=22613 vsize=10552508 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22621/stat : 22621 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435865 10805768192 86836 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22622] ppid=22613 vsize=10552508 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22622/stat : 22622 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435865 10805768192 86839 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22623] ppid=22613 vsize=10552508 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22623/stat : 22623 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435865 10805768192 86841 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22624] ppid=22613 vsize=10552508 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22624/stat : 22624 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435865 10805768192 86843 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22625] ppid=22613 vsize=10552508 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22625/stat : 22625 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435865 10805768192 86846 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22626] ppid=22613 vsize=10552508 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22626/stat : 22626 (java) S 22613 22615 22213 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 856435866 10805768192 86848 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463872 0 0 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22627] ppid=22613 vsize=10552508 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22627/stat : 22627 (java) S 22613 22615 22213 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 856435867 10805768192 86850 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22628] ppid=22613 vsize=10552508 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22628/stat : 22628 (java) S 22613 22615 22213 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 856435867 10805768192 86852 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22629] ppid=22613 vsize=10552508 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22629/stat : 22629 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 856435869 10805768192 86855 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216470961 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22630] ppid=22613 vsize=10552508 CPUtime=0.45 cores=1,3,5,7
/proc/22615/task/22630/stat : 22630 (java) S 22613 22615 22213 0 -1 4202560 5045 0 0 0 45 0 0 0 18 0 19 0 856435869 10805768192 86856 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22631] ppid=22613 vsize=10552508 CPUtime=0.49 cores=1,3,5,7
/proc/22615/task/22631/stat : 22631 (java) S 22613 22615 22213 0 -1 4202560 5266 0 0 0 49 0 0 0 18 0 19 0 856435869 10805768192 86859 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22632] ppid=22613 vsize=10552508 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22632/stat : 22632 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 856435869 10805768192 86860 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22633] ppid=22613 vsize=10552508 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22633/stat : 22633 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 856435869 10805768192 86862 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463872 0 4 0 16800975 18446604460717077632 0 0 -1 1 0 0 0
[pid=22615/tid=22634] ppid=22613 vsize=10552508 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22634/stat : 22634 (java) S 22613 22615 22213 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856435883 10805768192 86864 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463872 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 10552508
[startup+3.10145 s]
/proc/loadavg: 1.97 2.03 1.96 3/526 22634
/proc/meminfo: memFree=23701580/32951124 swapFree=63649284/67111528
[pid=22615] ppid=22613 vsize=10552508 CPUtime=4.11 cores=1,3,5,7
/proc/22615/stat : 22615 (java) S 22613 22615 22213 0 -1 4202496 221715 0 1 0 386 25 0 0 25 0 19 0 856435863 10805768192 217236 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22615/statm: 2638127 217240 2225 9 0 2628861 0
[pid=22615/tid=22616] ppid=22613 vsize=10552508 CPUtime=3.08 cores=1,3,5,7
/proc/22615/task/22616/stat : 22616 (java) R 22613 22615 22213 0 -1 4202560 210241 0 1 0 286 22 0 0 19 0 19 0 856435864 10805768192 217242 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 46912505586097 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22615/tid=22618] ppid=22613 vsize=10552508 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22618/stat : 22618 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435865 10805768192 217245 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22619] ppid=22613 vsize=10552508 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22619/stat : 22619 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435865 10805768192 217247 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22620] ppid=22613 vsize=10552508 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22620/stat : 22620 (java) S 22613 22615 22213 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 856435865 10805768192 217250 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22621] ppid=22613 vsize=10552508 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22621/stat : 22621 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435865 10805768192 217252 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22622] ppid=22613 vsize=10552508 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22622/stat : 22622 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435865 10805768192 217254 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22623] ppid=22613 vsize=10552508 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22623/stat : 22623 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435865 10805768192 217257 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22624] ppid=22613 vsize=10552508 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22624/stat : 22624 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435865 10805768192 217259 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22625] ppid=22613 vsize=10552508 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22625/stat : 22625 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435865 10805768192 217261 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22626] ppid=22613 vsize=10552508 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22626/stat : 22626 (java) S 22613 22615 22213 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 856435866 10805768192 217263 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463872 0 0 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22627] ppid=22613 vsize=10552508 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22627/stat : 22627 (java) S 22613 22615 22213 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 856435867 10805768192 217265 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22628] ppid=22613 vsize=10552508 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22628/stat : 22628 (java) S 22613 22615 22213 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 856435867 10805768192 217266 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22629] ppid=22613 vsize=10552508 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22629/stat : 22629 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 856435869 10805768192 217269 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216470961 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22630] ppid=22613 vsize=10552508 CPUtime=0.49 cores=1,3,5,7
/proc/22615/task/22630/stat : 22630 (java) S 22613 22615 22213 0 -1 4202560 5052 0 0 0 49 0 0 0 15 0 19 0 856435869 10805768192 217271 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22631] ppid=22613 vsize=10552508 CPUtime=0.49 cores=1,3,5,7
/proc/22615/task/22631/stat : 22631 (java) S 22613 22615 22213 0 -1 4202560 5266 0 0 0 49 0 0 0 18 0 19 0 856435869 10805768192 217272 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22632] ppid=22613 vsize=10552508 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22632/stat : 22632 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 856435869 10805768192 217274 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22633] ppid=22613 vsize=10552508 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22633/stat : 22633 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 856435869 10805768192 217276 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463872 0 4 0 16800975 18446604460717077632 0 0 -1 1 0 0 0
[pid=22615/tid=22634] ppid=22613 vsize=10552508 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22634/stat : 22634 (java) S 22613 22615 22213 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856435883 10805768192 217278 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463872 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.11
Current children cumulated vsize (KiB) 10552508
[startup+6.30091 s]
/proc/loadavg: 1.97 2.03 1.96 3/526 22635
/proc/meminfo: memFree=22622288/32951124 swapFree=63649284/67111528
[pid=22615] ppid=22613 vsize=10550104 CPUtime=7.36 cores=1,3,5,7
/proc/22615/stat : 22615 (java) S 22613 22615 22213 0 -1 4202496 478904 0 1 0 684 52 0 0 25 0 19 0 856435863 10803306496 473484 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22615/statm: 2637526 473486 2228 9 0 2628260 0
[pid=22615/tid=22616] ppid=22613 vsize=10550104 CPUtime=6.29 cores=1,3,5,7
/proc/22615/task/22616/stat : 22616 (java) R 22613 22615 22213 0 -1 4202560 467416 0 1 0 579 50 0 0 19 0 19 0 856435864 10803306496 473487 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 46912505602161 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22615/tid=22618] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22618/stat : 22618 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435865 10803306496 473488 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22619] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22619/stat : 22619 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435865 10803306496 473490 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22620] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22620/stat : 22620 (java) S 22613 22615 22213 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 856435865 10803306496 473491 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22621] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22621/stat : 22621 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435865 10803306496 473492 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22622] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22622/stat : 22622 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435865 10803306496 473493 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22623] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22623/stat : 22623 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435865 10803306496 473494 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22624] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22624/stat : 22624 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435865 10803306496 473495 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22625] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22625/stat : 22625 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856435865 10803306496 473496 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22626] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22626/stat : 22626 (java) S 22613 22615 22213 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 856435866 10803306496 473498 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463872 0 0 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22627] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22627/stat : 22627 (java) S 22613 22615 22213 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 856435867 10803306496 473499 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22628] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22628/stat : 22628 (java) S 22613 22615 22213 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 856435867 10803306496 473502 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22629] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22629/stat : 22629 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 856435869 10803306496 473504 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216470961 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22630] ppid=22613 vsize=10550104 CPUtime=0.53 cores=1,3,5,7
/proc/22615/task/22630/stat : 22630 (java) S 22613 22615 22213 0 -1 4202560 5061 0 0 0 53 0 0 0 15 0 19 0 856435869 10803306496 473507 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22631] ppid=22613 vsize=10550104 CPUtime=0.51 cores=1,3,5,7
/proc/22615/task/22631/stat : 22631 (java) S 22613 22615 22213 0 -1 4202560 5267 0 0 0 51 0 0 0 15 0 19 0 856435869 10803306496 473513 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=22615/tid=22632] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22632/stat : 22632 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 856435869 10803306496 1046537 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22633] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22633/stat : 22633 (java) S 22613 22615 22213 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 856435869 10803306496 1046537 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463872 0 4 0 16800975 18446604460717077632 0 0 -1 1 0 0 0
[pid=22615/tid=22634] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22634/stat : 22634 (java) S 22613 22615 22213 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856435883 10803306496 1046537 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463872 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1665.92
Current children cumulated vsize (KiB) 10550104
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/526 22680
/proc/meminfo: memFree=18434148/32951124 swapFree=63649284/67111528
[pid=22615] ppid=22613 vsize=10550104 CPUtime=1725.98 cores=1,3,5,7
/proc/22615/stat : 22615 (java) S 22613 22615 22213 0 -1 4202496 1074079 0 1 0 172469 129 0 0 25 0 19 0 856435863 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22615/statm: 2637526 1053616 2244 9 0 2628260 0
[pid=22615/tid=22616] ppid=22613 vsize=10550104 CPUtime=1721.3 cores=1,3,5,7
/proc/22615/task/22616/stat : 22616 (java) R 22613 22615 22213 0 -1 4202560 766616 0 1 0 172048 82 0 0 25 0 19 0 856435864 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 46912505857008 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22615/tid=22618] ppid=22613 vsize=10550104 CPUtime=0.44 cores=1,3,5,7
/proc/22615/task/22618/stat : 22618 (java) S 22613 22615 22213 0 -1 4202560 40841 0 0 0 38 6 0 0 15 0 19 0 856435865 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 1 0 0 0
[pid=22615/tid=22619] ppid=22613 vsize=10550104 CPUtime=0.5 cores=1,3,5,7
/proc/22615/task/22619/stat : 22619 (java) S 22613 22615 22213 0 -1 4202560 45447 0 0 0 45 5 0 0 15 0 19 0 856435865 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22620] ppid=22613 vsize=10550104 CPUtime=0.53 cores=1,3,5,7
/proc/22615/task/22620/stat : 22620 (java) S 22613 22615 22213 0 -1 4202560 56054 0 0 0 44 9 0 0 16 0 19 0 856435865 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22621] ppid=22613 vsize=10550104 CPUtime=0.21 cores=1,3,5,7
/proc/22615/task/22621/stat : 22621 (java) S 22613 22615 22213 0 -1 4202560 23775 0 0 0 19 2 0 0 16 0 19 0 856435865 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 1 0 0 0
[pid=22615/tid=22622] ppid=22613 vsize=10550104 CPUtime=0.32 cores=1,3,5,7
/proc/22615/task/22622/stat : 22622 (java) S 22613 22615 22213 0 -1 4202560 33999 0 0 0 27 5 0 0 16 0 19 0 856435865 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 5 0 0 0
[pid=22615/tid=22623] ppid=22613 vsize=10550104 CPUtime=0.3 cores=1,3,5,7
/proc/22615/task/22623/stat : 22623 (java) S 22613 22615 22213 0 -1 4202560 27870 0 0 0 25 5 0 0 15 0 19 0 856435865 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22624] ppid=22613 vsize=10550104 CPUtime=0.38 cores=1,3,5,7
/proc/22615/task/22624/stat : 22624 (java) S 22613 22615 22213 0 -1 4202560 25298 0 0 0 36 2 0 0 16 0 19 0 856435865 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22625] ppid=22613 vsize=10550104 CPUtime=0.47 cores=1,3,5,7
/proc/22615/task/22625/stat : 22625 (java) S 22613 22615 22213 0 -1 4202560 42472 0 0 0 42 5 0 0 15 0 19 0 856435865 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22626] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22626/stat : 22626 (java) S 22613 22615 22213 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 856435866 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463872 0 0 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22627] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22627/stat : 22627 (java) S 22613 22615 22213 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856435867 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22628] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22628/stat : 22628 (java) S 22613 22615 22213 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 856435867 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22629] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22629/stat : 22629 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 856435869 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216470961 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22630] ppid=22613 vsize=10550104 CPUtime=0.8 cores=1,3,5,7
/proc/22615/task/22630/stat : 22630 (java) S 22613 22615 22213 0 -1 4202560 5104 0 0 0 79 1 0 0 15 0 19 0 856435869 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22631] ppid=22613 vsize=10550104 CPUtime=0.6 cores=1,3,5,7
/proc/22615/task/22631/stat : 22631 (java) S 22613 22615 22213 0 -1 4202560 5283 0 0 0 59 1 0 0 16 0 19 0 856435869 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22632] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22632/stat : 22632 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 856435869 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22633] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22633/stat : 22633 (java) S 22613 22615 22213 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 856435869 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463872 0 4 0 16800975 18446604460717077632 0 0 -1 1 0 0 0
[pid=22615/tid=22634] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22634/stat : 22634 (java) S 22613 22615 22213 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856435883 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463872 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1725.98
Current children cumulated vsize (KiB) 10550104
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/526 22682
/proc/meminfo: memFree=18392224/32951124 swapFree=63649284/67111528
[pid=22615] ppid=22613 vsize=10550104 CPUtime=1785.98 cores=1,3,5,7
/proc/22615/stat : 22615 (java) S 22613 22615 22213 0 -1 4202496 1074081 0 1 0 178469 129 0 0 25 0 19 0 856435863 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22615/statm: 2637526 1053616 2244 9 0 2628260 0
[pid=22615/tid=22616] ppid=22613 vsize=10550104 CPUtime=1781.29 cores=1,3,5,7
/proc/22615/task/22616/stat : 22616 (java) R 22613 22615 22213 0 -1 4202560 766616 0 1 0 178047 82 0 0 25 0 19 0 856435864 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 46912505857111 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22615/tid=22618] ppid=22613 vsize=10550104 CPUtime=0.44 cores=1,3,5,7
/proc/22615/task/22618/stat : 22618 (java) S 22613 22615 22213 0 -1 4202560 40841 0 0 0 38 6 0 0 15 0 19 0 856435865 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 1 0 0 0
[pid=22615/tid=22619] ppid=22613 vsize=10550104 CPUtime=0.5 cores=1,3,5,7
/proc/22615/task/22619/stat : 22619 (java) S 22613 22615 22213 0 -1 4202560 45447 0 0 0 45 5 0 0 15 0 19 0 856435865 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22620] ppid=22613 vsize=10550104 CPUtime=0.53 cores=1,3,5,7
/proc/22615/task/22620/stat : 22620 (java) S 22613 22615 22213 0 -1 4202560 56054 0 0 0 44 9 0 0 16 0 19 0 856435865 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22621] ppid=22613 vsize=10550104 CPUtime=0.21 cores=1,3,5,7
/proc/22615/task/22621/stat : 22621 (java) S 22613 22615 22213 0 -1 4202560 23775 0 0 0 19 2 0 0 16 0 19 0 856435865 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 1 0 0 0
[pid=22615/tid=22622] ppid=22613 vsize=10550104 CPUtime=0.32 cores=1,3,5,7
/proc/22615/task/22622/stat : 22622 (java) S 22613 22615 22213 0 -1 4202560 33999 0 0 0 27 5 0 0 16 0 19 0 856435865 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 5 0 0 0
[pid=22615/tid=22623] ppid=22613 vsize=10550104 CPUtime=0.3 cores=1,3,5,7
/proc/22615/task/22623/stat : 22623 (java) S 22613 22615 22213 0 -1 4202560 27870 0 0 0 25 5 0 0 15 0 19 0 856435865 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22624] ppid=22613 vsize=10550104 CPUtime=0.38 cores=1,3,5,7
/proc/22615/task/22624/stat : 22624 (java) S 22613 22615 22213 0 -1 4202560 25298 0 0 0 36 2 0 0 16 0 19 0 856435865 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22625] ppid=22613 vsize=10550104 CPUtime=0.47 cores=1,3,5,7
/proc/22615/task/22625/stat : 22625 (java) S 22613 22615 22213 0 -1 4202560 42472 0 0 0 42 5 0 0 15 0 19 0 856435865 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22626] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22626/stat : 22626 (java) S 22613 22615 22213 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 856435866 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463872 0 0 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22627] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22627/stat : 22627 (java) S 22613 22615 22213 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856435867 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22628] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22628/stat : 22628 (java) S 22613 22615 22213 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 856435867 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22629] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22629/stat : 22629 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 856435869 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216470961 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22630] ppid=22613 vsize=10550104 CPUtime=0.8 cores=1,3,5,7
/proc/22615/task/22630/stat : 22630 (java) S 22613 22615 22213 0 -1 4202560 5104 0 0 0 79 1 0 0 15 0 19 0 856435869 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22631] ppid=22613 vsize=10550104 CPUtime=0.6 cores=1,3,5,7
/proc/22615/task/22631/stat : 22631 (java) S 22613 22615 22213 0 -1 4202560 5283 0 0 0 59 1 0 0 16 0 19 0 856435869 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22632] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22632/stat : 22632 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 856435869 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22633] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22633/stat : 22633 (java) S 22613 22615 22213 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 856435869 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463872 0 4 0 16800975 18446604460717077632 0 0 -1 1 0 0 0
[pid=22615/tid=22634] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22634/stat : 22634 (java) S 22613 22615 22213 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856435883 10803306496 1053616 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463872 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1785.98
Current children cumulated vsize (KiB) 10550104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.32 s]
/proc/loadavg: 1.93 2.00 1.99 3/526 22730
/proc/meminfo: memFree=20077728/32951124 swapFree=63649284/67111528
[pid=22615] ppid=22613 vsize=10550104 CPUtime=1800.05 cores=1,3,5,7
/proc/22615/stat : 22615 (java) S 22613 22615 22213 0 -1 4202496 1082249 0 1 0 179875 130 0 0 25 0 19 0 856435863 10803306496 1061296 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22615/statm: 2637526 1061296 2244 9 0 2628260 0
[pid=22615/tid=22616] ppid=22613 vsize=10550104 CPUtime=1795.31 cores=1,3,5,7
/proc/22615/task/22616/stat : 22616 (java) R 22613 22615 22213 0 -1 4202560 766617 0 1 0 179449 82 0 0 25 0 19 0 856435864 10803306496 1061296 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 46912506059100 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22615/tid=22618] ppid=22613 vsize=10550104 CPUtime=0.46 cores=1,3,5,7
/proc/22615/task/22618/stat : 22618 (java) S 22613 22615 22213 0 -1 4202560 43857 0 0 0 40 6 0 0 16 0 19 0 856435865 10803306496 1061296 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 1 0 0 0
[pid=22615/tid=22619] ppid=22613 vsize=10550104 CPUtime=0.53 cores=1,3,5,7
/proc/22615/task/22619/stat : 22619 (java) S 22613 22615 22213 0 -1 4202560 47756 0 0 0 47 6 0 0 16 0 19 0 856435865 10803306496 1061296 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22620] ppid=22613 vsize=10550104 CPUtime=0.56 cores=1,3,5,7
/proc/22615/task/22620/stat : 22620 (java) S 22613 22615 22213 0 -1 4202560 58892 0 0 0 46 10 0 0 16 0 19 0 856435865 10803306496 1061296 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22621] ppid=22613 vsize=10550104 CPUtime=0.21 cores=1,3,5,7
/proc/22615/task/22621/stat : 22621 (java) S 22613 22615 22213 0 -1 4202560 23775 0 0 0 19 2 0 0 15 0 19 0 856435865 10803306496 1061296 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 1 0 0 0
[pid=22615/tid=22622] ppid=22613 vsize=10550104 CPUtime=0.32 cores=1,3,5,7
/proc/22615/task/22622/stat : 22622 (java) S 22613 22615 22213 0 -1 4202560 33999 0 0 0 27 5 0 0 15 0 19 0 856435865 10803306496 1061296 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 5 0 0 0
[pid=22615/tid=22623] ppid=22613 vsize=10550104 CPUtime=0.3 cores=1,3,5,7
/proc/22615/task/22623/stat : 22623 (java) S 22613 22615 22213 0 -1 4202560 27870 0 0 0 25 5 0 0 15 0 19 0 856435865 10803306496 1061296 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22624] ppid=22613 vsize=10550104 CPUtime=0.38 cores=1,3,5,7
/proc/22615/task/22624/stat : 22624 (java) S 22613 22615 22213 0 -1 4202560 25298 0 0 0 36 2 0 0 15 0 19 0 856435865 10803306496 1061296 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22625] ppid=22613 vsize=10550104 CPUtime=0.47 cores=1,3,5,7
/proc/22615/task/22625/stat : 22625 (java) S 22613 22615 22213 0 -1 4202560 42472 0 0 0 42 5 0 0 15 0 19 0 856435865 10803306496 1061296 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22626] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22626/stat : 22626 (java) S 22613 22615 22213 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 19 0 856435866 10803306496 1061296 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463872 0 0 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22627] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22627/stat : 22627 (java) S 22613 22615 22213 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856435867 10803306496 1061296 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22628] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22628/stat : 22628 (java) S 22613 22615 22213 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 856435867 10803306496 1061296 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22629] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22629/stat : 22629 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 856435869 10803306496 1061296 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216470961 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22630] ppid=22613 vsize=10550104 CPUtime=0.8 cores=1,3,5,7
/proc/22615/task/22630/stat : 22630 (java) S 22613 22615 22213 0 -1 4202560 5104 0 0 0 79 1 0 0 15 0 19 0 856435869 10803306496 1061296 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
[pid=22615/tid=22631] ppid=22613 vsize=10550104 CPUtime=0.6 cores=1,3,5,7
/proc/22615/task/22631/stat : 22631 (java) S 22613 22615 22213 0 -1 4202560 5283 0 0 0 59 1 0 0 16 0 19 0 856435869 10803306496 1061296 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22632] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22632/stat : 22632 (java) S 22613 22615 22213 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 856435869 10803306496 1061296 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463257 0 4 0 16800975 18446604460717077632 0 0 -1 3 0 0 0
[pid=22615/tid=22633] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22633/stat : 22633 (java) S 22613 22615 22213 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 856435869 10803306496 1061296 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463872 0 4 0 16800975 18446604460717077632 0 0 -1 1 0 0 0
[pid=22615/tid=22634] ppid=22613 vsize=10550104 CPUtime=0 cores=1,3,5,7
/proc/22615/task/22634/stat : 22634 (java) S 22613 22615 22213 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856435883 10803306496 1061296 33554432000 1073741824 1073778376 140734660416560 18446744073709551615 210216463872 0 4 0 16800975 18446604460717077632 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10550104
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.42 s]
/proc/loadavg: 1.93 2.00 1.99 3/526 22730
/proc/meminfo: memFree=20077728/32951124 swapFree=63649284/67111528
[pid=22615] ppid=22613 vsize=0 CPUtime=1800.16 cores=1,3,5,7
/proc/22615/stat : 22615 (java) Z 22613 22615 22213 0 -1 4203548 1082280 0 1 0 179878 138 0 0 17 0 2 0 856435863 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22615/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0
[startup+1796.5 s]
/proc/loadavg: 1.93 2.00 1.99 3/526 22730
/proc/meminfo: memFree=20077728/32951124 swapFree=63649284/67111528
[pid=22615] ppid=22613 vsize=0 CPUtime=1800.24 cores=1,3,5,7
/proc/22615/stat : 22615 (java) Z 22613 22615 22213 0 -1 4203548 1082280 0 1 0 179878 146 0 0 17 0 2 0 856435863 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22615/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.51
CPU time (s): 1800.25
CPU user time (s): 1798.78
CPU system time (s): 1.46578
CPU usage (%): 100.208
Max. virtual memory (cumulated for all children) (KiB): 10554984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.78
system time used= 1.46578
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1082280
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= 37869
involuntary context switches= 13388
runsolver used 8.82266 second user time and 21.1788 second system time
The end