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-3455946-1307225526/watcher-3455946-1307225526 -o /tmp/evaluation-result-3455946-1307225526/solver-3455946-1307225526 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455946-1307225526.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.05 2.04 2.00 2/473 2123
/proc/meminfo: memFree=20829208/32951124 swapFree=60476376/67111528
[pid=2123] ppid=2121 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/2123/stat : 2123 (java) R 2121 2123 633 0 -1 4202496 948 0 0 0 0 0 0 0 25 0 1 0 814968508 23580672 692 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220811314608 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/2123/statm: 5757 693 509 9 0 124 0
[pid=2123/tid=2124] ppid=2121 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2124/stat : 2124 (java) R 2121 2123 633 0 -1 4202560 6070 0 1 0 0 0 0 0 25 0 2 0 814968509 10694979584 6886 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220815930427 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.080436 s]
/proc/loadavg: 2.05 2.04 2.00 2/473 2123
/proc/meminfo: memFree=20829208/32951124 swapFree=60476376/67111528
[pid=2123] ppid=2121 vsize=10538768 CPUtime=0.07 cores=1,3,5,7
/proc/2123/stat : 2123 (java) S 2121 2123 633 0 -1 4202496 12266 0 1 0 6 1 0 0 25 0 18 0 814968508 10791698432 11963 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2123/statm: 2634692 11965 1913 9 0 2625426 0
[pid=2123/tid=2124] ppid=2121 vsize=10538768 CPUtime=0.07 cores=1,3,5,7
/proc/2123/task/2124/stat : 2124 (java) R 2121 2123 633 0 -1 4202560 10886 0 1 0 6 1 0 0 25 0 18 0 814968509 10791698432 11966 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 47554094277379 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10538768
[startup+0.100465 s]
/proc/loadavg: 2.05 2.04 2.00 2/473 2123
/proc/meminfo: memFree=20829208/32951124 swapFree=60476376/67111528
[pid=2123] ppid=2121 vsize=10539680 CPUtime=0.1 cores=1,3,5,7
/proc/2123/stat : 2123 (java) S 2121 2123 633 0 -1 4202496 13101 0 1 0 9 1 0 0 25 0 18 0 814968508 10792632320 12768 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2123/statm: 2634920 12770 2092 9 0 2625654 0
[pid=2123/tid=2124] ppid=2121 vsize=10539680 CPUtime=0.08 cores=1,3,5,7
/proc/2123/task/2124/stat : 2124 (java) R 2121 2123 633 0 -1 4202560 11149 0 1 0 7 1 0 0 25 0 18 0 814968509 10792632320 12770 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828063179 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539680
[startup+0.300431 s]
/proc/loadavg: 2.05 2.04 2.00 2/473 2123
/proc/meminfo: memFree=20829208/32951124 swapFree=60476376/67111528
[pid=2123] ppid=2121 vsize=10541360 CPUtime=0.5 cores=1,3,5,7
/proc/2123/stat : 2123 (java) S 2121 2123 633 0 -1 4202496 17859 0 1 0 49 1 0 0 25 0 19 0 814968508 10794352640 16728 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2123/statm: 2635340 16728 2192 9 0 2626074 0
[pid=2123/tid=2124] ppid=2121 vsize=10541360 CPUtime=0.28 cores=1,3,5,7
/proc/2123/task/2124/stat : 2124 (java) R 2121 2123 633 0 -1 4202560 13902 0 1 0 27 1 0 0 25 0 19 0 814968509 10794352640 16728 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 46912505524840 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10541360
[startup+0.700323 s]
/proc/loadavg: 2.05 2.04 2.00 2/473 2123
/proc/meminfo: memFree=20829208/32951124 swapFree=60476376/67111528
[pid=2123] ppid=2121 vsize=10546176 CPUtime=1.7 cores=1,3,5,7
/proc/2123/stat : 2123 (java) S 2121 2123 633 0 -1 4202496 45644 0 1 0 165 5 0 0 25 0 19 0 814968508 10799284224 40963 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2123/statm: 2636544 40964 2216 9 0 2627278 0
[pid=2123/tid=2124] ppid=2121 vsize=10546176 CPUtime=0.69 cores=1,3,5,7
/proc/2123/task/2124/stat : 2124 (java) R 2121 2123 633 0 -1 4202560 33084 0 1 0 65 4 0 0 25 0 19 0 814968509 10799284224 40965 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 46912505536968 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 10546176
[startup+1.50121 s]
/proc/loadavg: 2.05 2.04 2.00 3/492 2142
/proc/meminfo: memFree=20547460/32951124 swapFree=60476376/67111528
[pid=2123] ppid=2121 vsize=10546176 CPUtime=2.69 cores=1,3,5,7
/proc/2123/stat : 2123 (java) S 2121 2123 633 0 -1 4202496 130549 0 1 0 256 13 0 0 25 0 19 0 814968508 10799284224 125867 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2123/statm: 2636544 125872 2219 9 0 2627278 0
[pid=2123/tid=2124] ppid=2121 vsize=10546176 CPUtime=1.49 cores=1,3,5,7
/proc/2123/task/2124/stat : 2124 (java) R 2121 2123 633 0 -1 4202560 117966 0 1 0 137 12 0 0 25 0 19 0 814968509 10799284224 125874 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 46912505523154 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2123/tid=2126] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2126/stat : 2126 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968510 10799284224 125876 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2127] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2127/stat : 2127 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968510 10799284224 125878 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2128] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2128/stat : 2128 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968510 10799284224 125881 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2129] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2129/stat : 2129 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968510 10799284224 125883 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2130] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2130/stat : 2130 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968510 10799284224 125886 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2131] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2131/stat : 2131 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968510 10799284224 125888 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2132] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2132/stat : 2132 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968510 10799284224 125891 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2133] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2133/stat : 2133 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968510 10799284224 125893 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2134] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2134/stat : 2134 (java) S 2121 2123 633 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814968512 10799284224 125895 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052992 0 0 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2135] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2135/stat : 2135 (java) S 2121 2123 633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814968512 10799284224 125898 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2136] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2136/stat : 2136 (java) S 2121 2123 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814968512 10799284224 125901 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2137] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2137/stat : 2137 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968514 10799284224 125903 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828060081 0 4 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2138] ppid=2121 vsize=10546176 CPUtime=0.58 cores=1,3,5,7
/proc/2123/task/2138/stat : 2138 (java) S 2121 2123 633 0 -1 4202560 6394 0 0 0 58 0 0 0 15 0 19 0 814968514 10799284224 125905 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 1 0 0 0
[pid=2123/tid=2139] ppid=2121 vsize=10546176 CPUtime=0.6 cores=1,3,5,7
/proc/2123/task/2139/stat : 2139 (java) S 2121 2123 633 0 -1 4202560 5036 0 0 0 60 0 0 0 15 0 19 0 814968514 10799284224 125908 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2140] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2140/stat : 2140 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968514 10799284224 125911 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2141] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2141/stat : 2141 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814968514 10799284224 125912 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052992 0 4 0 16800975 18446604455165917952 0 0 -1 1 0 0 0
[pid=2123/tid=2142] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2142/stat : 2142 (java) S 2121 2123 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814968523 10799284224 125915 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052992 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 10546176
[startup+3.10091 s]
/proc/loadavg: 2.04 2.04 2.00 3/492 2142
/proc/meminfo: memFree=20070928/32951124 swapFree=60476376/67111528
[pid=2123] ppid=2121 vsize=10546176 CPUtime=4.3 cores=1,3,5,7
/proc/2123/stat : 2123 (java) S 2121 2123 633 0 -1 4202496 296264 0 1 0 400 30 0 0 25 0 19 0 814968508 10799284224 291581 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2123/statm: 2636544 291581 2219 9 0 2627278 0
[pid=2123/tid=2124] ppid=2121 vsize=10546176 CPUtime=3.08 cores=1,3,5,7
/proc/2123/task/2124/stat : 2124 (java) R 2121 2123 633 0 -1 4202560 283674 0 1 0 280 28 0 0 25 0 19 0 814968509 10799284224 291581 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 46912505537278 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2123/tid=2126] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2126/stat : 2126 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968510 10799284224 291581 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2127] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2127/stat : 2127 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968510 10799284224 291582 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2128] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2128/stat : 2128 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968510 10799284224 291582 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2129] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2129/stat : 2129 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968510 10799284224 291583 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2130] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2130/stat : 2130 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968510 10799284224 291585 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2131] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2131/stat : 2131 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968510 10799284224 291587 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2132] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2132/stat : 2132 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968510 10799284224 291590 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2133] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2133/stat : 2133 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968510 10799284224 291592 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2134] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2134/stat : 2134 (java) S 2121 2123 633 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814968512 10799284224 291594 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052992 0 0 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2135] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2135/stat : 2135 (java) S 2121 2123 633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814968512 10799284224 291596 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2136] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2136/stat : 2136 (java) S 2121 2123 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814968512 10799284224 291598 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2137] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2137/stat : 2137 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968514 10799284224 291600 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828060081 0 4 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2138] ppid=2121 vsize=10546176 CPUtime=0.58 cores=1,3,5,7
/proc/2123/task/2138/stat : 2138 (java) S 2121 2123 633 0 -1 4202560 6394 0 0 0 58 0 0 0 15 0 19 0 814968514 10799284224 291602 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 1 0 0 0
[pid=2123/tid=2139] ppid=2121 vsize=10546176 CPUtime=0.6 cores=1,3,5,7
/proc/2123/task/2139/stat : 2139 (java) S 2121 2123 633 0 -1 4202560 5036 0 0 0 60 0 0 0 15 0 19 0 814968514 10799284224 291604 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2140] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2140/stat : 2140 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968514 10799284224 291606 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2141] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2141/stat : 2141 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814968514 10799284224 291608 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052992 0 4 0 16800975 18446604455165917952 0 0 -1 1 0 0 0
[pid=2123/tid=2142] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2142/stat : 2142 (java) S 2121 2123 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814968523 10799284224 291611 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052992 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 10546176
[startup+6.30134 s]
/proc/loadavg: 2.04 2.04 2.00 3/492 2143
/proc/meminfo: memFree=18802604/32951124 swapFree=60476376/67111528
[pid=2123] ppid=2121 vsize=10546176 CPUtime=7.5 cores=1,3,5,7
/proc/2123/stat : 2123 (java) S 2121 2123 633 0 -1 4202496 592856 0 1 0 686 64 0 0 25 0 19 0 814968508 10799284224 588123 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2123/statm: 2636544 588127 2220 9 0 2627278 0
[pid=2123/tid=2124] ppid=2121 vsize=10546176 CPUtime=6.29 cores=1,3,5,7
/proc/2123/task/2124/stat : 2124 (java) R 2121 2123 633 0 -1 4202560 580271 0 1 0 566 63 0 0 25 0 19 0 814968509 10799284224 588129 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 46912505536968 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2123/tid=2126] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2126/stat : 2126 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968510 10799284224 588130 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2127] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2127/stat : 2127 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968510 10799284224 588132 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2128] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2128/stat : 2128 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968510 10799284224 588135 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2129] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2129/stat : 2129 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968510 10799284224 588137 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2130] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2130/stat : 2130 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968510 10799284224 588139 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2131] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2131/stat : 2131 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968510 10799284224 588141 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2132] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2132/stat : 2132 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968510 10799284224 588143 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2133] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2133/stat : 2133 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968510 10799284224 588145 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2134] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2134/stat : 2134 (java) S 2121 2123 633 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 814968512 10799284224 588147 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052992 0 0 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2135] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2135/stat : 2135 (java) S 2121 2123 633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814968512 10799284224 588150 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2136] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2136/stat : 2136 (java) S 2121 2123 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814968512 10799284224 588152 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2137] ppid=2121 vsize=10546176 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2137/stat : 2137 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968514 10799284224 588154 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828060081 0 4 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2138] ppid=2121 vsize=10546176 CPUtime=0.59 cores=1,3,5,7
/proc/2123/task/2138/stat : 2138 (java) S 2121 2123 633 0 -1 4202560 6394 0 0 0 59 0 0 0 15 0 19 0 814968514 10799284224 588156 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 1 0 0 0
[pid=2123/tid=2139] ppid=2121 vsize=10546176 CPUtime=0.6 cores=1,3,5,7
/proc/2123/task/2139/stat : 2139 (java) S 2121 2123 633 0 -1 4202560 5036 0 0 0 60 0 0 0 15 0 19 0 814968514 10799284224 588159 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=2123/tid=2140] ppid=2121 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2140/stat : 2140 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968514 10799841280 918054 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2141] ppid=2121 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2141/stat : 2141 (java) S 2121 2123 633 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 814968514 10799841280 918054 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052992 0 4 0 16800975 18446604455165917952 0 0 -1 5 0 0 0
[pid=2123/tid=2142] ppid=2121 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2142/stat : 2142 (java) S 2121 2123 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814968523 10799841280 918054 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052992 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1667.93
Current children cumulated vsize (KiB) 10546720
[startup+1722.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/492 2239
/proc/meminfo: memFree=17121180/32951124 swapFree=60476376/67111528
[pid=2123] ppid=2121 vsize=10546720 CPUtime=1728.09 cores=1,3,5,7
/proc/2123/stat : 2123 (java) S 2121 2123 633 0 -1 4202496 925422 0 1 0 172701 108 0 0 25 0 19 0 814968508 10799841280 919595 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2123/statm: 2636680 919595 2257 9 0 2627414 0
[pid=2123/tid=2124] ppid=2121 vsize=10546720 CPUtime=1718.62 cores=1,3,5,7
/proc/2123/task/2124/stat : 2124 (java) R 2121 2123 633 0 -1 4202560 835678 0 1 0 171769 93 0 0 25 0 19 0 814968509 10799841280 919595 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 46912505535280 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2123/tid=2126] ppid=2121 vsize=10546720 CPUtime=0.87 cores=1,3,5,7
/proc/2123/task/2126/stat : 2126 (java) S 2121 2123 633 0 -1 4202560 9656 0 0 0 86 1 0 0 16 0 19 0 814968510 10799841280 919595 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 1 0 0 0
[pid=2123/tid=2127] ppid=2121 vsize=10546720 CPUtime=0.74 cores=1,3,5,7
/proc/2123/task/2127/stat : 2127 (java) S 2121 2123 633 0 -1 4202560 5825 0 0 0 74 0 0 0 15 0 19 0 814968510 10799841280 919595 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 1 0 0 0
[pid=2123/tid=2128] ppid=2121 vsize=10546720 CPUtime=0.77 cores=1,3,5,7
/proc/2123/task/2128/stat : 2128 (java) S 2121 2123 633 0 -1 4202560 9082 0 0 0 76 1 0 0 16 0 19 0 814968510 10799841280 919595 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2129] ppid=2121 vsize=10546720 CPUtime=0.8 cores=1,3,5,7
/proc/2123/task/2129/stat : 2129 (java) S 2121 2123 633 0 -1 4202560 6339 0 0 0 79 1 0 0 16 0 19 0 814968510 10799841280 919595 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 1 0 0 0
[pid=2123/tid=2130] ppid=2121 vsize=10546720 CPUtime=0.84 cores=1,3,5,7
/proc/2123/task/2130/stat : 2130 (java) S 2121 2123 633 0 -1 4202560 9716 0 0 0 83 1 0 0 15 0 19 0 814968510 10799841280 919595 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2131] ppid=2121 vsize=10546720 CPUtime=0.9 cores=1,3,5,7
/proc/2123/task/2131/stat : 2131 (java) S 2121 2123 633 0 -1 4202560 9235 0 0 0 89 1 0 0 15 0 19 0 814968510 10799841280 919595 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2132] ppid=2121 vsize=10546720 CPUtime=0.84 cores=1,3,5,7
/proc/2123/task/2132/stat : 2132 (java) S 2121 2123 633 0 -1 4202560 7136 0 0 0 83 1 0 0 16 0 19 0 814968510 10799841280 919595 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 5 0 0 0
[pid=2123/tid=2133] ppid=2121 vsize=10546720 CPUtime=0.91 cores=1,3,5,7
/proc/2123/task/2133/stat : 2133 (java) S 2121 2123 633 0 -1 4202560 11406 0 0 0 89 2 0 0 15 0 19 0 814968510 10799841280 919595 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2134] ppid=2121 vsize=10546720 CPUtime=1.23 cores=1,3,5,7
/proc/2123/task/2134/stat : 2134 (java) S 2121 2123 633 0 -1 4202560 8578 0 0 0 121 2 0 0 15 0 19 0 814968512 10799841280 919595 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052992 0 0 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2135] ppid=2121 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2135/stat : 2135 (java) S 2121 2123 633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814968512 10799841280 919595 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2136] ppid=2121 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2136/stat : 2136 (java) S 2121 2123 633 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814968512 10799841280 919595 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2137] ppid=2121 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2137/stat : 2137 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968514 10799841280 919595 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828060081 0 4 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2138] ppid=2121 vsize=10546720 CPUtime=0.61 cores=1,3,5,7
/proc/2123/task/2138/stat : 2138 (java) S 2121 2123 633 0 -1 4202560 6402 0 0 0 61 0 0 0 15 0 19 0 814968514 10799841280 919595 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 1 0 0 0
[pid=2123/tid=2139] ppid=2121 vsize=10546720 CPUtime=0.84 cores=1,3,5,7
/proc/2123/task/2139/stat : 2139 (java) S 2121 2123 633 0 -1 4202560 5117 0 0 0 84 0 0 0 15 0 19 0 814968514 10799841280 919595 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2140] ppid=2121 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2140/stat : 2140 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968514 10799841280 919595 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2141] ppid=2121 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2141/stat : 2141 (java) S 2121 2123 633 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 814968514 10799841280 919595 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052992 0 4 0 16800975 18446604455165917952 0 0 -1 5 0 0 0
[pid=2123/tid=2142] ppid=2121 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2142/stat : 2142 (java) S 2121 2123 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814968523 10799841280 919595 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052992 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1728.09
Current children cumulated vsize (KiB) 10546720
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/492 2241
/proc/meminfo: memFree=17111488/32951124 swapFree=60476376/67111528
[pid=2123] ppid=2121 vsize=10546720 CPUtime=1788.23 cores=1,3,5,7
/proc/2123/stat : 2123 (java) S 2121 2123 633 0 -1 4202496 926171 0 1 0 178715 108 0 0 25 0 19 0 814968508 10799841280 920316 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2123/statm: 2636680 920316 2257 9 0 2627414 0
[pid=2123/tid=2124] ppid=2121 vsize=10546720 CPUtime=1778.54 cores=1,3,5,7
/proc/2123/task/2124/stat : 2124 (java) R 2121 2123 633 0 -1 4202560 835683 0 1 0 177761 93 0 0 25 0 19 0 814968509 10799841280 920316 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 46912505768112 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2123/tid=2126] ppid=2121 vsize=10546720 CPUtime=0.91 cores=1,3,5,7
/proc/2123/task/2126/stat : 2126 (java) S 2121 2123 633 0 -1 4202560 9706 0 0 0 90 1 0 0 16 0 19 0 814968510 10799841280 920316 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2127] ppid=2121 vsize=10546720 CPUtime=0.75 cores=1,3,5,7
/proc/2123/task/2127/stat : 2127 (java) S 2121 2123 633 0 -1 4202560 5912 0 0 0 75 0 0 0 15 0 19 0 814968510 10799841280 920316 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 1 0 0 0
[pid=2123/tid=2128] ppid=2121 vsize=10546720 CPUtime=0.8 cores=1,3,5,7
/proc/2123/task/2128/stat : 2128 (java) S 2121 2123 633 0 -1 4202560 9388 0 0 0 79 1 0 0 15 0 19 0 814968510 10799841280 920316 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 1 0 0 0
[pid=2123/tid=2129] ppid=2121 vsize=10546720 CPUtime=0.84 cores=1,3,5,7
/proc/2123/task/2129/stat : 2129 (java) S 2121 2123 633 0 -1 4202560 6467 0 0 0 83 1 0 0 16 0 19 0 814968510 10799841280 920316 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 1 0 0 0
[pid=2123/tid=2130] ppid=2121 vsize=10546720 CPUtime=0.85 cores=1,3,5,7
/proc/2123/task/2130/stat : 2130 (java) S 2121 2123 633 0 -1 4202560 9737 0 0 0 84 1 0 0 15 0 19 0 814968510 10799841280 920316 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2131] ppid=2121 vsize=10546720 CPUtime=0.93 cores=1,3,5,7
/proc/2123/task/2131/stat : 2131 (java) S 2121 2123 633 0 -1 4202560 9243 0 0 0 92 1 0 0 15 0 19 0 814968510 10799841280 920316 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2132] ppid=2121 vsize=10546720 CPUtime=0.88 cores=1,3,5,7
/proc/2123/task/2132/stat : 2132 (java) S 2121 2123 633 0 -1 4202560 7250 0 0 0 87 1 0 0 16 0 19 0 814968510 10799841280 920316 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 5 0 0 0
[pid=2123/tid=2133] ppid=2121 vsize=10546720 CPUtime=0.92 cores=1,3,5,7
/proc/2123/task/2133/stat : 2133 (java) S 2121 2123 633 0 -1 4202560 11430 0 0 0 90 2 0 0 16 0 19 0 814968510 10799841280 920316 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2134] ppid=2121 vsize=10546720 CPUtime=1.24 cores=1,3,5,7
/proc/2123/task/2134/stat : 2134 (java) S 2121 2123 633 0 -1 4202560 8582 0 0 0 122 2 0 0 15 0 19 0 814968512 10799841280 920316 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052992 0 0 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2135] ppid=2121 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2135/stat : 2135 (java) S 2121 2123 633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814968512 10799841280 920316 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2136] ppid=2121 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2136/stat : 2136 (java) S 2121 2123 633 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814968512 10799841280 920316 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2137] ppid=2121 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2137/stat : 2137 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968514 10799841280 920316 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828060081 0 4 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2138] ppid=2121 vsize=10546720 CPUtime=0.61 cores=1,3,5,7
/proc/2123/task/2138/stat : 2138 (java) S 2121 2123 633 0 -1 4202560 6402 0 0 0 61 0 0 0 15 0 19 0 814968514 10799841280 920316 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 1 0 0 0
[pid=2123/tid=2139] ppid=2121 vsize=10546720 CPUtime=0.84 cores=1,3,5,7
/proc/2123/task/2139/stat : 2139 (java) S 2121 2123 633 0 -1 4202560 5117 0 0 0 84 0 0 0 15 0 19 0 814968514 10799841280 920316 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2140] ppid=2121 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2140/stat : 2140 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968514 10799841280 920316 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2141] ppid=2121 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2141/stat : 2141 (java) S 2121 2123 633 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 814968514 10799841280 920316 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052992 0 4 0 16800975 18446604455165917952 0 0 -1 1 0 0 0
[pid=2123/tid=2142] ppid=2121 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2142/stat : 2142 (java) S 2121 2123 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814968523 10799841280 920316 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052992 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1788.23
Current children cumulated vsize (KiB) 10546720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.12 s]
/proc/loadavg: 2.02 2.03 2.00 3/492 2241
/proc/meminfo: memFree=17108248/32951124 swapFree=60476376/67111528
[pid=2123] ppid=2121 vsize=10546720 CPUtime=1800.08 cores=1,3,5,7
/proc/2123/stat : 2123 (java) S 2121 2123 633 0 -1 4202496 926290 0 1 0 179900 108 0 0 25 0 19 0 814968508 10799841280 920426 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2123/statm: 2636680 920426 2257 9 0 2627414 0
[pid=2123/tid=2124] ppid=2121 vsize=10546720 CPUtime=1790.36 cores=1,3,5,7
/proc/2123/task/2124/stat : 2124 (java) R 2121 2123 633 0 -1 4202560 835684 0 1 0 178943 93 0 0 25 0 19 0 814968509 10799841280 920426 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 46912505768312 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2123/tid=2126] ppid=2121 vsize=10546720 CPUtime=0.91 cores=1,3,5,7
/proc/2123/task/2126/stat : 2126 (java) S 2121 2123 633 0 -1 4202560 9706 0 0 0 90 1 0 0 15 0 19 0 814968510 10799841280 920426 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2127] ppid=2121 vsize=10546720 CPUtime=0.75 cores=1,3,5,7
/proc/2123/task/2127/stat : 2127 (java) S 2121 2123 633 0 -1 4202560 5912 0 0 0 75 0 0 0 15 0 19 0 814968510 10799841280 920426 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 1 0 0 0
[pid=2123/tid=2128] ppid=2121 vsize=10546720 CPUtime=0.81 cores=1,3,5,7
/proc/2123/task/2128/stat : 2128 (java) S 2121 2123 633 0 -1 4202560 9416 0 0 0 80 1 0 0 16 0 19 0 814968510 10799841280 920426 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 1 0 0 0
[pid=2123/tid=2129] ppid=2121 vsize=10546720 CPUtime=0.85 cores=1,3,5,7
/proc/2123/task/2129/stat : 2129 (java) S 2121 2123 633 0 -1 4202560 6473 0 0 0 84 1 0 0 16 0 19 0 814968510 10799841280 920426 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2130] ppid=2121 vsize=10546720 CPUtime=0.86 cores=1,3,5,7
/proc/2123/task/2130/stat : 2130 (java) S 2121 2123 633 0 -1 4202560 9763 0 0 0 85 1 0 0 16 0 19 0 814968510 10799841280 920426 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2131] ppid=2121 vsize=10546720 CPUtime=0.93 cores=1,3,5,7
/proc/2123/task/2131/stat : 2131 (java) S 2121 2123 633 0 -1 4202560 9243 0 0 0 92 1 0 0 15 0 19 0 814968510 10799841280 920426 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2132] ppid=2121 vsize=10546720 CPUtime=0.89 cores=1,3,5,7
/proc/2123/task/2132/stat : 2132 (java) S 2121 2123 633 0 -1 4202560 7304 0 0 0 88 1 0 0 16 0 19 0 814968510 10799841280 920426 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 5 0 0 0
[pid=2123/tid=2133] ppid=2121 vsize=10546720 CPUtime=0.92 cores=1,3,5,7
/proc/2123/task/2133/stat : 2133 (java) S 2121 2123 633 0 -1 4202560 11430 0 0 0 90 2 0 0 16 0 19 0 814968510 10799841280 920426 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2134] ppid=2121 vsize=10546720 CPUtime=1.24 cores=1,3,5,7
/proc/2123/task/2134/stat : 2134 (java) S 2121 2123 633 0 -1 4202560 8584 0 0 0 122 2 0 0 15 0 19 0 814968512 10799841280 920426 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052992 0 0 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2135] ppid=2121 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2135/stat : 2135 (java) S 2121 2123 633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814968512 10799841280 920426 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2136] ppid=2121 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2136/stat : 2136 (java) S 2121 2123 633 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814968512 10799841280 920426 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2137] ppid=2121 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2137/stat : 2137 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968514 10799841280 920426 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828060081 0 4 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2138] ppid=2121 vsize=10546720 CPUtime=0.61 cores=1,3,5,7
/proc/2123/task/2138/stat : 2138 (java) S 2121 2123 633 0 -1 4202560 6402 0 0 0 61 0 0 0 15 0 19 0 814968514 10799841280 920426 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 1 0 0 0
[pid=2123/tid=2139] ppid=2121 vsize=10546720 CPUtime=0.84 cores=1,3,5,7
/proc/2123/task/2139/stat : 2139 (java) S 2121 2123 633 0 -1 4202560 5117 0 0 0 84 0 0 0 15 0 19 0 814968514 10799841280 920426 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
[pid=2123/tid=2140] ppid=2121 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2140/stat : 2140 (java) S 2121 2123 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814968514 10799841280 920426 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052377 0 4 0 16800975 18446604455165917952 0 0 -1 3 0 0 0
[pid=2123/tid=2141] ppid=2121 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2141/stat : 2141 (java) S 2121 2123 633 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 814968514 10799841280 920426 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052992 0 4 0 16800975 18446604455165917952 0 0 -1 1 0 0 0
[pid=2123/tid=2142] ppid=2121 vsize=10546720 CPUtime=0 cores=1,3,5,7
/proc/2123/task/2142/stat : 2142 (java) S 2121 2123 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814968523 10799841280 920426 33554432000 1073741824 1073778376 140735658615936 18446744073709551615 220828052992 0 4 0 16800975 18446604455165917952 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10546720
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.22 s]
/proc/loadavg: 2.02 2.03 2.00 3/492 2241
/proc/meminfo: memFree=17108248/32951124 swapFree=60476376/67111528
[pid=2123] ppid=2121 vsize=0 CPUtime=1800.22 cores=1,3,5,7
/proc/2123/stat : 2123 (java) Z 2121 2123 633 0 -1 4203548 926332 0 1 0 179909 113 0 0 17 0 2 0 814968508 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2123/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
[startup+1794.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/492 2241
/proc/meminfo: memFree=17108248/32951124 swapFree=60476376/67111528
[pid=2123] ppid=2121 vsize=0 CPUtime=1800.3 cores=1,3,5,7
/proc/2123/stat : 2123 (java) Z 2121 2123 633 0 -1 4203548 926332 0 1 0 179909 121 0 0 17 0 2 0 814968508 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2123/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.31
CPU time (s): 1800.31
CPU user time (s): 1799.09
CPU system time (s): 1.22281
CPU usage (%): 100.334
Max. virtual memory (cumulated for all children) (KiB): 10546720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.09
system time used= 1.22281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 926332
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= 40730
involuntary context switches= 14794
runsolver used 8.19675 second user time and 19.564 second system time
The end