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-3456495-1307223098/watcher-3456495-1307223098 -o /tmp/evaluation-result-3456495-1307223098/solver-3456495-1307223098 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456495-1307223098.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.32 2.11 2.02 2/291 18012
/proc/meminfo: memFree=24307196/32951124 swapFree=55664332/67111528
[pid=18012] ppid=18010 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/18012/stat : 18012 (java) R 18010 18012 17036 0 -1 4202496 644 0 0 0 0 0 0 0 25 0 1 0 833910652 23580672 388 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222916814592 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18012/statm: 5757 400 304 9 0 124 0
[pid=18012/tid=18013] ppid=18010 vsize=35820 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18013/stat : 18013 (java) R 18010 18012 17036 0 -1 4202560 243 0 1 0 0 0 0 0 25 0 2 0 833910653 36679680 1060 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 47531603349501 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0778529 s]
/proc/loadavg: 2.32 2.11 2.02 2/291 18012
/proc/meminfo: memFree=24307196/32951124 swapFree=55664332/67111528
[pid=18012] ppid=18010 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/18012/stat : 18012 (java) S 18010 18012 17036 0 -1 4202496 11960 0 1 0 5 1 0 0 25 0 18 0 833910652 10724442112 11657 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18012/statm: 2618272 11657 1755 9 0 2609006 0
[pid=18012/tid=18013] ppid=18010 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/18012/task/18013/stat : 18013 (java) R 18010 18012 17036 0 -1 4202560 10786 0 1 0 5 1 0 0 25 0 18 0 833910653 10724442112 11657 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.100808 s]
/proc/loadavg: 2.32 2.11 2.02 2/291 18012
/proc/meminfo: memFree=24307196/32951124 swapFree=55664332/67111528
[pid=18012] ppid=18010 vsize=10539896 CPUtime=0.1 cores=1,3,5,7
/proc/18012/stat : 18012 (java) S 18010 18012 17036 0 -1 4202496 13055 0 1 0 9 1 0 0 25 0 18 0 833910652 10792853504 12752 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18012/statm: 2634974 12752 2093 9 0 2625708 0
[pid=18012/tid=18013] ppid=18010 vsize=10539896 CPUtime=0.08 cores=1,3,5,7
/proc/18012/task/18013/stat : 18013 (java) R 18010 18012 17036 0 -1 4202560 11144 0 1 0 7 1 0 0 25 0 18 0 833910653 10792853504 12753 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 47531608603475 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) 10539896
[startup+0.300773 s]
/proc/loadavg: 2.32 2.11 2.02 2/291 18012
/proc/meminfo: memFree=24307196/32951124 swapFree=55664332/67111528
[pid=18012] ppid=18010 vsize=10541352 CPUtime=0.51 cores=1,3,5,7
/proc/18012/stat : 18012 (java) S 18010 18012 17036 0 -1 4202496 17195 0 1 0 49 2 0 0 25 0 18 0 833910652 10794344448 16165 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18012/statm: 2635338 16166 2202 9 0 2626072 0
[pid=18012/tid=18013] ppid=18010 vsize=10541352 CPUtime=0.28 cores=1,3,5,7
/proc/18012/task/18013/stat : 18013 (java) R 18010 18012 17036 0 -1 4202560 13769 0 1 0 26 2 0 0 18 0 18 0 833910653 10794344448 16166 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10541352
[startup+0.700695 s]
/proc/loadavg: 2.32 2.11 2.02 2/291 18012
/proc/meminfo: memFree=24307196/32951124 swapFree=55664332/67111528
[pid=18012] ppid=18010 vsize=10544840 CPUtime=1.18 cores=1,3,5,7
/proc/18012/stat : 18012 (java) S 18010 18012 17036 0 -1 4202496 55726 0 1 0 111 7 0 0 25 0 18 0 833910652 10797916160 53231 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18012/statm: 2636210 53235 2214 9 0 2626944 0
[pid=18012/tid=18013] ppid=18010 vsize=10544840 CPUtime=0.68 cores=1,3,5,7
/proc/18012/task/18013/stat : 18013 (java) R 18010 18012 17036 0 -1 4202560 49103 0 1 0 62 6 0 0 18 0 18 0 833910653 10797916160 53237 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 46912505651917 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 10544840
[startup+1.50156 s]
/proc/loadavg: 2.46 2.14 2.03 3/309 18030
/proc/meminfo: memFree=23972076/32951124 swapFree=55664332/67111528
[pid=18012] ppid=18010 vsize=10544840 CPUtime=1.99 cores=1,3,5,7
/proc/18012/stat : 18012 (java) S 18010 18012 17036 0 -1 4202496 141818 0 1 0 182 17 0 0 25 0 18 0 833910652 10797916160 139322 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18012/statm: 2636210 139326 2214 9 0 2626944 0
[pid=18012/tid=18013] ppid=18010 vsize=10544840 CPUtime=1.48 cores=1,3,5,7
/proc/18012/task/18013/stat : 18013 (java) R 18010 18012 17036 0 -1 4202560 135194 0 1 0 132 16 0 0 19 0 18 0 833910653 10797916160 139328 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 46912505589358 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18012/tid=18015] ppid=18010 vsize=10544840 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18015/stat : 18015 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833910654 10797916160 139331 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18016] ppid=18010 vsize=10544840 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18016/stat : 18016 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833910654 10797916160 139334 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18017] ppid=18010 vsize=10544840 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18017/stat : 18017 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833910654 10797916160 139336 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18018] ppid=18010 vsize=10544840 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18018/stat : 18018 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833910654 10797916160 139339 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18019] ppid=18010 vsize=10544840 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18019/stat : 18019 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833910654 10797916160 139341 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18020] ppid=18010 vsize=10544840 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18020/stat : 18020 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833910654 10797916160 139344 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18021] ppid=18010 vsize=10544840 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18021/stat : 18021 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833910654 10797916160 139348 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18022] ppid=18010 vsize=10544840 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18022/stat : 18022 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833910654 10797916160 139350 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18023] ppid=18010 vsize=10544840 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18023/stat : 18023 (java) S 18010 18012 17036 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 833910655 10797916160 139353 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933593600 0 0 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18024] ppid=18010 vsize=10544840 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18024/stat : 18024 (java) S 18010 18012 17036 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 833910656 10797916160 139356 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18025] ppid=18010 vsize=10544840 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18025/stat : 18025 (java) S 18010 18012 17036 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 833910656 10797916160 139358 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18026] ppid=18010 vsize=10544840 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18026/stat : 18026 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833910658 10797916160 139361 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933600689 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18027] ppid=18010 vsize=10544840 CPUtime=0.23 cores=1,3,5,7
/proc/18012/task/18027/stat : 18027 (java) S 18010 18012 17036 0 -1 4202560 2858 0 0 0 23 0 0 0 16 0 18 0 833910658 10797916160 139363 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18028] ppid=18010 vsize=10544840 CPUtime=0.25 cores=1,3,5,7
/proc/18012/task/18028/stat : 18028 (java) S 18010 18012 17036 0 -1 4202560 2622 0 0 0 25 0 0 0 17 0 18 0 833910658 10797916160 139366 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 1 0 0 0
[pid=18012/tid=18029] ppid=18010 vsize=10544840 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18029/stat : 18029 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833910658 10797916160 139369 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18030] ppid=18010 vsize=10544840 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18030/stat : 18030 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 833910658 10797916160 139371 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933593600 0 4 0 16800975 18446604467720165568 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 10544840
[startup+3.10127 s]
/proc/loadavg: 2.46 2.14 2.03 3/309 18030
/proc/meminfo: memFree=23662696/32951124 swapFree=55664332/67111528
[pid=18012] ppid=18010 vsize=10553344 CPUtime=4.07 cores=1,3,5,7
/proc/18012/stat : 18012 (java) S 18010 18012 17036 0 -1 4202496 192624 0 1 0 384 23 0 0 25 0 19 0 833910652 10806624256 188673 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18012/statm: 2638336 188673 2230 9 0 2629070 0
[pid=18012/tid=18013] ppid=18010 vsize=10553344 CPUtime=3.09 cores=1,3,5,7
/proc/18012/task/18013/stat : 18013 (java) R 18010 18012 17036 0 -1 4202560 182604 0 1 0 286 23 0 0 18 0 19 0 833910653 10806624256 188673 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 46912505983085 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18012/tid=18015] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18015/stat : 18015 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910654 10806624256 188673 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18016] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18016/stat : 18016 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910654 10806624256 188673 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18017] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18017/stat : 18017 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910654 10806624256 188673 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18018] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18018/stat : 18018 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910654 10806624256 188673 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18019] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18019/stat : 18019 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910654 10806624256 188673 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18020] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18020/stat : 18020 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910654 10806624256 188674 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18021] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18021/stat : 18021 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910654 10806624256 188674 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18022] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18022/stat : 18022 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910654 10806624256 188674 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18023] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18023/stat : 18023 (java) S 18010 18012 17036 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833910655 10806624256 188674 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933593600 0 0 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18024] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18024/stat : 18024 (java) S 18010 18012 17036 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833910656 10806624256 188674 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18025] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18025/stat : 18025 (java) S 18010 18012 17036 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833910656 10806624256 188674 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18026] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18026/stat : 18026 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910658 10806624256 188674 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933600689 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18027] ppid=18010 vsize=10553344 CPUtime=0.39 cores=1,3,5,7
/proc/18012/task/18027/stat : 18027 (java) S 18010 18012 17036 0 -1 4202560 2874 0 0 0 39 0 0 0 15 0 19 0 833910658 10806624256 188674 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18028] ppid=18010 vsize=10553344 CPUtime=0.58 cores=1,3,5,7
/proc/18012/task/18028/stat : 18028 (java) S 18010 18012 17036 0 -1 4202560 5986 0 0 0 58 0 0 0 16 0 19 0 833910658 10806624256 188674 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 1 0 0 0
[pid=18012/tid=18029] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18029/stat : 18029 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910658 10806624256 188674 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18030] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18030/stat : 18030 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833910658 10806624256 188674 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933593600 0 4 0 16800975 18446604467720165568 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.07
Current children cumulated vsize (KiB) 10553344
[startup+6.30068 s]
/proc/loadavg: 2.42 2.14 2.03 3/310 18032
/proc/meminfo: memFree=23487780/32951124 swapFree=55664332/67111528
[pid=18012] ppid=18010 vsize=10553344 CPUtime=7.48 cores=1,3,5,7
/proc/18012/stat : 18012 (java) S 18010 18012 17036 0 -1 4202496 208044 0 1 0 723 25 0 0 25 0 19 0 833910652 10806624256 204016 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18012/statm: 2638336 204016 2233 9 0 2629070 0
[pid=18012/tid=18013] ppid=18010 vsize=10553344 CPUtime=6.28 cores=1,3,5,7
/proc/18012/task/18013/stat : 18013 (java) R 18010 18012 17036 0 -1 4202560 197990 0 1 0 604 24 0 0 21 0 19 0 833910653 10806624256 204016 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 46912506041110 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18012/tid=18015] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18015/stat : 18015 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910654 10806624256 204016 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18016] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18016/stat : 18016 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910654 10806624256 204016 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18017] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18017/stat : 18017 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910654 10806624256 204016 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18018] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18018/stat : 18018 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910654 10806624256 204016 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18019] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18019/stat : 18019 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910654 10806624256 204016 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18020] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18020/stat : 18020 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910654 10806624256 204016 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18021] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18021/stat : 18021 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910654 10806624256 204016 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18022] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18022/stat : 18022 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910654 10806624256 204016 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18023] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18023/stat : 18023 (java) S 18010 18012 17036 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833910655 10806624256 204016 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933593600 0 0 0 16800975 18446604467720165568 0 0 -1 1 0 0 0
[pid=18012/tid=18024] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18024/stat : 18024 (java) S 18010 18012 17036 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833910656 10806624256 204016 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18025] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18025/stat : 18025 (java) S 18010 18012 17036 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833910656 10806624256 204016 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18026] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18026/stat : 18026 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910658 10806624256 204016 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933600689 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18027] ppid=18010 vsize=10553344 CPUtime=0.52 cores=1,3,5,7
/proc/18012/task/18027/stat : 18027 (java) S 18010 18012 17036 0 -1 4202560 2891 0 0 0 52 0 0 0 15 0 19 0 833910658 10806624256 204016 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18028] ppid=18010 vsize=10553344 CPUtime=0.66 cores=1,3,5,7
/proc/18012/task/18028/stat : 18028 (java) S 18010 18012 17036 0 -1 4202560 6002 0 0 0 66 0 0 0 15 0 19 0 833910658 10806624256 204016 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 1 0 0 0
[pid=18012/tid=18029] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18029/stat : 18029 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910658 10806624256 204016 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18030] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18030/stat : 18030 (java) S 18010 18012 17036 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 833910658 10806624256 204016 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933593600 0 4 0 16800975 18446604467720165568 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/18012/task/18025/stat : 18025 (java) S 18010 18012 17036 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833910656 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18026] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18026/stat : 18026 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910658 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933600689 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18027] ppid=18010 vsize=10553344 CPUtime=0.8 cores=1,3,5,7
/proc/18012/task/18027/stat : 18027 (java) S 18010 18012 17036 0 -1 4202560 4091 0 0 0 80 0 0 0 15 0 19 0 833910658 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18028] ppid=18010 vsize=10553344 CPUtime=0.89 cores=1,3,5,7
/proc/18012/task/18028/stat : 18028 (java) S 18010 18012 17036 0 -1 4202560 6044 0 0 0 89 0 0 0 15 0 19 0 833910658 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 1 0 0 0
[pid=18012/tid=18029] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18029/stat : 18029 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910658 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18030] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18030/stat : 18030 (java) S 18010 18012 17036 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 833910658 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933593600 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18032] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18032/stat : 18032 (java) S 18010 18012 17036 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833910951 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933593600 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1665.8
Current children cumulated vsize (KiB) 10553344
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/310 18217
/proc/meminfo: memFree=21215416/32951124 swapFree=55664332/67111528
[pid=18012] ppid=18010 vsize=10553344 CPUtime=1725.82 cores=1,3,5,7
/proc/18012/stat : 18012 (java) S 18010 18012 17036 0 -1 4202496 904363 0 1 0 172478 104 0 0 25 0 19 0 833910652 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18012/statm: 2638336 898007 2251 9 0 2629070 0
[pid=18012/tid=18013] ppid=18010 vsize=10553344 CPUtime=1721.41 cores=1,3,5,7
/proc/18012/task/18013/stat : 18013 (java) R 18010 18012 17036 0 -1 4202560 798793 0 1 0 172055 86 0 0 25 0 19 0 833910653 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 46912506268411 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18012/tid=18015] ppid=18010 vsize=10553344 CPUtime=0.35 cores=1,3,5,7
/proc/18012/task/18015/stat : 18015 (java) S 18010 18012 17036 0 -1 4202560 12305 0 0 0 34 1 0 0 16 0 19 0 833910654 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 1 0 0 0
[pid=18012/tid=18016] ppid=18010 vsize=10553344 CPUtime=0.21 cores=1,3,5,7
/proc/18012/task/18016/stat : 18016 (java) S 18010 18012 17036 0 -1 4202560 3243 0 0 0 21 0 0 0 16 0 19 0 833910654 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 1 0 0 0
[pid=18012/tid=18017] ppid=18010 vsize=10553344 CPUtime=0.37 cores=1,3,5,7
/proc/18012/task/18017/stat : 18017 (java) S 18010 18012 17036 0 -1 4202560 15601 0 0 0 36 1 0 0 15 0 19 0 833910654 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18018] ppid=18010 vsize=10553344 CPUtime=0.28 cores=1,3,5,7
/proc/18012/task/18018/stat : 18018 (java) S 18010 18012 17036 0 -1 4202560 7294 0 0 0 27 1 0 0 15 0 19 0 833910654 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 3 0 0 0
[pid=18012/tid=18019] ppid=18010 vsize=10553344 CPUtime=0.34 cores=1,3,5,7
/proc/18012/task/18019/stat : 18019 (java) S 18010 18012 17036 0 -1 4202560 12613 0 0 0 32 2 0 0 16 0 19 0 833910654 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18020] ppid=18010 vsize=10553344 CPUtime=0.43 cores=1,3,5,7
/proc/18012/task/18020/stat : 18020 (java) S 18010 18012 17036 0 -1 4202560 18464 0 0 0 41 2 0 0 15 0 19 0 833910654 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18021] ppid=18010 vsize=10553344 CPUtime=0.38 cores=1,3,5,7
/proc/18012/task/18021/stat : 18021 (java) S 18010 18012 17036 0 -1 4202560 18097 0 0 0 36 2 0 0 15 0 19 0 833910654 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18022] ppid=18010 vsize=10553344 CPUtime=0.18 cores=1,3,5,7
/proc/18012/task/18022/stat : 18022 (java) S 18010 18012 17036 0 -1 4202560 6475 0 0 0 18 0 0 0 15 0 19 0 833910654 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 3 0 0 0
[pid=18012/tid=18023] ppid=18010 vsize=10553344 CPUtime=0.05 cores=1,3,5,7
/proc/18012/task/18023/stat : 18023 (java) S 18010 18012 17036 0 -1 4202560 95 0 0 0 3 2 0 0 15 0 19 0 833910655 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933593600 0 0 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18024] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18024/stat : 18024 (java) S 18010 18012 17036 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833910656 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18025] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18025/stat : 18025 (java) S 18010 18012 17036 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833910656 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18026] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18026/stat : 18026 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910658 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933600689 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18027] ppid=18010 vsize=10553344 CPUtime=0.8 cores=1,3,5,7
/proc/18012/task/18027/stat : 18027 (java) S 18010 18012 17036 0 -1 4202560 4091 0 0 0 80 0 0 0 15 0 19 0 833910658 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18028] ppid=18010 vsize=10553344 CPUtime=0.89 cores=1,3,5,7
/proc/18012/task/18028/stat : 18028 (java) S 18010 18012 17036 0 -1 4202560 6044 0 0 0 89 0 0 0 15 0 19 0 833910658 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 1 0 0 0
[pid=18012/tid=18029] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18029/stat : 18029 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910658 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18030] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18030/stat : 18030 (java) S 18010 18012 17036 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 833910658 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933593600 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18032] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18032/stat : 18032 (java) S 18010 18012 17036 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833910951 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933593600 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1725.82
Current children cumulated vsize (KiB) 10553344
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/310 18228
/proc/meminfo: memFree=21213108/32951124 swapFree=55664332/67111528
[pid=18012] ppid=18010 vsize=10553344 CPUtime=1785.84 cores=1,3,5,7
/proc/18012/stat : 18012 (java) S 18010 18012 17036 0 -1 4202496 904384 0 1 0 178480 104 0 0 25 0 19 0 833910652 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18012/statm: 2638336 898007 2251 9 0 2629070 0
[pid=18012/tid=18013] ppid=18010 vsize=10553344 CPUtime=1781.39 cores=1,3,5,7
/proc/18012/task/18013/stat : 18013 (java) R 18010 18012 17036 0 -1 4202560 798806 0 1 0 178053 86 0 0 25 0 19 0 833910653 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 46912506142680 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18012/tid=18015] ppid=18010 vsize=10553344 CPUtime=0.36 cores=1,3,5,7
/proc/18012/task/18015/stat : 18015 (java) S 18010 18012 17036 0 -1 4202560 12305 0 0 0 35 1 0 0 16 0 19 0 833910654 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 1 0 0 0
[pid=18012/tid=18016] ppid=18010 vsize=10553344 CPUtime=0.21 cores=1,3,5,7
/proc/18012/task/18016/stat : 18016 (java) S 18010 18012 17036 0 -1 4202560 3243 0 0 0 21 0 0 0 15 0 19 0 833910654 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 1 0 0 0
[pid=18012/tid=18017] ppid=18010 vsize=10553344 CPUtime=0.37 cores=1,3,5,7
/proc/18012/task/18017/stat : 18017 (java) S 18010 18012 17036 0 -1 4202560 15601 0 0 0 36 1 0 0 15 0 19 0 833910654 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 3 0 0 0
[pid=18012/tid=18018] ppid=18010 vsize=10553344 CPUtime=0.29 cores=1,3,5,7
/proc/18012/task/18018/stat : 18018 (java) S 18010 18012 17036 0 -1 4202560 7294 0 0 0 28 1 0 0 15 0 19 0 833910654 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18019] ppid=18010 vsize=10553344 CPUtime=0.34 cores=1,3,5,7
/proc/18012/task/18019/stat : 18019 (java) S 18010 18012 17036 0 -1 4202560 12613 0 0 0 32 2 0 0 15 0 19 0 833910654 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 1 0 0 0
[pid=18012/tid=18020] ppid=18010 vsize=10553344 CPUtime=0.44 cores=1,3,5,7
/proc/18012/task/18020/stat : 18020 (java) S 18010 18012 17036 0 -1 4202560 18464 0 0 0 42 2 0 0 16 0 19 0 833910654 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18021] ppid=18010 vsize=10553344 CPUtime=0.38 cores=1,3,5,7
/proc/18012/task/18021/stat : 18021 (java) S 18010 18012 17036 0 -1 4202560 18097 0 0 0 36 2 0 0 15 0 19 0 833910654 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18022] ppid=18010 vsize=10553344 CPUtime=0.19 cores=1,3,5,7
/proc/18012/task/18022/stat : 18022 (java) S 18010 18012 17036 0 -1 4202560 6475 0 0 0 19 0 0 0 15 0 19 0 833910654 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 3 0 0 0
[pid=18012/tid=18023] ppid=18010 vsize=10553344 CPUtime=0.05 cores=1,3,5,7
/proc/18012/task/18023/stat : 18023 (java) S 18010 18012 17036 0 -1 4202560 99 0 0 0 3 2 0 0 15 0 19 0 833910655 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933593600 0 0 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18024] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18024/stat : 18024 (java) S 18010 18012 17036 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833910656 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18025] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18025/stat : 18025 (java) S 18010 18012 17036 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833910656 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18026] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18026/stat : 18026 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910658 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933600689 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18027] ppid=18010 vsize=10553344 CPUtime=0.8 cores=1,3,5,7
/proc/18012/task/18027/stat : 18027 (java) S 18010 18012 17036 0 -1 4202560 4091 0 0 0 80 0 0 0 15 0 19 0 833910658 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18028] ppid=18010 vsize=10553344 CPUtime=0.89 cores=1,3,5,7
/proc/18012/task/18028/stat : 18028 (java) S 18010 18012 17036 0 -1 4202560 6044 0 0 0 89 0 0 0 15 0 19 0 833910658 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 1 0 0 0
[pid=18012/tid=18029] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18029/stat : 18029 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910658 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18030] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18030/stat : 18030 (java) S 18010 18012 17036 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833910658 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933593600 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18032] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18032/stat : 18032 (java) S 18010 18012 17036 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833910951 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933593600 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1785.84
Current children cumulated vsize (KiB) 10553344
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/310 18228
/proc/meminfo: memFree=21213084/32951124 swapFree=55664332/67111528
[pid=18012] ppid=18010 vsize=10553344 CPUtime=1800.05 cores=1,3,5,7
/proc/18012/stat : 18012 (java) S 18010 18012 17036 0 -1 4202496 904387 0 1 0 179901 104 0 0 25 0 19 0 833910652 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18012/statm: 2638336 898007 2251 9 0 2629070 0
[pid=18012/tid=18013] ppid=18010 vsize=10553344 CPUtime=1795.6 cores=1,3,5,7
/proc/18012/task/18013/stat : 18013 (java) R 18010 18012 17036 0 -1 4202560 798809 0 1 0 179474 86 0 0 25 0 19 0 833910653 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 46912506264511 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18012/tid=18015] ppid=18010 vsize=10553344 CPUtime=0.36 cores=1,3,5,7
/proc/18012/task/18015/stat : 18015 (java) S 18010 18012 17036 0 -1 4202560 12305 0 0 0 35 1 0 0 15 0 19 0 833910654 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 1 0 0 0
[pid=18012/tid=18016] ppid=18010 vsize=10553344 CPUtime=0.22 cores=1,3,5,7
/proc/18012/task/18016/stat : 18016 (java) S 18010 18012 17036 0 -1 4202560 3243 0 0 0 22 0 0 0 15 0 19 0 833910654 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 1 0 0 0
[pid=18012/tid=18017] ppid=18010 vsize=10553344 CPUtime=0.37 cores=1,3,5,7
/proc/18012/task/18017/stat : 18017 (java) S 18010 18012 17036 0 -1 4202560 15601 0 0 0 36 1 0 0 15 0 19 0 833910654 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 3 0 0 0
[pid=18012/tid=18018] ppid=18010 vsize=10553344 CPUtime=0.29 cores=1,3,5,7
/proc/18012/task/18018/stat : 18018 (java) S 18010 18012 17036 0 -1 4202560 7294 0 0 0 28 1 0 0 15 0 19 0 833910654 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18019] ppid=18010 vsize=10553344 CPUtime=0.34 cores=1,3,5,7
/proc/18012/task/18019/stat : 18019 (java) S 18010 18012 17036 0 -1 4202560 12613 0 0 0 32 2 0 0 15 0 19 0 833910654 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18020] ppid=18010 vsize=10553344 CPUtime=0.44 cores=1,3,5,7
/proc/18012/task/18020/stat : 18020 (java) S 18010 18012 17036 0 -1 4202560 18464 0 0 0 42 2 0 0 15 0 19 0 833910654 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18021] ppid=18010 vsize=10553344 CPUtime=0.39 cores=1,3,5,7
/proc/18012/task/18021/stat : 18021 (java) S 18010 18012 17036 0 -1 4202560 18097 0 0 0 37 2 0 0 15 0 19 0 833910654 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18022] ppid=18010 vsize=10553344 CPUtime=0.19 cores=1,3,5,7
/proc/18012/task/18022/stat : 18022 (java) S 18010 18012 17036 0 -1 4202560 6475 0 0 0 19 0 0 0 15 0 19 0 833910654 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 3 0 0 0
[pid=18012/tid=18023] ppid=18010 vsize=10553344 CPUtime=0.05 cores=1,3,5,7
/proc/18012/task/18023/stat : 18023 (java) S 18010 18012 17036 0 -1 4202560 99 0 0 0 3 2 0 0 15 0 19 0 833910655 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933593600 0 0 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18024] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18024/stat : 18024 (java) S 18010 18012 17036 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833910656 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18025] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18025/stat : 18025 (java) S 18010 18012 17036 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833910656 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18026] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18026/stat : 18026 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910658 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933600689 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18027] ppid=18010 vsize=10553344 CPUtime=0.8 cores=1,3,5,7
/proc/18012/task/18027/stat : 18027 (java) S 18010 18012 17036 0 -1 4202560 4091 0 0 0 80 0 0 0 15 0 19 0 833910658 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18028] ppid=18010 vsize=10553344 CPUtime=0.89 cores=1,3,5,7
/proc/18012/task/18028/stat : 18028 (java) S 18010 18012 17036 0 -1 4202560 6044 0 0 0 89 0 0 0 15 0 19 0 833910658 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 1 0 0 0
[pid=18012/tid=18029] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18029/stat : 18029 (java) S 18010 18012 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910658 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933592985 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
[pid=18012/tid=18030] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18030/stat : 18030 (java) S 18010 18012 17036 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833910658 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933593600 0 4 0 16800975 18446604467720165568 0 0 -1 5 0 0 0
[pid=18012/tid=18032] ppid=18010 vsize=10553344 CPUtime=0 cores=1,3,5,7
/proc/18012/task/18032/stat : 18032 (java) S 18010 18012 17036 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833910951 10806624256 898007 33554432000 1073741824 1073778376 140735170753440 18446744073709551615 222933593600 0 4 0 16800975 18446604467720165568 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10553344
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.62 s]
/proc/loadavg: 2.00 2.00 2.00 3/310 18228
/proc/meminfo: memFree=21213084/32951124 swapFree=55664332/67111528
[pid=18012] ppid=18010 vsize=0 CPUtime=1800.16 cores=1,3,5,7
/proc/18012/stat : 18012 (java) Z 18010 18012 17036 0 -1 4203548 904414 0 1 0 179902 114 0 0 17 0 2 0 833910652 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18012/statm: 0 0 0 0 0 0 0
[pid=18012/tid=18013] ppid=18010 vsize=0 CPUtime=1795.71 cores=1,3,5,7
/proc/18012/task/18013/stat : 18013 (java) R 18010 18012 17036 0 -1 4203588 798809 0 1 0 179475 96 0 0 25 0 2 0 833910653 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.65
CPU time (s): 1800.2
CPU user time (s): 1799.03
CPU system time (s): 1.17282
CPU usage (%): 100.198
Max. virtual memory (cumulated for all children) (KiB): 10553344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 1.17282
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 904414
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= 46238
involuntary context switches= 32963
runsolver used 4.69928 second user time and 11.5013 second system time
The end