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-3479374-1307450748/watcher-3479374-1307450748 -o /tmp/evaluation-result-3479374-1307450748/solver-3479374-1307450748 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3479374-1307450748.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.94 1.98 1.92 2/433 31652
/proc/meminfo: memFree=25167192/32950928 swapFree=52006644/67111528
[pid=31652] ppid=31650 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/31652/stat : 31652 (java) S 31650 31652 31170 0 -1 4202496 6335 0 1 0 0 0 0 0 18 0 2 0 312685373 10694979584 6037 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/31652/statm: 2611079 6050 917 9 0 2602235 0
[pid=31652/tid=31653] ppid=31650 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31653/stat : 31653 (java) R 31650 31652 31170 0 -1 4202560 5277 0 1 0 0 0 0 0 18 0 2 0 312685374 10694979584 6093 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218880259131 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0796179 s]
/proc/loadavg: 1.94 1.98 1.92 2/433 31652
/proc/meminfo: memFree=25167192/32950928 swapFree=52006644/67111528
[pid=31652] ppid=31650 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/31652/stat : 31652 (java) S 31650 31652 31170 0 -1 4202496 12060 0 1 0 5 1 0 0 18 0 18 0 312685373 10724442112 11757 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31652/statm: 2618272 11757 1755 9 0 2609006 0
[pid=31652/tid=31653] ppid=31650 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/31652/task/31653/stat : 31653 (java) R 31650 31652 31170 0 -1 4202560 10887 0 1 0 5 1 0 0 25 0 18 0 312685374 10724442112 11757 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 47983288025093 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.10059 s]
/proc/loadavg: 1.94 1.98 1.92 2/433 31652
/proc/meminfo: memFree=25167192/32950928 swapFree=52006644/67111528
[pid=31652] ppid=31650 vsize=10540152 CPUtime=0.11 cores=0,2,4,6
/proc/31652/stat : 31652 (java) S 31650 31652 31170 0 -1 4202496 13145 0 1 0 9 2 0 0 18 0 18 0 312685373 10793115648 12803 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31652/statm: 2635038 12803 2093 9 0 2625772 0
[pid=31652/tid=31653] ppid=31650 vsize=10540152 CPUtime=0.08 cores=0,2,4,6
/proc/31652/task/31653/stat : 31653 (java) R 31650 31652 31170 0 -1 4202560 11189 0 1 0 7 1 0 0 25 0 18 0 312685374 10793115648 12804 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 47983292525395 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540152
[startup+0.300578 s]
/proc/loadavg: 1.94 1.98 1.92 2/433 31652
/proc/meminfo: memFree=25167192/32950928 swapFree=52006644/67111528
[pid=31652] ppid=31650 vsize=10542216 CPUtime=0.47 cores=0,2,4,6
/proc/31652/stat : 31652 (java) S 31650 31652 31170 0 -1 4202496 31391 0 1 0 42 5 0 0 18 0 18 0 312685373 10795229184 30550 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31652/statm: 2635554 30553 2200 9 0 2626288 0
[pid=31652/tid=31653] ppid=31650 vsize=10542216 CPUtime=0.29 cores=0,2,4,6
/proc/31652/task/31653/stat : 31653 (java) R 31650 31652 31170 0 -1 4202560 27775 0 1 0 25 4 0 0 25 0 18 0 312685374 10795229184 30554 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 46912505574046 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10542216
[startup+0.700509 s]
/proc/loadavg: 1.94 1.98 1.92 2/433 31652
/proc/meminfo: memFree=25167192/32950928 swapFree=52006644/67111528
[pid=31652] ppid=31650 vsize=10542216 CPUtime=0.86 cores=0,2,4,6
/proc/31652/stat : 31652 (java) S 31650 31652 31170 0 -1 4202496 54379 0 1 0 79 7 0 0 18 0 18 0 312685373 10795229184 53538 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31652/statm: 2635554 53540 2200 9 0 2626288 0
[pid=31652/tid=31653] ppid=31650 vsize=10542216 CPUtime=0.69 cores=0,2,4,6
/proc/31652/task/31653/stat : 31653 (java) R 31650 31652 31170 0 -1 4202560 50762 0 1 0 62 7 0 0 25 0 18 0 312685374 10795229184 53541 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 46912505563702 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 10542216
[startup+1.8583 s]
/proc/loadavg: 1.94 1.98 1.92 2/433 31652
/proc/meminfo: memFree=25167192/32950928 swapFree=52006644/67111528
[pid=31652] ppid=31650 vsize=10542216 CPUtime=2.02 cores=0,2,4,6
/proc/31652/stat : 31652 (java) S 31650 31652 31170 0 -1 4202496 120563 0 1 0 187 15 0 0 18 0 18 0 312685373 10795229184 119722 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31652/statm: 2635554 119724 2200 9 0 2626288 0
[pid=31652/tid=31653] ppid=31650 vsize=10542216 CPUtime=1.84 cores=0,2,4,6
/proc/31652/task/31653/stat : 31653 (java) R 31650 31652 31170 0 -1 4202560 116947 0 1 0 170 14 0 0 25 0 18 0 312685374 10795229184 119726 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 46912505574273 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 10542216
[startup+3.10108 s]
/proc/loadavg: 1.94 1.98 1.92 3/451 31671
/proc/meminfo: memFree=23730668/32950928 swapFree=52006644/67111528
[pid=31652] ppid=31650 vsize=10542216 CPUtime=3.29 cores=0,2,4,6
/proc/31652/stat : 31652 (java) S 31650 31652 31170 0 -1 4202496 192483 0 1 0 306 23 0 0 18 0 18 0 312685373 10795229184 191643 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31652/statm: 2635554 191644 2204 9 0 2626288 0
[pid=31652/tid=31653] ppid=31650 vsize=10542216 CPUtime=3.1 cores=0,2,4,6
/proc/31652/task/31653/stat : 31653 (java) R 31650 31652 31170 0 -1 4202560 188864 0 1 0 288 22 0 0 25 0 18 0 312685374 10795229184 191647 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 46912505583488 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31652/tid=31655] ppid=31650 vsize=10542216 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31655/stat : 31655 (java) S 31650 31652 31170 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 312685375 10795229184 191649 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31656] ppid=31650 vsize=10542216 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31656/stat : 31656 (java) S 31650 31652 31170 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 312685375 10795229184 191650 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 6 0 0 0
[pid=31652/tid=31657] ppid=31650 vsize=10542216 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31657/stat : 31657 (java) S 31650 31652 31170 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 312685375 10795229184 191652 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 6 0 0 0
[pid=31652/tid=31658] ppid=31650 vsize=10542216 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31658/stat : 31658 (java) S 31650 31652 31170 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 312685375 10795229184 191653 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 6 0 0 0
[pid=31652/tid=31659] ppid=31650 vsize=10542216 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31659/stat : 31659 (java) S 31650 31652 31170 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 312685375 10795229184 191654 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 6 0 0 0
[pid=31652/tid=31660] ppid=31650 vsize=10542216 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31660/stat : 31660 (java) S 31650 31652 31170 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 312685375 10795229184 191656 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 6 0 0 0
[pid=31652/tid=31661] ppid=31650 vsize=10542216 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31661/stat : 31661 (java) S 31650 31652 31170 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 312685375 10795229184 191657 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 6 0 0 0
[pid=31652/tid=31662] ppid=31650 vsize=10542216 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31662/stat : 31662 (java) S 31650 31652 31170 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 312685375 10795229184 191659 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 6 0 0 0
[pid=31652/tid=31663] ppid=31650 vsize=10542216 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31663/stat : 31663 (java) S 31650 31652 31170 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 312685376 10795229184 191659 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381696 0 0 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31664] ppid=31650 vsize=10542216 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31664/stat : 31664 (java) S 31650 31652 31170 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 312685377 10795229184 191660 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31665] ppid=31650 vsize=10542216 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31665/stat : 31665 (java) S 31650 31652 31170 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 312685377 10795229184 191661 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31666] ppid=31650 vsize=10542216 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31666/stat : 31666 (java) S 31650 31652 31170 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 312685379 10795229184 191663 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892388785 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31667] ppid=31650 vsize=10542216 CPUtime=0.09 cores=0,2,4,6
/proc/31652/task/31667/stat : 31667 (java) S 31650 31652 31170 0 -1 4202560 1247 0 0 0 9 0 0 0 17 0 18 0 312685379 10795229184 191664 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 4 0 0 0
[pid=31652/tid=31668] ppid=31650 vsize=10542216 CPUtime=0.08 cores=0,2,4,6
/proc/31652/task/31668/stat : 31668 (java) S 31650 31652 31170 0 -1 4202560 1227 0 0 0 8 0 0 0 15 0 18 0 312685379 10795229184 191666 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 6 0 0 0
[pid=31652/tid=31669] ppid=31650 vsize=10542216 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31669/stat : 31669 (java) S 31650 31652 31170 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 312685379 10795229184 191667 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31670] ppid=31650 vsize=10542216 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31670/stat : 31670 (java) S 31650 31652 31170 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 312685379 10795229184 191669 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381696 0 4 0 16800975 18446604447301380160 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.29
Current children cumulated vsize (KiB) 10542216
[startup+6.30152 s]
/proc/loadavg: 1.94 1.98 1.92 3/451 31671
/proc/meminfo: memFree=22317132/32950928 swapFree=52006644/67111528
[pid=31652] ppid=31650 vsize=10544652 CPUtime=6.67 cores=0,2,4,6
/proc/31652/stat : 31652 (java) S 31650 31652 31170 0 -1 4202496 401380 0 1 0 621 46 0 0 18 0 18 0 312685373 10797723648 399848 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31652/statm: 2636163 399852 2207 9 0 2626897 0
[pid=31652/tid=31653] ppid=31650 vsize=10544652 CPUtime=6.28 cores=0,2,4,6
/proc/31652/task/31653/stat : 31653 (java) R 31650 31652 31170 0 -1 4202560 396439 0 1 0 583 45 0 0 19 0 18 0 312685374 10797723648 399855 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 46912505563561 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31652/tid=31655] ppid=31650 vsize=10544652 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31655/stat : 31655 (java) S 31650 31652 31170 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 312685375 10797723648 399858 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31656] ppid=31650 vsize=10544652 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31656/stat : 31656 (java) S 31650 31652 31170 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 312685375 10797723648 399860 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 6 0 0 0
[pid=31652/tid=31657] ppid=31650 vsize=10544652 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31657/stat : 31657 (java) S 31650 31652 31170 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 312685375 10797723648 399863 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 6 0 0 0
[pid=31652/tid=31658] ppid=31650 vsize=10544652 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31658/stat : 31658 (java) S 31650 31652 31170 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 312685375 10797723648 399866 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 6 0 0 0
[pid=31652/tid=31659] ppid=31650 vsize=10544652 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31659/stat : 31659 (java) S 31650 31652 31170 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 312685375 10797723648 399869 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 6 0 0 0
[pid=31652/tid=31660] ppid=31650 vsize=10544652 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31660/stat : 31660 (java) S 31650 31652 31170 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 312685375 10797723648 399871 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 6 0 0 0
[pid=31652/tid=31661] ppid=31650 vsize=10544652 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31661/stat : 31661 (java) S 31650 31652 31170 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 312685375 10797723648 399874 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 6 0 0 0
[pid=31652/tid=31662] ppid=31650 vsize=10544652 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31662/stat : 31662 (java) S 31650 31652 31170 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 312685375 10797723648 399877 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 6 0 0 0
[pid=31652/tid=31663] ppid=31650 vsize=10544652 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31663/stat : 31663 (java) S 31650 31652 31170 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 312685376 10797723648 399879 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381696 0 0 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31664] ppid=31650 vsize=10544652 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31664/stat : 31664 (java) S 31650 31652 31170 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 312685377 10797723648 399882 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31665] ppid=31650 vsize=10544652 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31665/stat : 31665 (java) S 31650 31652 31170 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 312685377 10797723648 399882 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31666] ppid=31650 vsize=10544652 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31666/stat : 31666 (java) S 31650 31652 31170 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 312685379 10797723648 399885 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892388785 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31667] ppid=31650 vsize=10544652 CPUtime=0.2 cores=0,2,4,6
/proc/31652/task/31667/stat : 31667 (java) S 31650 31652 31170 0 -1 4202560 2247 0 0 0 20 0 0 0 16 0 18 0 312685379 10797723648 399888 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 4 0 0 0
[pid=31652/tid=31668] ppid=31650 vsize=10544652 CPUtime=0.16 cores=0,2,4,6
/proc/31652/task/31668/stat : 31668 (java) S 31650 31652 31170 0 -1 4202560 1549 0 0 0 16 0 0 0 16 0 18 0 312685379 10797723648 399890 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 6 0 0 0
[pid=31652/tid=31669] ppid=31650 vsize=10544652 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31669/stat : 31669 (java) S 31650 31652 31170 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 312685379 10797723648 399893 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31670] ppid=31650 vsize=10544652 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31670/stat : 31670 (java) S 31650 31652 31170 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 312685379 10797723648 399896 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381696 0 4 0 16800975 18446604447301380160 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.67
Current children cumulated vsize (KiB) 10544652
[startup+12.7014 s]
/proc/loadavg: 1.95 1.98 1.92 3/451 31671
/proc/meminfo: memFree=20041704/32950928 swapFree=52006644/67111528
[pid=31652] ppid=31650 vsize=10540492 CPUtime=13.87 cores=0,2,4,6
/proc/31652/stat : 31652 (java) S 31650 31652 31170 0 -1 4202496 754209 0 1 0 1300 87 0 0 18 0 18 0 312685373 10793463808 751470 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31652/statm: 2635123 751470 2221 9 0 2625857 0
[pid=31652/tid=31653] ppid=31650 vsize=10540492 CPUtime=12.36 cores=0,2,4,6
/proc/31652/task/31653/stat : 31653 (java) R 31650 31652 31170 0 -1 4202560 650971 0 1 0 1162 74 0 0 25 0 18 0 312685374 10793463808 751470 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 46912505532341 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31652/tid=31655] ppid=31650 vsize=10540492 CPUtime=0.32 cores=0,2,4,6
/proc/31652/task/31655/stat : 31655 (java) S 31650 31652 31170 0 -1 4202560 31128 0 0 0 29 3 0 0 18 0 18 0 312685375 10793463808 751470 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31656] ppid=31650 vsize=10540492 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31656/stat : 31656 (java) S 31650 31652 31170 0 -1 4202560 545 0 0 0 0 0 0 0 18 0 18 0 312685375 10793463808 751470 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 6 0 0 0
[pid=31652/tid=31657] ppid=31650 vsize=10540492 CPUtime=0.15 cores=0,2,4,6
/proc/31652/task/31657/stat : 31657 (java) S 31650 31652 31170 0 -1 4202560 10154 0 0 0 14 1 0 0 18 0 18 0 312685375 10793463808 751470 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 0 0 0 0
[pid=31652/tid=31658] ppid=31650 vsize=10540492 CPUtime=0.28 cores=0,2,4,6
/proc/31652/task/31658/stat : 31658 (java) S 31650 31652 31170 0 -1 4202560 29672 0 0 0 25 3 0 0 18 0 18 0 312685375 10793463808 751470 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 4 0 0 0
[pid=31652/tid=31659] ppid=31650 vsize=10540492 CPUtime=0.29 cores=0,2,4,6
/proc/31652/task/31659/stat : 31659 (java) S 31650 31652 31170 0 -1 4202560 25625 0 0 0 26 3 0 0 18 0 18 0 312685375 10793463808 751470 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 6 0 0 0
[pid=31652/tid=31660] ppid=31650 vsize=10540492 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31660/stat : 31660 (java) S 31650 31652 31170 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 312685375 10793463808 751470 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 0 0 0 0
[pid=31652/tid=31661] ppid=31650 vsize=10540492 CPUtime=0.01 cores=0,2,4,6
/proc/31652/task/31661/stat : 31661 (java) S 31650 31652 31170 0 -1 4202560 1012 0 0 0 1 0 0 0 18 0 18 0 312685375 10793463808 751470 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 6 0 0 0
[pid=31652/tid=31662] ppid=31650 vsize=10540492 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31662/stat : 31662 (java) S 31650 31652 31170 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 312685375 10793463808 751470 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 0 0 0 0
[pid=31652/tid=31663] ppid=31650 vsize=10540492 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31663/stat : 31663 (java) S 31650 31652 31170 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 312685376 10793463808 751470 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381696 0 0 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31664] ppid=31650 vsize=10540492 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31664/stat : 31664 (java) S 31650 31652 31170 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 312685377 10793463808 751470 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31665] ppid=31650 vsize=10540492 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/31652/task/31665/stat : 31665 (java) S 31650 31652 31170 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 312685377 10817982464 1175522 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31666] ppid=31650 vsize=10564436 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31666/stat : 31666 (java) S 31650 31652 31170 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 312685379 10817982464 1175522 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892388785 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31667] ppid=31650 vsize=10564436 CPUtime=1 cores=0,2,4,6
/proc/31652/task/31667/stat : 31667 (java) S 31650 31652 31170 0 -1 4202560 10237 0 0 0 99 1 0 0 15 0 19 0 312685379 10817982464 1175522 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 4 0 0 0
[pid=31652/tid=31668] ppid=31650 vsize=10564436 CPUtime=0.66 cores=0,2,4,6
/proc/31652/task/31668/stat : 31668 (java) S 31650 31652 31170 0 -1 4202560 3165 0 0 0 66 0 0 0 15 0 19 0 312685379 10817982464 1175522 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31669] ppid=31650 vsize=10564436 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31669/stat : 31669 (java) S 31650 31652 31170 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 312685379 10817982464 1175522 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31670] ppid=31650 vsize=10564436 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31670/stat : 31670 (java) S 31650 31652 31170 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 312685379 10817982464 1175522 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381696 0 4 0 16800975 18446604447301380160 0 0 -1 0 0 0 0
[pid=31652/tid=31672] ppid=31650 vsize=10564436 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31672/stat : 31672 (java) S 31650 31652 31170 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 312689202 10817982464 1175522 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381696 0 4 0 16800975 18446604447301380160 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1676.76
Current children cumulated vsize (KiB) 10564436
[startup+1722.3 s]
/proc/loadavg: 2.12 2.04 1.97 3/452 31729
/proc/meminfo: memFree=15385716/32950928 swapFree=52006644/67111528
[pid=31652] ppid=31650 vsize=10564436 CPUtime=1736.85 cores=0,2,4,6
/proc/31652/stat : 31652 (java) S 31650 31652 31170 0 -1 4202496 1187746 0 1 0 173520 165 0 0 18 0 19 0 312685373 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31652/statm: 2641109 1180254 2241 9 0 2631843 0
[pid=31652/tid=31653] ppid=31650 vsize=10564436 CPUtime=1717.53 cores=0,2,4,6
/proc/31652/task/31653/stat : 31653 (java) R 31650 31652 31170 0 -1 4202560 651140 0 1 0 171668 85 0 0 25 0 19 0 312685374 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 46912505868438 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31652/tid=31655] ppid=31650 vsize=10564436 CPUtime=1.63 cores=0,2,4,6
/proc/31652/task/31655/stat : 31655 (java) S 31650 31652 31170 0 -1 4202560 48283 0 0 0 157 6 0 0 16 0 19 0 312685375 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31656] ppid=31650 vsize=10564436 CPUtime=2.58 cores=0,2,4,6
/proc/31652/task/31656/stat : 31656 (java) S 31650 31652 31170 0 -1 4202560 83396 0 0 0 246 12 0 0 16 0 19 0 312685375 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 6 0 0 0
[pid=31652/tid=31657] ppid=31650 vsize=10564436 CPUtime=2.27 cores=0,2,4,6
/proc/31652/task/31657/stat : 31657 (java) S 31650 31652 31170 0 -1 4202560 54901 0 0 0 218 9 0 0 16 0 19 0 312685375 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 6 0 0 0
[pid=31652/tid=31658] ppid=31650 vsize=10564436 CPUtime=2.39 cores=0,2,4,6
/proc/31652/task/31658/stat : 31658 (java) S 31650 31652 31170 0 -1 4202560 104827 0 0 0 226 13 0 0 16 0 19 0 312685375 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 0 0 0 0
[pid=31652/tid=31659] ppid=31650 vsize=10564436 CPUtime=2.25 cores=0,2,4,6
/proc/31652/task/31659/stat : 31659 (java) S 31650 31652 31170 0 -1 4202560 55654 0 0 0 217 8 0 0 16 0 19 0 312685375 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 4 0 0 0
[pid=31652/tid=31660] ppid=31650 vsize=10564436 CPUtime=1.95 cores=0,2,4,6
/proc/31652/task/31660/stat : 31660 (java) S 31650 31652 31170 0 -1 4202560 54702 0 0 0 187 8 0 0 16 0 19 0 312685375 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31661] ppid=31650 vsize=10564436 CPUtime=1.71 cores=0,2,4,6
/proc/31652/task/31661/stat : 31661 (java) S 31650 31652 31170 0 -1 4202560 40280 0 0 0 165 6 0 0 16 0 19 0 312685375 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31662] ppid=31650 vsize=10564436 CPUtime=2.77 cores=0,2,4,6
/proc/31652/task/31662/stat : 31662 (java) S 31650 31652 31170 0 -1 4202560 79877 0 0 0 265 12 0 0 16 0 19 0 312685375 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31663] ppid=31650 vsize=10564436 CPUtime=0.01 cores=0,2,4,6
/proc/31652/task/31663/stat : 31663 (java) S 31650 31652 31170 0 -1 4202560 35 0 0 0 0 1 0 0 15 0 19 0 312685376 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381696 0 0 0 16800975 18446604447301380160 0 0 -1 0 0 0 0
[pid=31652/tid=31664] ppid=31650 vsize=10564436 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31664/stat : 31664 (java) S 31650 31652 31170 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 312685377 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31665] ppid=31650 vsize=10564436 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31665/stat : 31665 (java) S 31650 31652 31170 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 312685377 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31666] ppid=31650 vsize=10564436 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31666/stat : 31666 (java) S 31650 31652 31170 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 312685379 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892388785 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31667] ppid=31650 vsize=10564436 CPUtime=1 cores=0,2,4,6
/proc/31652/task/31667/stat : 31667 (java) S 31650 31652 31170 0 -1 4202560 10237 0 0 0 99 1 0 0 15 0 19 0 312685379 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 4 0 0 0
[pid=31652/tid=31668] ppid=31650 vsize=10564436 CPUtime=0.66 cores=0,2,4,6
/proc/31652/task/31668/stat : 31668 (java) S 31650 31652 31170 0 -1 4202560 3165 0 0 0 66 0 0 0 15 0 19 0 312685379 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31669] ppid=31650 vsize=10564436 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31669/stat : 31669 (java) S 31650 31652 31170 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 312685379 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31670] ppid=31650 vsize=10564436 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31670/stat : 31670 (java) S 31650 31652 31170 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 312685379 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381696 0 4 0 16800975 18446604447301380160 0 0 -1 0 0 0 0
[pid=31652/tid=31672] ppid=31650 vsize=10564436 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31672/stat : 31672 (java) S 31650 31652 31170 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 312689202 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381696 0 4 0 16800975 18446604447301380160 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1736.85
Current children cumulated vsize (KiB) 10564436
[startup+1782.3 s]
/proc/loadavg: 2.13 2.06 1.98 3/452 31731
/proc/meminfo: memFree=15316412/32950928 swapFree=52006644/67111528
[pid=31652] ppid=31650 vsize=10564436 CPUtime=1796.85 cores=0,2,4,6
/proc/31652/stat : 31652 (java) S 31650 31652 31170 0 -1 4202496 1187750 0 1 0 179520 165 0 0 18 0 19 0 312685373 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31652/statm: 2641109 1180254 2241 9 0 2631843 0
[pid=31652/tid=31653] ppid=31650 vsize=10564436 CPUtime=1777.53 cores=0,2,4,6
/proc/31652/task/31653/stat : 31653 (java) R 31650 31652 31170 0 -1 4202560 651140 0 1 0 177668 85 0 0 25 0 19 0 312685374 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 46912505868337 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31652/tid=31655] ppid=31650 vsize=10564436 CPUtime=1.63 cores=0,2,4,6
/proc/31652/task/31655/stat : 31655 (java) S 31650 31652 31170 0 -1 4202560 48283 0 0 0 157 6 0 0 16 0 19 0 312685375 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31656] ppid=31650 vsize=10564436 CPUtime=2.58 cores=0,2,4,6
/proc/31652/task/31656/stat : 31656 (java) S 31650 31652 31170 0 -1 4202560 83396 0 0 0 246 12 0 0 16 0 19 0 312685375 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 6 0 0 0
[pid=31652/tid=31657] ppid=31650 vsize=10564436 CPUtime=2.27 cores=0,2,4,6
/proc/31652/task/31657/stat : 31657 (java) S 31650 31652 31170 0 -1 4202560 54901 0 0 0 218 9 0 0 16 0 19 0 312685375 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 6 0 0 0
[pid=31652/tid=31658] ppid=31650 vsize=10564436 CPUtime=2.39 cores=0,2,4,6
/proc/31652/task/31658/stat : 31658 (java) S 31650 31652 31170 0 -1 4202560 104827 0 0 0 226 13 0 0 16 0 19 0 312685375 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 0 0 0 0
[pid=31652/tid=31659] ppid=31650 vsize=10564436 CPUtime=2.25 cores=0,2,4,6
/proc/31652/task/31659/stat : 31659 (java) S 31650 31652 31170 0 -1 4202560 55654 0 0 0 217 8 0 0 16 0 19 0 312685375 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 4 0 0 0
[pid=31652/tid=31660] ppid=31650 vsize=10564436 CPUtime=1.95 cores=0,2,4,6
/proc/31652/task/31660/stat : 31660 (java) S 31650 31652 31170 0 -1 4202560 54702 0 0 0 187 8 0 0 16 0 19 0 312685375 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31661] ppid=31650 vsize=10564436 CPUtime=1.71 cores=0,2,4,6
/proc/31652/task/31661/stat : 31661 (java) S 31650 31652 31170 0 -1 4202560 40280 0 0 0 165 6 0 0 16 0 19 0 312685375 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31662] ppid=31650 vsize=10564436 CPUtime=2.77 cores=0,2,4,6
/proc/31652/task/31662/stat : 31662 (java) S 31650 31652 31170 0 -1 4202560 79877 0 0 0 265 12 0 0 16 0 19 0 312685375 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31663] ppid=31650 vsize=10564436 CPUtime=0.01 cores=0,2,4,6
/proc/31652/task/31663/stat : 31663 (java) S 31650 31652 31170 0 -1 4202560 35 0 0 0 0 1 0 0 15 0 19 0 312685376 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381696 0 0 0 16800975 18446604447301380160 0 0 -1 0 0 0 0
[pid=31652/tid=31664] ppid=31650 vsize=10564436 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31664/stat : 31664 (java) S 31650 31652 31170 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 312685377 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31665] ppid=31650 vsize=10564436 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31665/stat : 31665 (java) S 31650 31652 31170 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 312685377 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31666] ppid=31650 vsize=10564436 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31666/stat : 31666 (java) S 31650 31652 31170 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 312685379 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892388785 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31667] ppid=31650 vsize=10564436 CPUtime=1 cores=0,2,4,6
/proc/31652/task/31667/stat : 31667 (java) S 31650 31652 31170 0 -1 4202560 10237 0 0 0 99 1 0 0 15 0 19 0 312685379 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 4 0 0 0
[pid=31652/tid=31668] ppid=31650 vsize=10564436 CPUtime=0.66 cores=0,2,4,6
/proc/31652/task/31668/stat : 31668 (java) S 31650 31652 31170 0 -1 4202560 3165 0 0 0 66 0 0 0 15 0 19 0 312685379 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31669] ppid=31650 vsize=10564436 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31669/stat : 31669 (java) S 31650 31652 31170 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 312685379 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31670] ppid=31650 vsize=10564436 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31670/stat : 31670 (java) S 31650 31652 31170 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 312685379 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381696 0 4 0 16800975 18446604447301380160 0 0 -1 0 0 0 0
[pid=31652/tid=31672] ppid=31650 vsize=10564436 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31672/stat : 31672 (java) S 31650 31652 31170 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 312689202 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381696 0 4 0 16800975 18446604447301380160 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1796.85
Current children cumulated vsize (KiB) 10564436
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1785.52 s]
/proc/loadavg: 2.04 2.04 1.98 2/428 31751
/proc/meminfo: memFree=21000212/32950928 swapFree=52006644/67111528
[pid=31652] ppid=31650 vsize=10564436 CPUtime=1800.08 cores=0,2,4,6
/proc/31652/stat : 31652 (java) S 31650 31652 31170 0 -1 4202496 1187750 0 1 0 179843 165 0 0 18 0 19 0 312685373 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31652/statm: 2641109 1180254 2241 9 0 2631843 0
[pid=31652/tid=31653] ppid=31650 vsize=10564436 CPUtime=1780.76 cores=0,2,4,6
/proc/31652/task/31653/stat : 31653 (java) R 31650 31652 31170 0 -1 4202560 651140 0 1 0 177991 85 0 0 25 0 19 0 312685374 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 46912505868368 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31652/tid=31655] ppid=31650 vsize=10564436 CPUtime=1.63 cores=0,2,4,6
/proc/31652/task/31655/stat : 31655 (java) S 31650 31652 31170 0 -1 4202560 48283 0 0 0 157 6 0 0 16 0 19 0 312685375 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31656] ppid=31650 vsize=10564436 CPUtime=2.58 cores=0,2,4,6
/proc/31652/task/31656/stat : 31656 (java) S 31650 31652 31170 0 -1 4202560 83396 0 0 0 246 12 0 0 16 0 19 0 312685375 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 6 0 0 0
[pid=31652/tid=31657] ppid=31650 vsize=10564436 CPUtime=2.27 cores=0,2,4,6
/proc/31652/task/31657/stat : 31657 (java) S 31650 31652 31170 0 -1 4202560 54901 0 0 0 218 9 0 0 16 0 19 0 312685375 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 6 0 0 0
[pid=31652/tid=31658] ppid=31650 vsize=10564436 CPUtime=2.39 cores=0,2,4,6
/proc/31652/task/31658/stat : 31658 (java) S 31650 31652 31170 0 -1 4202560 104827 0 0 0 226 13 0 0 16 0 19 0 312685375 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 0 0 0 0
[pid=31652/tid=31659] ppid=31650 vsize=10564436 CPUtime=2.25 cores=0,2,4,6
/proc/31652/task/31659/stat : 31659 (java) S 31650 31652 31170 0 -1 4202560 55654 0 0 0 217 8 0 0 16 0 19 0 312685375 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 4 0 0 0
[pid=31652/tid=31660] ppid=31650 vsize=10564436 CPUtime=1.95 cores=0,2,4,6
/proc/31652/task/31660/stat : 31660 (java) S 31650 31652 31170 0 -1 4202560 54702 0 0 0 187 8 0 0 16 0 19 0 312685375 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31661] ppid=31650 vsize=10564436 CPUtime=1.71 cores=0,2,4,6
/proc/31652/task/31661/stat : 31661 (java) S 31650 31652 31170 0 -1 4202560 40280 0 0 0 165 6 0 0 16 0 19 0 312685375 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31662] ppid=31650 vsize=10564436 CPUtime=2.77 cores=0,2,4,6
/proc/31652/task/31662/stat : 31662 (java) S 31650 31652 31170 0 -1 4202560 79877 0 0 0 265 12 0 0 16 0 19 0 312685375 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31663] ppid=31650 vsize=10564436 CPUtime=0.01 cores=0,2,4,6
/proc/31652/task/31663/stat : 31663 (java) S 31650 31652 31170 0 -1 4202560 35 0 0 0 0 1 0 0 15 0 19 0 312685376 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381696 0 0 0 16800975 18446604447301380160 0 0 -1 0 0 0 0
[pid=31652/tid=31664] ppid=31650 vsize=10564436 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31664/stat : 31664 (java) S 31650 31652 31170 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 312685377 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31665] ppid=31650 vsize=10564436 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31665/stat : 31665 (java) S 31650 31652 31170 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 312685377 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31666] ppid=31650 vsize=10564436 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31666/stat : 31666 (java) S 31650 31652 31170 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 312685379 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892388785 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31667] ppid=31650 vsize=10564436 CPUtime=1 cores=0,2,4,6
/proc/31652/task/31667/stat : 31667 (java) S 31650 31652 31170 0 -1 4202560 10237 0 0 0 99 1 0 0 15 0 19 0 312685379 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 4 0 0 0
[pid=31652/tid=31668] ppid=31650 vsize=10564436 CPUtime=0.66 cores=0,2,4,6
/proc/31652/task/31668/stat : 31668 (java) S 31650 31652 31170 0 -1 4202560 3165 0 0 0 66 0 0 0 15 0 19 0 312685379 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31669] ppid=31650 vsize=10564436 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31669/stat : 31669 (java) S 31650 31652 31170 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 312685379 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381081 0 4 0 16800975 18446604447301380160 0 0 -1 2 0 0 0
[pid=31652/tid=31670] ppid=31650 vsize=10564436 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31670/stat : 31670 (java) S 31650 31652 31170 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 312685379 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381696 0 4 0 16800975 18446604447301380160 0 0 -1 0 0 0 0
[pid=31652/tid=31672] ppid=31650 vsize=10564436 CPUtime=0 cores=0,2,4,6
/proc/31652/task/31672/stat : 31672 (java) S 31650 31652 31170 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 312689202 10817982464 1180254 33554432000 1073741824 1073778376 140735334413808 18446744073709551615 218892381696 0 4 0 16800975 18446604447301380160 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10564436
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1785.7 s]
/proc/loadavg: 2.04 2.04 1.98 2/428 31751
/proc/meminfo: memFree=21000212/32950928 swapFree=52006644/67111528
[pid=31652] ppid=31650 vsize=0 CPUtime=1800.25 cores=0,2,4,6
/proc/31652/stat : 31652 (java) Z 31650 31652 31170 0 -1 4203548 1187779 0 1 0 179844 181 0 0 17 0 2 0 312685373 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31652/statm: 0 0 0 0 0 0 0
[pid=31652/tid=31653] ppid=31650 vsize=0 CPUtime=1780.92 cores=0,2,4,6
/proc/31652/task/31653/stat : 31653 (java) R 31650 31652 31170 0 -1 4203588 651140 0 1 0 177992 100 0 0 25 0 2 0 312685374 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1785.71
CPU time (s): 1800.27
CPU user time (s): 1798.44
CPU system time (s): 1.82572
CPU usage (%): 100.815
Max. virtual memory (cumulated for all children) (KiB): 10564436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.44
system time used= 1.82572
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1187779
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= 38675
involuntary context switches= 38293
runsolver used 7.83681 second user time and 16.8444 second system time
The end