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-3456270-1307226990/watcher-3456270-1307226990 -o /tmp/evaluation-result-3456270-1307226990/solver-3456270-1307226990 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456270-1307226990.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.95 2.01 1.99 2/391 26018
/proc/meminfo: memFree=20012100/32951124 swapFree=37148216/67111528
[pid=26018] ppid=26016 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/26018/stat : 26018 (java) S 26016 26018 24770 0 -1 4202496 3640 0 1 0 0 0 0 0 18 0 2 0 834299483 10694979584 3342 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820968421 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/26018/statm: 2611079 3356 917 9 0 2602235 0
[pid=26018/tid=26019] ppid=26016 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26019/stat : 26019 (java) R 26016 26018 24770 0 -1 4202560 4106 0 1 0 0 0 0 0 19 0 2 0 834299483 10694979584 4922 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230808859707 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0966581 s]
/proc/loadavg: 1.95 2.01 1.99 2/391 26018
/proc/meminfo: memFree=20012100/32951124 swapFree=37148216/67111528
[pid=26018] ppid=26016 vsize=10540300 CPUtime=0.1 cores=1,3,5,7
/proc/26018/stat : 26018 (java) S 26016 26018 24770 0 -1 4202496 13081 0 1 0 9 1 0 0 18 0 18 0 834299483 10793267200 12750 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26018/statm: 2635075 12752 2092 9 0 2625809 0
[pid=26018/tid=26019] ppid=26016 vsize=10540300 CPUtime=0.07 cores=1,3,5,7
/proc/26018/task/26019/stat : 26019 (java) R 26016 26018 24770 0 -1 4202560 11134 0 1 0 7 0 0 0 18 0 18 0 834299483 10793267200 12752 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230808826913 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540300
[startup+0.100656 s]
/proc/loadavg: 1.95 2.01 1.99 2/391 26018
/proc/meminfo: memFree=20012100/32951124 swapFree=37148216/67111528
[pid=26018] ppid=26016 vsize=10540300 CPUtime=0.11 cores=1,3,5,7
/proc/26018/stat : 26018 (java) S 26016 26018 24770 0 -1 4202496 13145 0 1 0 10 1 0 0 18 0 18 0 834299483 10793267200 12814 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26018/statm: 2635075 12814 2092 9 0 2625809 0
[pid=26018/tid=26019] ppid=26016 vsize=10540300 CPUtime=0.08 cores=1,3,5,7
/proc/26018/task/26019/stat : 26019 (java) R 26016 26018 24770 0 -1 4202560 11196 0 1 0 8 0 0 0 18 0 18 0 834299483 10793267200 12814 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 47662162363749 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540300
[startup+0.309919 s]
/proc/loadavg: 1.95 2.01 1.99 2/391 26018
/proc/meminfo: memFree=20012100/32951124 swapFree=37148216/67111528
[pid=26018] ppid=26016 vsize=10543444 CPUtime=0.52 cores=1,3,5,7
/proc/26018/stat : 26018 (java) S 26016 26018 24770 0 -1 4202496 16511 0 1 0 51 1 0 0 18 0 18 0 834299483 10796486656 15777 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26018/statm: 2635861 15778 2222 9 0 2626595 0
[pid=26018/tid=26019] ppid=26016 vsize=10543444 CPUtime=0.3 cores=1,3,5,7
/proc/26018/task/26019/stat : 26019 (java) R 26016 26018 24770 0 -1 4202560 12945 0 1 0 29 1 0 0 18 0 18 0 834299483 10796486656 15778 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 46912505604265 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10543444
[startup+0.700552 s]
/proc/loadavg: 1.95 2.01 1.99 2/391 26018
/proc/meminfo: memFree=20012100/32951124 swapFree=37148216/67111528
[pid=26018] ppid=26016 vsize=10553176 CPUtime=1.51 cores=1,3,5,7
/proc/26018/stat : 26018 (java) S 26016 26018 24770 0 -1 4202496 33217 0 1 0 148 3 0 0 18 0 19 0 834299483 10806452224 30286 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26018/statm: 2638294 30286 2233 9 0 2629028 0
[pid=26018/tid=26019] ppid=26016 vsize=10553176 CPUtime=0.68 cores=1,3,5,7
/proc/26018/task/26019/stat : 26019 (java) R 26016 26018 24770 0 -1 4202560 24068 0 1 0 66 2 0 0 18 0 19 0 834299483 10806452224 30286 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 46912505799741 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 10553176
[startup+1.50138 s]
/proc/loadavg: 1.95 2.01 1.99 3/410 26037
/proc/meminfo: memFree=19805672/32951124 swapFree=37148216/67111528
[pid=26018] ppid=26016 vsize=10554772 CPUtime=2.8 cores=1,3,5,7
/proc/26018/stat : 26018 (java) S 26016 26018 24770 0 -1 4202496 100904 0 1 0 269 11 0 0 18 0 19 0 834299483 10808086528 95422 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26018/statm: 2638693 95427 2238 9 0 2629427 0
[pid=26018/tid=26019] ppid=26016 vsize=10554772 CPUtime=1.49 cores=1,3,5,7
/proc/26018/task/26019/stat : 26019 (java) R 26016 26018 24770 0 -1 4202560 88642 0 1 0 139 10 0 0 19 0 19 0 834299483 10808086528 95427 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 46912506109149 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26018/tid=26021] ppid=26016 vsize=10554772 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26021/stat : 26021 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834299485 10808086528 95427 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 5 0 0 0
[pid=26018/tid=26022] ppid=26016 vsize=10554772 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26022/stat : 26022 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834299485 10808086528 95427 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26023] ppid=26016 vsize=10554772 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26023/stat : 26023 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834299485 10808086528 95427 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26024] ppid=26016 vsize=10554772 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26024/stat : 26024 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834299485 10808086528 95428 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26025] ppid=26016 vsize=10554772 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26025/stat : 26025 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834299485 10808086528 95429 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26026] ppid=26016 vsize=10554772 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26026/stat : 26026 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834299485 10808086528 95432 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26027] ppid=26016 vsize=10554772 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26027/stat : 26027 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834299485 10808086528 95434 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26028] ppid=26016 vsize=10554772 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26028/stat : 26028 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 834299485 10808086528 95436 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26029] ppid=26016 vsize=10554772 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26029/stat : 26029 (java) S 26016 26018 24770 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834299486 10808086528 95438 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820982272 0 0 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26030] ppid=26016 vsize=10554772 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26030/stat : 26030 (java) S 26016 26018 24770 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834299486 10808086528 95441 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 5 0 0 0
[pid=26018/tid=26031] ppid=26016 vsize=10554772 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26031/stat : 26031 (java) S 26016 26018 24770 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834299486 10808086528 95443 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 5 0 0 0
[pid=26018/tid=26032] ppid=26016 vsize=10554772 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26032/stat : 26032 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834299488 10808086528 95445 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820989361 0 4 0 16800975 18446604467680995136 0 0 -1 5 0 0 0
[pid=26018/tid=26033] ppid=26016 vsize=10554772 CPUtime=0.65 cores=1,3,5,7
/proc/26018/task/26033/stat : 26033 (java) S 26016 26018 24770 0 -1 4202560 5932 0 0 0 65 0 0 0 15 0 19 0 834299488 10808086528 95448 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26034] ppid=26016 vsize=10554772 CPUtime=0.64 cores=1,3,5,7
/proc/26018/task/26034/stat : 26034 (java) S 26016 26018 24770 0 -1 4202560 5177 0 0 0 64 0 0 0 15 0 19 0 834299488 10808086528 95450 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 1 0 0 0
[pid=26018/tid=26035] ppid=26016 vsize=10554772 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26035/stat : 26035 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834299488 10808086528 95451 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 5 0 0 0
[pid=26018/tid=26036] ppid=26016 vsize=10554772 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26036/stat : 26036 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834299488 10808086528 95454 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820982272 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26037] ppid=26016 vsize=10554772 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26037/stat : 26037 (java) S 26016 26018 24770 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834299533 10808086528 95458 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820982272 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 10554772
[startup+3.10111 s]
/proc/loadavg: 1.95 2.01 1.99 3/410 26037
/proc/meminfo: memFree=19532376/32951124 swapFree=37148216/67111528
[pid=26018] ppid=26016 vsize=10554772 CPUtime=4.49 cores=1,3,5,7
/proc/26018/stat : 26018 (java) S 26016 26018 24770 0 -1 4202496 168878 0 1 0 430 19 0 0 18 0 19 0 834299483 10808086528 163392 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26018/statm: 2638693 163393 2238 9 0 2629427 0
[pid=26018/tid=26019] ppid=26016 vsize=10554772 CPUtime=3.09 cores=1,3,5,7
/proc/26018/task/26019/stat : 26019 (java) R 26016 26018 24770 0 -1 4202560 156608 0 1 0 291 18 0 0 23 0 19 0 834299483 10808086528 163394 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 46912505799763 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26018/tid=26021] ppid=26016 vsize=10554772 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26021/stat : 26021 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834299485 10808086528 163394 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 5 0 0 0
[pid=26018/tid=26022] ppid=26016 vsize=10554772 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26022/stat : 26022 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834299485 10808086528 163395 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26023] ppid=26016 vsize=10554772 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26023/stat : 26023 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834299485 10808086528 163396 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26024] ppid=26016 vsize=10554772 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26024/stat : 26024 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834299485 10808086528 163397 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26025] ppid=26016 vsize=10554772 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26025/stat : 26025 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834299485 10808086528 163398 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26026] ppid=26016 vsize=10554772 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26026/stat : 26026 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834299485 10808086528 163399 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26027] ppid=26016 vsize=10554772 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26027/stat : 26027 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834299485 10808086528 163400 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26028] ppid=26016 vsize=10554772 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26028/stat : 26028 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 834299485 10808086528 163401 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26029] ppid=26016 vsize=10554772 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26029/stat : 26029 (java) S 26016 26018 24770 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834299486 10808086528 163402 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820982272 0 0 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26030] ppid=26016 vsize=10554772 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26030/stat : 26030 (java) S 26016 26018 24770 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834299486 10808086528 163402 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 5 0 0 0
[pid=26018/tid=26031] ppid=26016 vsize=10554772 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26031/stat : 26031 (java) S 26016 26018 24770 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834299486 10808086528 163404 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 5 0 0 0
[pid=26018/tid=26032] ppid=26016 vsize=10554772 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26032/stat : 26032 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834299488 10808086528 163404 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820989361 0 4 0 16800975 18446604467680995136 0 0 -1 5 0 0 0
[pid=26018/tid=26033] ppid=26016 vsize=10554772 CPUtime=0.71 cores=1,3,5,7
/proc/26018/task/26033/stat : 26033 (java) S 26016 26018 24770 0 -1 4202560 5935 0 0 0 71 0 0 0 15 0 19 0 834299488 10808086528 163405 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26034] ppid=26016 vsize=10554772 CPUtime=0.67 cores=1,3,5,7
/proc/26018/task/26034/stat : 26034 (java) S 26016 26018 24770 0 -1 4202560 5177 0 0 0 67 0 0 0 15 0 19 0 834299488 10808086528 163406 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 1 0 0 0
[pid=26018/tid=26035] ppid=26016 vsize=10554772 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26035/stat : 26035 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834299488 10808086528 163407 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 5 0 0 0
[pid=26018/tid=26036] ppid=26016 vsize=10554772 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26036/stat : 26036 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834299488 10808086528 163408 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820982272 0 4 0 16800975 18446604467680995136 0 0 -1 1 0 0 0
[pid=26018/tid=26037] ppid=26016 vsize=10554772 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26037/stat : 26037 (java) S 26016 26018 24770 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834299533 10808086528 163409 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820982272 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.49
Current children cumulated vsize (KiB) 10554772
[startup+6.30152 s]
/proc/loadavg: 1.95 2.01 1.99 3/410 26037
/proc/meminfo: memFree=19009896/32951124 swapFree=37148216/67111528
[pid=26018] ppid=26016 vsize=10620308 CPUtime=7.74 cores=1,3,5,7
/proc/26018/stat : 26018 (java) S 26016 26018 24770 0 -1 4202496 289911 0 1 0 740 34 0 0 18 0 19 0 834299483 10875195392 284183 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26018/statm: 2655077 284186 2240 9 0 2645811 0
[pid=26018/tid=26019] ppid=26016 vsize=10620308 CPUtime=6.28 cores=1,3,5,7
/proc/26018/task/26019/stat : 26019 (java) R 26016 26018 24770 0 -1 4202560 275857 0 1 0 596 32 0 0 18 0 19 0 834299483 10875195392 284186 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 46912505799464 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26018/tid=26021] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26021/stat : 26021 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834299485 10875195392 284187 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 5 0 0 0
[pid=26018/tid=26022] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26022/stat : 26022 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834299485 10875195392 284188 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26023] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26023/stat : 26023 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834299485 10875195392 284189 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26024] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26024/stat : 26024 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834299485 10875195392 284190 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26025] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26025/stat : 26025 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834299485 10875195392 284191 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26026] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26026/stat : 26026 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834299485 10875195392 284193 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26027] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26027/stat : 26027 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834299485 10875195392 284194 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26028] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26028/stat : 26028 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 834299485 10875195392 284195 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26029] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26029/stat : 26029 (java) S 26016 26018 24770 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834299486 10875195392 284196 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820982272 0 0 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26030] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26030/stat : 26030 (java) S 26016 26018 24770 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834299486 10875195392 284197 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 5 0 0 0
[pid=26018/tid=26031] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26031/stat : 26031 (java) S 26016 26018 24770 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834299486 10875195392 284198 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 5 0 0 0
[pid=26018/tid=26032] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26032/stat : 26032 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834299488 10875195392 284199 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820989361 0 4 0 16800975 18446604467680995136 0 0 -1 5 0 0 0
[pid=26018/tid=26033] ppid=26016 vsize=10620308 CPUtime=0.77 cores=1,3,5,7
/proc/26018/task/26033/stat : 26033 (java) S 26016 26018 24770 0 -1 4202560 7718 0 0 0 76 1 0 0 16 0 19 0 834299488 10875195392 284200 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26034] ppid=26016 vsize=10620308 CPUtime=0.67 cores=1,3,5,7
/proc/26018/task/26034/stat : 26034 (java) S 26016 26018 24770 0 -1 4202560 5177 0 0 0 67 0 0 0 15 0 19 0 834299488 10875195392 284201 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/26018/task/26031/stat : 26031 (java) S 26016 26018 24770 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834299486 10875195392 934184 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 5 0 0 0
[pid=26018/tid=26032] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26032/stat : 26032 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834299488 10875195392 934184 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820989361 0 4 0 16800975 18446604467680995136 0 0 -1 5 0 0 0
[pid=26018/tid=26033] ppid=26016 vsize=10620308 CPUtime=0.99 cores=1,3,5,7
/proc/26018/task/26033/stat : 26033 (java) S 26016 26018 24770 0 -1 4202560 8522 0 0 0 98 1 0 0 15 0 19 0 834299488 10875195392 934184 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26034] ppid=26016 vsize=10620308 CPUtime=0.82 cores=1,3,5,7
/proc/26018/task/26034/stat : 26034 (java) S 26016 26018 24770 0 -1 4202560 5934 0 0 0 82 0 0 0 15 0 19 0 834299488 10875195392 934184 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 1 0 0 0
[pid=26018/tid=26035] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26035/stat : 26035 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834299488 10875195392 934184 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 5 0 0 0
[pid=26018/tid=26036] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26036/stat : 26036 (java) S 26016 26018 24770 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 834299488 10875195392 934184 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820982272 0 4 0 16800975 18446604467680995136 0 0 -1 3 0 0 0
[pid=26018/tid=26037] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26037/stat : 26037 (java) S 26016 26018 24770 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834299533 10875195392 934184 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820982272 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1666.38
Current children cumulated vsize (KiB) 10620308
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/410 26145
/proc/meminfo: memFree=15414740/32951124 swapFree=37148216/67111528
[pid=26018] ppid=26016 vsize=10620308 CPUtime=1726.49 cores=1,3,5,7
/proc/26018/stat : 26018 (java) S 26016 26018 24770 0 -1 4202496 946517 0 1 0 172542 107 0 0 18 0 19 0 834299483 10875195392 937614 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26018/statm: 2655077 937614 2269 9 0 2645811 0
[pid=26018/tid=26019] ppid=26016 vsize=10620308 CPUtime=1720.37 cores=1,3,5,7
/proc/26018/task/26019/stat : 26019 (java) R 26016 26018 24770 0 -1 4202560 822418 0 1 0 171947 90 0 0 25 0 19 0 834299483 10875195392 937614 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 46912505838154 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26018/tid=26021] ppid=26016 vsize=10620308 CPUtime=0.51 cores=1,3,5,7
/proc/26018/task/26021/stat : 26021 (java) S 26016 26018 24770 0 -1 4202560 17382 0 0 0 50 1 0 0 15 0 19 0 834299485 10875195392 937614 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 1 0 0 0
[pid=26018/tid=26022] ppid=26016 vsize=10620308 CPUtime=0.47 cores=1,3,5,7
/proc/26018/task/26022/stat : 26022 (java) S 26016 26018 24770 0 -1 4202560 12684 0 0 0 46 1 0 0 15 0 19 0 834299485 10875195392 937614 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26023] ppid=26016 vsize=10620308 CPUtime=0.38 cores=1,3,5,7
/proc/26018/task/26023/stat : 26023 (java) S 26016 26018 24770 0 -1 4202560 10554 0 0 0 37 1 0 0 15 0 19 0 834299485 10875195392 937614 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 3 0 0 0
[pid=26018/tid=26024] ppid=26016 vsize=10620308 CPUtime=0.36 cores=1,3,5,7
/proc/26018/task/26024/stat : 26024 (java) S 26016 26018 24770 0 -1 4202560 8526 0 0 0 35 1 0 0 15 0 19 0 834299485 10875195392 937614 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 1 0 0 0
[pid=26018/tid=26025] ppid=26016 vsize=10620308 CPUtime=0.41 cores=1,3,5,7
/proc/26018/task/26025/stat : 26025 (java) S 26016 26018 24770 0 -1 4202560 13741 0 0 0 40 1 0 0 16 0 19 0 834299485 10875195392 937614 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 3 0 0 0
[pid=26018/tid=26026] ppid=26016 vsize=10620308 CPUtime=0.47 cores=1,3,5,7
/proc/26018/task/26026/stat : 26026 (java) S 26016 26018 24770 0 -1 4202560 16159 0 0 0 46 1 0 0 15 0 19 0 834299485 10875195392 937614 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 3 0 0 0
[pid=26018/tid=26027] ppid=26016 vsize=10620308 CPUtime=0.43 cores=1,3,5,7
/proc/26018/task/26027/stat : 26027 (java) S 26016 26018 24770 0 -1 4202560 12379 0 0 0 42 1 0 0 16 0 19 0 834299485 10875195392 937614 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26028] ppid=26016 vsize=10620308 CPUtime=0.49 cores=1,3,5,7
/proc/26018/task/26028/stat : 26028 (java) S 26016 26018 24770 0 -1 4202560 15424 0 0 0 48 1 0 0 16 0 19 0 834299485 10875195392 937614 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 1 0 0 0
[pid=26018/tid=26029] ppid=26016 vsize=10620308 CPUtime=0.66 cores=1,3,5,7
/proc/26018/task/26029/stat : 26029 (java) S 26016 26018 24770 0 -1 4202560 1541 0 0 0 66 0 0 0 15 0 19 0 834299486 10875195392 937614 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820982272 0 0 0 16800975 18446604467680995136 0 0 -1 5 0 0 0
[pid=26018/tid=26030] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26030/stat : 26030 (java) S 26016 26018 24770 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834299486 10875195392 937614 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 5 0 0 0
[pid=26018/tid=26031] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26031/stat : 26031 (java) S 26016 26018 24770 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834299486 10875195392 937614 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 5 0 0 0
[pid=26018/tid=26032] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26032/stat : 26032 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834299488 10875195392 937614 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820989361 0 4 0 16800975 18446604467680995136 0 0 -1 5 0 0 0
[pid=26018/tid=26033] ppid=26016 vsize=10620308 CPUtime=0.99 cores=1,3,5,7
/proc/26018/task/26033/stat : 26033 (java) S 26016 26018 24770 0 -1 4202560 8523 0 0 0 98 1 0 0 15 0 19 0 834299488 10875195392 937614 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26034] ppid=26016 vsize=10620308 CPUtime=0.82 cores=1,3,5,7
/proc/26018/task/26034/stat : 26034 (java) S 26016 26018 24770 0 -1 4202560 5934 0 0 0 82 0 0 0 15 0 19 0 834299488 10875195392 937614 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 1 0 0 0
[pid=26018/tid=26035] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26035/stat : 26035 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834299488 10875195392 937614 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 5 0 0 0
[pid=26018/tid=26036] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26036/stat : 26036 (java) S 26016 26018 24770 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 834299488 10875195392 937614 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820982272 0 4 0 16800975 18446604467680995136 0 0 -1 3 0 0 0
[pid=26018/tid=26037] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26037/stat : 26037 (java) S 26016 26018 24770 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834299533 10875195392 937614 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820982272 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1726.49
Current children cumulated vsize (KiB) 10620308
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/410 26147
/proc/meminfo: memFree=15376036/32951124 swapFree=37148216/67111528
[pid=26018] ppid=26016 vsize=10620308 CPUtime=1786.55 cores=1,3,5,7
/proc/26018/stat : 26018 (java) S 26016 26018 24770 0 -1 4202496 946896 0 1 0 178548 107 0 0 18 0 19 0 834299483 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26018/statm: 2655077 937976 2269 9 0 2645811 0
[pid=26018/tid=26019] ppid=26016 vsize=10620308 CPUtime=1780.33 cores=1,3,5,7
/proc/26018/task/26019/stat : 26019 (java) R 26016 26018 24770 0 -1 4202560 822420 0 1 0 177943 90 0 0 25 0 19 0 834299483 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 46912505886950 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26018/tid=26021] ppid=26016 vsize=10620308 CPUtime=0.53 cores=1,3,5,7
/proc/26018/task/26021/stat : 26021 (java) S 26016 26018 24770 0 -1 4202560 17382 0 0 0 52 1 0 0 15 0 19 0 834299485 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26022] ppid=26016 vsize=10620308 CPUtime=0.48 cores=1,3,5,7
/proc/26018/task/26022/stat : 26022 (java) S 26016 26018 24770 0 -1 4202560 12838 0 0 0 47 1 0 0 16 0 19 0 834299485 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26023] ppid=26016 vsize=10620308 CPUtime=0.38 cores=1,3,5,7
/proc/26018/task/26023/stat : 26023 (java) S 26016 26018 24770 0 -1 4202560 10554 0 0 0 37 1 0 0 15 0 19 0 834299485 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 3 0 0 0
[pid=26018/tid=26024] ppid=26016 vsize=10620308 CPUtime=0.38 cores=1,3,5,7
/proc/26018/task/26024/stat : 26024 (java) S 26016 26018 24770 0 -1 4202560 8527 0 0 0 37 1 0 0 15 0 19 0 834299485 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 1 0 0 0
[pid=26018/tid=26025] ppid=26016 vsize=10620308 CPUtime=0.43 cores=1,3,5,7
/proc/26018/task/26025/stat : 26025 (java) S 26016 26018 24770 0 -1 4202560 13872 0 0 0 42 1 0 0 16 0 19 0 834299485 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 3 0 0 0
[pid=26018/tid=26026] ppid=26016 vsize=10620308 CPUtime=0.47 cores=1,3,5,7
/proc/26018/task/26026/stat : 26026 (java) S 26016 26018 24770 0 -1 4202560 16159 0 0 0 46 1 0 0 15 0 19 0 834299485 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 3 0 0 0
[pid=26018/tid=26027] ppid=26016 vsize=10620308 CPUtime=0.45 cores=1,3,5,7
/proc/26018/task/26027/stat : 26027 (java) S 26016 26018 24770 0 -1 4202560 12464 0 0 0 44 1 0 0 16 0 19 0 834299485 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 1 0 0 0
[pid=26018/tid=26028] ppid=26016 vsize=10620308 CPUtime=0.49 cores=1,3,5,7
/proc/26018/task/26028/stat : 26028 (java) S 26016 26018 24770 0 -1 4202560 15424 0 0 0 48 1 0 0 15 0 19 0 834299485 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 1 0 0 0
[pid=26018/tid=26029] ppid=26016 vsize=10620308 CPUtime=0.66 cores=1,3,5,7
/proc/26018/task/26029/stat : 26029 (java) S 26016 26018 24770 0 -1 4202560 1545 0 0 0 66 0 0 0 15 0 19 0 834299486 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820982272 0 0 0 16800975 18446604467680995136 0 0 -1 5 0 0 0
[pid=26018/tid=26030] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26030/stat : 26030 (java) S 26016 26018 24770 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834299486 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 5 0 0 0
[pid=26018/tid=26031] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26031/stat : 26031 (java) S 26016 26018 24770 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834299486 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 5 0 0 0
[pid=26018/tid=26032] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26032/stat : 26032 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834299488 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820989361 0 4 0 16800975 18446604467680995136 0 0 -1 5 0 0 0
[pid=26018/tid=26033] ppid=26016 vsize=10620308 CPUtime=0.99 cores=1,3,5,7
/proc/26018/task/26033/stat : 26033 (java) S 26016 26018 24770 0 -1 4202560 8523 0 0 0 98 1 0 0 15 0 19 0 834299488 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26034] ppid=26016 vsize=10620308 CPUtime=0.82 cores=1,3,5,7
/proc/26018/task/26034/stat : 26034 (java) S 26016 26018 24770 0 -1 4202560 5934 0 0 0 82 0 0 0 15 0 19 0 834299488 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 1 0 0 0
[pid=26018/tid=26035] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26035/stat : 26035 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834299488 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 5 0 0 0
[pid=26018/tid=26036] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26036/stat : 26036 (java) S 26016 26018 24770 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 834299488 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820982272 0 4 0 16800975 18446604467680995136 0 0 -1 3 0 0 0
[pid=26018/tid=26037] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26037/stat : 26037 (java) S 26016 26018 24770 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834299533 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820982272 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1786.55
Current children cumulated vsize (KiB) 10620308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/410 26147
/proc/meminfo: memFree=15368344/32951124 swapFree=37148216/67111528
[pid=26018] ppid=26016 vsize=10620308 CPUtime=1800.06 cores=1,3,5,7
/proc/26018/stat : 26018 (java) S 26016 26018 24770 0 -1 4202496 946898 0 1 0 179899 107 0 0 18 0 19 0 834299483 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26018/statm: 2655077 937976 2269 9 0 2645811 0
[pid=26018/tid=26019] ppid=26016 vsize=10620308 CPUtime=1793.85 cores=1,3,5,7
/proc/26018/task/26019/stat : 26019 (java) R 26016 26018 24770 0 -1 4202560 822420 0 1 0 179295 90 0 0 25 0 19 0 834299483 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 46912505851837 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26018/tid=26021] ppid=26016 vsize=10620308 CPUtime=0.53 cores=1,3,5,7
/proc/26018/task/26021/stat : 26021 (java) S 26016 26018 24770 0 -1 4202560 17382 0 0 0 52 1 0 0 15 0 19 0 834299485 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26022] ppid=26016 vsize=10620308 CPUtime=0.48 cores=1,3,5,7
/proc/26018/task/26022/stat : 26022 (java) S 26016 26018 24770 0 -1 4202560 12838 0 0 0 47 1 0 0 16 0 19 0 834299485 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26023] ppid=26016 vsize=10620308 CPUtime=0.38 cores=1,3,5,7
/proc/26018/task/26023/stat : 26023 (java) S 26016 26018 24770 0 -1 4202560 10554 0 0 0 37 1 0 0 15 0 19 0 834299485 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 3 0 0 0
[pid=26018/tid=26024] ppid=26016 vsize=10620308 CPUtime=0.38 cores=1,3,5,7
/proc/26018/task/26024/stat : 26024 (java) S 26016 26018 24770 0 -1 4202560 8527 0 0 0 37 1 0 0 15 0 19 0 834299485 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 1 0 0 0
[pid=26018/tid=26025] ppid=26016 vsize=10620308 CPUtime=0.43 cores=1,3,5,7
/proc/26018/task/26025/stat : 26025 (java) S 26016 26018 24770 0 -1 4202560 13872 0 0 0 42 1 0 0 16 0 19 0 834299485 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 3 0 0 0
[pid=26018/tid=26026] ppid=26016 vsize=10620308 CPUtime=0.47 cores=1,3,5,7
/proc/26018/task/26026/stat : 26026 (java) S 26016 26018 24770 0 -1 4202560 16159 0 0 0 46 1 0 0 15 0 19 0 834299485 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 3 0 0 0
[pid=26018/tid=26027] ppid=26016 vsize=10620308 CPUtime=0.45 cores=1,3,5,7
/proc/26018/task/26027/stat : 26027 (java) S 26016 26018 24770 0 -1 4202560 12464 0 0 0 44 1 0 0 16 0 19 0 834299485 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 1 0 0 0
[pid=26018/tid=26028] ppid=26016 vsize=10620308 CPUtime=0.49 cores=1,3,5,7
/proc/26018/task/26028/stat : 26028 (java) S 26016 26018 24770 0 -1 4202560 15424 0 0 0 48 1 0 0 15 0 19 0 834299485 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 1 0 0 0
[pid=26018/tid=26029] ppid=26016 vsize=10620308 CPUtime=0.66 cores=1,3,5,7
/proc/26018/task/26029/stat : 26029 (java) S 26016 26018 24770 0 -1 4202560 1545 0 0 0 66 0 0 0 15 0 19 0 834299486 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820982272 0 0 0 16800975 18446604467680995136 0 0 -1 5 0 0 0
[pid=26018/tid=26030] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26030/stat : 26030 (java) S 26016 26018 24770 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834299486 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 5 0 0 0
[pid=26018/tid=26031] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26031/stat : 26031 (java) S 26016 26018 24770 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834299486 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 5 0 0 0
[pid=26018/tid=26032] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26032/stat : 26032 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834299488 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820989361 0 4 0 16800975 18446604467680995136 0 0 -1 5 0 0 0
[pid=26018/tid=26033] ppid=26016 vsize=10620308 CPUtime=0.99 cores=1,3,5,7
/proc/26018/task/26033/stat : 26033 (java) S 26016 26018 24770 0 -1 4202560 8523 0 0 0 98 1 0 0 15 0 19 0 834299488 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
[pid=26018/tid=26034] ppid=26016 vsize=10620308 CPUtime=0.82 cores=1,3,5,7
/proc/26018/task/26034/stat : 26034 (java) S 26016 26018 24770 0 -1 4202560 5934 0 0 0 82 0 0 0 15 0 19 0 834299488 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 1 0 0 0
[pid=26018/tid=26035] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26035/stat : 26035 (java) S 26016 26018 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834299488 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820981657 0 4 0 16800975 18446604467680995136 0 0 -1 5 0 0 0
[pid=26018/tid=26036] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26036/stat : 26036 (java) S 26016 26018 24770 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 834299488 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820982272 0 4 0 16800975 18446604467680995136 0 0 -1 3 0 0 0
[pid=26018/tid=26037] ppid=26016 vsize=10620308 CPUtime=0 cores=1,3,5,7
/proc/26018/task/26037/stat : 26037 (java) S 26016 26018 24770 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834299533 10875195392 937976 33554432000 1073741824 1073778376 140736417939152 18446744073709551615 230820982272 0 4 0 16800975 18446604467680995136 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10620308
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.92 s]
/proc/loadavg: 2.00 2.01 2.00 3/410 26147
/proc/meminfo: memFree=15368344/32951124 swapFree=37148216/67111528
[pid=26018] ppid=26016 vsize=0 CPUtime=1800.17 cores=1,3,5,7
/proc/26018/stat : 26018 (java) Z 26016 26018 24770 0 -1 4203548 946931 0 1 0 179902 115 0 0 17 0 2 0 834299483 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26018/statm: 0 0 0 0 0 0 0
[pid=26018/tid=26019] ppid=26016 vsize=0 CPUtime=1793.94 cores=1,3,5,7
/proc/26018/task/26019/stat : 26019 (java) R 26016 26018 24770 0 -1 4203588 822420 0 1 0 179296 98 0 0 25 0 2 0 834299483 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.96
CPU time (s): 1800.22
CPU user time (s): 1799.03
CPU system time (s): 1.19582
CPU usage (%): 100.237
Max. virtual memory (cumulated for all children) (KiB): 10620308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 1.19582
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 946931
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= 38526
involuntary context switches= 4891
runsolver used 6.15006 second user time and 15.3957 second system time
The end