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-3481906-1307577342/watcher-3481906-1307577342 -o /tmp/evaluation-result-3481906-1307577342/solver-3481906-1307577342 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481906-1307577342.opb -seed 1199566294 -budget 1800
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.25 2.00 1.27 2/561 27594
/proc/meminfo: memFree=20188528/32951124 swapFree=49244124/67111528
[pid=27594] ppid=27592 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/27594/stat : 27594 (python) R 27592 27594 26377 0 -1 4202496 1041 0 0 0 0 0 0 0 25 0 1 0 869337038 16629760 912 33554432000 4194304 5683644 140737413513296 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27594/statm: 4060 912 380 364 0 547 0
[startup+0.0900349 s]
/proc/loadavg: 2.25 2.00 1.27 2/561 27594
/proc/meminfo: memFree=20188528/32951124 swapFree=49244124/67111528
[pid=27594] ppid=27592 vsize=87840 CPUtime=0.06 cores=1,3,5,7
/proc/27594/stat : 27594 (python) R 27592 27594 26377 0 -1 4202496 2707 0 1 0 5 1 0 0 18 0 1 0 869337038 89948160 2419 33554432000 4194304 5683644 140737413513296 18446744073709551615 218370955264 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27594/statm: 21960 2419 746 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87840
[startup+0.100994 s]
/proc/loadavg: 2.25 2.00 1.27 2/561 27594
/proc/meminfo: memFree=20188528/32951124 swapFree=49244124/67111528
[pid=27594] ppid=27592 vsize=96128 CPUtime=0.06 cores=1,3,5,7
/proc/27594/stat : 27594 (python) R 27592 27594 26377 0 -1 4202496 3169 928 1 0 5 1 0 0 18 0 1 0 869337038 98435072 2483 33554432000 4194304 5683644 140737413513296 18446744073709551615 5170034 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27594/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96128
[startup+0.301007 s]
/proc/loadavg: 2.25 2.00 1.27 2/561 27594
/proc/meminfo: memFree=20188528/32951124 swapFree=49244124/67111528
[pid=27594] ppid=27592 vsize=175632 CPUtime=0.21 cores=1,3,5,7
/proc/27594/stat : 27594 (python) S 27592 27594 26377 0 -1 4202496 6246 928 1 0 16 5 0 0 17 0 1 0 869337038 179847168 4556 33554432000 4194304 5683644 140737413513296 18446744073709551615 218370955264 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/27594/statm: 43908 4556 1236 364 0 3535 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 175632
[startup+0.700958 s]
/proc/loadavg: 2.25 2.00 1.27 2/561 27594
/proc/meminfo: memFree=20188528/32951124 swapFree=49244124/67111528
[pid=27594] ppid=27592 vsize=293092 CPUtime=0.39 cores=1,3,5,7
/proc/27594/stat : 27594 (python) S 27592 27594 26377 0 -1 4202496 9702 928 1 0 31 8 0 0 19 0 2 0 869337038 300126208 7143 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/27594/statm: 73273 7143 1870 364 0 8160 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 293092
[startup+1.50079 s]
/proc/loadavg: 2.25 2.00 1.27 3/565 27602
/proc/meminfo: memFree=20162456/32951124 swapFree=49244124/67111528
[pid=27594] ppid=27592 vsize=293092 CPUtime=0.39 cores=1,3,5,7
/proc/27594/stat : 27594 (python) S 27592 27594 26377 0 -1 4202496 9702 928 1 0 31 8 0 0 19 0 2 0 869337038 300126208 7143 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/27594/statm: 73273 7143 1870 364 0 8160 0
[pid=27600] ppid=27594 vsize=282848 CPUtime=0 cores=1,3,5,7
/proc/27600/stat : 27600 (python) S 27594 27594 26377 0 -1 4202560 832 0 0 0 0 0 0 0 15 0 1 0 869337091 289636352 5627 33554432000 4194304 5683644 140737413513296 18446744073709551615 218370977295 0 0 16781312 33554946 3233127620946165760 0 0 17 5 0 0 0
/proc/27600/statm: 70712 5627 358 364 0 5599 0
[pid=27602] ppid=27600 vsize=1860 CPUtime=0.96 cores=1,3,5,7
/proc/27602/stat : 27602 (clasp-1.3.7-x86) R 27600 27602 27602 0 -1 4202496 480 0 0 0 96 0 0 0 21 0 1 0 869337092 1904640 226 33554432000 134512640 136139019 4288635696 18446744073709551615 134641986 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/27602/statm: 465 226 184 398 0 65 0
[pid=27594/tid=27601] ppid=27592 vsize=293092 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27601/stat : 27601 (python) S 27592 27594 26377 0 -1 4202560 23 928 0 0 0 0 0 0 19 0 2 0 869337092 300126208 7143 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382780849 0 0 16781312 33554434 18446604465031348352 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 577800
[startup+3.1005 s]
/proc/loadavg: 2.25 2.00 1.27 3/565 27602
/proc/meminfo: memFree=20162208/32951124 swapFree=49244124/67111528
[pid=27594] ppid=27592 vsize=293092 CPUtime=0.39 cores=1,3,5,7
/proc/27594/stat : 27594 (python) S 27592 27594 26377 0 -1 4202496 9702 928 1 0 31 8 0 0 19 0 2 0 869337038 300126208 7143 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/27594/statm: 73273 7143 1870 364 0 8160 0
[pid=27600] ppid=27594 vsize=282848 CPUtime=0 cores=1,3,5,7
/proc/27600/stat : 27600 (python) S 27594 27594 26377 0 -1 4202560 832 0 0 0 0 0 0 0 15 0 1 0 869337091 289636352 5627 33554432000 4194304 5683644 140737413513296 18446744073709551615 218370977295 0 0 16781312 33554946 2768592445066182656 0 0 17 5 0 0 0
/proc/27600/statm: 70712 5627 358 364 0 5599 0
[pid=27602] ppid=27600 vsize=1860 CPUtime=2.56 cores=1,3,5,7
/proc/27602/stat : 27602 (clasp-1.3.7-x86) R 27600 27602 27602 0 -1 4202496 480 0 0 0 256 0 0 0 25 0 1 0 869337092 1904640 226 33554432000 134512640 136139019 4288635696 18446744073709551615 134832172 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/27602/statm: 465 226 184 398 0 65 0
[pid=27594/tid=27601] ppid=27592 vsize=293092 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27601/stat : 27601 (python) S 27592 27594 26377 0 -1 4202560 23 928 0 0 0 0 0 0 19 0 2 0 869337092 300126208 7143 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382780849 0 0 16781312 33554434 18446604465031348352 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 577800
[startup+6.30095 s]
/proc/loadavg: 2.31 2.01 1.28 3/565 27603
/proc/meminfo: memFree=20163780/32951124 swapFree=49244124/67111528
[pid=27594] ppid=27592 vsize=293092 CPUtime=0.39 cores=1,3,5,7
/proc/27594/stat : 27594 (python) S 27592 27594 26377 0 -1 4202496 9702 928 1 0 31 8 0 0 19 0 2 0 869337038 300126208 7143 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/27594/statm: 73273 7143 1870 364 0 8160 0
[pid=27600] ppid=27594 vsize=282848 CPUtime=0.02 cores=1,3,5,7
/proc/27600/stat : 27600 (python) S 27594 27594 26377 0 -1 4202560 954 0 0 0 1 1 0 0 15 0 1 0 869337091 289636352 5650 33554432000 4194304 5683644 140737413513296 18446744073709551615 218370977295 0 0 16781312 33554946 12115583055268118791 0 0 17 5 0 0 0
/proc/27600/statm: 70712 5650 381 364 0 5599 0
[pid=27602] ppid=27600 vsize=1860 CPUtime=5.75 cores=1,3,5,7
/proc/27602/stat : 27602 (clasp-1.3.7-x86) R 27600 27602 27602 0 -1 4202496 481 0 0 0 575 0 0 0 25 0 1 0 869337092 1904640 227 33554432000 134512640 136139019 4288635696 18446744073709551615 135527976 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/27602/statm: 465 227 184 398 0 65 0
[pid=27594/tid=27601] ppid=27592 vsize=293092 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27601/stat : 27601 (python) S 27592 27594 26377 0 -1 4202560 23 928 0 0 0 0 0 0 19 0 2 0 869337092 300126208 7143 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382780849 0 0 16781312 33554434 18446604465031348352 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 577800
[startup+12.7008 s]
/proc/loadavg: 2.28 2.01 1.28 3/565 27603
/proc/meminfo: memFree=20162988/32951124 swapFree=49244124/67111528
[pid=27594] ppid=27592 vsize=293092 CPUtime=0.39 cores=1,3,5,7
/proc/27594/stat : 27594 (python) S 27592 27594 26377 0 -1 4202496 9702 928 1 0 31 8 0 0 19 0 2 0 869337038 300126208 7143 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/27594/statm: 73273 7143 1870 364 0 8160 0
[pid=27600] ppid=27594 vsize=282848 CPUtime=0.03 cores=1,3,5,7
/proc/27600/stat : 27600 (python) S 27594 27594 26377 0 -1 4202560 956 0 0 0 1 2 0 0 15 0 1 0 869337091 289636352 5650 33554432000 4194304 5683644 140737413513296 18446744073709551615 218370977295 0 0 16781312 33554946 5623606151888251791 0 0 17 5 0 0 0
/proc/27600/statm: 70712 5650 381 364 0 5599 0
[pid=27602] ppid=27600 vsize=1988 CPUtime=12.15 cores=1,3,5,7
/proc/27602/stat : 27602 (clasp-1.3.7-x86) R 27600 27602 27602 0 -1 4202496 482 0 0 0 1215 0 0 0 25 0 1 0 869337092 2035712 228 33554432000 134512640 136139019 4288635696 18446744073709551615 134832195 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/27602/statm: 497 228 184 398 0 97 0
[pid=27594/tid=27601] ppid=27592 vsize=293092 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27601/stat : 27601 (python) S 27592 27594 26377 0 -1 4202560 23 928 0 0 0 0 0 0 19 0 2 0 869337092 300126208 7143 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382780849 0 0 16781312 33554434 18446604465031348352 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 577928
[startup+25.5005 s]
/proc/loadavg: 2.22 2.01 1.29 3/569 27607
/proc/meminfo: memFree=20136100/32951124 swapFree=49244124/67111528
[pid=27594] ppid=27592 vsize=293092 CPUtime=0.39 cores=1,3,5,7
/proc/27594/stat : 27594 (python) S 27592 27594 26377 0 -1 4202496 9702 928 1 0 31 8 0 0 19 0 2 0 869337038 300126208 7143 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/27594/statm: 73273 7143 1870 364 0 8160 0
[pid=27600] ppid=27594 vsize=282848 CPUtime=0.08 cores=1,3,5,7
/proc/27600/stat : 27600 (python) S 27594 27594 26377 0 -1 4202560 960 0 0 0 4 4 0 0 15 0 1 0 869337091 289636352 5650 33554432000 4194304 5683644 140737413513296 18446744073709551615 218370977295 0 0 16781312 33554946 5623753486446373775 0 0 17 7 0 0 0
/proc/27600/statm: 70712 5650 381 364 0 5599 0
[pid=27602] ppid=27600 vsize=1988 CPUtime=24.95 cores=1,3,5,7
/proc/27602/stat : 27602 (clasp-1.3.7-x86) R 27600 27602 27602 0 -1 4202496 483 0 0 0 2495 0 0 0 25 0 1 0 869337092 2035712 229 33554432000 134512640 136139019 4288635696 18446744073709551615 134875909 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/27602/statm: 497 229 184 398 0 97 0
[pid=27594/tid=27601] ppid=27592 vsize=293092 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27601/stat : 27601 (python) S 27592 27594 26377 0 -1 4202560 23 928 0 0 0 0 0 0 19 0 2 0 869337092 300126208 7143 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382780849 0 0 16781312 33554434 18446604465031348352 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 577928
[startup+51.116 s]
/proc/loadavg: 2.14 2.01 1.31 3/573 27612
/proc/meminfo: memFree=20065364/32951124 swapFree=49244124/67111528
[pid=27594] ppid=27592 vsize=303876 CPUtime=0.42 cores=1,3,5,7
/proc/27594/stat : 27594 (python) S 27592 27594 26377 0 -1 4202496 10500 928 1 0 33 9 0 0 20 0 3 0 869337038 311169024 7267 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/27594/statm: 75969 7267 1873 364 0 10853 0
[pid=27600] ppid=27594 vsize=293092 CPUtime=0.16 cores=1,3,5,7
/proc/27600/stat : 27600 (python) S 27594 27594 26377 0 -1 4202560 1132 0 0 0 7 9 0 0 16 0 2 0 869337091 300126208 5686 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/27600/statm: 73273 5686 412 364 0 8160 0
[pid=27602] ppid=27600 vsize=1988 CPUtime=48.1 cores=1,3,5,7
/proc/27602/stat : 27602 (clasp-1.3.7-x86) T 27600 27602 27602 0 -1 4202496 483 0 0 0 4810 0 0 0 25 0 1 0 869337092 2035712 229 33554432000 134512640 136139019 4288635696 18446744073709551615 134831892 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/27602/statm: 497 229 184 398 0 97 0
[pid=27600/tid=27609] ppid=27594 vsize=293092 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27609/stat : 27609 (python) S 27594 27594 26377 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869341903 300126208 5686 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382780849 0 0 16781312 33554946 18446604468954028928 0 0 -1 7 0 0 0
[pid=27610] ppid=27594 vsize=293632 CPUtime=0 cores=1,3,5,7
/proc/27610/stat : 27610 (python) S 27594 27594 26377 0 -1 4202560 787 0 0 0 0 0 0 0 15 0 1 0 869341906 300679168 5739 33554432000 4194304 5683644 140737413513296 18446744073709551615 218370977350 0 0 16781312 33554946 4294934788 0 0 17 3 0 0 0
/proc/27610/statm: 73408 5739 349 364 0 8292 0
[pid=27612] ppid=27610 vsize=11436 CPUtime=2.43 cores=1,3,5,7
/proc/27612/stat : 27612 (wbo1.4a) R 27610 27612 27612 0 -1 4202496 2671 0 0 0 240 3 0 0 25 0 1 0 869341906 11710464 2405 33554432000 134512640 135751879 4288544576 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/27612/statm: 2859 2405 143 303 0 2554 0
[pid=27594/tid=27601] ppid=27592 vsize=303876 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27601/stat : 27601 (python) S 27592 27594 26377 0 -1 4202560 23 928 0 0 0 0 0 0 19 0 3 0 869337092 311169024 7267 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382780849 0 0 16781312 33554434 18446604465031348352 0 0 -1 7 0 0 0
[pid=27594/tid=27611] ppid=27592 vsize=303876 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27611/stat : 27611 (python) S 27592 27594 26377 0 -1 4202560 26 928 0 0 0 0 0 0 20 0 3 0 869341906 311169024 7267 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382780849 0 0 16781312 33554434 18446604465031348352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 904024
[startup+102.301 s]
/proc/loadavg: 2.06 2.00 1.35 3/581 27621
/proc/meminfo: memFree=19825108/32951124 swapFree=49244124/67111528
[pid=27594] ppid=27592 vsize=313900 CPUtime=0.44 cores=1,3,5,7
/proc/27594/stat : 27594 (python) S 27592 27594 26377 0 -1 4202496 11409 928 1 0 35 9 0 0 20 0 4 0 869337038 321433600 7222 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/27594/statm: 78475 7222 1875 364 0 13356 0
[pid=27600] ppid=27594 vsize=293092 CPUtime=0.16 cores=1,3,5,7
/proc/27600/stat : 27600 (python) S 27594 27594 26377 0 -1 4202560 1132 0 0 0 7 9 0 0 16 0 2 0 869337091 300126208 5686 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/27600/statm: 73273 5686 412 364 0 8160 0
[pid=27602] ppid=27600 vsize=1988 CPUtime=48.1 cores=1,3,5,7
/proc/27602/stat : 27602 (clasp-1.3.7-x86) T 27600 27602 27602 0 -1 4202496 483 0 0 0 4810 0 0 0 25 0 1 0 869337092 2035712 229 33554432000 134512640 136139019 4288635696 18446744073709551615 134831892 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/27602/statm: 497 229 184 398 0 97 0
[pid=27600/tid=27609] ppid=27594 vsize=293092 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27609/stat : 27609 (python) S 27594 27594 26377 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869341903 300126208 5686 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382780849 0 0 16781312 33554946 18446604468954028928 0 0 -1 7 0 0 0
[pid=27610] ppid=27594 vsize=293632 CPUtime=0.17 cores=1,3,5,7
/proc/27610/stat : 27610 (python) S 27594 27594 26377 0 -1 4202560 1120 0 0 0 8 9 0 0 16 0 2 0 869341906 300679168 5788 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/27610/statm: 73408 5788 397 364 0 8292 0
[pid=27612] ppid=27610 vsize=134420 CPUtime=51.15 cores=1,3,5,7
/proc/27612/stat : 27612 (wbo1.4a) T 27610 27612 27612 0 -1 4202496 33392 0 0 0 5051 64 0 0 25 0 1 0 869341906 137646080 33126 33554432000 134512640 135751879 4288544576 18446744073709551615 134606404 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/27612/statm: 33605 33126 143 303 0 33300 0
[pid=27610/tid=27618] ppid=27594 vsize=293632 CPUtime=0 cores=1,3,5,7
/proc/27610/task/27618/stat : 27618 (python) S 27594 27594 26377 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869347022 300679168 5788 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382780849 0 0 16781312 33554946 18446604459348122368 0 0 -1 7 0 0 0
[pid=27619] ppid=27594 vsize=303656 CPUtime=0 cores=1,3,5,7
/proc/27619/stat : 27619 (python) S 27594 27594 26377 0 -1 4202560 800 0 0 0 0 0 0 0 15 0 1 0 869347024 310943744 5692 33554432000 4194304 5683644 140737413513296 18446744073709551615 218370977350 0 0 16781312 33554946 2413380116903100416 0 0 17 3 0 0 0
################
# More data... #
################
[pid=27654/tid=27669] ppid=27652 vsize=8543700 CPUtime=0.42 cores=1,3,5,7
/proc/27654/task/27669/stat : 27669 (java) S 27652 27654 27654 0 -1 4202560 5447 0 0 0 42 0 0 0 15 0 19 0 869357553 8748748800 42107 33554432000 1073741824 1073778376 140736036266960 18446744073709551615 218382773145 0 4 0 16800975 18446604457895107520 0 0 -1 3 0 0 0
[pid=27654/tid=27670] ppid=27652 vsize=8543700 CPUtime=0 cores=1,3,5,7
/proc/27654/task/27670/stat : 27670 (java) S 27652 27654 27654 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869357553 8748748800 42107 33554432000 1073741824 1073778376 140736036266960 18446744073709551615 218382773145 0 4 0 16800975 18446604457895107520 0 0 -1 1 0 0 0
[pid=27654/tid=27671] ppid=27652 vsize=8543700 CPUtime=0 cores=1,3,5,7
/proc/27654/task/27671/stat : 27671 (java) S 27652 27654 27654 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869357553 8748748800 42107 33554432000 1073741824 1073778376 140736036266960 18446744073709551615 218382773760 0 4 0 16800975 18446604457895107520 0 0 -1 3 0 0 0
[pid=27654/tid=27672] ppid=27652 vsize=8543700 CPUtime=0 cores=1,3,5,7
/proc/27654/task/27672/stat : 27672 (java) S 27652 27654 27654 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869357565 8748748800 42107 33554432000 1073741824 1073778376 140736036266960 18446744073709551615 218382773760 0 4 0 16800975 18446604457895107520 0 0 -1 1 0 0 0
[pid=27594/tid=27601] ppid=27592 vsize=324572 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27601/stat : 27601 (python) S 27592 27594 26377 0 -1 4202560 27 928 0 0 0 0 0 0 18 0 5 0 869337092 332361728 7328 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382780849 0 0 16781312 33554434 18446604465031348352 0 0 -1 7 0 0 0
[pid=27594/tid=27611] ppid=27592 vsize=324572 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27611/stat : 27611 (python) S 27592 27594 26377 0 -1 4202560 26 928 0 0 0 0 0 0 20 0 5 0 869341906 332361728 7328 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382780849 0 0 16781312 33554434 18446604465031348352 0 0 -1 3 0 0 0
[pid=27594/tid=27620] ppid=27592 vsize=324572 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27620/stat : 27620 (python) S 27592 27594 26377 0 -1 4202560 23 928 0 0 0 0 0 0 20 0 5 0 869347024 332361728 7328 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382780849 0 0 16781312 33554434 18446604465031348352 0 0 -1 5 0 0 0
[pid=27594/tid=27653] ppid=27592 vsize=324572 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27653/stat : 27653 (python) S 27592 27594 26377 0 -1 4202560 26 928 0 0 0 0 0 0 20 0 5 0 869357548 332361728 7328 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382780849 0 0 16781312 33554434 18446604465031348352 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 284.09
Current children cumulated vsize (KiB) 10300732
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+298.501 s]
/proc/loadavg: 2.01 2.00 1.47 4/651 27696
/proc/meminfo: memFree=19306172/32951124 swapFree=49244124/67111528
[pid=27594] ppid=27592 vsize=334984 CPUtime=0.52 cores=1,3,5,7
/proc/27594/stat : 27594 (python) S 27592 27594 26377 0 -1 4202496 13165 928 1 0 43 9 0 0 19 0 6 0 869337038 343023616 7354 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/27594/statm: 83746 7354 1879 364 0 18621 0
[pid=27600] ppid=27594 vsize=293092 CPUtime=0.32 cores=1,3,5,7
/proc/27600/stat : 27600 (python) S 27594 27594 26377 0 -1 4202560 1158 0 0 0 13 19 0 0 15 0 2 0 869337091 300126208 5687 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/27600/statm: 73273 5687 413 364 0 8160 0
[pid=27602] ppid=27600 vsize=1988 CPUtime=93.68 cores=1,3,5,7
/proc/27602/stat : 27602 (clasp-1.3.7-x86) T 27600 27602 27602 0 -1 4202496 484 0 0 0 9368 0 0 0 25 0 1 0 869337092 2035712 230 33554432000 134512640 136139019 4288635696 18446744073709551615 134832307 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/27602/statm: 497 230 184 398 0 97 0
[pid=27600/tid=27609] ppid=27594 vsize=293092 CPUtime=0 cores=1,3,5,7
/proc/27600/task/27609/stat : 27609 (python) S 27594 27594 26377 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 869341903 300126208 5687 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382780849 0 0 16781312 33554946 18446604468954028928 0 0 -1 7 0 0 0
[pid=27610] ppid=27594 vsize=293632 CPUtime=0.17 cores=1,3,5,7
/proc/27610/stat : 27610 (python) S 27594 27594 26377 0 -1 4202560 1120 0 0 0 8 9 0 0 16 0 2 0 869341906 300679168 5788 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/27610/statm: 73408 5788 397 364 0 8292 0
[pid=27612] ppid=27610 vsize=134420 CPUtime=51.15 cores=1,3,5,7
/proc/27612/stat : 27612 (wbo1.4a) T 27610 27612 27612 0 -1 4202496 33392 0 0 0 5051 64 0 0 25 0 1 0 869341906 137646080 33126 33554432000 134512640 135751879 4288544576 18446744073709551615 134606404 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/27612/statm: 33605 33126 143 303 0 33300 0
[pid=27610/tid=27618] ppid=27594 vsize=293632 CPUtime=0 cores=1,3,5,7
/proc/27610/task/27618/stat : 27618 (python) S 27594 27594 26377 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869347022 300679168 5788 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382780849 0 0 16781312 33554946 18446604459348122368 0 0 -1 7 0 0 0
[pid=27619] ppid=27594 vsize=303940 CPUtime=0.4 cores=1,3,5,7
/proc/27619/stat : 27619 (python) S 27594 27594 26377 0 -1 4202560 1228 0 0 0 24 16 0 0 16 0 2 0 869347024 311234560 5787 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/27619/statm: 75985 5787 399 364 0 10866 0
[pid=27621] ppid=27619 vsize=91060 CPUtime=59.58 cores=1,3,5,7
/proc/27621/stat : 27621 (scip-2.0.1.linu) T 27619 27621 27621 0 -1 4202496 60011 0 0 0 4596 1362 0 0 18 0 1 0 869347024 93245440 20410 33554432000 4194304 13684479 140736011582816 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/27621/statm: 22765 20410 806 2317 0 20443 0
[pid=27619/tid=27646] ppid=27594 vsize=303940 CPUtime=0 cores=1,3,5,7
/proc/27619/task/27646/stat : 27646 (python) S 27594 27594 26377 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869352985 311234560 5787 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382780849 0 0 16781312 33554946 18446604455597979840 0 0 -1 7 0 0 0
[pid=27652] ppid=27594 vsize=314328 CPUtime=0.38 cores=1,3,5,7
/proc/27652/stat : 27652 (python) S 27594 27594 26377 0 -1 4202560 1143 0 0 0 18 20 0 0 17 0 2 0 869357548 321871872 5845 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/27652/statm: 78582 5845 397 364 0 13460 0
[pid=27654] ppid=27652 vsize=8543700 CPUtime=93.52 cores=1,3,5,7
/proc/27654/stat : 27654 (java) T 27652 27654 27654 0 -1 4202496 46733 0 1 0 9343 9 0 0 18 0 19 0 869357548 8748748800 42258 33554432000 1073741824 1073778376 140736036266960 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27654/statm: 2135925 42258 2243 9 0 2126666 0
[pid=27654/tid=27655] ppid=27652 vsize=8543700 CPUtime=91.2 cores=1,3,5,7
/proc/27654/task/27655/stat : 27655 (java) T 27652 27654 27654 0 -1 4202560 35309 0 1 0 9115 5 0 0 25 0 19 0 869357549 8748748800 42258 33554432000 1073741824 1073778376 140736036266960 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=27654/tid=27656] ppid=27652 vsize=8543700 CPUtime=0.08 cores=1,3,5,7
/proc/27654/task/27656/stat : 27656 (java) T 27652 27654 27654 0 -1 4202560 240 0 0 0 8 0 0 0 15 0 19 0 869357550 8748748800 42258 33554432000 1073741824 1073778376 140736036266960 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27654/tid=27657] ppid=27652 vsize=8543700 CPUtime=0.08 cores=1,3,5,7
/proc/27654/task/27657/stat : 27657 (java) T 27652 27654 27654 0 -1 4202560 183 0 0 0 8 0 0 0 15 0 19 0 869357550 8748748800 42258 33554432000 1073741824 1073778376 140736036266960 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27654/tid=27658] ppid=27652 vsize=8543700 CPUtime=0.07 cores=1,3,5,7
/proc/27654/task/27658/stat : 27658 (java) T 27652 27654 27654 0 -1 4202560 172 0 0 0 7 0 0 0 15 0 19 0 869357550 8748748800 42258 33554432000 1073741824 1073778376 140736036266960 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27654/tid=27659] ppid=27652 vsize=8543700 CPUtime=0.04 cores=1,3,5,7
/proc/27654/task/27659/stat : 27659 (java) T 27652 27654 27654 0 -1 4202560 7 0 0 0 4 0 0 0 15 0 19 0 869357550 8748748800 42258 33554432000 1073741824 1073778376 140736036266960 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27654/tid=27660] ppid=27652 vsize=8543700 CPUtime=0.07 cores=1,3,5,7
/proc/27654/task/27660/stat : 27660 (java) T 27652 27654 27654 0 -1 4202560 121 0 0 0 7 0 0 0 15 0 19 0 869357550 8748748800 42258 33554432000 1073741824 1073778376 140736036266960 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27654/tid=27661] ppid=27652 vsize=8543700 CPUtime=0.08 cores=1,3,5,7
/proc/27654/task/27661/stat : 27661 (java) T 27652 27654 27654 0 -1 4202560 30 0 0 0 8 0 0 0 15 0 19 0 869357550 8748748800 42258 33554432000 1073741824 1073778376 140736036266960 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=27654/tid=27662] ppid=27652 vsize=8543700 CPUtime=0.06 cores=1,3,5,7
/proc/27654/task/27662/stat : 27662 (java) T 27652 27654 27654 0 -1 4202560 170 0 0 0 6 0 0 0 15 0 19 0 869357550 8748748800 42258 33554432000 1073741824 1073778376 140736036266960 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27654/tid=27663] ppid=27652 vsize=8543700 CPUtime=0.06 cores=1,3,5,7
/proc/27654/task/27663/stat : 27663 (java) T 27652 27654 27654 0 -1 4202560 294 0 0 0 6 0 0 0 15 0 19 0 869357550 8748748800 42258 33554432000 1073741824 1073778376 140736036266960 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27654/tid=27664] ppid=27652 vsize=8543700 CPUtime=1.07 cores=1,3,5,7
/proc/27654/task/27664/stat : 27664 (java) T 27652 27654 27654 0 -1 4202560 1444 0 0 0 106 1 0 0 15 0 19 0 869357551 8748748800 42258 33554432000 1073741824 1073778376 140736036266960 18446744073709551615 47676963317952 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27654/tid=27665] ppid=27652 vsize=8543700 CPUtime=0 cores=1,3,5,7
/proc/27654/task/27665/stat : 27665 (java) T 27652 27654 27654 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869357551 8748748800 42258 33554432000 1073741824 1073778376 140736036266960 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27654/tid=27666] ppid=27652 vsize=8543700 CPUtime=0 cores=1,3,5,7
/proc/27654/task/27666/stat : 27666 (java) T 27652 27654 27654 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 869357551 8748748800 42258 33554432000 1073741824 1073778376 140736036266960 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27654/tid=27667] ppid=27652 vsize=8543700 CPUtime=0 cores=1,3,5,7
/proc/27654/task/27667/stat : 27667 (java) T 27652 27654 27654 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869357553 8748748800 42258 33554432000 1073741824 1073778376 140736036266960 18446744073709551615 218382780849 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27654/tid=27668] ppid=27652 vsize=8543700 CPUtime=0.2 cores=1,3,5,7
/proc/27654/task/27668/stat : 27668 (java) T 27652 27654 27654 0 -1 4202560 1924 0 0 0 20 0 0 0 15 0 19 0 869357553 8748748800 42258 33554432000 1073741824 1073778376 140736036266960 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27654/tid=27669] ppid=27652 vsize=8543700 CPUtime=0.42 cores=1,3,5,7
/proc/27654/task/27669/stat : 27669 (java) T 27652 27654 27654 0 -1 4202560 5447 0 0 0 42 0 0 0 15 0 19 0 869357553 8748748800 42258 33554432000 1073741824 1073778376 140736036266960 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=27654/tid=27670] ppid=27652 vsize=8543700 CPUtime=0 cores=1,3,5,7
/proc/27654/task/27670/stat : 27670 (java) T 27652 27654 27654 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869357553 8748748800 42258 33554432000 1073741824 1073778376 140736036266960 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27654/tid=27671] ppid=27652 vsize=8543700 CPUtime=0 cores=1,3,5,7
/proc/27654/task/27671/stat : 27671 (java) T 27652 27654 27654 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869357553 8748748800 42258 33554432000 1073741824 1073778376 140736036266960 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=27654/tid=27672] ppid=27652 vsize=8543700 CPUtime=0 cores=1,3,5,7
/proc/27654/task/27672/stat : 27672 (java) T 27652 27654 27654 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869357565 8748748800 42258 33554432000 1073741824 1073778376 140736036266960 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27652/tid=27675] ppid=27594 vsize=314328 CPUtime=0 cores=1,3,5,7
/proc/27652/task/27675/stat : 27675 (python) S 27594 27594 26377 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869366819 321871872 5845 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382780849 0 0 16781312 33554946 18446604468954028032 0 0 -1 3 0 0 0
[pid=27676] ppid=27594 vsize=324740 CPUtime=0 cores=1,3,5,7
/proc/27676/stat : 27676 (python) S 27594 27594 26377 0 -1 4202560 805 0 0 0 0 0 0 0 18 0 1 0 869366821 332533760 5820 33554432000 4194304 5683644 140737413513296 18446744073709551615 218370977350 0 0 16781312 33554946 11487408079222309125 0 0 17 3 0 0 0
/proc/27676/statm: 81185 5820 349 364 0 16060 0
[pid=27678] ppid=27676 vsize=8545252 CPUtime=1.58 cores=1,3,5,7
/proc/27678/stat : 27678 (java) S 27676 27678 27678 0 -1 4202496 35923 0 1 0 154 4 0 0 17 0 19 0 869366822 8750338048 32814 33554432000 1073741824 1073778376 140734276256080 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27678/statm: 2136313 32816 2216 9 0 2127054 0
[pid=27678/tid=27679] ppid=27676 vsize=8545252 CPUtime=0.68 cores=1,3,5,7
/proc/27678/task/27679/stat : 27679 (java) R 27676 27678 27678 0 -1 4202560 25412 0 1 0 65 3 0 0 19 0 19 0 869366823 8750338048 32891 33554432000 1073741824 1073778376 140734276256080 18446744073709551615 46912505852775 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27678/tid=27680] ppid=27676 vsize=8545252 CPUtime=0 cores=1,3,5,7
/proc/27678/task/27680/stat : 27680 (java) S 27676 27678 27678 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869366823 8750338048 32893 33554432000 1073741824 1073778376 140734276256080 18446744073709551615 218382773145 0 4 0 16800975 18446604465437748224 0 0 -1 3 0 0 0
[pid=27678/tid=27681] ppid=27676 vsize=8545252 CPUtime=0 cores=1,3,5,7
/proc/27678/task/27681/stat : 27681 (java) S 27676 27678 27678 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869366823 8750338048 32894 33554432000 1073741824 1073778376 140734276256080 18446744073709551615 218382773145 0 4 0 16800975 18446604465437748224 0 0 -1 1 0 0 0
[pid=27678/tid=27682] ppid=27676 vsize=8545252 CPUtime=0 cores=1,3,5,7
/proc/27678/task/27682/stat : 27682 (java) S 27676 27678 27678 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869366823 8750338048 32896 33554432000 1073741824 1073778376 140734276256080 18446744073709551615 218382773145 0 4 0 16800975 18446604465437748224 0 0 -1 1 0 0 0
[pid=27678/tid=27683] ppid=27676 vsize=8545252 CPUtime=0 cores=1,3,5,7
/proc/27678/task/27683/stat : 27683 (java) S 27676 27678 27678 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869366823 8750338048 32897 33554432000 1073741824 1073778376 140734276256080 18446744073709551615 218382773145 0 4 0 16800975 18446604465437748224 0 0 -1 1 0 0 0
[pid=27678/tid=27684] ppid=27676 vsize=8545252 CPUtime=0 cores=1,3,5,7
/proc/27678/task/27684/stat : 27684 (java) S 27676 27678 27678 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869366823 8750338048 32899 33554432000 1073741824 1073778376 140734276256080 18446744073709551615 218382773145 0 4 0 16800975 18446604465437748224 0 0 -1 1 0 0 0
[pid=27678/tid=27685] ppid=27676 vsize=8545252 CPUtime=0 cores=1,3,5,7
/proc/27678/task/27685/stat : 27685 (java) S 27676 27678 27678 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869366823 8750338048 32900 33554432000 1073741824 1073778376 140734276256080 18446744073709551615 218382773145 0 4 0 16800975 18446604465437748224 0 0 -1 1 0 0 0
[pid=27678/tid=27686] ppid=27676 vsize=8545252 CPUtime=0 cores=1,3,5,7
/proc/27678/task/27686/stat : 27686 (java) S 27676 27678 27678 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869366823 8750338048 32901 33554432000 1073741824 1073778376 140734276256080 18446744073709551615 218382773145 0 4 0 16800975 18446604465437748224 0 0 -1 7 0 0 0
[pid=27678/tid=27687] ppid=27676 vsize=8545252 CPUtime=0 cores=1,3,5,7
/proc/27678/task/27687/stat : 27687 (java) S 27676 27678 27678 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 869366823 8750338048 32903 33554432000 1073741824 1073778376 140734276256080 18446744073709551615 218382773145 0 4 0 16800975 18446604465437748224 0 0 -1 1 0 0 0
[pid=27678/tid=27688] ppid=27676 vsize=8545252 CPUtime=0 cores=1,3,5,7
/proc/27678/task/27688/stat : 27688 (java) S 27676 27678 27678 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 869366824 8750338048 32904 33554432000 1073741824 1073778376 140734276256080 18446744073709551615 218382773760 0 0 0 16800975 18446604465437748224 0 0 -1 3 0 0 0
[pid=27678/tid=27689] ppid=27676 vsize=8545252 CPUtime=0 cores=1,3,5,7
/proc/27678/task/27689/stat : 27689 (java) S 27676 27678 27678 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 869366825 8750338048 32905 33554432000 1073741824 1073778376 140734276256080 18446744073709551615 218382773145 0 4 0 16800975 18446604465437748224 0 0 -1 3 0 0 0
[pid=27678/tid=27690] ppid=27676 vsize=8545252 CPUtime=0 cores=1,3,5,7
/proc/27678/task/27690/stat : 27690 (java) S 27676 27678 27678 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 869366825 8750338048 32908 33554432000 1073741824 1073778376 140734276256080 18446744073709551615 218382773145 0 4 0 16800975 18446604465437748224 0 0 -1 3 0 0 0
[pid=27678/tid=27691] ppid=27676 vsize=8545252 CPUtime=0 cores=1,3,5,7
/proc/27678/task/27691/stat : 27691 (java) S 27676 27678 27678 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869366827 8750338048 32909 33554432000 1073741824 1073778376 140734276256080 18446744073709551615 218382780849 0 4 0 16800975 18446604465437748224 0 0 -1 3 0 0 0
[pid=27678/tid=27692] ppid=27676 vsize=8545252 CPUtime=0.44 cores=1,3,5,7
/proc/27678/task/27692/stat : 27692 (java) S 27676 27678 27678 0 -1 4202560 3384 0 0 0 44 0 0 0 25 0 19 0 869366827 8750338048 32909 33554432000 1073741824 1073778376 140734276256080 18446744073709551615 218382773145 0 4 0 16800975 18446604465437748224 0 0 -1 5 0 0 0
[pid=27678/tid=27693] ppid=27676 vsize=8545252 CPUtime=0.45 cores=1,3,5,7
/proc/27678/task/27693/stat : 27693 (java) S 27676 27678 27678 0 -1 4202560 5802 0 0 0 45 0 0 0 18 0 19 0 869366827 8750338048 32909 33554432000 1073741824 1073778376 140734276256080 18446744073709551615 218382773145 0 4 0 16800975 18446604465437748224 0 0 -1 1 0 0 0
[pid=27678/tid=27694] ppid=27676 vsize=8545252 CPUtime=0 cores=1,3,5,7
/proc/27678/task/27694/stat : 27694 (java) S 27676 27678 27678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869366827 8750338048 32910 33554432000 1073741824 1073778376 140734276256080 18446744073709551615 218382773145 0 4 0 16800975 18446604465437748224 0 0 -1 3 0 0 0
[pid=27678/tid=27695] ppid=27676 vsize=8545252 CPUtime=0 cores=1,3,5,7
/proc/27678/task/27695/stat : 27695 (java) S 27676 27678 27678 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869366827 8750338048 32914 33554432000 1073741824 1073778376 140734276256080 18446744073709551615 218382773760 0 4 0 16800975 18446604465437748224 0 0 -1 5 0 0 0
[pid=27678/tid=27696] ppid=27676 vsize=8545252 CPUtime=0 cores=1,3,5,7
/proc/27678/task/27696/stat : 27696 (java) S 27676 27678 27678 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869366838 8750338048 32917 33554432000 1073741824 1073778376 140734276256080 18446744073709551615 218382773760 0 4 0 16800975 18446604465437748224 0 0 -1 3 0 0 0
[pid=27594/tid=27601] ppid=27592 vsize=334984 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27601/stat : 27601 (python) S 27592 27594 26377 0 -1 4202560 27 928 0 0 0 0 0 0 18 0 6 0 869337092 343023616 7354 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382780849 0 0 16781312 33554434 18446604465031348352 0 0 -1 7 0 0 0
[pid=27594/tid=27611] ppid=27592 vsize=334984 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27611/stat : 27611 (python) S 27592 27594 26377 0 -1 4202560 26 928 0 0 0 0 0 0 20 0 6 0 869341906 343023616 7354 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382780849 0 0 16781312 33554434 18446604465031348352 0 0 -1 3 0 0 0
[pid=27594/tid=27620] ppid=27592 vsize=334984 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27620/stat : 27620 (python) S 27592 27594 26377 0 -1 4202560 23 928 0 0 0 0 0 0 20 0 6 0 869347024 343023616 7354 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382780849 0 0 16781312 33554434 18446604465031348352 0 0 -1 5 0 0 0
[pid=27594/tid=27653] ppid=27592 vsize=334984 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27653/stat : 27653 (python) S 27592 27594 26377 0 -1 4202560 26 928 0 0 0 0 0 0 20 0 6 0 869357548 343023616 7354 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382780849 0 0 16781312 33554434 18446604465031348352 0 0 -1 7 0 0 0
[pid=27594/tid=27677] ppid=27592 vsize=334984 CPUtime=0 cores=1,3,5,7
/proc/27594/task/27677/stat : 27677 (python) S 27592 27594 26377 0 -1 4202560 26 928 0 0 0 0 0 0 20 0 6 0 869366821 343023616 7354 33554432000 4194304 5683644 140737413513296 18446744073709551615 218382780849 0 0 16781312 33554434 18446604465031348352 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 301.3
Current children cumulated vsize (KiB) 19181136
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27594 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=431934
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=100984
# CPU time returned by wait4() is 0.532918
# while last known CPU time is 301.3
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 298.578
CPU time (s): 301.3
CPU user time (s): 286.18
CPU system time (s): 15.12
CPU usage (%): 100.912
Max. virtual memory (cumulated for all children) (KiB): 19181136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.431934
system time used= 0.100984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14096
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= 1010
involuntary context switches= 19
runsolver used 1.41778 second user time and 3.52946 second system time
The end