runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3482324-1307741600/watcher-3482324-1307741600 -o /tmp/evaluation-result-3482324-1307741600/solver-3482324-1307741600 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482324-1307741600.opb -seed 1907577660 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 4/176 26377
/proc/meminfo: memFree=31571656/32951124 swapFree=67052292/67111528
[pid=26375] ppid=26373 vsize=14644 CPUtime=0 cores=0,2,4,6
/proc/26375/stat : 26375 (python) R 26373 26375 26332 0 -1 4202496 346 0 0 0 0 0 0 0 18 0 1 0 885761313 14995456 270 33554432000 4194304 5683644 140733372923264 18446744073709551615 4681245 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26375/statm: 3661 272 208 364 0 148 0
[startup+0.0565471 s]
/proc/loadavg: 0.00 0.00 0.00 4/176 26377
/proc/meminfo: memFree=31571656/32951124 swapFree=67052292/67111528
[pid=26375] ppid=26373 vsize=16396 CPUtime=0.01 cores=0,2,4,6
/proc/26375/stat : 26375 (python) S 26373 26375 26332 0 -1 4202496 1118 0 0 0 1 0 0 0 17 0 1 0 885761313 16789504 985 33554432000 4194304 5683644 140733372923264 18446744073709551615 270613106533 0 2147483391 16781312 2 18446744071699945619 0 0 17 4 0 0 0
/proc/26375/statm: 4099 985 409 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
[startup+0.100563 s]
/proc/loadavg: 0.00 0.00 0.00 4/176 26377
/proc/meminfo: memFree=31571656/32951124 swapFree=67052292/67111528
[pid=26375] ppid=26373 vsize=25316 CPUtime=0.03 cores=0,2,4,6
/proc/26375/stat : 26375 (python) R 26373 26375 26332 0 -1 4202496 1349 0 0 0 2 1 0 0 17 0 1 0 885761313 25923584 1194 33554432000 4194304 5683644 140733372923264 18446744073709551615 270613108736 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/26375/statm: 6329 1194 438 364 0 730 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 25316
[startup+0.300549 s]
/proc/loadavg: 0.00 0.00 0.00 4/176 26377
/proc/meminfo: memFree=31571656/32951124 swapFree=67052292/67111528
[pid=26375] ppid=26373 vsize=103748 CPUtime=0.11 cores=0,2,4,6
/proc/26375/stat : 26375 (python) S 26373 26375 26332 0 -1 4202496 3851 927 1 0 8 3 0 0 17 0 1 0 885761313 106237952 2674 33554432000 4194304 5683644 140733372923264 18446744073709551615 270613108736 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/26375/statm: 25937 2674 848 364 0 1736 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 103748
[startup+0.700509 s]
/proc/loadavg: 0.00 0.00 0.00 4/176 26377
/proc/meminfo: memFree=31571656/32951124 swapFree=67052292/67111528
[pid=26375] ppid=26373 vsize=123744 CPUtime=0.17 cores=0,2,4,6
/proc/26375/stat : 26375 (python) S 26373 26375 26332 0 -1 4202496 5359 927 1 0 12 5 0 0 15 0 1 0 885761313 126713856 3746 33554432000 4194304 5683644 140733372923264 18446744073709551615 270613106693 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/26375/statm: 30936 3746 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+1.50028 s]
/proc/loadavg: 0.00 0.00 0.00 3/178 26387
/proc/meminfo: memFree=31547632/32951124 swapFree=67052292/67111528
[pid=26375] ppid=26373 vsize=262012 CPUtime=0.4 cores=0,2,4,6
/proc/26375/stat : 26375 (python) D 26373 26375 26332 0 -1 4202496 8387 927 1 0 29 11 0 0 16 0 1 0 885761313 268300288 6475 33554432000 4194304 5683644 140733372923264 18446744073709551615 270613116471 0 0 16781312 2 18446744071562154983 0 0 17 4 0 0 0
/proc/26375/statm: 65503 6475 1677 364 0 5219 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 262012
[startup+3.10096 s]
/proc/loadavg: 0.40 0.08 0.03 4/196 26417
/proc/meminfo: memFree=31493680/32951124 swapFree=67052292/67111528
[pid=26375] ppid=26373 vsize=302464 CPUtime=1.46 cores=0,2,4,6
/proc/26375/stat : 26375 (python) S 26373 26375 26332 0 -1 4202496 15267 1425 1 0 109 16 19 2 18 0 2 0 885761313 309723136 9458 33554432000 4194304 5683644 140733372923264 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 31
/proc/26375/statm: 75616 9458 1873 364 0 10503 0
[pid=26398] ppid=26375 vsize=292220 CPUtime=0 cores=0,2,4,6
/proc/26398/stat : 26398 (python) S 26375 26375 26332 0 -1 4202560 734 0 0 0 0 0 0 0 17 0 1 0 885761580 299233280 7899 33554432000 4194304 5683644 140733372923264 18446744073709551615 270613130767 0 0 16781312 33554946 396037590039396352 0 0 17 4 0 0 0
/proc/26398/statm: 73055 7899 318 364 0 7942 0
[pid=26400] ppid=26398 vsize=8542608 CPUtime=0.68 cores=0,2,4,6
/proc/26400/stat : 26400 (java) S 26398 26400 26400 0 -1 4202496 13694 0 1 0 66 2 0 0 19 0 18 0 885761580 8747630592 12050 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26400/statm: 2135652 12050 2217 9 0 2126393 0
[pid=26400/tid=26401] ppid=26398 vsize=8542608 CPUtime=0.35 cores=0,2,4,6
/proc/26400/task/26401/stat : 26401 (java) R 26398 26400 26400 0 -1 4202560 6103 0 1 0 34 1 0 0 18 0 18 0 885761581 8747630592 12052 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 46912505638301 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26400/tid=26402] ppid=26398 vsize=8542608 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26402/stat : 26402 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 885761582 8747630592 12052 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26403] ppid=26398 vsize=8542608 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26403/stat : 26403 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 885761582 8747630592 12060 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26404] ppid=26398 vsize=8542608 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26404/stat : 26404 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 885761582 8747630592 12081 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26405] ppid=26398 vsize=8542608 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26405/stat : 26405 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 885761582 8747630592 12101 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26406] ppid=26398 vsize=8542608 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26406/stat : 26406 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 885761582 8747630592 12118 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26407] ppid=26398 vsize=8542608 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26407/stat : 26407 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 885761582 8747630592 12135 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26408] ppid=26398 vsize=8542608 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26408/stat : 26408 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 885761582 8747630592 12138 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26409] ppid=26398 vsize=8542608 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26409/stat : 26409 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 885761582 8747630592 12139 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 2 0 0 0
[pid=26400/tid=26410] ppid=26398 vsize=8542608 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26410/stat : 26410 (java) S 26398 26400 26400 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 885761583 8747630592 12139 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624927232 0 0 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26411] ppid=26398 vsize=8542608 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26411/stat : 26411 (java) S 26398 26400 26400 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 885761583 8747630592 12139 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26412] ppid=26398 vsize=8542608 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26412/stat : 26412 (java) S 26398 26400 26400 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 885761583 8747630592 12140 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26413] ppid=26398 vsize=8542608 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26413/stat : 26413 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 885761592 8747630592 12140 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624934321 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26414] ppid=26398 vsize=8542608 CPUtime=0.19 cores=0,2,4,6
/proc/26400/task/26414/stat : 26414 (java) R 26398 26400 26400 0 -1 4202560 3028 0 0 0 19 0 0 0 17 0 18 0 885761592 8747630592 12140 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 46990002772489 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26400/tid=26415] ppid=26398 vsize=8542608 CPUtime=0.13 cores=0,2,4,6
/proc/26400/task/26415/stat : 26415 (java) R 26398 26400 26400 0 -1 4202560 3267 0 0 0 13 0 0 0 16 0 18 0 885761592 8747630592 12141 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 46990000661718 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26400/tid=26416] ppid=26398 vsize=8542608 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26416/stat : 26416 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 885761592 8747630592 12141 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26417] ppid=26398 vsize=8542608 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26417/stat : 26417 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 885761592 8747630592 12142 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624927232 0 4 0 16800975 18446604453902075008 0 0 -1 2 0 0 0
[pid=26375/tid=26399] ppid=26373 vsize=302464 CPUtime=0.21 cores=0,2,4,6
/proc/26375/task/26399/stat : 26399 (python) S 26373 26375 26332 0 -1 4202560 28 1425 0 0 0 0 19 2 18 0 2 0 885761580 309723136 9458 33554432000 4194304 5683644 140733372923264 18446744073709551615 270624934321 0 0 16781312 33554434 18446604453923836928 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 9137292
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+3.30096 s]
/proc/loadavg: 0.40 0.08 0.03 4/196 26417
/proc/meminfo: memFree=31493680/32951124 swapFree=67052292/67111528
[pid=26375] ppid=26373 vsize=302464 CPUtime=1.46 cores=0,2,4,6
/proc/26375/stat : 26375 (python) S 26373 26375 26332 0 -1 4202496 15267 1425 1 0 109 16 19 2 18 0 2 0 885761313 309723136 9458 33554432000 4194304 5683644 140733372923264 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 31
/proc/26375/statm: 75616 9458 1873 364 0 10503 0
[pid=26398] ppid=26375 vsize=292220 CPUtime=0 cores=0,2,4,6
/proc/26398/stat : 26398 (python) S 26375 26375 26332 0 -1 4202560 734 0 0 0 0 0 0 0 17 0 1 0 885761580 299233280 7899 33554432000 4194304 5683644 140733372923264 18446744073709551615 270613130767 0 0 16781312 33554946 396037590039396352 0 0 17 4 0 0 0
/proc/26398/statm: 73055 7899 318 364 0 7942 0
[pid=26400] ppid=26398 vsize=8546480 CPUtime=1.26 cores=0,2,4,6
/proc/26400/stat : 26400 (java) S 26398 26400 26400 0 -1 4202496 21342 0 1 0 123 3 0 0 19 0 18 0 885761580 8751595520 18355 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26400/statm: 2136620 18356 2220 9 0 2127361 0
[pid=26400/tid=26401] ppid=26398 vsize=8546480 CPUtime=0.54 cores=0,2,4,6
/proc/26400/task/26401/stat : 26401 (java) R 26398 26400 26400 0 -1 4202560 11239 0 1 0 52 2 0 0 18 0 18 0 885761581 8751595520 18357 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 46912505587949 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26400/tid=26402] ppid=26398 vsize=8546480 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26402/stat : 26402 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 885761582 8751595520 18358 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26403] ppid=26398 vsize=8546480 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26403/stat : 26403 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 885761582 8751595520 18359 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26404] ppid=26398 vsize=8546480 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26404/stat : 26404 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 885761582 8751595520 18360 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26405] ppid=26398 vsize=8546480 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26405/stat : 26405 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 885761582 8751595520 18361 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26406] ppid=26398 vsize=8546480 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26406/stat : 26406 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 885761582 8751595520 18362 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26407] ppid=26398 vsize=8546480 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26407/stat : 26407 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 885761582 8751595520 18364 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26408] ppid=26398 vsize=8546480 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26408/stat : 26408 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 885761582 8751595520 18365 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26409] ppid=26398 vsize=8546480 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26409/stat : 26409 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 885761582 8751595520 18367 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 2 0 0 0
[pid=26400/tid=26410] ppid=26398 vsize=8546480 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26410/stat : 26410 (java) S 26398 26400 26400 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 885761583 8751595520 18367 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624927232 0 0 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26411] ppid=26398 vsize=8546480 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26411/stat : 26411 (java) S 26398 26400 26400 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 885761583 8751595520 18368 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26412] ppid=26398 vsize=8546480 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26412/stat : 26412 (java) S 26398 26400 26400 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 885761583 8751595520 18369 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26413] ppid=26398 vsize=8546480 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26413/stat : 26413 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 885761592 8751595520 18370 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624934321 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26414] ppid=26398 vsize=8546480 CPUtime=0.38 cores=0,2,4,6
/proc/26400/task/26414/stat : 26414 (java) R 26398 26400 26400 0 -1 4202560 4421 0 0 0 38 0 0 0 17 0 18 0 885761592 8751595520 18371 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 46990002662724 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26400/tid=26415] ppid=26398 vsize=8546480 CPUtime=0.32 cores=0,2,4,6
/proc/26400/task/26415/stat : 26415 (java) R 26398 26400 26400 0 -1 4202560 4302 0 0 0 32 0 0 0 16 0 18 0 885761592 8751595520 18372 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 46989998870576 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26400/tid=26416] ppid=26398 vsize=8546480 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26416/stat : 26416 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 885761592 8751595520 18374 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26417] ppid=26398 vsize=8546480 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26417/stat : 26417 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 885761592 8751595520 18375 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624927232 0 4 0 16800975 18446604453902075008 0 0 -1 6 0 0 0
[pid=26375/tid=26399] ppid=26373 vsize=302464 CPUtime=0.21 cores=0,2,4,6
/proc/26375/task/26399/stat : 26399 (python) S 26373 26375 26332 0 -1 4202560 28 1425 0 0 0 0 19 2 18 0 2 0 885761580 309723136 9458 33554432000 4194304 5683644 140733372923264 18446744073709551615 270624934321 0 0 16781312 33554434 18446604453923836928 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 9141164
[startup+3.50092 s]
/proc/loadavg: 0.40 0.08 0.03 4/196 26417
/proc/meminfo: memFree=31493680/32951124 swapFree=67052292/67111528
[pid=26375] ppid=26373 vsize=302464 CPUtime=1.46 cores=0,2,4,6
/proc/26375/stat : 26375 (python) S 26373 26375 26332 0 -1 4202496 15267 1425 1 0 109 16 19 2 18 0 2 0 885761313 309723136 9458 33554432000 4194304 5683644 140733372923264 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 31
/proc/26375/statm: 75616 9458 1873 364 0 10503 0
[pid=26398] ppid=26375 vsize=292220 CPUtime=0 cores=0,2,4,6
/proc/26398/stat : 26398 (python) S 26375 26375 26332 0 -1 4202560 735 0 0 0 0 0 0 0 15 0 1 0 885761580 299233280 7899 33554432000 4194304 5683644 140733372923264 18446744073709551615 270613130767 0 0 16781312 33554946 2659084209380917248 0 0 17 4 0 0 0
/proc/26398/statm: 73055 7899 318 364 0 7942 0
[pid=26400] ppid=26398 vsize=8547508 CPUtime=1.83 cores=0,2,4,6
/proc/26400/stat : 26400 (java) S 26398 26400 26400 0 -1 4202496 27528 0 1 0 179 4 0 0 19 0 19 0 885761580 8752648192 24540 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26400/statm: 2136877 24540 2225 9 0 2127618 0
[pid=26400/tid=26401] ppid=26398 vsize=8547508 CPUtime=0.74 cores=0,2,4,6
/proc/26400/task/26401/stat : 26401 (java) R 26398 26400 26400 0 -1 4202560 17332 0 1 0 72 2 0 0 19 0 19 0 885761581 8752648192 24540 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 46912505896064 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26400/tid=26402] ppid=26398 vsize=8547508 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26402/stat : 26402 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 885761582 8752648192 24540 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26403] ppid=26398 vsize=8547508 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26403/stat : 26403 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 885761582 8752648192 24540 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26404] ppid=26398 vsize=8547508 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26404/stat : 26404 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 885761582 8752648192 24540 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26405] ppid=26398 vsize=8547508 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26405/stat : 26405 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 885761582 8752648192 24540 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26406] ppid=26398 vsize=8547508 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26406/stat : 26406 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 885761582 8752648192 24540 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26407] ppid=26398 vsize=8547508 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26407/stat : 26407 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 885761582 8752648192 24541 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26408] ppid=26398 vsize=8547508 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26408/stat : 26408 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 885761582 8752648192 24541 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26409] ppid=26398 vsize=8547508 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26409/stat : 26409 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 885761582 8752648192 24541 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 2 0 0 0
[pid=26400/tid=26410] ppid=26398 vsize=8547508 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26410/stat : 26410 (java) S 26398 26400 26400 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 885761583 8752648192 24541 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624927232 0 0 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26411] ppid=26398 vsize=8547508 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26411/stat : 26411 (java) S 26398 26400 26400 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 885761583 8752648192 24541 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26412] ppid=26398 vsize=8547508 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26412/stat : 26412 (java) S 26398 26400 26400 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 885761583 8752648192 24541 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26413] ppid=26398 vsize=8547508 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26413/stat : 26413 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 885761592 8752648192 24541 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624934321 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26414] ppid=26398 vsize=8547508 CPUtime=0.56 cores=0,2,4,6
/proc/26400/task/26414/stat : 26414 (java) R 26398 26400 26400 0 -1 4202560 4468 0 0 0 56 0 0 0 17 0 19 0 885761592 8752648192 24541 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 46990000911732 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26400/tid=26415] ppid=26398 vsize=8547508 CPUtime=0.5 cores=0,2,4,6
/proc/26400/task/26415/stat : 26415 (java) R 26398 26400 26400 0 -1 4202560 4339 0 0 0 50 0 0 0 16 0 19 0 885761592 8752648192 24541 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 46990003800530 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26400/tid=26416] ppid=26398 vsize=8547508 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26416/stat : 26416 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 885761592 8752648192 24541 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624926617 0 4 0 16800975 18446604453902075008 0 0 -1 4 0 0 0
[pid=26400/tid=26417] ppid=26398 vsize=8547508 CPUtime=0 cores=0,2,4,6
/proc/26400/task/26417/stat : 26417 (java) S 26398 26400 26400 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 885761592 8752648192 24541 33554432000 1073741824 1073778376 140734414350752 18446744073709551615 270624927232 0 4 0 16800975 18446604453902075008 0 0 -1 6 0 0 0
[pid=26375/tid=26399] ppid=26373 vsize=302464 CPUtime=0.21 cores=0,2,4,6
/proc/26375/task/26399/stat : 26399 (python) S 26373 26375 26332 0 -1 4202560 28 1425 0 0 0 0 19 2 18 0 2 0 885761580 309723136 9458 33554432000 4194304 5683644 140733372923264 18446744073709551615 270624934321 0 0 16781312 33554434 18446604453923836928 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.29
Current children cumulated vsize (KiB) 9142192
[startup+3.6009 s]
/proc/loadavg: 0.40 0.08 0.03 4/196 26417
/proc/meminfo: memFree=31493680/32951124 swapFree=67052292/67111528
[pid=26375] ppid=26373 vsize=297132 CPUtime=3.45 cores=0,2,4,6
/proc/26375/stat : 26375 (python) R 26373 26375 26332 0 -1 4202496 19521 31287 1 1 110 17 211 7 18 0 2 0 885761313 304263168 8161 33554432000 4194304 5683644 140733372923264 18446744073709551615 270612766800 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 31
/proc/26375/statm: 74283 8161 1872 364 0 9175 0
[pid=26375/tid=26399] ppid=26373 vsize=297132 CPUtime=2.18 cores=0,2,4,6
/proc/26375/task/26399/stat : 26399 (python) S 26373 26375 26332 0 -1 4202560 28 31287 0 1 0 0 211 7 18 0 2 0 885761580 304263168 8161 33554432000 4194304 5683644 140733372923264 18446744073709551615 270624934321 0 0 16781312 0 18446604453923836928 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 297132
Child status: 0
Real time (s): 3.61067
CPU time (s): 3.47947
CPU user time (s): 3.23051
CPU system time (s): 0.248962
CPU usage (%): 96.3663
Max. virtual memory (cumulated for all children) (KiB): 9142192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.23051
system time used= 0.248962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51857
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17949
involuntary context switches= 128
runsolver used 0.003999 second user time and 0.015997 second system time
The end