runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4243392-1500670875/watcher-4243392-1500670875 -o /tmp/evaluation-result-4243392-1500670875/solver-4243392-1500670875 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500670160-12231 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243392-1500670875.xml
pid=12759
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 12.94 11.85 7.71 9/264 12762
/proc/meminfo: memFree=23679224/32770624 swapFree=5924/199728
[pid=12762] ppid=12759 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12762/stat : 12762 (java) S 12759 12762 9835 0 -1 1077944320 1715 0 0 0 0 0 0 0 20 0 2 0 2356529 369864704 1935 33554432000 4194304 4196468 140720698119088 140720698101632 140414168059639 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
/proc/12762/statm: 90299 1935 1081 1 0 79210 0
[pid=12762/tid=12763] ppid=12759 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12763/stat : 12763 (java) S 12759 12762 9835 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 2 0 2356530 369864704 1935 33554432000 4194304 4196468 140720698119088 140414172301728 140414168070786 0 4 0 16784584 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[startup+0.100127 s]
/proc/loadavg: 12.94 11.85 7.71 9/264 12762
/proc/meminfo: memFree=23679224/32770624 swapFree=5924/199728
[pid=12762] ppid=12759 vsize=10900556 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/12762/stat : 12762 (java) S 12759 12762 9835 0 -1 1077944320 4865 0 0 0 8 1 0 0 20 0 20 0 2356529 11162169344 5972 33554432000 4194304 4196468 140720698119088 140720698101632 140414168059639 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
/proc/12762/statm: 2725139 5972 2626 1 0 2713552 0
[pid=12762/tid=12763] ppid=12759 vsize=10900556 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12763/stat : 12763 (java) R 12759 12762 9835 0 -1 4202560 2944 0 0 0 7 0 0 0 20 0 20 0 2356530 11162169344 5972 33554432000 4194304 4196468 140720698119088 140414172301920 140414168081565 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900556
[startup+0.200361 s]
/proc/loadavg: 12.94 11.85 7.71 9/264 12762
/proc/meminfo: memFree=23679224/32770624 swapFree=5924/199728
[pid=12762] ppid=12759 vsize=10900556 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/12762/stat : 12762 (java) S 12759 12762 9835 0 -1 1077944320 6994 0 0 0 23 2 0 0 20 0 20 0 2356529 11162169344 8306 33554432000 4194304 4196468 140720698119088 140720698101632 140414168059639 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
/proc/12762/statm: 2725139 8306 2852 1 0 2713552 0
[pid=12762/tid=12763] ppid=12759 vsize=10900556 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12763/stat : 12763 (java) R 12759 12762 9835 0 -1 4202560 4678 0 0 0 16 1 0 0 20 0 20 0 2356530 11162169344 8306 33554432000 4194304 4196468 140720698119088 140414172280976 140414168083229 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10900556
[startup+0.300295 s]
/proc/loadavg: 12.94 11.85 7.71 9/264 12762
/proc/meminfo: memFree=23679224/32770624 swapFree=5924/199728
[pid=12762] ppid=12759 vsize=10900556 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/12762/stat : 12762 (java) S 12759 12762 9835 0 -1 1077944320 8257 0 0 0 41 3 0 0 20 0 20 0 2356529 11162169344 10663 33554432000 4194304 4196468 140720698119088 140720698101632 140414168059639 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
/proc/12762/statm: 2725139 10663 2991 1 0 2713552 0
[pid=12762/tid=12763] ppid=12759 vsize=10900556 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12763/stat : 12763 (java) R 12759 12762 9835 0 -1 4202560 5303 0 0 0 26 2 0 0 20 0 20 0 2356530 11162169344 10663 33554432000 4194304 4196468 140720698119088 140414172291808 140414154191200 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 10900556
[startup+0.707147 s]
/proc/loadavg: 12.94 11.85 7.71 9/264 12762
/proc/meminfo: memFree=23679224/32770624 swapFree=5924/199728
[pid=12762] ppid=12759 vsize=10900632 CPUtime=1.77 cores=1,3,5,7,9,11,13,15
/proc/12762/stat : 12762 (java) S 12759 12762 9835 0 -1 1077944320 11784 0 0 0 167 10 0 0 20 0 20 0 2356529 11162247168 46196 33554432000 4194304 4196468 140720698119088 140720698101632 140414168059639 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
/proc/12762/statm: 2725158 46196 3081 1 0 2713552 0
[pid=12762/tid=12763] ppid=12759 vsize=10900632 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12763/stat : 12763 (java) S 12759 12762 9835 0 -1 1077944384 5995 0 0 0 63 4 0 0 20 0 20 0 2356530 11162247168 46196 33554432000 4194304 4196468 140720698119088 140414172295472 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
Current children cumulated CPU time (s) 1.77
Current children cumulated vsize (KiB) 10900632
[startup+1.50158 s]
/proc/loadavg: 12.94 11.85 7.71 10/284 12782
/proc/meminfo: memFree=23363136/32770624 swapFree=5924/199756
[pid=12762] ppid=12759 vsize=10900632 CPUtime=5.19 cores=1,3,5,7,9,11,13,15
/proc/12762/stat : 12762 (java) S 12759 12762 9835 0 -1 1077944320 13256 0 0 0 366 153 0 0 20 0 20 0 2356529 11162247168 139303 33554432000 4194304 4196468 140720698119088 140720698101632 140414168059639 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
/proc/12762/statm: 2725158 139303 3112 1 0 2713552 0
[pid=12762/tid=12763] ppid=12759 vsize=10900632 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12763/stat : 12763 (java) S 12759 12762 9835 0 -1 1077944384 6066 0 0 0 103 6 0 0 20 0 20 0 2356530 11162247168 139303 33554432000 4194304 4196468 140720698119088 140414172295248 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12765] ppid=12759 vsize=10900632 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12765/stat : 12765 (java) R 12759 12762 9835 0 -1 4202560 162 0 0 0 20 17 0 0 20 0 20 0 2356531 11162247168 139303 33554432000 4194304 4196468 140720698119088 140414094134360 140414153087513 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12766] ppid=12759 vsize=10900632 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12766/stat : 12766 (java) R 12759 12762 9835 0 -1 4202560 166 0 0 0 18 18 0 0 20 0 20 0 2356531 11162247168 139303 33554432000 4194304 4196468 140720698119088 140414093081560 140414153083795 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12767] ppid=12759 vsize=10900632 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12767/stat : 12767 (java) R 12759 12762 9835 0 -1 4202560 163 0 0 0 21 16 0 0 20 0 20 0 2356531 11162247168 139303 33554432000 4194304 4196468 140720698119088 140414092029272 140414153087058 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12768] ppid=12759 vsize=10900632 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12768/stat : 12768 (java) R 12759 12762 9835 0 -1 4202560 165 0 0 0 20 16 0 0 20 0 20 0 2356531 11162247168 139303 33554432000 4194304 4196468 140720698119088 140413771967704 140414152507854 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12769] ppid=12759 vsize=10900632 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12769/stat : 12769 (java) R 12759 12762 9835 0 -1 4202560 183 0 0 0 20 17 0 0 20 0 20 0 2356531 11162247168 139303 33554432000 4194304 4196468 140720698119088 140413770914392 140414153083342 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12770] ppid=12759 vsize=10900632 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12770/stat : 12770 (java) R 12759 12762 9835 0 -1 4202560 170 0 0 0 19 19 0 0 20 0 20 0 2356531 11162247168 139303 33554432000 4194304 4196468 140720698119088 140413769861592 140414153087058 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12771] ppid=12759 vsize=10900632 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12771/stat : 12771 (java) R 12759 12762 9835 0 -1 4202560 175 0 0 0 19 18 0 0 20 0 20 0 2356531 11162247168 139303 33554432000 4194304 4196468 140720698119088 140413768808992 140414149685584 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12772] ppid=12759 vsize=10900632 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12772/stat : 12772 (java) R 12759 12762 9835 0 -1 4202560 176 0 0 0 19 18 0 0 20 0 20 0 2356531 11162247168 139303 33554432000 4194304 4196468 140720698119088 140413767756504 140414153087689 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12773] ppid=12759 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12773/stat : 12773 (java) S 12759 12762 9835 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 2356533 11162247168 139303 33554432000 4194304 4196468 140720698119088 140412986274976 140414168069845 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12774] ppid=12759 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12774/stat : 12774 (java) S 12759 12762 9835 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2356534 11162247168 139303 33554432000 4194304 4196468 140720698119088 140412985222432 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12775] ppid=12759 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12775/stat : 12775 (java) S 12759 12762 9835 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2356534 11162247168 139303 33554432000 4194304 4196468 140720698119088 140412984170096 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12776] ppid=12759 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12776/stat : 12776 (java) S 12759 12762 9835 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2356538 11162247168 139303 33554432000 4194304 4196468 140720698119088 140412983118416 140414168078235 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12777] ppid=12759 vsize=10900632 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12777/stat : 12777 (java) S 12759 12762 9835 0 -1 1077944384 1237 0 0 0 26 0 0 0 20 0 20 0 2356538 11162247168 139303 33554432000 4194304 4196468 140720698119088 140412982065264 140414168070786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12778] ppid=12759 vsize=10900632 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12778/stat : 12778 (java) S 12759 12762 9835 0 -1 1077944384 768 0 0 0 24 0 0 0 20 0 20 0 2356538 11162247168 139303 33554432000 4194304 4196468 140720698119088 140412981012464 140414168070786 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12779] ppid=12759 vsize=10900632 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12779/stat : 12779 (java) S 12759 12762 9835 0 -1 1077944384 897 0 0 0 25 0 0 0 20 0 20 0 2356538 11162247168 139303 33554432000 4194304 4196468 140720698119088 140412979960176 140414168070786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12780] ppid=12759 vsize=10900632 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12780/stat : 12780 (java) S 12759 12762 9835 0 -1 1077944384 1479 0 0 0 26 0 0 0 20 0 20 0 2356538 11162247168 139303 33554432000 4194304 4196468 140720698119088 140412978907376 140414168070786 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12781] ppid=12759 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12781/stat : 12781 (java) S 12759 12762 9835 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2356538 11162247168 139303 33554432000 4194304 4196468 140720698119088 140412977855328 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12782] ppid=12759 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12782/stat : 12782 (java) S 12759 12762 9835 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2356539 11162247168 139303 33554432000 4194304 4196468 140720698119088 140412976802608 140414168070786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
Current children cumulated CPU time (s) 5.19
Current children cumulated vsize (KiB) 10900632
[startup+3.10166 s]
/proc/loadavg: 12.94 11.85 7.71 17/284 12782
/proc/meminfo: memFree=23060840/32770624 swapFree=5924/199768
[pid=12762] ppid=12759 vsize=10900632 CPUtime=13.27 cores=1,3,5,7,9,11,13,15
/proc/12762/stat : 12762 (java) S 12759 12762 9835 0 -1 1077944320 15276 0 0 0 1080 247 0 0 20 0 20 0 2356529 11162247168 196803 33554432000 4194304 4196468 140720698119088 140720698101632 140414168059639 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
/proc/12762/statm: 2725158 196803 3129 1 0 2713552 0
[pid=12762/tid=12763] ppid=12759 vsize=10900632 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12763/stat : 12763 (java) R 12759 12762 9835 0 -1 4202560 6194 0 0 0 133 6 0 0 20 0 20 0 2356530 11162247168 196803 33554432000 4194304 4196468 140720698119088 140414172295008 140413775085042 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12765] ppid=12759 vsize=10900632 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12765/stat : 12765 (java) S 12759 12762 9835 0 -1 1077944384 383 0 0 0 102 28 0 0 20 0 20 0 2356531 11162247168 196803 33554432000 4194304 4196468 140720698119088 140414094134160 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12766] ppid=12759 vsize=10900632 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12766/stat : 12766 (java) S 12759 12762 9835 0 -1 1077944384 367 0 0 0 98 29 0 0 20 0 20 0 2356531 11162247168 196803 33554432000 4194304 4196468 140720698119088 140414093081360 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12767] ppid=12759 vsize=10900632 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12767/stat : 12767 (java) S 12759 12762 9835 0 -1 1077944384 322 0 0 0 101 29 0 0 20 0 20 0 2356531 11162247168 196803 33554432000 4194304 4196468 140720698119088 140414092029072 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12768] ppid=12759 vsize=10900632 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12768/stat : 12768 (java) S 12759 12762 9835 0 -1 1077944384 360 0 0 0 101 29 0 0 20 0 20 0 2356531 11162247168 196803 33554432000 4194304 4196468 140720698119088 140413771967504 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12769] ppid=12759 vsize=10900632 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12769/stat : 12769 (java) S 12759 12762 9835 0 -1 1077944384 347 0 0 0 100 30 0 0 20 0 20 0 2356531 11162247168 196803 33554432000 4194304 4196468 140720698119088 140413770914192 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12770] ppid=12759 vsize=10900632 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12770/stat : 12770 (java) S 12759 12762 9835 0 -1 1077944384 309 0 0 0 99 31 0 0 20 0 20 0 2356531 11162247168 196803 33554432000 4194304 4196468 140720698119088 140413769861392 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12771] ppid=12759 vsize=10900632 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12771/stat : 12771 (java) S 12759 12762 9835 0 -1 1077944384 336 0 0 0 100 31 0 0 20 0 20 0 2356531 11162247168 196803 33554432000 4194304 4196468 140720698119088 140413768809104 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12772] ppid=12759 vsize=10900632 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12772/stat : 12772 (java) S 12759 12762 9835 0 -1 1077944384 407 0 0 0 101 29 0 0 20 0 20 0 2356531 11162247168 196803 33554432000 4194304 4196468 140720698119088 140413767756304 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12773] ppid=12759 vsize=10900632 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12773/stat : 12773 (java) S 12759 12762 9835 0 -1 1077944384 495 0 0 0 36 0 0 0 20 0 20 0 2356533 11162247168 196803 33554432000 4194304 4196468 140720698119088 140412986276464 140414168070786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12774] ppid=12759 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12774/stat : 12774 (java) S 12759 12762 9835 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2356534 11162247168 196803 33554432000 4194304 4196468 140720698119088 140412985222432 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12775] ppid=12759 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12775/stat : 12775 (java) S 12759 12762 9835 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2356534 11162247168 196803 33554432000 4194304 4196468 140720698119088 140412984170096 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12776] ppid=12759 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12776/stat : 12776 (java) S 12759 12762 9835 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2356538 11162247168 196803 33554432000 4194304 4196468 140720698119088 140412983118416 140414168078235 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12777] ppid=12759 vsize=10900632 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12777/stat : 12777 (java) S 12759 12762 9835 0 -1 1077944384 1237 0 0 0 27 0 0 0 20 0 20 0 2356538 11162247168 196803 33554432000 4194304 4196468 140720698119088 140412982065264 140414168070786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12778] ppid=12759 vsize=10900632 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12778/stat : 12778 (java) S 12759 12762 9835 0 -1 1077944384 770 0 0 0 25 0 0 0 20 0 20 0 2356538 11162247168 196803 33554432000 4194304 4196468 140720698119088 140412981012464 140414168070786 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12779] ppid=12759 vsize=10900632 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12779/stat : 12779 (java) S 12759 12762 9835 0 -1 1077944384 897 0 0 0 25 0 0 0 20 0 20 0 2356538 11162247168 196803 33554432000 4194304 4196468 140720698119088 140412979960176 140414168070786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12780] ppid=12759 vsize=10900632 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12780/stat : 12780 (java) S 12759 12762 9835 0 -1 1077944384 1484 0 0 0 26 0 0 0 20 0 20 0 2356538 11162247168 196803 33554432000 4194304 4196468 140720698119088 140412978907376 140414168070786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12781] ppid=12759 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12781/stat : 12781 (java) S 12759 12762 9835 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2356538 11162247168 196803 33554432000 4194304 4196468 140720698119088 140412977855328 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12782] ppid=12759 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12782/stat : 12782 (java) S 12759 12762 9835 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2356539 11162247168 196803 33554432000 4194304 4196468 140720698119088 140412976802608 140414168070786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
Current children cumulated CPU time (s) 13.27
Current children cumulated vsize (KiB) 10900632
[startup+6.3008 s]
/proc/loadavg: 12.63 11.80 7.72 3/261 12837
/proc/meminfo: memFree=30906504/32770624 swapFree=5924/199772
[pid=12762] ppid=12759 vsize=10900632 CPUtime=30.57 cores=1,3,5,7,9,11,13,15
/proc/12762/stat : 12762 (java) S 12759 12762 9835 0 -1 1077944320 23098 0 0 0 2702 355 0 0 20 0 20 0 2356529 11162247168 283557 33554432000 4194304 4196468 140720698119088 140720698101632 140414168059639 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
/proc/12762/statm: 2725158 283557 3130 1 0 2713552 0
[pid=12762/tid=12763] ppid=12759 vsize=10900632 CPUtime=1.8 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12763/stat : 12763 (java) R 12759 12762 9835 0 -1 4202560 7098 0 0 0 173 7 0 0 20 0 20 0 2356530 11162247168 283557 33554432000 4194304 4196468 140720698119088 140414172292632 140413774688186 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12765] ppid=12759 vsize=10900632 CPUtime=3.32 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12765/stat : 12765 (java) S 12759 12762 9835 0 -1 1077944384 639 0 0 0 293 39 0 0 20 0 20 0 2356531 11162247168 283557 33554432000 4194304 4196468 140720698119088 140414094134160 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12766] ppid=12759 vsize=10900632 CPUtime=3.27 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12766/stat : 12766 (java) S 12759 12762 9835 0 -1 1077944384 1022 0 0 0 284 43 0 0 20 0 20 0 2356531 11162247168 283557 33554432000 4194304 4196468 140720698119088 140414093081360 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12767] ppid=12759 vsize=10900632 CPUtime=3.31 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12767/stat : 12767 (java) S 12759 12762 9835 0 -1 1077944384 927 0 0 0 289 42 0 0 20 0 20 0 2356531 11162247168 283557 33554432000 4194304 4196468 140720698119088 140414092029072 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12768] ppid=12759 vsize=10900632 CPUtime=3.3 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12768/stat : 12768 (java) S 12759 12762 9835 0 -1 1077944384 533 0 0 0 287 43 0 0 20 0 20 0 2356531 11162247168 283557 33554432000 4194304 4196468 140720698119088 140413771967504 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12769] ppid=12759 vsize=10900632 CPUtime=3.33 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12769/stat : 12769 (java) S 12759 12762 9835 0 -1 1077944384 1241 0 0 0 289 44 0 0 20 0 20 0 2356531 11162247168 283557 33554432000 4194304 4196468 140720698119088 140413770914192 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12770] ppid=12759 vsize=10900632 CPUtime=3.27 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12770/stat : 12770 (java) S 12759 12762 9835 0 -1 1077944384 942 0 0 0 283 44 0 0 20 0 20 0 2356531 11162247168 283557 33554432000 4194304 4196468 140720698119088 140413769861392 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12771] ppid=12759 vsize=10900632 CPUtime=3.31 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12771/stat : 12771 (java) S 12759 12762 9835 0 -1 1077944384 994 0 0 0 287 44 0 0 20 0 20 0 2356531 11162247168 283557 33554432000 4194304 4196468 140720698119088 140413768809104 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12772] ppid=12759 vsize=10900632 CPUtime=3.29 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12772/stat : 12772 (java) S 12759 12762 9835 0 -1 1077944384 1009 0 0 0 287 42 0 0 20 0 20 0 2356531 11162247168 283557 33554432000 4194304 4196468 140720698119088 140413767756304 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12773] ppid=12759 vsize=10900632 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12773/stat : 12773 (java) S 12759 12762 9835 0 -1 1077944384 2195 0 0 0 112 0 0 0 20 0 20 0 2356533 11162247168 283557 33554432000 4194304 4196468 140720698119088 140412986276464 140414168070786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12774] ppid=12759 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12774/stat : 12774 (java) S 12759 12762 9835 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2356534 11162247168 283557 33554432000 4194304 4196468 140720698119088 140412985222432 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12775] ppid=12759 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12775/stat : 12775 (java) S 12759 12762 9835 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2356534 11162247168 283557 33554432000 4194304 4196468 140720698119088 140412984170096 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12776] ppid=12759 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=12762/tid=12781] ppid=12759 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12781/stat : 12781 (java) S 12759 12762 9835 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2356538 11230408704 1262892 33554432000 4194304 4196468 140720698119088 140412977855328 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12782] ppid=12759 vsize=10967196 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12782/stat : 12782 (java) S 12759 12762 9835 0 -1 1077944384 1960 0 0 0 53 65 0 0 20 0 21 0 2356539 11230408704 1262892 33554432000 4194304 4196468 140720698119088 140412976802608 140414168070786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12868] ppid=12759 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12868/stat : 12868 (java) S 12759 12762 9835 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2358145 11230408704 1262892 33554432000 4194304 4196468 140720698119088 140412975748656 140414168070786 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
Current children cumulated CPU time (s) 2285.58
Current children cumulated vsize (KiB) 10967196
[startup+2202.31 s]
/proc/loadavg: 2.00 2.43 4.33 3/283 13267
/proc/meminfo: memFree=21196752/32770624 swapFree=5924/202224
[pid=12762] ppid=12759 vsize=10967196 CPUtime=2345.6 cores=1,3,5,7,9,11,13,15
/proc/12762/stat : 12762 (java) S 12759 12762 9835 0 -1 1077944320 245343 0 0 0 232691 1869 0 0 20 0 21 0 2356529 11230408704 1262892 33554432000 4194304 4196468 140720698119088 140720698101632 140414168059639 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
/proc/12762/statm: 2741799 1262892 3159 1 0 2730193 0
[pid=12762/tid=12763] ppid=12759 vsize=10967196 CPUtime=2174.78 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12763/stat : 12763 (java) R 12759 12762 9835 0 -1 4202560 154653 0 0 0 217454 24 0 0 20 0 21 0 2356530 11230408704 1262892 33554432000 4194304 4196468 140720698119088 140414172298592 140413775814740 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12765] ppid=12759 vsize=10967196 CPUtime=20.06 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12765/stat : 12765 (java) S 12759 12762 9835 0 -1 1077944384 4840 0 0 0 1792 214 0 0 20 0 21 0 2356531 11230408704 1262892 33554432000 4194304 4196468 140720698119088 140414094134160 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12766] ppid=12759 vsize=10967196 CPUtime=20.03 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12766/stat : 12766 (java) S 12759 12762 9835 0 -1 1077944384 6220 0 0 0 1794 209 0 0 20 0 21 0 2356531 11230408704 1262892 33554432000 4194304 4196468 140720698119088 140414093081360 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12767] ppid=12759 vsize=10967196 CPUtime=19.96 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12767/stat : 12767 (java) S 12759 12762 9835 0 -1 1077944384 6987 0 0 0 1774 222 0 0 20 0 21 0 2356531 11230408704 1262892 33554432000 4194304 4196468 140720698119088 140414092029072 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12768] ppid=12759 vsize=10967196 CPUtime=20.07 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12768/stat : 12768 (java) S 12759 12762 9835 0 -1 1077944384 5582 0 0 0 1777 230 0 0 20 0 21 0 2356531 11230408704 1262892 33554432000 4194304 4196468 140720698119088 140413771967504 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12769] ppid=12759 vsize=10967196 CPUtime=20.04 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12769/stat : 12769 (java) S 12759 12762 9835 0 -1 1077944384 7346 0 0 0 1778 226 0 0 20 0 21 0 2356531 11230408704 1262892 33554432000 4194304 4196468 140720698119088 140413770914192 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12770] ppid=12759 vsize=10967196 CPUtime=19.87 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12770/stat : 12770 (java) S 12759 12762 9835 0 -1 1077944384 4757 0 0 0 1758 229 0 0 20 0 21 0 2356531 11230408704 1262892 33554432000 4194304 4196468 140720698119088 140413769861392 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12771] ppid=12759 vsize=10967196 CPUtime=20.01 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12771/stat : 12771 (java) S 12759 12762 9835 0 -1 1077944384 7231 0 0 0 1784 217 0 0 20 0 21 0 2356531 11230408704 1262892 33554432000 4194304 4196468 140720698119088 140413768809104 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12772] ppid=12759 vsize=10967196 CPUtime=19.86 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12772/stat : 12772 (java) S 12759 12762 9835 0 -1 1077944384 8531 0 0 0 1761 225 0 0 20 0 21 0 2356531 11230408704 1262892 33554432000 4194304 4196468 140720698119088 140413767756304 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12773] ppid=12759 vsize=10967196 CPUtime=6.24 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12773/stat : 12773 (java) S 12759 12762 9835 0 -1 1077944384 16055 0 0 0 621 3 0 0 20 0 21 0 2356533 11230408704 1262892 33554432000 4194304 4196468 140720698119088 140412986276464 140414168070786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12774] ppid=12759 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12774/stat : 12774 (java) S 12759 12762 9835 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 21 0 2356534 11230408704 1262892 33554432000 4194304 4196468 140720698119088 140412985222496 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12775] ppid=12759 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12775/stat : 12775 (java) S 12759 12762 9835 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 21 0 2356534 11230408704 1262892 33554432000 4194304 4196468 140720698119088 140412984170112 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12776] ppid=12759 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12776/stat : 12776 (java) S 12759 12762 9835 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2356538 11230408704 1262892 33554432000 4194304 4196468 140720698119088 140412983118416 140414168078235 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12777] ppid=12759 vsize=10967196 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12777/stat : 12777 (java) S 12759 12762 9835 0 -1 1077944384 4654 0 0 0 69 1 0 0 20 0 21 0 2356538 11230408704 1262892 33554432000 4194304 4196468 140720698119088 140412982065264 140414168070786 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12778] ppid=12759 vsize=10967196 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12778/stat : 12778 (java) S 12759 12762 9835 0 -1 1077944384 8998 0 0 0 138 2 0 0 20 0 21 0 2356538 11230408704 1262892 33554432000 4194304 4196468 140720698119088 140412981012464 140414168070786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12779] ppid=12759 vsize=10967196 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12779/stat : 12779 (java) S 12759 12762 9835 0 -1 1077944384 2723 0 0 0 82 1 0 0 20 0 21 0 2356538 11230408704 1262892 33554432000 4194304 4196468 140720698119088 140412979960176 140414168070786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12780] ppid=12759 vsize=10967196 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12780/stat : 12780 (java) S 12759 12762 9835 0 -1 1077944384 3299 0 0 0 37 1 0 0 20 0 21 0 2356538 11230408704 1262892 33554432000 4194304 4196468 140720698119088 140412978907376 140414168070786 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12781] ppid=12759 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12781/stat : 12781 (java) S 12759 12762 9835 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2356538 11230408704 1262892 33554432000 4194304 4196468 140720698119088 140412977855328 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12782] ppid=12759 vsize=10967196 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12782/stat : 12782 (java) S 12759 12762 9835 0 -1 1077944384 2000 0 0 0 55 67 0 0 20 0 21 0 2356539 11230408704 1262892 33554432000 4194304 4196468 140720698119088 140412976802608 140414168070786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12868] ppid=12759 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12868/stat : 12868 (java) S 12759 12762 9835 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2358145 11230408704 1262892 33554432000 4194304 4196468 140720698119088 140412975748656 140414168070786 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
Current children cumulated CPU time (s) 2345.6
Current children cumulated vsize (KiB) 10967196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2254.6 s]
/proc/loadavg: 2.00 2.36 4.21 3/283 13268
/proc/meminfo: memFree=21003628/32770624 swapFree=5924/202284
[pid=12762] ppid=12759 vsize=10967196 CPUtime=2400.05 cores=1,3,5,7,9,11,13,15
/proc/12762/stat : 12762 (java) S 12759 12762 9835 0 -1 1077944320 252668 0 0 0 238052 1953 0 0 20 0 21 0 2356529 11230408704 1311018 33554432000 4194304 4196468 140720698119088 140720698101632 140414168059639 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
/proc/12762/statm: 2741799 1311018 3159 1 0 2730193 0
[pid=12762/tid=12763] ppid=12759 vsize=10967196 CPUtime=2226.73 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12763/stat : 12763 (java) R 12759 12762 9835 0 -1 4202560 157983 0 0 0 222649 24 0 0 20 0 21 0 2356530 11230408704 1311018 33554432000 4194304 4196468 140720698119088 140414172298592 140413776262544 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12765] ppid=12759 vsize=10967196 CPUtime=20.37 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12765/stat : 12765 (java) S 12759 12762 9835 0 -1 1077944384 5685 0 0 0 1814 223 0 0 20 0 21 0 2356531 11230408704 1311018 33554432000 4194304 4196468 140720698119088 140414094134160 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12766] ppid=12759 vsize=10967196 CPUtime=20.34 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12766/stat : 12766 (java) S 12759 12762 9835 0 -1 1077944384 6415 0 0 0 1815 219 0 0 20 0 21 0 2356531 11230408704 1311018 33554432000 4194304 4196468 140720698119088 140414093081360 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12767] ppid=12759 vsize=10967196 CPUtime=20.27 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12767/stat : 12767 (java) S 12759 12762 9835 0 -1 1077944384 8295 0 0 0 1794 233 0 0 20 0 21 0 2356531 11230408704 1311018 33554432000 4194304 4196468 140720698119088 140414092029072 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12768] ppid=12759 vsize=10967196 CPUtime=20.38 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12768/stat : 12768 (java) S 12759 12762 9835 0 -1 1077944384 6049 0 0 0 1797 241 0 0 20 0 21 0 2356531 11230408704 1311018 33554432000 4194304 4196468 140720698119088 140413771967504 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12769] ppid=12759 vsize=10967196 CPUtime=20.35 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12769/stat : 12769 (java) S 12759 12762 9835 0 -1 1077944384 7520 0 0 0 1798 237 0 0 20 0 21 0 2356531 11230408704 1311018 33554432000 4194304 4196468 140720698119088 140413770914192 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12770] ppid=12759 vsize=10967196 CPUtime=20.16 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12770/stat : 12770 (java) S 12759 12762 9835 0 -1 1077944384 5069 0 0 0 1780 236 0 0 20 0 21 0 2356531 11230408704 1311018 33554432000 4194304 4196468 140720698119088 140413769861392 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12771] ppid=12759 vsize=10967196 CPUtime=20.31 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12771/stat : 12771 (java) S 12759 12762 9835 0 -1 1077944384 7392 0 0 0 1803 228 0 0 20 0 21 0 2356531 11230408704 1311018 33554432000 4194304 4196468 140720698119088 140413768809104 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12772] ppid=12759 vsize=10967196 CPUtime=20.18 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12772/stat : 12772 (java) S 12759 12762 9835 0 -1 1077944384 8757 0 0 0 1782 236 0 0 20 0 21 0 2356531 11230408704 1311018 33554432000 4194304 4196468 140720698119088 140413767756304 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12773] ppid=12759 vsize=10967196 CPUtime=6.25 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12773/stat : 12773 (java) S 12759 12762 9835 0 -1 1077944384 16292 0 0 0 621 4 0 0 20 0 21 0 2356533 11230408704 1311018 33554432000 4194304 4196468 140720698119088 140412986276464 140414168070786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12774] ppid=12759 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12774/stat : 12774 (java) S 12759 12762 9835 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 21 0 2356534 11230408704 1311018 33554432000 4194304 4196468 140720698119088 140412985222496 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12775] ppid=12759 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12775/stat : 12775 (java) S 12759 12762 9835 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 21 0 2356534 11230408704 1311018 33554432000 4194304 4196468 140720698119088 140412984170112 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12776] ppid=12759 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12776/stat : 12776 (java) S 12759 12762 9835 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2356538 11230408704 1311018 33554432000 4194304 4196468 140720698119088 140412983118416 140414168078235 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12777] ppid=12759 vsize=10967196 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12777/stat : 12777 (java) S 12759 12762 9835 0 -1 1077944384 4665 0 0 0 69 1 0 0 20 0 21 0 2356538 11230408704 1311018 33554432000 4194304 4196468 140720698119088 140412982065264 140414168070786 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12778] ppid=12759 vsize=10967196 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12778/stat : 12778 (java) S 12759 12762 9835 0 -1 1077944384 9004 0 0 0 138 2 0 0 20 0 21 0 2356538 11230408704 1311018 33554432000 4194304 4196468 140720698119088 140412981012464 140414168070786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12779] ppid=12759 vsize=10967196 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12779/stat : 12779 (java) S 12759 12762 9835 0 -1 1077944384 2729 0 0 0 82 1 0 0 20 0 21 0 2356538 11230408704 1311018 33554432000 4194304 4196468 140720698119088 140412979960176 140414168070786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12780] ppid=12759 vsize=10967196 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12780/stat : 12780 (java) S 12759 12762 9835 0 -1 1077944384 3307 0 0 0 37 1 0 0 20 0 21 0 2356538 11230408704 1311018 33554432000 4194304 4196468 140720698119088 140412978907376 140414168070786 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12781] ppid=12759 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12781/stat : 12781 (java) S 12759 12762 9835 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2356538 11230408704 1311018 33554432000 4194304 4196468 140720698119088 140412977855328 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12782] ppid=12759 vsize=10967196 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12782/stat : 12782 (java) S 12759 12762 9835 0 -1 1077944384 2039 0 0 0 56 69 0 0 20 0 21 0 2356539 11230408704 1311018 33554432000 4194304 4196468 140720698119088 140412976802608 140414168070786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12868] ppid=12759 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12868/stat : 12868 (java) S 12759 12762 9835 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2358145 11230408704 1311018 33554432000 4194304 4196468 140720698119088 140412975748656 140414168070786 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 10967196
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12762 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2254.8 s]
/proc/loadavg: 2.00 2.36 4.21 3/283 13268
/proc/meminfo: memFree=21003628/32770624 swapFree=5924/202284
[pid=12762] ppid=12759 vsize=11166888 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15
/proc/12762/stat : 12762 (java) S 12759 12762 9835 0 -1 1077944320 253311 0 0 0 238053 1953 0 0 20 0 22 0 2356529 11434893312 1311072 33554432000 4194304 4196468 140720698119088 140720698101632 140414168059639 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
/proc/12762/statm: 2791722 1311072 3161 1 0 2780116 0
[pid=12762/tid=12763] ppid=12759 vsize=11166888 CPUtime=2226.74 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12763/stat : 12763 (java) S 12759 12762 9835 0 -1 1077944384 158050 0 0 0 222650 24 0 0 20 0 22 0 2356530 11434893312 1311072 33554432000 4194304 4196468 140720698119088 140414172302512 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12765] ppid=12759 vsize=11166888 CPUtime=20.37 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12765/stat : 12765 (java) S 12759 12762 9835 0 -1 1077944384 5685 0 0 0 1814 223 0 0 20 0 22 0 2356531 11434893312 1311072 33554432000 4194304 4196468 140720698119088 140414094134160 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12766] ppid=12759 vsize=11166888 CPUtime=20.34 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12766/stat : 12766 (java) S 12759 12762 9835 0 -1 1077944384 6415 0 0 0 1815 219 0 0 20 0 22 0 2356531 11434893312 1311072 33554432000 4194304 4196468 140720698119088 140414093081360 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12767] ppid=12759 vsize=11166888 CPUtime=20.27 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12767/stat : 12767 (java) S 12759 12762 9835 0 -1 1077944384 8295 0 0 0 1794 233 0 0 20 0 22 0 2356531 11434893312 1311072 33554432000 4194304 4196468 140720698119088 140414092029072 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12768] ppid=12759 vsize=11166888 CPUtime=20.38 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12768/stat : 12768 (java) S 12759 12762 9835 0 -1 1077944384 6049 0 0 0 1797 241 0 0 20 0 22 0 2356531 11434893312 1311072 33554432000 4194304 4196468 140720698119088 140413771967504 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12769] ppid=12759 vsize=11166888 CPUtime=20.35 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12769/stat : 12769 (java) S 12759 12762 9835 0 -1 1077944384 7520 0 0 0 1798 237 0 0 20 0 22 0 2356531 11434893312 1311072 33554432000 4194304 4196468 140720698119088 140413770914192 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12770] ppid=12759 vsize=11166888 CPUtime=20.16 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12770/stat : 12770 (java) S 12759 12762 9835 0 -1 1077944384 5069 0 0 0 1780 236 0 0 20 0 22 0 2356531 11434893312 1311072 33554432000 4194304 4196468 140720698119088 140413769861392 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12771] ppid=12759 vsize=11166888 CPUtime=20.31 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12771/stat : 12771 (java) S 12759 12762 9835 0 -1 1077944384 7392 0 0 0 1803 228 0 0 20 0 22 0 2356531 11434893312 1311072 33554432000 4194304 4196468 140720698119088 140413768809104 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12772] ppid=12759 vsize=11166888 CPUtime=20.18 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12772/stat : 12772 (java) S 12759 12762 9835 0 -1 1077944384 8757 0 0 0 1782 236 0 0 20 0 22 0 2356531 11434893312 1311072 33554432000 4194304 4196468 140720698119088 140413767756304 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12773] ppid=12759 vsize=11166888 CPUtime=6.25 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12773/stat : 12773 (java) S 12759 12762 9835 0 -1 1077944384 16292 0 0 0 621 4 0 0 20 0 22 0 2356533 11434893312 1311072 33554432000 4194304 4196468 140720698119088 140412986276464 140414168070786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12774] ppid=12759 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12774/stat : 12774 (java) S 12759 12762 9835 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 22 0 2356534 11434893312 1311072 33554432000 4194304 4196468 140720698119088 140412985222496 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12775] ppid=12759 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12775/stat : 12775 (java) S 12759 12762 9835 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 22 0 2356534 11434893312 1311072 33554432000 4194304 4196468 140720698119088 140412984170112 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12776] ppid=12759 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12776/stat : 12776 (java) S 12759 12762 9835 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 22 0 2356538 11434893312 1311072 33554432000 4194304 4196468 140720698119088 140412983118416 140414168078235 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12777] ppid=12759 vsize=11166888 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12777/stat : 12777 (java) S 12759 12762 9835 0 -1 1077944384 4665 0 0 0 69 1 0 0 20 0 22 0 2356538 11434893312 1311072 33554432000 4194304 4196468 140720698119088 140412982065264 140414168070786 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12778] ppid=12759 vsize=11166888 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12778/stat : 12778 (java) S 12759 12762 9835 0 -1 1077944384 9004 0 0 0 138 2 0 0 20 0 22 0 2356538 11434893312 1311072 33554432000 4194304 4196468 140720698119088 140412981012464 140414168070786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12779] ppid=12759 vsize=11166888 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12779/stat : 12779 (java) S 12759 12762 9835 0 -1 1077944384 2729 0 0 0 82 1 0 0 20 0 22 0 2356538 11434893312 1311072 33554432000 4194304 4196468 140720698119088 140412979960176 140414168070786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12780] ppid=12759 vsize=11166888 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12780/stat : 12780 (java) S 12759 12762 9835 0 -1 1077944384 3384 0 0 0 37 1 0 0 20 0 22 0 2356538 11434893312 1311072 33554432000 4194304 4196468 140720698119088 140412978907376 140414168070786 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12781] ppid=12759 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12781/stat : 12781 (java) S 12759 12762 9835 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 2356538 11434893312 1311072 33554432000 4194304 4196468 140720698119088 140412977855328 140414168069845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
[pid=12762/tid=12782] ppid=12759 vsize=11166888 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/12762/task/12782/stat : 12782 (java) S 12759 12762 9835 0 -1 1077944384 2039 0 0 0 56 69 0 0 20 0 22 0 2356539 11434893312 1311072 33554432000 4194304 4196468 140720698119088 140412976802608 140414168070786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17133568 140720698127531 140720698127684 140720698127684 140720698130383 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 11166888
Child status: 143
Real time (s): 2254.88
CPU time (s): 2400.14
CPU user time (s): 2380.57
CPU system time (s): 19.5684
CPU usage (%): 106.442
Max. virtual memory (cumulated for all children) (KiB): 11166888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2380.57
system time used= 19.5684
maximum resident set size= 5244616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 254627
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54000
involuntary context switches= 125872
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3549 second user time and 18.7921 second system time
The end