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-3456682-1307219466/watcher-3456682-1307219466 -o /tmp/evaluation-result-3456682-1307219466/solver-3456682-1307219466 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456682-1307219466.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 2.03 1.97 2/579 10545
/proc/meminfo: memFree=25901200/32950928 swapFree=41528364/67111528
[pid=10545] ppid=10543 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/10545/stat : 10545 (java) S 10543 10545 10129 0 -1 4202496 5194 0 1 0 0 0 0 0 25 0 2 0 833545282 10694979584 4895 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826042853 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/10545/statm: 2611079 4907 917 9 0 2602235 0
[pid=10545/tid=10546] ppid=10543 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10546/stat : 10546 (java) R 10543 10545 10129 0 -1 4202560 7879 0 1 0 0 0 0 0 25 0 2 0 833545283 10694979584 8695 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251813934139 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.08605 s]
/proc/loadavg: 1.92 2.03 1.97 2/579 10545
/proc/meminfo: memFree=25901200/32950928 swapFree=41528364/67111528
[pid=10545] ppid=10543 vsize=10473248 CPUtime=0.07 cores=0,2,4,6
/proc/10545/stat : 10545 (java) S 10543 10545 10129 0 -1 4202496 12278 0 1 0 6 1 0 0 25 0 18 0 833545282 10724605952 11974 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10545/statm: 2618312 11975 1913 9 0 2609046 0
[pid=10545/tid=10546] ppid=10543 vsize=10473248 CPUtime=0.07 cores=0,2,4,6
/proc/10545/task/10546/stat : 10546 (java) R 10543 10545 10129 0 -1 4202560 10919 0 1 0 6 1 0 0 25 0 18 0 833545283 10724605952 11975 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826069471 0 2147483391 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10473248
[startup+0.104444 s]
/proc/loadavg: 1.92 2.03 1.97 2/579 10545
/proc/meminfo: memFree=25901200/32950928 swapFree=41528364/67111528
[pid=10545] ppid=10543 vsize=10539684 CPUtime=0.1 cores=0,2,4,6
/proc/10545/stat : 10545 (java) S 10543 10545 10129 0 -1 4202496 13025 0 1 0 9 1 0 0 25 0 18 0 833545282 10792636416 12721 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10545/statm: 2634921 12721 2092 9 0 2625655 0
[pid=10545/tid=10546] ppid=10543 vsize=10539684 CPUtime=0.09 cores=0,2,4,6
/proc/10545/task/10546/stat : 10546 (java) R 10543 10545 10129 0 -1 4202560 11199 0 1 0 8 1 0 0 25 0 18 0 833545283 10792636416 12721 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539684
[startup+0.300443 s]
/proc/loadavg: 1.92 2.03 1.97 2/579 10545
/proc/meminfo: memFree=25901200/32950928 swapFree=41528364/67111528
[pid=10545] ppid=10543 vsize=10541304 CPUtime=0.45 cores=0,2,4,6
/proc/10545/stat : 10545 (java) S 10543 10545 10129 0 -1 4202496 15341 0 1 0 44 1 0 0 25 0 18 0 833545282 10794295296 14955 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10545/statm: 2635326 14956 2199 9 0 2626060 0
[pid=10545/tid=10546] ppid=10543 vsize=10541304 CPUtime=0.28 cores=0,2,4,6
/proc/10545/task/10546/stat : 10546 (java) R 10543 10545 10129 0 -1 4202560 12924 0 1 0 27 1 0 0 25 0 18 0 833545283 10794295296 14956 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10541304
[startup+0.700387 s]
/proc/loadavg: 1.92 2.03 1.97 2/579 10545
/proc/meminfo: memFree=25901200/32950928 swapFree=41528364/67111528
[pid=10545] ppid=10543 vsize=10543508 CPUtime=1.15 cores=0,2,4,6
/proc/10545/stat : 10545 (java) S 10543 10545 10129 0 -1 4202496 18651 0 1 0 113 2 0 0 25 0 19 0 833545282 10796552192 17560 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10545/statm: 2635877 17560 2221 9 0 2626611 0
[pid=10545/tid=10546] ppid=10543 vsize=10543508 CPUtime=0.68 cores=0,2,4,6
/proc/10545/task/10546/stat : 10546 (java) R 10543 10545 10129 0 -1 4202560 14951 0 1 0 67 1 0 0 25 0 19 0 833545283 10796552192 17560 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 46912505665793 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 10543508
[startup+1.50133 s]
/proc/loadavg: 1.92 2.03 1.97 3/598 10564
/proc/meminfo: memFree=25830748/32950928 swapFree=41528364/67111528
[pid=10545] ppid=10543 vsize=10544124 CPUtime=2.02 cores=0,2,4,6
/proc/10545/stat : 10545 (java) S 10543 10545 10129 0 -1 4202496 23853 0 1 0 200 2 0 0 25 0 19 0 833545282 10797182976 22614 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10545/statm: 2636031 22614 2223 9 0 2626765 0
[pid=10545/tid=10546] ppid=10543 vsize=10544124 CPUtime=1.49 cores=0,2,4,6
/proc/10545/task/10546/stat : 10546 (java) R 10543 10545 10129 0 -1 4202560 19825 0 1 0 147 2 0 0 25 0 19 0 833545283 10797182976 22614 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 46912505600021 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=10545/tid=10548] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10548/stat : 10548 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545284 10797182976 22618 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10549] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10549/stat : 10549 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545284 10797182976 22622 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10550] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10550/stat : 10550 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545284 10797182976 22626 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10551] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10551/stat : 10551 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545284 10797182976 22633 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10552] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10552/stat : 10552 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545284 10797182976 22639 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10553] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10553/stat : 10553 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545284 10797182976 22644 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10554] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10554/stat : 10554 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545284 10797182976 22647 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10555] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10555/stat : 10555 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545284 10797182976 22649 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10556] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10556/stat : 10556 (java) S 10543 10545 10129 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833545285 10797182976 22649 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056704 0 0 0 16800975 18446604448140187648 0 0 -1 4 0 0 0
[pid=10545/tid=10557] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10557/stat : 10557 (java) S 10543 10545 10129 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833545286 10797182976 22650 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 4 0 0 0
[pid=10545/tid=10558] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10558/stat : 10558 (java) S 10543 10545 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833545286 10797182976 22650 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 4 0 0 0
[pid=10545/tid=10559] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10559/stat : 10559 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545288 10797182976 22650 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826063793 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10560] ppid=10543 vsize=10544124 CPUtime=0.24 cores=0,2,4,6
/proc/10545/task/10560/stat : 10560 (java) S 10543 10545 10129 0 -1 4202560 1096 0 0 0 24 0 0 0 20 0 19 0 833545288 10797182976 22650 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 0 0 0 0
[pid=10545/tid=10561] ppid=10543 vsize=10544124 CPUtime=0.28 cores=0,2,4,6
/proc/10545/task/10561/stat : 10561 (java) S 10543 10545 10129 0 -1 4202560 1771 0 0 0 28 0 0 0 22 0 19 0 833545288 10797182976 22650 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10562] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10562/stat : 10562 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545288 10797182976 22650 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10563] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10563/stat : 10563 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833545288 10797182976 22652 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056704 0 4 0 16800975 18446604448140187648 0 0 -1 0 0 0 0
[pid=10545/tid=10564] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10564/stat : 10564 (java) S 10543 10545 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833545315 10797182976 22658 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056704 0 4 0 16800975 18446604448140187648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 10544124
[startup+3.10105 s]
/proc/loadavg: 1.92 2.03 1.97 3/598 10564
/proc/meminfo: memFree=25798384/32950928 swapFree=41528364/67111528
[pid=10545] ppid=10543 vsize=10544124 CPUtime=3.95 cores=0,2,4,6
/proc/10545/stat : 10545 (java) S 10543 10545 10129 0 -1 4202496 54712 0 1 0 389 6 0 0 25 0 19 0 833545282 10797182976 52600 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10545/statm: 2636031 52601 2225 9 0 2626765 0
[pid=10545/tid=10546] ppid=10543 vsize=10544124 CPUtime=3.08 cores=0,2,4,6
/proc/10545/task/10546/stat : 10546 (java) R 10543 10545 10129 0 -1 4202560 49769 0 1 0 303 5 0 0 25 0 19 0 833545283 10797182976 52601 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 46912505925011 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=10545/tid=10548] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10548/stat : 10548 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545284 10797182976 52601 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10549] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10549/stat : 10549 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545284 10797182976 52601 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10550] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10550/stat : 10550 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545284 10797182976 52602 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10551] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10551/stat : 10551 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545284 10797182976 52602 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10552] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10552/stat : 10552 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545284 10797182976 52602 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10553] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10553/stat : 10553 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545284 10797182976 52603 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10554] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10554/stat : 10554 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545284 10797182976 52603 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10555] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10555/stat : 10555 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545284 10797182976 52603 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10556] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10556/stat : 10556 (java) S 10543 10545 10129 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833545285 10797182976 52604 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056704 0 0 0 16800975 18446604448140187648 0 0 -1 4 0 0 0
[pid=10545/tid=10557] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10557/stat : 10557 (java) S 10543 10545 10129 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833545286 10797182976 52604 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 4 0 0 0
[pid=10545/tid=10558] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10558/stat : 10558 (java) S 10543 10545 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833545286 10797182976 52604 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 4 0 0 0
[pid=10545/tid=10559] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10559/stat : 10559 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545288 10797182976 52606 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826063793 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10560] ppid=10543 vsize=10544124 CPUtime=0.39 cores=0,2,4,6
/proc/10545/task/10560/stat : 10560 (java) S 10543 10545 10129 0 -1 4202560 1988 0 0 0 39 0 0 0 15 0 19 0 833545288 10797182976 52606 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 0 0 0 0
[pid=10545/tid=10561] ppid=10543 vsize=10544124 CPUtime=0.45 cores=0,2,4,6
/proc/10545/task/10561/stat : 10561 (java) S 10543 10545 10129 0 -1 4202560 1795 0 0 0 45 0 0 0 16 0 19 0 833545288 10797182976 52606 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10562] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10562/stat : 10562 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545288 10797182976 52607 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10563] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10563/stat : 10563 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833545288 10797182976 52607 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056704 0 4 0 16800975 18446604448140187648 0 0 -1 0 0 0 0
[pid=10545/tid=10564] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10564/stat : 10564 (java) S 10543 10545 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833545315 10797182976 52607 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056704 0 4 0 16800975 18446604448140187648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 10544124
[startup+6.3014 s]
/proc/loadavg: 2.09 2.06 1.98 3/598 10564
/proc/meminfo: memFree=25553072/32950928 swapFree=41528364/67111528
[pid=10545] ppid=10543 vsize=10544124 CPUtime=7.25 cores=0,2,4,6
/proc/10545/stat : 10545 (java) S 10543 10545 10129 0 -1 4202496 99225 0 1 0 714 11 0 0 25 0 19 0 833545282 10797182976 96862 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10545/statm: 2636031 96862 2226 9 0 2626765 0
[pid=10545/tid=10546] ppid=10543 vsize=10544124 CPUtime=6.28 cores=0,2,4,6
/proc/10545/task/10546/stat : 10546 (java) R 10543 10545 10129 0 -1 4202560 93673 0 1 0 618 10 0 0 25 0 19 0 833545283 10797182976 96862 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 46912505647152 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=10545/tid=10548] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10548/stat : 10548 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545284 10797182976 96862 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10549] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10549/stat : 10549 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545284 10797182976 96862 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10550] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10550/stat : 10550 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545284 10797182976 96862 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10551] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10551/stat : 10551 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545284 10797182976 96862 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10552] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10552/stat : 10552 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545284 10797182976 96863 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10553] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10553/stat : 10553 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545284 10797182976 96863 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10554] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10554/stat : 10554 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545284 10797182976 96863 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10555] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10555/stat : 10555 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545284 10797182976 96863 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10556] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10556/stat : 10556 (java) S 10543 10545 10129 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 833545285 10797182976 96863 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056704 0 0 0 16800975 18446604448140187648 0 0 -1 4 0 0 0
[pid=10545/tid=10557] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10557/stat : 10557 (java) S 10543 10545 10129 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833545286 10797182976 96863 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 4 0 0 0
[pid=10545/tid=10558] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10558/stat : 10558 (java) S 10543 10545 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833545286 10797182976 96864 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 4 0 0 0
[pid=10545/tid=10559] ppid=10543 vsize=10544124 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10559/stat : 10559 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545288 10797182976 96864 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826063793 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10560] ppid=10543 vsize=10544124 CPUtime=0.47 cores=0,2,4,6
/proc/10545/task/10560/stat : 10560 (java) S 10543 10545 10129 0 -1 4202560 2573 0 0 0 47 0 0 0 15 0 19 0 833545288 10797182976 96865 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 0 0 0 0
[pid=10545/tid=10561] ppid=10543 vsize=10544124 CPUtime=0.48 cores=0,2,4,6
/proc/10545/task/10561/stat : 10561 (java) S 10543 10545 10129 0 -1 4202560 1817 0 0 0 48 0 0 0 15 0 19 0 833545288 10797182976 96865 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=10545/tid=10564] ppid=10543 vsize=10543792 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10564/stat : 10564 (java) S 10543 10545 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833545315 10796843008 1157135 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056704 0 4 0 16800975 18446604448140187648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1673
Current children cumulated vsize (KiB) 10543792
[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/598 10658
/proc/meminfo: memFree=21294492/32950928 swapFree=41528364/67111528
[pid=10545] ppid=10543 vsize=10543792 CPUtime=1733.39 cores=0,2,4,6
/proc/10545/stat : 10545 (java) S 10543 10545 10129 0 -1 4202496 1185914 0 1 0 173193 146 0 0 25 0 19 0 833545282 10796843008 1172260 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10545/statm: 2635948 1172260 2255 9 0 2626682 0
[pid=10545/tid=10546] ppid=10543 vsize=10543792 CPUtime=1717.1 cores=0,2,4,6
/proc/10545/task/10546/stat : 10546 (java) R 10543 10545 10129 0 -1 4202560 724587 0 1 0 171638 72 0 0 25 0 19 0 833545283 10796843008 1172260 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 46912505924857 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=10545/tid=10548] ppid=10543 vsize=10543792 CPUtime=1.38 cores=0,2,4,6
/proc/10545/task/10548/stat : 10548 (java) S 10543 10545 10129 0 -1 4202560 49086 0 0 0 131 7 0 0 15 0 19 0 833545284 10796843008 1172260 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 4 0 0 0
[pid=10545/tid=10549] ppid=10543 vsize=10543792 CPUtime=1.78 cores=0,2,4,6
/proc/10545/task/10549/stat : 10549 (java) S 10543 10545 10129 0 -1 4202560 43410 0 0 0 171 7 0 0 15 0 19 0 833545284 10796843008 1172260 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10550] ppid=10543 vsize=10543792 CPUtime=1.52 cores=0,2,4,6
/proc/10545/task/10550/stat : 10550 (java) S 10543 10545 10129 0 -1 4202560 58328 0 0 0 143 9 0 0 16 0 19 0 833545284 10796843008 1172260 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 0 0 0 0
[pid=10545/tid=10551] ppid=10543 vsize=10543792 CPUtime=1.46 cores=0,2,4,6
/proc/10545/task/10551/stat : 10551 (java) S 10543 10545 10129 0 -1 4202560 51594 0 0 0 139 7 0 0 16 0 19 0 833545284 10796843008 1172260 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 4 0 0 0
[pid=10545/tid=10552] ppid=10543 vsize=10543792 CPUtime=2.26 cores=0,2,4,6
/proc/10545/task/10552/stat : 10552 (java) S 10543 10545 10129 0 -1 4202560 67407 0 0 0 217 9 0 0 16 0 19 0 833545284 10796843008 1172260 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 2 0 0 0
[pid=10545/tid=10553] ppid=10543 vsize=10543792 CPUtime=2 cores=0,2,4,6
/proc/10545/task/10553/stat : 10553 (java) S 10543 10545 10129 0 -1 4202560 65323 0 0 0 189 11 0 0 16 0 19 0 833545284 10796843008 1172260 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10554] ppid=10543 vsize=10543792 CPUtime=1.51 cores=0,2,4,6
/proc/10545/task/10554/stat : 10554 (java) S 10543 10545 10129 0 -1 4202560 59772 0 0 0 141 10 0 0 15 0 19 0 833545284 10796843008 1172260 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10555] ppid=10543 vsize=10543792 CPUtime=1.48 cores=0,2,4,6
/proc/10545/task/10555/stat : 10555 (java) S 10543 10545 10129 0 -1 4202560 53413 0 0 0 141 7 0 0 15 0 19 0 833545284 10796843008 1172260 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 2 0 0 0
[pid=10545/tid=10556] ppid=10543 vsize=10543792 CPUtime=1.43 cores=0,2,4,6
/proc/10545/task/10556/stat : 10556 (java) S 10543 10545 10129 0 -1 4202560 3751 0 0 0 143 0 0 0 15 0 19 0 833545285 10796843008 1172260 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056704 0 0 0 16800975 18446604448140187648 0 0 -1 0 0 0 0
[pid=10545/tid=10557] ppid=10543 vsize=10543792 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10557/stat : 10557 (java) S 10543 10545 10129 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833545286 10796843008 1172260 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 4 0 0 0
[pid=10545/tid=10558] ppid=10543 vsize=10543792 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10558/stat : 10558 (java) S 10543 10545 10129 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833545286 10796843008 1172260 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 4 0 0 0
[pid=10545/tid=10559] ppid=10543 vsize=10543792 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10559/stat : 10559 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545288 10796843008 1172260 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826063793 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10560] ppid=10543 vsize=10543792 CPUtime=0.65 cores=0,2,4,6
/proc/10545/task/10560/stat : 10560 (java) S 10543 10545 10129 0 -1 4202560 5442 0 0 0 65 0 0 0 16 0 19 0 833545288 10796843008 1172260 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 0 0 0 0
[pid=10545/tid=10561] ppid=10543 vsize=10543792 CPUtime=0.7 cores=0,2,4,6
/proc/10545/task/10561/stat : 10561 (java) S 10543 10545 10129 0 -1 4202560 2548 0 0 0 70 0 0 0 15 0 19 0 833545288 10796843008 1172260 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10562] ppid=10543 vsize=10543792 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10562/stat : 10562 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545288 10796843008 1172260 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10563] ppid=10543 vsize=10543792 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10563/stat : 10563 (java) S 10543 10545 10129 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 833545288 10796843008 1172260 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056704 0 4 0 16800975 18446604448140187648 0 0 -1 0 0 0 0
[pid=10545/tid=10564] ppid=10543 vsize=10543792 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10564/stat : 10564 (java) S 10543 10545 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833545315 10796843008 1172260 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056704 0 4 0 16800975 18446604448140187648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1733.39
Current children cumulated vsize (KiB) 10543792
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/598 10660
/proc/meminfo: memFree=21276448/32950928 swapFree=41528364/67111528
[pid=10545] ppid=10543 vsize=10543792 CPUtime=1793.86 cores=0,2,4,6
/proc/10545/stat : 10545 (java) S 10543 10545 10129 0 -1 4202496 1188629 0 1 0 179240 146 0 0 25 0 19 0 833545282 10796843008 1174885 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10545/statm: 2635948 1174885 2255 9 0 2626682 0
[pid=10545/tid=10546] ppid=10543 vsize=10543792 CPUtime=1776.92 cores=0,2,4,6
/proc/10545/task/10546/stat : 10546 (java) R 10543 10545 10129 0 -1 4202560 724590 0 1 0 177620 72 0 0 25 0 19 0 833545283 10796843008 1174885 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 46912505938573 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=10545/tid=10548] ppid=10543 vsize=10543792 CPUtime=1.44 cores=0,2,4,6
/proc/10545/task/10548/stat : 10548 (java) S 10543 10545 10129 0 -1 4202560 49588 0 0 0 137 7 0 0 15 0 19 0 833545284 10796843008 1174885 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 4 0 0 0
[pid=10545/tid=10549] ppid=10543 vsize=10543792 CPUtime=1.83 cores=0,2,4,6
/proc/10545/task/10549/stat : 10549 (java) S 10543 10545 10129 0 -1 4202560 43829 0 0 0 176 7 0 0 15 0 19 0 833545284 10796843008 1174885 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 0 0 0 0
[pid=10545/tid=10550] ppid=10543 vsize=10543792 CPUtime=1.68 cores=0,2,4,6
/proc/10545/task/10550/stat : 10550 (java) S 10543 10545 10129 0 -1 4202560 59019 0 0 0 159 9 0 0 16 0 19 0 833545284 10796843008 1174885 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 2 0 0 0
[pid=10545/tid=10551] ppid=10543 vsize=10543792 CPUtime=1.52 cores=0,2,4,6
/proc/10545/task/10551/stat : 10551 (java) S 10543 10545 10129 0 -1 4202560 51866 0 0 0 145 7 0 0 16 0 19 0 833545284 10796843008 1174885 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 4 0 0 0
[pid=10545/tid=10552] ppid=10543 vsize=10543792 CPUtime=2.35 cores=0,2,4,6
/proc/10545/task/10552/stat : 10552 (java) S 10543 10545 10129 0 -1 4202560 67584 0 0 0 226 9 0 0 15 0 19 0 833545284 10796843008 1174885 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 4 0 0 0
[pid=10545/tid=10553] ppid=10543 vsize=10543792 CPUtime=2.04 cores=0,2,4,6
/proc/10545/task/10553/stat : 10553 (java) S 10543 10545 10129 0 -1 4202560 65329 0 0 0 193 11 0 0 15 0 19 0 833545284 10796843008 1174885 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 4 0 0 0
[pid=10545/tid=10554] ppid=10543 vsize=10543792 CPUtime=1.58 cores=0,2,4,6
/proc/10545/task/10554/stat : 10554 (java) S 10543 10545 10129 0 -1 4202560 60013 0 0 0 148 10 0 0 16 0 19 0 833545284 10796843008 1174885 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 0 0 0 0
[pid=10545/tid=10555] ppid=10543 vsize=10543792 CPUtime=1.58 cores=0,2,4,6
/proc/10545/task/10555/stat : 10555 (java) S 10543 10545 10129 0 -1 4202560 53811 0 0 0 151 7 0 0 16 0 19 0 833545284 10796843008 1174885 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 2 0 0 0
[pid=10545/tid=10556] ppid=10543 vsize=10543792 CPUtime=1.43 cores=0,2,4,6
/proc/10545/task/10556/stat : 10556 (java) S 10543 10545 10129 0 -1 4202560 3755 0 0 0 143 0 0 0 15 0 19 0 833545285 10796843008 1174885 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056704 0 0 0 16800975 18446604448140187648 0 0 -1 0 0 0 0
[pid=10545/tid=10557] ppid=10543 vsize=10543792 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10557/stat : 10557 (java) S 10543 10545 10129 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833545286 10796843008 1174885 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 4 0 0 0
[pid=10545/tid=10558] ppid=10543 vsize=10543792 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10558/stat : 10558 (java) S 10543 10545 10129 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833545286 10796843008 1174885 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 4 0 0 0
[pid=10545/tid=10559] ppid=10543 vsize=10543792 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10559/stat : 10559 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545288 10796843008 1174885 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826063793 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10560] ppid=10543 vsize=10543792 CPUtime=0.65 cores=0,2,4,6
/proc/10545/task/10560/stat : 10560 (java) S 10543 10545 10129 0 -1 4202560 5442 0 0 0 65 0 0 0 16 0 19 0 833545288 10796843008 1174885 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 0 0 0 0
[pid=10545/tid=10561] ppid=10543 vsize=10543792 CPUtime=0.7 cores=0,2,4,6
/proc/10545/task/10561/stat : 10561 (java) S 10543 10545 10129 0 -1 4202560 2548 0 0 0 70 0 0 0 15 0 19 0 833545288 10796843008 1174885 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10562] ppid=10543 vsize=10543792 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10562/stat : 10562 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545288 10796843008 1174885 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10563] ppid=10543 vsize=10543792 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10563/stat : 10563 (java) S 10543 10545 10129 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833545288 10796843008 1174885 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056704 0 4 0 16800975 18446604448140187648 0 0 -1 0 0 0 0
[pid=10545/tid=10564] ppid=10543 vsize=10543792 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10564/stat : 10564 (java) S 10543 10545 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833545315 10796843008 1174885 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056704 0 4 0 16800975 18446604448140187648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1793.86
Current children cumulated vsize (KiB) 10543792
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1788.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/598 10660
/proc/meminfo: memFree=21272848/32950928 swapFree=41528364/67111528
[pid=10545] ppid=10543 vsize=10543792 CPUtime=1800.03 cores=0,2,4,6
/proc/10545/stat : 10545 (java) S 10543 10545 10129 0 -1 4202496 1189649 0 1 0 179857 146 0 0 25 0 19 0 833545282 10796843008 1175855 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10545/statm: 2635948 1175855 2255 9 0 2626682 0
[pid=10545/tid=10546] ppid=10543 vsize=10543792 CPUtime=1782.87 cores=0,2,4,6
/proc/10545/task/10546/stat : 10546 (java) R 10543 10545 10129 0 -1 4202560 724591 0 1 0 178215 72 0 0 25 0 19 0 833545283 10796843008 1175855 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 46912505673296 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=10545/tid=10548] ppid=10543 vsize=10543792 CPUtime=1.47 cores=0,2,4,6
/proc/10545/task/10548/stat : 10548 (java) S 10543 10545 10129 0 -1 4202560 49615 0 0 0 140 7 0 0 16 0 19 0 833545284 10796843008 1175855 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 2 0 0 0
[pid=10545/tid=10549] ppid=10543 vsize=10543792 CPUtime=1.87 cores=0,2,4,6
/proc/10545/task/10549/stat : 10549 (java) S 10543 10545 10129 0 -1 4202560 43829 0 0 0 180 7 0 0 16 0 19 0 833545284 10796843008 1175855 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 4 0 0 0
[pid=10545/tid=10550] ppid=10543 vsize=10543792 CPUtime=1.68 cores=0,2,4,6
/proc/10545/task/10550/stat : 10550 (java) S 10543 10545 10129 0 -1 4202560 59019 0 0 0 159 9 0 0 16 0 19 0 833545284 10796843008 1175855 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 2 0 0 0
[pid=10545/tid=10551] ppid=10543 vsize=10543792 CPUtime=1.52 cores=0,2,4,6
/proc/10545/task/10551/stat : 10551 (java) S 10543 10545 10129 0 -1 4202560 51866 0 0 0 145 7 0 0 15 0 19 0 833545284 10796843008 1175855 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 4 0 0 0
[pid=10545/tid=10552] ppid=10543 vsize=10543792 CPUtime=2.42 cores=0,2,4,6
/proc/10545/task/10552/stat : 10552 (java) S 10543 10545 10129 0 -1 4202560 68143 0 0 0 233 9 0 0 16 0 19 0 833545284 10796843008 1175855 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10553] ppid=10543 vsize=10543792 CPUtime=2.11 cores=0,2,4,6
/proc/10545/task/10553/stat : 10553 (java) S 10543 10545 10129 0 -1 4202560 65762 0 0 0 200 11 0 0 16 0 19 0 833545284 10796843008 1175855 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 4 0 0 0
[pid=10545/tid=10554] ppid=10543 vsize=10543792 CPUtime=1.59 cores=0,2,4,6
/proc/10545/task/10554/stat : 10554 (java) S 10543 10545 10129 0 -1 4202560 60013 0 0 0 149 10 0 0 16 0 19 0 833545284 10796843008 1175855 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 0 0 0 0
[pid=10545/tid=10555] ppid=10543 vsize=10543792 CPUtime=1.59 cores=0,2,4,6
/proc/10545/task/10555/stat : 10555 (java) S 10543 10545 10129 0 -1 4202560 53811 0 0 0 152 7 0 0 16 0 19 0 833545284 10796843008 1175855 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10556] ppid=10543 vsize=10543792 CPUtime=1.43 cores=0,2,4,6
/proc/10545/task/10556/stat : 10556 (java) S 10543 10545 10129 0 -1 4202560 3755 0 0 0 143 0 0 0 15 0 19 0 833545285 10796843008 1175855 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056704 0 0 0 16800975 18446604448140187648 0 0 -1 0 0 0 0
[pid=10545/tid=10557] ppid=10543 vsize=10543792 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10557/stat : 10557 (java) S 10543 10545 10129 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833545286 10796843008 1175855 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 4 0 0 0
[pid=10545/tid=10558] ppid=10543 vsize=10543792 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10558/stat : 10558 (java) S 10543 10545 10129 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833545286 10796843008 1175855 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 4 0 0 0
[pid=10545/tid=10559] ppid=10543 vsize=10543792 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10559/stat : 10559 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545288 10796843008 1175855 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826063793 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10560] ppid=10543 vsize=10543792 CPUtime=0.65 cores=0,2,4,6
/proc/10545/task/10560/stat : 10560 (java) S 10543 10545 10129 0 -1 4202560 5442 0 0 0 65 0 0 0 16 0 19 0 833545288 10796843008 1175855 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 0 0 0 0
[pid=10545/tid=10561] ppid=10543 vsize=10543792 CPUtime=0.7 cores=0,2,4,6
/proc/10545/task/10561/stat : 10561 (java) S 10543 10545 10129 0 -1 4202560 2548 0 0 0 70 0 0 0 15 0 19 0 833545288 10796843008 1175855 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10562] ppid=10543 vsize=10543792 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10562/stat : 10562 (java) S 10543 10545 10129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833545288 10796843008 1175855 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056089 0 4 0 16800975 18446604448140187648 0 0 -1 6 0 0 0
[pid=10545/tid=10563] ppid=10543 vsize=10543792 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10563/stat : 10563 (java) S 10543 10545 10129 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833545288 10796843008 1175855 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056704 0 4 0 16800975 18446604448140187648 0 0 -1 0 0 0 0
[pid=10545/tid=10564] ppid=10543 vsize=10543792 CPUtime=0 cores=0,2,4,6
/proc/10545/task/10564/stat : 10564 (java) S 10543 10545 10129 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833545315 10796843008 1175855 33554432000 1073741824 1073778376 140737461534528 18446744073709551615 251826056704 0 4 0 16800975 18446604448140187648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10543792
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1788.43 s]
/proc/loadavg: 2.01 2.02 2.00 3/598 10660
/proc/meminfo: memFree=21272848/32950928 swapFree=41528364/67111528
[pid=10545] ppid=10543 vsize=0 CPUtime=1800.15 cores=0,2,4,6
/proc/10545/stat : 10545 (java) Z 10543 10545 10129 0 -1 4203548 1189683 0 1 0 179863 152 0 0 17 0 2 0 833545282 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10545/statm: 0 0 0 0 0 0 0
[pid=10545/tid=10546] ppid=10543 vsize=0 CPUtime=1782.96 cores=0,2,4,6
/proc/10545/task/10546/stat : 10546 (java) R 10543 10545 10129 0 -1 4203588 724591 0 1 0 178218 78 0 0 25 0 2 0 833545283 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0
[startup+1788.5 s]
/proc/loadavg: 2.01 2.02 2.00 3/582 10663
/proc/meminfo: memFree=24803656/32950928 swapFree=41528364/67111528
[pid=10545] ppid=10543 vsize=0 CPUtime=1800.24 cores=0,2,4,6
/proc/10545/stat : 10545 (java) Z 10543 10545 10129 0 -1 4203548 1189683 0 1 0 179863 161 0 0 17 0 2 0 833545282 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10545/statm: 0 0 0 0 0 0 0
[pid=10545/tid=10546] ppid=10543 vsize=0 CPUtime=1783.05 cores=0,2,4,6
/proc/10545/task/10546/stat : 10546 (java) R 10543 10545 10129 0 -1 4203588 724591 0 1 0 178218 87 0 0 25 0 2 0 833545283 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1788.55
CPU time (s): 1800.29
CPU user time (s): 1798.64
CPU system time (s): 1.64675
CPU usage (%): 100.656
Max. virtual memory (cumulated for all children) (KiB): 10545444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.64
system time used= 1.64675
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1189683
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= 38368
involuntary context switches= 14163
runsolver used 10.8693 second user time and 23.3474 second system time
The end