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-3482271-1307578810/watcher-3482271-1307578810 -o /tmp/evaluation-result-3482271-1307578810/solver-3482271-1307578810 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482271-1307578810.opb -seed 784575793 -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.04 2.10 1.92 2/644 760
/proc/meminfo: memFree=22078268/32951124 swapFree=41082008/67111528
[pid=760] ppid=758 vsize=15084 CPUtime=0 cores=1,3,5,7
/proc/760/stat : 760 (python) R 758 760 31366 0 -1 4202496 640 0 0 0 0 0 0 0 18 0 1 0 869479025 15446016 537 33554432000 4194304 5683644 140736090857792 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/760/statm: 3770 541 309 364 0 257 0
[startup+0.0620771 s]
/proc/loadavg: 2.04 2.10 1.92 2/644 760
/proc/meminfo: memFree=22078268/32951124 swapFree=41082008/67111528
[pid=760] ppid=758 vsize=38908 CPUtime=0.04 cores=1,3,5,7
/proc/760/stat : 760 (python) R 758 760 31366 0 -1 4202496 1664 0 0 0 3 1 0 0 17 0 1 0 869479025 39841792 1492 33554432000 4194304 5683644 140736090857792 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/760/statm: 9726 1491 455 364 0 1026 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 38908
[startup+0.100994 s]
/proc/loadavg: 2.04 2.10 1.92 2/644 760
/proc/meminfo: memFree=22078268/32951124 swapFree=41082008/67111528
[pid=760] ppid=758 vsize=96128 CPUtime=0.06 cores=1,3,5,7
/proc/760/stat : 760 (python) R 758 760 31366 0 -1 4202496 3169 928 1 0 5 1 0 0 18 0 1 0 869479025 98435072 2484 33554432000 4194304 5683644 140736090857792 18446744073709551615 5170896 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/760/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96128
[startup+0.300959 s]
/proc/loadavg: 2.04 2.10 1.92 2/644 760
/proc/meminfo: memFree=22078268/32951124 swapFree=41082008/67111528
[pid=760] ppid=758 vsize=184244 CPUtime=0.22 cores=1,3,5,7
/proc/760/stat : 760 (python) R 758 760 31366 0 -1 4202496 6331 928 1 0 17 5 0 0 17 0 1 0 869479025 188665856 4635 33554432000 4194304 5683644 140736090857792 18446744073709551615 228122712064 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/760/statm: 46061 4635 1251 364 0 3567 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 184244
[startup+0.700928 s]
/proc/loadavg: 2.04 2.10 1.92 2/644 760
/proc/meminfo: memFree=22078268/32951124 swapFree=41082008/67111528
[pid=760] ppid=758 vsize=296060 CPUtime=0.59 cores=1,3,5,7
/proc/760/stat : 760 (python) R 758 760 31366 0 -1 4202496 12394 928 1 0 50 9 0 0 17 0 1 0 869479025 303165440 10257 33554432000 4194304 5683644 140736090857792 18446744073709551615 4539424 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/760/statm: 74015 10257 1781 364 0 8908 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 296060
[startup+1.50078 s]
/proc/loadavg: 1.96 2.08 1.91 3/645 765
/proc/meminfo: memFree=22029900/32951124 swapFree=41082008/67111528
[pid=760] ppid=758 vsize=321640 CPUtime=1.39 cores=1,3,5,7
/proc/760/stat : 760 (python) R 758 760 31366 0 -1 4202496 25533 928 1 0 128 11 0 0 18 0 1 0 869479025 329359360 16757 33554432000 4194304 5683644 140736090857792 18446744073709551615 47434259903159 0 0 16781312 33554434 0 0 0 17 1 0 0 0
/proc/760/statm: 80410 16757 1815 364 0 15303 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 321640
[startup+3.11849 s]
/proc/loadavg: 1.96 2.08 1.91 3/645 765
/proc/meminfo: memFree=22010980/32951124 swapFree=41082008/67111528
[pid=760] ppid=758 vsize=323016 CPUtime=3.01 cores=1,3,5,7
/proc/760/stat : 760 (python) R 758 760 31366 0 -1 4202496 25878 928 1 0 290 11 0 0 21 0 1 0 869479025 330768384 17102 33554432000 4194304 5683644 140736090857792 18446744073709551615 47434252690499 0 0 16781312 33554434 0 0 0 17 1 0 0 0
/proc/760/statm: 80754 17102 1816 364 0 15647 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 323016
[startup+6.30091 s]
/proc/loadavg: 1.96 2.08 1.91 3/648 768
/proc/meminfo: memFree=21954188/32951124 swapFree=41082008/67111528
[pid=760] ppid=758 vsize=336040 CPUtime=3.23 cores=1,3,5,7
/proc/760/stat : 760 (python) S 758 760 31366 0 -1 4202496 26846 928 1 0 312 11 0 0 19 0 2 0 869479025 344104960 17841 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/760/statm: 84010 17841 1862 364 0 18897 0
[pid=766] ppid=760 vsize=325796 CPUtime=0 cores=1,3,5,7
/proc/766/stat : 766 (python) S 760 760 31366 0 -1 4202560 782 0 0 0 0 0 0 0 15 0 1 0 869479359 333615104 16326 33554432000 4194304 5683644 140736090857792 18446744073709551615 228122734095 0 0 16781312 33554946 4294934788 0 0 17 1 0 0 0
/proc/766/statm: 81449 16326 351 364 0 16336 0
[pid=768] ppid=766 vsize=44808 CPUtime=2.94 cores=1,3,5,7
/proc/768/stat : 768 (wbo1.4a) R 766 768 768 0 -1 4202496 18512 0 0 0 291 3 0 0 25 0 1 0 869479360 45883392 10482 33554432000 134512640 135751879 4289542880 18446744073709551615 134616465 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/768/statm: 11202 10482 146 303 0 10897 0
[pid=760/tid=767] ppid=758 vsize=336040 CPUtime=0 cores=1,3,5,7
/proc/760/task/767/stat : 767 (python) S 758 760 31366 0 -1 4202560 29 928 0 0 0 0 0 0 19 0 2 0 869479360 344104960 17841 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134537649 0 0 16781312 33554434 18446604468003733952 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 706644
[startup+12.7007 s]
/proc/loadavg: 1.96 2.08 1.91 3/648 768
/proc/meminfo: memFree=21939528/32951124 swapFree=41082008/67111528
[pid=760] ppid=758 vsize=336040 CPUtime=3.23 cores=1,3,5,7
/proc/760/stat : 760 (python) S 758 760 31366 0 -1 4202496 26846 928 1 0 312 11 0 0 19 0 2 0 869479025 344104960 17841 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/760/statm: 84010 17841 1862 364 0 18897 0
[pid=766] ppid=760 vsize=325796 CPUtime=0.03 cores=1,3,5,7
/proc/766/stat : 766 (python) S 760 760 31366 0 -1 4202560 928 0 0 0 2 1 0 0 15 0 1 0 869479359 333615104 16350 33554432000 4194304 5683644 140736090857792 18446744073709551615 228122734095 0 0 16781312 33554946 4294934788 0 0 17 1 0 0 0
/proc/766/statm: 81449 16350 375 364 0 16336 0
[pid=768] ppid=766 vsize=47020 CPUtime=9.35 cores=1,3,5,7
/proc/768/stat : 768 (wbo1.4a) R 766 768 768 0 -1 4202496 20463 0 0 0 927 8 0 0 25 0 1 0 869479360 48148480 11038 33554432000 134512640 135751879 4289542880 18446744073709551615 134518784 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/768/statm: 11755 11038 146 303 0 11450 0
[pid=760/tid=767] ppid=758 vsize=336040 CPUtime=0 cores=1,3,5,7
/proc/760/task/767/stat : 767 (python) S 758 760 31366 0 -1 4202560 29 928 0 0 0 0 0 0 19 0 2 0 869479360 344104960 17841 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134537649 0 0 16781312 33554434 18446604468003733952 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 708856
[startup+25.5004 s]
/proc/loadavg: 2.05 2.09 1.92 3/670 790
/proc/meminfo: memFree=20774164/32951124 swapFree=41082008/67111528
[pid=760] ppid=758 vsize=336040 CPUtime=3.23 cores=1,3,5,7
/proc/760/stat : 760 (python) S 758 760 31366 0 -1 4202496 26846 928 1 0 312 11 0 0 19 0 2 0 869479025 344104960 17841 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/760/statm: 84010 17841 1862 364 0 18897 0
[pid=766] ppid=760 vsize=325796 CPUtime=0.1 cores=1,3,5,7
/proc/766/stat : 766 (python) S 760 760 31366 0 -1 4202560 937 0 0 0 6 4 0 0 15 0 1 0 869479359 333615104 16350 33554432000 4194304 5683644 140736090857792 18446744073709551615 228122734095 0 0 16781312 33554946 5623753486446373668 0 0 17 7 0 0 0
/proc/766/statm: 81449 16350 375 364 0 16336 0
[pid=768] ppid=766 vsize=53000 CPUtime=22.14 cores=1,3,5,7
/proc/768/stat : 768 (wbo1.4a) R 766 768 768 0 -1 4202496 22874 0 0 0 2200 14 0 0 25 0 1 0 869479360 54272000 12595 33554432000 134512640 135751879 4289542880 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/768/statm: 13250 12595 146 303 0 12945 0
[pid=760/tid=767] ppid=758 vsize=336040 CPUtime=0 cores=1,3,5,7
/proc/760/task/767/stat : 767 (python) S 758 760 31366 0 -1 4202560 29 928 0 0 0 0 0 0 19 0 2 0 869479360 344104960 17841 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134537649 0 0 16781312 33554434 18446604468003733952 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 714836
[startup+51.1008 s]
/proc/loadavg: 2.03 2.08 1.92 3/670 791
/proc/meminfo: memFree=19081492/32951124 swapFree=41082008/67111528
[pid=760] ppid=758 vsize=336040 CPUtime=3.23 cores=1,3,5,7
/proc/760/stat : 760 (python) S 758 760 31366 0 -1 4202496 26846 928 1 0 312 11 0 0 19 0 2 0 869479025 344104960 17841 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/760/statm: 84010 17841 1862 364 0 18897 0
[pid=766] ppid=760 vsize=325796 CPUtime=0.2 cores=1,3,5,7
/proc/766/stat : 766 (python) S 760 760 31366 0 -1 4202560 948 0 0 0 11 9 0 0 15 0 1 0 869479359 333615104 16350 33554432000 4194304 5683644 140736090857792 18446744073709551615 228122734095 0 0 16781312 33554946 5623606151888251684 0 0 17 5 0 0 0
/proc/766/statm: 81449 16350 375 364 0 16336 0
[pid=768] ppid=766 vsize=61596 CPUtime=47.75 cores=1,3,5,7
/proc/768/stat : 768 (wbo1.4a) R 766 768 768 0 -1 4202496 25029 0 0 0 4748 27 0 0 25 0 1 0 869479360 63074304 14750 33554432000 134512640 135751879 4289542880 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/768/statm: 15399 14750 146 303 0 15094 0
[pid=760/tid=767] ppid=758 vsize=336040 CPUtime=0 cores=1,3,5,7
/proc/760/task/767/stat : 767 (python) S 758 760 31366 0 -1 4202560 29 928 0 0 0 0 0 0 19 0 2 0 869479360 344104960 17841 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134537649 0 0 16781312 33554434 18446604468003733952 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 723432
[startup+102.301 s]
/proc/loadavg: 2.17 2.10 1.93 3/700 822
/proc/meminfo: memFree=17820104/32951124 swapFree=41082008/67111528
[pid=760] ppid=758 vsize=356552 CPUtime=3.29 cores=1,3,5,7
/proc/760/stat : 760 (python) S 758 760 31366 0 -1 4202496 28597 928 1 0 317 12 0 0 20 0 4 0 869479025 365109248 17862 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/760/statm: 89138 17862 1875 364 0 24019 0
[pid=766] ppid=760 vsize=336040 CPUtime=0.22 cores=1,3,5,7
/proc/766/stat : 766 (python) S 760 760 31366 0 -1 4202560 1109 0 0 0 11 11 0 0 16 0 2 0 869479359 344104960 16386 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134540747 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/766/statm: 84010 16386 406 364 0 18897 0
[pid=768] ppid=766 vsize=70528 CPUtime=48.8 cores=1,3,5,7
/proc/768/stat : 768 (wbo1.4a) T 766 768 768 0 -1 4202496 27092 0 0 0 4852 28 0 0 25 0 1 0 869479360 72220672 16813 33554432000 134512640 135751879 4289542880 18446744073709551615 135209151 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/768/statm: 17632 16813 146 303 0 17327 0
[pid=766/tid=792] ppid=760 vsize=336040 CPUtime=0 cores=1,3,5,7
/proc/766/task/792/stat : 792 (python) S 760 760 31366 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869484241 344104960 16386 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134537649 0 0 16781312 33554946 18446604468003736640 0 0 -1 5 0 0 0
[pid=793] ppid=760 vsize=336052 CPUtime=0.2 cores=1,3,5,7
/proc/793/stat : 793 (python) S 760 760 31366 0 -1 4202560 1105 0 0 0 9 11 0 0 17 0 2 0 869484243 344117248 16376 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134540747 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/793/statm: 84013 16376 396 364 0 18897 0
[pid=795] ppid=793 vsize=865004 CPUtime=47.65 cores=1,3,5,7
/proc/795/stat : 795 (scip-2.0.1.linu) T 793 795 795 0 -1 4202496 212635 0 0 0 4607 158 0 0 25 0 1 0 869484244 885764096 208566 33554432000 4194304 13684479 140734782971872 18446744073709551615 4880958 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/795/statm: 216251 208566 718 2317 0 213929 0
[pid=793/tid=801] ppid=760 vsize=336052 CPUtime=0 cores=1,3,5,7
/proc/793/task/801/stat : 801 (python) S 760 760 31366 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869489009 344117248 16376 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134537649 0 0 16781312 33554946 18446604465113294720 0 0 -1 5 0 0 0
[pid=802] ppid=760 vsize=346308 CPUtime=0 cores=1,3,5,7
/proc/802/stat : 802 (python) S 760 760 31366 0 -1 4202560 791 0 0 0 0 0 0 0 15 0 1 0 869489012 354619392 16331 33554432000 4194304 5683644 140736090857792 18446744073709551615 228122734150 0 0 16781312 33554946 923045285737791488 0 0 17 7 0 0 0
/proc/802/statm: 86577 16331 348 364 0 21458 0
[pid=804] ppid=802 vsize=8547096 CPUtime=4.2 cores=1,3,5,7
/proc/804/stat : 804 (java) S 802 804 804 0 -1 4202496 98775 0 1 0 410 10 0 0 17 0 19 0 869489012 8752226304 91981 33554432000 1073741824 1073778376 140735322813280 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/804/statm: 2136774 91981 2242 9 0 2127515 0
[pid=804/tid=805] ppid=802 vsize=8547096 CPUtime=2.32 cores=1,3,5,7
/proc/804/task/805/stat : 805 (java) R 802 804 804 0 -1 4202560 65102 0 1 0 226 6 0 0 21 0 19 0 869489013 8752226304 91981 33554432000 1073741824 1073778376 140735322813280 18446744073709551615 46912506061492 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=804/tid=806] ppid=802 vsize=8547096 CPUtime=0.05 cores=1,3,5,7
/proc/804/task/806/stat : 806 (java) S 802 804 804 0 -1 4202560 3985 0 0 0 5 0 0 0 16 0 19 0 869489014 8752226304 91981 33554432000 1073741824 1073778376 140735322813280 18446744073709551615 228134529945 0 4 0 16800975 18446604454602218176 0 0 -1 7 0 0 0
[pid=804/tid=807] ppid=802 vsize=8547096 CPUtime=0.03 cores=1,3,5,7
/proc/804/task/807/stat : 807 (java) S 802 804 804 0 -1 4202560 2399 0 0 0 3 0 0 0 15 0 19 0 869489014 8752226304 91981 33554432000 1073741824 1073778376 140735322813280 18446744073709551615 228134529945 0 4 0 16800975 18446604454602218176 0 0 -1 7 0 0 0
[pid=804/tid=808] ppid=802 vsize=8547096 CPUtime=0.02 cores=1,3,5,7
/proc/804/task/808/stat : 808 (java) S 802 804 804 0 -1 4202560 1749 0 0 0 2 0 0 0 15 0 19 0 869489014 8752226304 91981 33554432000 1073741824 1073778376 140735322813280 18446744073709551615 228134529945 0 4 0 16800975 18446604454602218176 0 0 -1 1 0 0 0
[pid=804/tid=809] ppid=802 vsize=8547096 CPUtime=0.01 cores=1,3,5,7
/proc/804/task/809/stat : 809 (java) S 802 804 804 0 -1 4202560 1451 0 0 0 1 0 0 0 16 0 19 0 869489014 8752226304 91981 33554432000 1073741824 1073778376 140735322813280 18446744073709551615 228134529945 0 4 0 16800975 18446604454602218176 0 0 -1 1 0 0 0
[pid=804/tid=810] ppid=802 vsize=8547096 CPUtime=0.02 cores=1,3,5,7
/proc/804/task/810/stat : 810 (java) S 802 804 804 0 -1 4202560 1641 0 0 0 2 0 0 0 16 0 19 0 869489014 8752226304 91981 33554432000 1073741824 1073778376 140735322813280 18446744073709551615 228134529945 0 4 0 16800975 18446604454602218176 0 0 -1 5 0 0 0
[pid=804/tid=811] ppid=802 vsize=8547096 CPUtime=0.03 cores=1,3,5,7
/proc/804/task/811/stat : 811 (java) S 802 804 804 0 -1 4202560 2913 0 0 0 3 0 0 0 16 0 19 0 869489014 8752226304 91981 33554432000 1073741824 1073778376 140735322813280 18446744073709551615 228134529945 0 4 0 16800975 18446604454602218176 0 0 -1 5 0 0 0
[pid=804/tid=812] ppid=802 vsize=8547096 CPUtime=0.04 cores=1,3,5,7
/proc/804/task/812/stat : 812 (java) S 802 804 804 0 -1 4202560 3903 0 0 0 4 0 0 0 16 0 19 0 869489014 8752226304 91981 33554432000 1073741824 1073778376 140735322813280 18446744073709551615 228134529945 0 4 0 16800975 18446604454602218176 0 0 -1 1 0 0 0
[pid=804/tid=813] ppid=802 vsize=8547096 CPUtime=0.01 cores=1,3,5,7
/proc/804/task/813/stat : 813 (java) S 802 804 804 0 -1 4202560 1658 0 0 0 1 0 0 0 16 0 19 0 869489014 8752226304 91981 33554432000 1073741824 1073778376 140735322813280 18446744073709551615 228134529945 0 4 0 16800975 18446604454602218176 0 0 -1 3 0 0 0
[pid=804/tid=814] ppid=802 vsize=8547096 CPUtime=0 cores=1,3,5,7
/proc/804/task/814/stat : 814 (java) S 802 804 804 0 -1 4202560 198 0 0 0 0 0 0 0 15 0 19 0 869489015 8752226304 91981 33554432000 1073741824 1073778376 140735322813280 18446744073709551615 228134530560 0 0 0 16800975 18446604454602218176 0 0 -1 3 0 0 0
[pid=804/tid=815] ppid=802 vsize=8547096 CPUtime=0 cores=1,3,5,7
/proc/804/task/815/stat : 815 (java) S 802 804 804 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869489015 8752226304 91981 33554432000 1073741824 1073778376 140735322813280 18446744073709551615 228134529945 0 4 0 16800975 18446604454602218176 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=760/tid=767] ppid=758 vsize=387320 CPUtime=0 cores=1,3,5,7
/proc/760/task/767/stat : 767 (python) S 758 760 31366 0 -1 4202560 29 928 0 0 0 0 0 0 19 0 7 0 869479360 396615680 17880 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134537649 0 0 16781312 33554434 18446604468003733952 0 0 -1 7 0 0 0
[pid=760/tid=794] ppid=758 vsize=387320 CPUtime=0 cores=1,3,5,7
/proc/760/task/794/stat : 794 (python) S 758 760 31366 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 7 0 869484244 396615680 17880 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134537649 0 0 16781312 33554434 18446604468003733952 0 0 -1 7 0 0 0
[pid=760/tid=803] ppid=758 vsize=387320 CPUtime=0 cores=1,3,5,7
/proc/760/task/803/stat : 803 (python) S 758 760 31366 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 7 0 869489012 396615680 17880 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134537649 0 0 16781312 33554434 18446604468003733952 0 0 -1 1 0 0 0
[pid=760/tid=826] ppid=758 vsize=387320 CPUtime=0 cores=1,3,5,7
/proc/760/task/826/stat : 826 (python) S 758 760 31366 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 7 0 869493468 396615680 17880 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134537649 0 0 16781312 33554434 18446604468003733952 0 0 -1 1 0 0 0
[pid=760/tid=833] ppid=758 vsize=387320 CPUtime=0 cores=1,3,5,7
/proc/760/task/833/stat : 833 (python) S 758 760 31366 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 7 0 869503044 396615680 17880 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134537649 0 0 16781312 33554434 18446604468003733952 0 0 -1 1 0 0 0
[pid=760/tid=847] ppid=758 vsize=387320 CPUtime=0 cores=1,3,5,7
/proc/760/task/847/stat : 847 (python) S 758 760 31366 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 7 0 869507816 396615680 17880 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134537649 0 0 16781312 33554434 18446604468003733952 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 293.68
Current children cumulated vsize (KiB) 21492140
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+289.001 s]
/proc/loadavg: 2.22 2.17 1.98 8/729 871
/proc/meminfo: memFree=14284224/32951124 swapFree=41082008/67111528
[pid=760] ppid=758 vsize=387320 CPUtime=3.36 cores=1,3,5,7
/proc/760/stat : 760 (python) S 758 760 31366 0 -1 4202496 31394 928 1 0 323 13 0 0 20 0 7 0 869479025 396615680 17880 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/760/statm: 96830 17880 1881 364 0 31702 0
[pid=766] ppid=760 vsize=336040 CPUtime=0.22 cores=1,3,5,7
/proc/766/stat : 766 (python) S 760 760 31366 0 -1 4202560 1109 0 0 0 11 11 0 0 16 0 2 0 869479359 344104960 16386 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134540747 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/766/statm: 84010 16386 406 364 0 18897 0
[pid=768] ppid=766 vsize=70528 CPUtime=48.8 cores=1,3,5,7
/proc/768/stat : 768 (wbo1.4a) T 766 768 768 0 -1 4202496 27092 0 0 0 4852 28 0 0 25 0 1 0 869479360 72220672 16813 33554432000 134512640 135751879 4289542880 18446744073709551615 135209151 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/768/statm: 17632 16813 146 303 0 17327 0
[pid=766/tid=792] ppid=760 vsize=336040 CPUtime=0 cores=1,3,5,7
/proc/766/task/792/stat : 792 (python) S 760 760 31366 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869484241 344104960 16386 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134537649 0 0 16781312 33554946 18446604468003736640 0 0 -1 5 0 0 0
[pid=793] ppid=760 vsize=336052 CPUtime=0.2 cores=1,3,5,7
/proc/793/stat : 793 (python) S 760 760 31366 0 -1 4202560 1105 0 0 0 9 11 0 0 17 0 2 0 869484243 344117248 16376 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134540747 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/793/statm: 84013 16376 396 364 0 18897 0
[pid=795] ppid=793 vsize=865004 CPUtime=47.65 cores=1,3,5,7
/proc/795/stat : 795 (scip-2.0.1.linu) T 793 795 795 0 -1 4202496 212635 0 0 0 4607 158 0 0 25 0 1 0 869484244 885764096 208566 33554432000 4194304 13684479 140734782971872 18446744073709551615 4880958 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/795/statm: 216251 208566 718 2317 0 213929 0
[pid=793/tid=801] ppid=760 vsize=336052 CPUtime=0 cores=1,3,5,7
/proc/793/task/801/stat : 801 (python) S 760 760 31366 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869489009 344117248 16376 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134537649 0 0 16781312 33554946 18446604465113294720 0 0 -1 5 0 0 0
[pid=802] ppid=760 vsize=346308 CPUtime=0.2 cores=1,3,5,7
/proc/802/stat : 802 (python) S 760 760 31366 0 -1 4202560 1112 0 0 0 9 11 0 0 17 0 2 0 869489012 354619392 16380 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134540747 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/802/statm: 86577 16380 396 364 0 21458 0
[pid=804] ppid=802 vsize=8547096 CPUtime=47.42 cores=1,3,5,7
/proc/804/stat : 804 (java) T 802 804 804 0 -1 4202496 725334 0 1 0 4672 70 0 0 15 0 19 0 869489012 8752226304 703461 33554432000 1073741824 1073778376 140735322813280 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/804/statm: 2136774 703461 2259 9 0 2127515 0
[pid=804/tid=805] ppid=802 vsize=8547096 CPUtime=43.94 cores=1,3,5,7
/proc/804/task/805/stat : 805 (java) T 802 804 804 0 -1 4202560 633213 0 1 0 4334 60 0 0 25 0 19 0 869489013 8752226304 703461 33554432000 1073741824 1073778376 140735322813280 18446744073709551615 46912506086536 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=804/tid=806] ppid=802 vsize=8547096 CPUtime=0.14 cores=1,3,5,7
/proc/804/task/806/stat : 806 (java) T 802 804 804 0 -1 4202560 10612 0 0 0 14 0 0 0 15 0 19 0 869489014 8752226304 703461 33554432000 1073741824 1073778376 140735322813280 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=804/tid=807] ppid=802 vsize=8547096 CPUtime=0.13 cores=1,3,5,7
/proc/804/task/807/stat : 807 (java) T 802 804 804 0 -1 4202560 8803 0 0 0 12 1 0 0 15 0 19 0 869489014 8752226304 703461 33554432000 1073741824 1073778376 140735322813280 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=804/tid=808] ppid=802 vsize=8547096 CPUtime=0.09 cores=1,3,5,7
/proc/804/task/808/stat : 808 (java) T 802 804 804 0 -1 4202560 6430 0 0 0 9 0 0 0 15 0 19 0 869489014 8752226304 703461 33554432000 1073741824 1073778376 140735322813280 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=804/tid=809] ppid=802 vsize=8547096 CPUtime=0.1 cores=1,3,5,7
/proc/804/task/809/stat : 809 (java) T 802 804 804 0 -1 4202560 7315 0 0 0 9 1 0 0 15 0 19 0 869489014 8752226304 703461 33554432000 1073741824 1073778376 140735322813280 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=804/tid=810] ppid=802 vsize=8547096 CPUtime=0.12 cores=1,3,5,7
/proc/804/task/810/stat : 810 (java) T 802 804 804 0 -1 4202560 8471 0 0 0 12 0 0 0 15 0 19 0 869489014 8752226304 703461 33554432000 1073741824 1073778376 140735322813280 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=804/tid=811] ppid=802 vsize=8547096 CPUtime=0.2 cores=1,3,5,7
/proc/804/task/811/stat : 811 (java) T 802 804 804 0 -1 4202560 13111 0 0 0 19 1 0 0 15 0 19 0 869489014 8752226304 703461 33554432000 1073741824 1073778376 140735322813280 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=804/tid=812] ppid=802 vsize=8547096 CPUtime=0.19 cores=1,3,5,7
/proc/804/task/812/stat : 812 (java) T 802 804 804 0 -1 4202560 11500 0 0 0 18 1 0 0 15 0 19 0 869489014 8752226304 703461 33554432000 1073741824 1073778376 140735322813280 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=804/tid=813] ppid=802 vsize=8547096 CPUtime=0.13 cores=1,3,5,7
/proc/804/task/813/stat : 813 (java) T 802 804 804 0 -1 4202560 9459 0 0 0 12 1 0 0 15 0 19 0 869489014 8752226304 703461 33554432000 1073741824 1073778376 140735322813280 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=804/tid=814] ppid=802 vsize=8547096 CPUtime=0.2 cores=1,3,5,7
/proc/804/task/814/stat : 814 (java) T 802 804 804 0 -1 4202560 1505 0 0 0 20 0 0 0 15 0 19 0 869489015 8752226304 703461 33554432000 1073741824 1073778376 140735322813280 18446744073709551615 228134530560 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=804/tid=815] ppid=802 vsize=8547096 CPUtime=0 cores=1,3,5,7
/proc/804/task/815/stat : 815 (java) T 802 804 804 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869489015 8752226304 703461 33554432000 1073741824 1073778376 140735322813280 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=804/tid=816] ppid=802 vsize=8547096 CPUtime=0 cores=1,3,5,7
/proc/804/task/816/stat : 816 (java) T 802 804 804 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 869489015 8752226304 703461 33554432000 1073741824 1073778376 140735322813280 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=804/tid=817] ppid=802 vsize=8547096 CPUtime=0 cores=1,3,5,7
/proc/804/task/817/stat : 817 (java) T 802 804 804 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869489017 8752226304 703461 33554432000 1073741824 1073778376 140735322813280 18446744073709551615 228134537649 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=804/tid=818] ppid=802 vsize=8547096 CPUtime=1.03 cores=1,3,5,7
/proc/804/task/818/stat : 818 (java) T 802 804 804 0 -1 4202560 6071 0 0 0 103 0 0 0 15 0 19 0 869489017 8752226304 703461 33554432000 1073741824 1073778376 140735322813280 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=804/tid=819] ppid=802 vsize=8547096 CPUtime=1.04 cores=1,3,5,7
/proc/804/task/819/stat : 819 (java) T 802 804 804 0 -1 4202560 7454 0 0 0 104 0 0 0 15 0 19 0 869489017 8752226304 703461 33554432000 1073741824 1073778376 140735322813280 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=804/tid=820] ppid=802 vsize=8547096 CPUtime=0 cores=1,3,5,7
/proc/804/task/820/stat : 820 (java) T 802 804 804 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869489017 8752226304 703461 33554432000 1073741824 1073778376 140735322813280 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=804/tid=821] ppid=802 vsize=8547096 CPUtime=0 cores=1,3,5,7
/proc/804/task/821/stat : 821 (java) T 802 804 804 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869489017 8752226304 703461 33554432000 1073741824 1073778376 140735322813280 18446744073709551615 228134530560 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=804/tid=822] ppid=802 vsize=8547096 CPUtime=0 cores=1,3,5,7
/proc/804/task/822/stat : 822 (java) T 802 804 804 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869489148 8752226304 703461 33554432000 1073741824 1073778376 140735322813280 18446744073709551615 228134530560 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=802/tid=824] ppid=760 vsize=346308 CPUtime=0 cores=1,3,5,7
/proc/802/task/824/stat : 824 (python) S 760 760 31366 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869493465 354619392 16380 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134537649 0 0 16781312 33554946 18446604468976485632 0 0 -1 7 0 0 0
[pid=825] ppid=760 vsize=422100 CPUtime=0.41 cores=1,3,5,7
/proc/825/stat : 825 (python) S 760 760 31366 0 -1 4202560 1182 0 0 0 20 21 0 0 16 0 2 0 869493467 432230400 16385 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134540747 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/825/statm: 105525 16385 396 364 0 40403 0
[pid=827] ppid=825 vsize=30420 CPUtime=95.72 cores=1,3,5,7
/proc/827/stat : 827 (clasp-1.3.7-x86) T 825 827 827 0 -1 4202496 9327 0 0 0 9571 1 0 0 25 0 1 0 869493468 31150080 7331 33554432000 134512640 136139019 4286592112 18446744073709551615 134871079 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/827/statm: 7605 7331 188 398 0 7205 0
[pid=825/tid=831] ppid=760 vsize=422100 CPUtime=0 cores=1,3,5,7
/proc/825/task/831/stat : 831 (python) S 760 760 31366 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869503041 432230400 16385 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134537649 0 0 16781312 33554946 18446604460609769728 0 0 -1 3 0 0 0
[pid=832] ppid=760 vsize=366820 CPUtime=0.2 cores=1,3,5,7
/proc/832/stat : 832 (python) S 760 760 31366 0 -1 4202560 1193 0 0 0 9 11 0 0 16 0 2 0 869503044 375623680 16394 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134540747 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/832/statm: 91705 16394 402 364 0 26580 0
[pid=843] ppid=832 vsize=866304 CPUtime=47.68 cores=1,3,5,7
/proc/843/stat : 843 (scip-2.0.1.linu) T 832 843 843 0 -1 4202496 212743 0 0 0 4633 135 0 0 25 0 1 0 869503044 887095296 208631 33554432000 4194304 15243407 140735554853152 18446744073709551615 4880923 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/843/statm: 216576 208631 718 2698 0 213871 0
[pid=832/tid=845] ppid=760 vsize=366820 CPUtime=0 cores=1,3,5,7
/proc/832/task/845/stat : 845 (python) S 760 760 31366 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869507813 375623680 16394 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134537649 0 0 16781312 33554946 18446604469663101248 0 0 -1 7 0 0 0
[pid=846] ppid=760 vsize=377076 CPUtime=0 cores=1,3,5,7
/proc/846/stat : 846 (python) R 760 760 31366 0 -1 4202560 869 0 0 0 0 0 0 0 18 0 1 0 869507816 386125824 16350 33554432000 4194304 5683644 140736090857792 18446744073709551615 228122734150 0 0 16781312 33554946 0 0 0 17 3 0 0 0
/proc/846/statm: 94269 16350 355 364 0 29141 0
[pid=848] ppid=846 vsize=8541072 CPUtime=1.82 cores=1,3,5,7
/proc/848/stat : 848 (java) S 846 848 848 0 -1 4202496 51194 0 1 0 175 7 0 0 20 0 18 0 869507816 8746057728 47636 33554432000 1073741824 1073778376 140736682450944 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/848/statm: 2135268 47636 2232 9 0 2126009 0
[pid=848/tid=849] ppid=846 vsize=8541072 CPUtime=1.07 cores=1,3,5,7
/proc/848/task/849/stat : 849 (java) R 846 848 848 0 -1 4202560 35205 0 1 0 102 5 0 0 18 0 18 0 869507817 8746057728 47764 33554432000 1073741824 1073778376 140736682450944 18446744073709551615 46912505814285 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=848/tid=850] ppid=846 vsize=8541072 CPUtime=0.01 cores=1,3,5,7
/proc/848/task/850/stat : 850 (java) S 846 848 848 0 -1 4202560 951 0 0 0 1 0 0 0 15 0 18 0 869507818 8746057728 47764 33554432000 1073741824 1073778376 140736682450944 18446744073709551615 228134529945 0 4 0 16800975 18446604459289541376 0 0 -1 3 0 0 0
[pid=848/tid=851] ppid=846 vsize=8541072 CPUtime=0.02 cores=1,3,5,7
/proc/848/task/851/stat : 851 (java) S 846 848 848 0 -1 4202560 2090 0 0 0 2 0 0 0 16 0 18 0 869507818 8746057728 47764 33554432000 1073741824 1073778376 140736682450944 18446744073709551615 228134529945 0 4 0 16800975 18446604459289541376 0 0 -1 7 0 0 0
[pid=848/tid=858] ppid=846 vsize=8541072 CPUtime=0.02 cores=1,3,5,7
/proc/848/task/858/stat : 858 (java) S 846 848 848 0 -1 4202560 1695 0 0 0 2 0 0 0 16 0 18 0 869507818 8746057728 47764 33554432000 1073741824 1073778376 140736682450944 18446744073709551615 228134529945 0 4 0 16800975 18446604459289541376 0 0 -1 3 0 0 0
[pid=848/tid=859] ppid=846 vsize=8541072 CPUtime=0 cores=1,3,5,7
/proc/848/task/859/stat : 859 (java) S 846 848 848 0 -1 4202560 115 0 0 0 0 0 0 0 16 0 18 0 869507818 8746057728 47764 33554432000 1073741824 1073778376 140736682450944 18446744073709551615 228134529945 0 4 0 16800975 18446604459289541376 0 0 -1 1 0 0 0
[pid=848/tid=860] ppid=846 vsize=8541072 CPUtime=0.01 cores=1,3,5,7
/proc/848/task/860/stat : 860 (java) S 846 848 848 0 -1 4202560 1272 0 0 0 1 0 0 0 16 0 18 0 869507818 8746057728 47764 33554432000 1073741824 1073778376 140736682450944 18446744073709551615 228134529945 0 4 0 16800975 18446604459289541376 0 0 -1 5 0 0 0
[pid=848/tid=861] ppid=846 vsize=8541072 CPUtime=0 cores=1,3,5,7
/proc/848/task/861/stat : 861 (java) S 846 848 848 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 18 0 869507818 8746057728 47764 33554432000 1073741824 1073778376 140736682450944 18446744073709551615 228134529945 0 4 0 16800975 18446604459289541376 0 0 -1 7 0 0 0
[pid=848/tid=862] ppid=846 vsize=8541072 CPUtime=0 cores=1,3,5,7
/proc/848/task/862/stat : 862 (java) S 846 848 848 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 18 0 869507818 8746057728 47764 33554432000 1073741824 1073778376 140736682450944 18446744073709551615 228134529945 0 4 0 16800975 18446604459289541376 0 0 -1 1 0 0 0
[pid=848/tid=863] ppid=846 vsize=8541072 CPUtime=0 cores=1,3,5,7
/proc/848/task/863/stat : 863 (java) S 846 848 848 0 -1 4202560 438 0 0 0 0 0 0 0 16 0 18 0 869507818 8746057728 47764 33554432000 1073741824 1073778376 140736682450944 18446744073709551615 228134529945 0 4 0 16800975 18446604459289541376 0 0 -1 5 0 0 0
[pid=848/tid=864] ppid=846 vsize=8541072 CPUtime=0 cores=1,3,5,7
/proc/848/task/864/stat : 864 (java) S 846 848 848 0 -1 4202560 73 0 0 0 0 0 0 0 16 0 18 0 869507819 8746057728 47764 33554432000 1073741824 1073778376 140736682450944 18446744073709551615 228134530560 0 0 0 16800975 18446604459289541376 0 0 -1 3 0 0 0
[pid=848/tid=865] ppid=846 vsize=8541072 CPUtime=0 cores=1,3,5,7
/proc/848/task/865/stat : 865 (java) S 846 848 848 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 18 0 869507819 8746057728 47764 33554432000 1073741824 1073778376 140736682450944 18446744073709551615 228134529945 0 4 0 16800975 18446604459289541376 0 0 -1 3 0 0 0
[pid=848/tid=866] ppid=846 vsize=8541072 CPUtime=0 cores=1,3,5,7
/proc/848/task/866/stat : 866 (java) S 846 848 848 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 18 0 869507819 8746057728 47764 33554432000 1073741824 1073778376 140736682450944 18446744073709551615 228134529945 0 4 0 16800975 18446604459289541376 0 0 -1 7 0 0 0
[pid=848/tid=867] ppid=846 vsize=8541072 CPUtime=0 cores=1,3,5,7
/proc/848/task/867/stat : 867 (java) S 846 848 848 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869507821 8746057728 47764 33554432000 1073741824 1073778376 140736682450944 18446744073709551615 228134537649 0 4 0 16800975 18446604459289541376 0 0 -1 5 0 0 0
[pid=848/tid=868] ppid=846 vsize=8541072 CPUtime=0.36 cores=1,3,5,7
/proc/848/task/868/stat : 868 (java) R 846 848 848 0 -1 4202560 3918 0 0 0 36 0 0 0 15 0 18 0 869507821 8746057728 47764 33554432000 1073741824 1073778376 140736682450944 18446744073709551615 47553942825049 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=848/tid=869] ppid=846 vsize=8541072 CPUtime=0.3 cores=1,3,5,7
/proc/848/task/869/stat : 869 (java) R 846 848 848 0 -1 4202560 4290 0 0 0 30 0 0 0 20 0 18 0 869507821 8746057728 47764 33554432000 1073741824 1073778376 140736682450944 18446744073709551615 47553943085120 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=848/tid=870] ppid=846 vsize=8541072 CPUtime=0 cores=1,3,5,7
/proc/848/task/870/stat : 870 (java) S 846 848 848 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869507821 8746057728 47764 33554432000 1073741824 1073778376 140736682450944 18446744073709551615 228134529945 0 4 0 16800975 18446604459289541376 0 0 -1 7 0 0 0
[pid=848/tid=871] ppid=846 vsize=8541072 CPUtime=0 cores=1,3,5,7
/proc/848/task/871/stat : 871 (java) R 846 848 848 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 869507821 8746057728 47764 33554432000 1073741824 1073778376 140736682450944 18446744073709551615 228134530560 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=760/tid=767] ppid=758 vsize=387320 CPUtime=0 cores=1,3,5,7
/proc/760/task/767/stat : 767 (python) S 758 760 31366 0 -1 4202560 29 928 0 0 0 0 0 0 19 0 7 0 869479360 396615680 17880 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134537649 0 0 16781312 33554434 18446604468003733952 0 0 -1 7 0 0 0
[pid=760/tid=794] ppid=758 vsize=387320 CPUtime=0 cores=1,3,5,7
/proc/760/task/794/stat : 794 (python) S 758 760 31366 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 7 0 869484244 396615680 17880 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134537649 0 0 16781312 33554434 18446604468003733952 0 0 -1 7 0 0 0
[pid=760/tid=803] ppid=758 vsize=387320 CPUtime=0 cores=1,3,5,7
/proc/760/task/803/stat : 803 (python) S 758 760 31366 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 7 0 869489012 396615680 17880 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134537649 0 0 16781312 33554434 18446604468003733952 0 0 -1 1 0 0 0
[pid=760/tid=826] ppid=758 vsize=387320 CPUtime=0 cores=1,3,5,7
/proc/760/task/826/stat : 826 (python) S 758 760 31366 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 7 0 869493468 396615680 17880 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134537649 0 0 16781312 33554434 18446604468003733952 0 0 -1 1 0 0 0
[pid=760/tid=833] ppid=758 vsize=387320 CPUtime=0 cores=1,3,5,7
/proc/760/task/833/stat : 833 (python) S 758 760 31366 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 7 0 869503044 396615680 17880 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134537649 0 0 16781312 33554434 18446604468003733952 0 0 -1 1 0 0 0
[pid=760/tid=847] ppid=758 vsize=387320 CPUtime=0 cores=1,3,5,7
/proc/760/task/847/stat : 847 (python) S 758 760 31366 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 7 0 869507816 396615680 17880 33554432000 4194304 5683644 140736090857792 18446744073709551615 228134537649 0 0 16781312 33554434 18446604468003733952 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 293.68
Current children cumulated vsize (KiB) 21492140
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 760 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=240507
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=138978
# CPU time returned by wait4() is 3.37949
# while last known CPU time is 293.68
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 289.091
CPU time (s): 293.68
CPU user time (s): 288.91
CPU system time (s): 4.77
CPU usage (%): 101.588
Max. virtual memory (cumulated for all children) (KiB): 21492140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.24051
system time used= 0.138978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32325
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= 1013
involuntary context switches= 25
runsolver used 1.91271 second user time and 3.9444 second system time
The end