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-3482352-1307576566/watcher-3482352-1307576566 -o /tmp/evaluation-result-3482352-1307576566/solver-3482352-1307576566 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482352-1307576566.opb -seed 1903355312 -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.13 0.82 0.30 2/418 5749
/proc/meminfo: memFree=31266544/32950928 swapFree=51865260/67111528
[pid=5749] ppid=5747 vsize=15772 CPUtime=0 cores=1,3,5,7
/proc/5749/stat : 5749 (python) R 5747 5749 5042 0 -1 4202496 867 0 0 0 0 0 0 0 25 0 1 0 325266098 16150528 749 33554432000 4194304 5683644 140735164459760 18446744073709551615 4663568 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/5749/statm: 3943 750 343 364 0 430 0
[startup+0.027273 s]
/proc/loadavg: 2.13 0.82 0.30 2/418 5749
/proc/meminfo: memFree=31266544/32950928 swapFree=51865260/67111528
[pid=5749] ppid=5747 vsize=16812 CPUtime=0.01 cores=1,3,5,7
/proc/5749/stat : 5749 (python) S 5747 5749 5042 0 -1 4202496 1227 0 0 0 1 0 0 0 25 0 1 0 325266098 17215488 1085 33554432000 4194304 5683644 140735164459760 18446744073709551615 218880563200 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/5749/statm: 4203 1085 417 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16812
[startup+0.106315 s]
/proc/loadavg: 2.13 0.82 0.30 2/418 5749
/proc/meminfo: memFree=31266544/32950928 swapFree=51865260/67111528
[pid=5749] ppid=5747 vsize=96124 CPUtime=0.08 cores=1,3,5,7
/proc/5749/stat : 5749 (python) R 5747 5749 5042 0 -1 4202496 3169 933 1 0 6 2 0 0 18 0 1 0 325266098 98430976 2483 33554432000 4194304 5683644 140735164459760 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/5749/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.301325 s]
/proc/loadavg: 2.13 0.82 0.30 2/418 5749
/proc/meminfo: memFree=31266544/32950928 swapFree=51865260/67111528
[pid=5749] ppid=5747 vsize=200776 CPUtime=0.23 cores=1,3,5,7
/proc/5749/stat : 5749 (python) S 5747 5749 5042 0 -1 4202496 6648 933 1 0 16 7 0 0 17 0 1 0 325266098 205594624 4936 33554432000 4194304 5683644 140735164459760 18446744073709551615 218880563200 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/5749/statm: 50194 4936 1465 364 0 3676 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 200776
[startup+1.35407 s]
/proc/loadavg: 2.13 0.82 0.30 2/418 5749
/proc/meminfo: memFree=31266544/32950928 swapFree=51865260/67111528
[pid=5749] ppid=5747 vsize=296328 CPUtime=0.79 cores=1,3,5,7
/proc/5749/stat : 5749 (python) S 5747 5749 5042 0 -1 4202496 12237 1368 1 0 57 14 6 2 19 0 2 0 325266098 303439872 7948 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 3
/proc/5749/statm: 74082 7948 1871 364 0 8969 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 296328
[startup+1.50104 s]
/proc/loadavg: 2.13 0.82 0.30 2/418 5749
/proc/meminfo: memFree=31266544/32950928 swapFree=51865260/67111528
[pid=5749] ppid=5747 vsize=296328 CPUtime=0.79 cores=1,3,5,7
/proc/5749/stat : 5749 (python) S 5747 5749 5042 0 -1 4202496 12237 1368 1 0 57 14 6 2 19 0 2 0 325266098 303439872 7948 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 3
/proc/5749/statm: 74082 7948 1871 364 0 8969 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 296328
[startup+3.11575 s]
/proc/loadavg: 2.13 0.82 0.30 3/422 5758
/proc/meminfo: memFree=31172100/32950928 swapFree=51865260/67111528
[pid=5749] ppid=5747 vsize=296328 CPUtime=0.79 cores=1,3,5,7
/proc/5749/stat : 5749 (python) S 5747 5749 5042 0 -1 4202496 12237 1368 1 0 57 14 6 2 19 0 2 0 325266098 303439872 7948 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 3
/proc/5749/statm: 74082 7948 1871 364 0 8969 0
[pid=5756] ppid=5749 vsize=286084 CPUtime=0 cores=1,3,5,7
/proc/5756/stat : 5756 (python) S 5749 5749 5042 0 -1 4202560 717 0 0 0 0 0 0 0 15 0 1 0 325266188 292950016 6392 33554432000 4194304 5683644 140735164459760 18446744073709551615 218880585231 0 0 16781312 33554946 4505301160269152520 0 0 17 5 0 0 0
/proc/5756/statm: 71521 6392 319 364 0 6408 0
[pid=5758] ppid=5756 vsize=79216 CPUtime=2.2 cores=1,3,5,7
/proc/5758/stat : 5758 (scip-2.0.1.linu) R 5756 5758 5758 0 -1 4202496 18497 0 0 0 201 19 0 0 25 0 1 0 325266188 81117184 17416 33554432000 4194304 13684479 140733259735280 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5758/statm: 19804 17416 769 2317 0 17482 0
[pid=5749/tid=5757] ppid=5747 vsize=296328 CPUtime=0.08 cores=1,3,5,7
/proc/5749/task/5757/stat : 5757 (python) S 5747 5749 5042 0 -1 4202560 25 1368 0 0 0 0 6 2 19 0 2 0 325266188 303439872 7948 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554434 18446604456271375360 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 661628
[startup+6.30117 s]
/proc/loadavg: 2.12 0.84 0.31 3/422 5758
/proc/meminfo: memFree=31171596/32950928 swapFree=51865260/67111528
[pid=5749] ppid=5747 vsize=296328 CPUtime=0.79 cores=1,3,5,7
/proc/5749/stat : 5749 (python) S 5747 5749 5042 0 -1 4202496 12237 1368 1 0 57 14 6 2 19 0 2 0 325266098 303439872 7948 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 3
/proc/5749/statm: 74082 7948 1871 364 0 8969 0
[pid=5756] ppid=5749 vsize=286084 CPUtime=0 cores=1,3,5,7
/proc/5756/stat : 5756 (python) S 5749 5749 5042 0 -1 4202560 861 0 0 0 0 0 0 0 15 0 1 0 325266188 292950016 6415 33554432000 4194304 5683644 140735164459760 18446744073709551615 218880585231 0 0 16781312 33554946 4505299648440664328 0 0 17 5 0 0 0
/proc/5756/statm: 71521 6415 342 364 0 6408 0
[pid=5758] ppid=5756 vsize=79216 CPUtime=5.4 cores=1,3,5,7
/proc/5758/stat : 5758 (scip-2.0.1.linu) R 5756 5758 5758 0 -1 4202496 18501 0 0 0 517 23 0 0 25 0 1 0 325266188 81117184 17420 33554432000 4194304 13684479 140733259735280 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5758/statm: 19804 17420 773 2317 0 17482 0
[pid=5749/tid=5757] ppid=5747 vsize=296328 CPUtime=0.08 cores=1,3,5,7
/proc/5749/task/5757/stat : 5757 (python) S 5747 5749 5042 0 -1 4202560 25 1368 0 0 0 0 6 2 19 0 2 0 325266188 303439872 7948 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554434 18446604456271375360 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 661628
[startup+12.701 s]
/proc/loadavg: 2.11 0.86 0.31 3/422 5758
/proc/meminfo: memFree=31125880/32950928 swapFree=51865260/67111528
[pid=5749] ppid=5747 vsize=296328 CPUtime=0.79 cores=1,3,5,7
/proc/5749/stat : 5749 (python) S 5747 5749 5042 0 -1 4202496 12237 1368 1 0 57 14 6 2 19 0 2 0 325266098 303439872 7948 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 3
/proc/5749/statm: 74082 7948 1871 364 0 8969 0
[pid=5756] ppid=5749 vsize=286084 CPUtime=0.03 cores=1,3,5,7
/proc/5756/stat : 5756 (python) S 5749 5749 5042 0 -1 4202560 865 0 0 0 1 2 0 0 15 0 1 0 325266188 292950016 6416 33554432000 4194304 5683644 140735164459760 18446744073709551615 218880585231 0 0 16781312 33554946 5623606151888251666 0 0 17 5 0 0 0
/proc/5756/statm: 71521 6416 343 364 0 6408 0
[pid=5758] ppid=5756 vsize=124292 CPUtime=11.79 cores=1,3,5,7
/proc/5758/stat : 5758 (scip-2.0.1.linu) R 5756 5758 5758 0 -1 4202496 34771 0 0 0 1140 39 0 0 25 0 1 0 325266188 127275008 28821 33554432000 4194304 13684479 140733259735280 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5758/statm: 31073 28821 843 2317 0 28751 0
[pid=5749/tid=5757] ppid=5747 vsize=296328 CPUtime=0.08 cores=1,3,5,7
/proc/5749/task/5757/stat : 5757 (python) S 5747 5749 5042 0 -1 4202560 25 1368 0 0 0 0 6 2 19 0 2 0 325266188 303439872 7948 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554434 18446604456271375360 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 706704
[startup+25.5007 s]
/proc/loadavg: 2.15 0.93 0.35 3/423 5760
/proc/meminfo: memFree=31122120/32950928 swapFree=51865260/67111528
[pid=5749] ppid=5747 vsize=296328 CPUtime=0.79 cores=1,3,5,7
/proc/5749/stat : 5749 (python) S 5747 5749 5042 0 -1 4202496 12237 1368 1 0 57 14 6 2 19 0 2 0 325266098 303439872 7948 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 3
/proc/5749/statm: 74082 7948 1871 364 0 8969 0
[pid=5756] ppid=5749 vsize=286084 CPUtime=0.07 cores=1,3,5,7
/proc/5756/stat : 5756 (python) S 5749 5749 5042 0 -1 4202560 975 0 0 0 3 4 0 0 15 0 1 0 325266188 292950016 6421 33554432000 4194304 5683644 140735164459760 18446744073709551615 218880585231 0 0 16781312 33554946 5623753486446373650 0 0 17 7 0 0 0
/proc/5756/statm: 71521 6421 348 364 0 6408 0
[pid=5758] ppid=5756 vsize=124292 CPUtime=24.59 cores=1,3,5,7
/proc/5758/stat : 5758 (scip-2.0.1.linu) R 5756 5758 5758 0 -1 4202496 34782 0 0 0 2405 54 0 0 25 0 1 0 325266188 127275008 28822 33554432000 4194304 13684479 140733259735280 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5758/statm: 31073 28822 834 2317 0 28751 0
[pid=5749/tid=5757] ppid=5747 vsize=296328 CPUtime=0.08 cores=1,3,5,7
/proc/5749/task/5757/stat : 5757 (python) S 5747 5749 5042 0 -1 4202560 25 1368 0 0 0 0 6 2 19 0 2 0 325266188 303439872 7948 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554434 18446604456271375360 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 706704
[startup+51.1011 s]
/proc/loadavg: 2.10 1.01 0.39 3/427 5765
/proc/meminfo: memFree=31087740/32950928 swapFree=51865260/67111528
[pid=5749] ppid=5747 vsize=306584 CPUtime=0.83 cores=1,3,5,7
/proc/5749/stat : 5749 (python) S 5747 5749 5042 0 -1 4202496 13152 1368 1 0 60 15 6 2 20 0 3 0 325266098 313942016 7955 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 3
/proc/5749/statm: 76646 7955 1874 364 0 11530 0
[pid=5756] ppid=5749 vsize=296328 CPUtime=0.16 cores=1,3,5,7
/proc/5756/stat : 5756 (python) S 5749 5749 5042 0 -1 4202560 1165 0 0 0 7 9 0 0 16 0 2 0 325266188 303439872 6489 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5756/statm: 74082 6489 411 364 0 8969 0
[pid=5758] ppid=5756 vsize=122996 CPUtime=47.04 cores=1,3,5,7
/proc/5758/stat : 5758 (scip-2.0.1.linu) T 5756 5758 5758 0 -1 4202496 37870 0 0 0 4632 72 0 0 25 0 1 0 325266188 125947904 28672 33554432000 4194304 13684479 140733259735280 18446744073709551615 7098915 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/5758/statm: 30749 28672 843 2317 0 28427 0
[pid=5756/tid=5762] ppid=5749 vsize=296328 CPUtime=0 cores=1,3,5,7
/proc/5756/task/5762/stat : 5762 (python) S 5749 5749 5042 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 325270893 303439872 6489 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554946 18446604470291330880 0 0 -1 7 0 0 0
[pid=5763] ppid=5749 vsize=296340 CPUtime=0.01 cores=1,3,5,7
/proc/5763/stat : 5763 (python) S 5749 5749 5042 0 -1 4202560 893 0 0 0 1 0 0 0 18 0 1 0 325270895 303452160 6420 33554432000 4194304 5683644 140735164459760 18446744073709551615 218880585286 0 0 16781312 33554946 4470035836636725511 0 0 17 1 0 0 0
/proc/5763/statm: 74085 6420 343 364 0 8969 0
[pid=5765] ppid=5763 vsize=8448 CPUtime=3.11 cores=1,3,5,7
/proc/5765/stat : 5765 (clasp-1.3.7-x86) R 5763 5765 5765 0 -1 4202496 2224 0 0 0 311 0 0 0 25 0 1 0 325270896 8650752 1858 33554432000 134512640 136139019 4289967840 18446744073709551615 134871026 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/5765/statm: 2112 1858 183 398 0 1712 0
[pid=5749/tid=5757] ppid=5747 vsize=306584 CPUtime=0.08 cores=1,3,5,7
/proc/5749/task/5757/stat : 5757 (python) S 5747 5749 5042 0 -1 4202560 25 1368 0 0 0 0 6 2 19 0 3 0 325266188 313942016 7955 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554434 18446604456271375360 0 0 -1 5 0 0 0
[pid=5749/tid=5764] ppid=5747 vsize=306584 CPUtime=0.08 cores=1,3,5,7
/proc/5749/task/5764/stat : 5764 (python) S 5747 5749 5042 0 -1 4202560 30 1368 0 0 0 0 6 2 20 0 3 0 325270896 313942016 7955 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554434 18446604456271375360 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.15
Current children cumulated vsize (KiB) 1030696
[startup+102.301 s]
/proc/loadavg: 2.04 1.16 0.47 3/438 5777
/proc/meminfo: memFree=29675364/32950928 swapFree=51865260/67111528
[pid=5749] ppid=5747 vsize=316840 CPUtime=0.85 cores=1,3,5,7
/proc/5749/stat : 5749 (python) S 5747 5749 5042 0 -1 4202496 14036 1368 1 0 62 15 6 2 20 0 4 0 325266098 324444160 7961 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 3
/proc/5749/statm: 79210 7961 1876 364 0 14091 0
[pid=5756] ppid=5749 vsize=296328 CPUtime=0.16 cores=1,3,5,7
/proc/5756/stat : 5756 (python) S 5749 5749 5042 0 -1 4202560 1165 0 0 0 7 9 0 0 16 0 2 0 325266188 303439872 6489 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5756/statm: 74082 6489 411 364 0 8969 0
[pid=5758] ppid=5756 vsize=122996 CPUtime=47.04 cores=1,3,5,7
/proc/5758/stat : 5758 (scip-2.0.1.linu) T 5756 5758 5758 0 -1 4202496 37870 0 0 0 4632 72 0 0 25 0 1 0 325266188 125947904 28672 33554432000 4194304 13684479 140733259735280 18446744073709551615 7098915 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/5758/statm: 30749 28672 843 2317 0 28427 0
[pid=5756/tid=5762] ppid=5749 vsize=296328 CPUtime=0 cores=1,3,5,7
/proc/5756/task/5762/stat : 5762 (python) S 5749 5749 5042 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 325270893 303439872 6489 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554946 18446604470291330880 0 0 -1 7 0 0 0
[pid=5763] ppid=5749 vsize=296340 CPUtime=0.16 cores=1,3,5,7
/proc/5763/stat : 5763 (python) S 5749 5749 5042 0 -1 4202560 1113 0 0 0 8 8 0 0 19 0 2 0 325270895 303452160 6469 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5763/statm: 74085 6469 391 364 0 8969 0
[pid=5765] ppid=5763 vsize=16632 CPUtime=48.14 cores=1,3,5,7
/proc/5765/stat : 5765 (clasp-1.3.7-x86) T 5763 5765 5765 0 -1 4202496 4260 0 0 0 4814 0 0 0 25 0 1 0 325270896 17031168 3894 33554432000 134512640 136139019 4289967840 18446744073709551615 134634755 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/5765/statm: 4158 3894 183 398 0 3758 0
[pid=5763/tid=5770] ppid=5749 vsize=296340 CPUtime=0 cores=1,3,5,7
/proc/5763/task/5770/stat : 5770 (python) S 5749 5749 5042 0 -1 4202560 52 0 0 0 0 0 0 0 19 0 2 0 325275712 303452160 6469 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554946 18446604466897630464 0 0 -1 5 0 0 0
[pid=5771] ppid=5749 vsize=306596 CPUtime=0.01 cores=1,3,5,7
/proc/5771/stat : 5771 (python) S 5749 5749 5042 0 -1 4202560 908 0 0 0 0 1 0 0 15 0 1 0 325275714 313954304 6425 33554432000 4194304 5683644 140735164459760 18446744073709551615 218880585286 0 0 16781312 33554946 6616729141934784772 0 0 17 5 0 0 0
/proc/5771/statm: 76649 6425 344 364 0 11530 0
[pid=5773] ppid=5771 vsize=143648 CPUtime=6.11 cores=1,3,5,7
/proc/5773/stat : 5773 (scip-2.0.1.linu) R 5771 5773 5773 0 -1 4202496 38496 0 0 0 583 28 0 0 25 0 1 0 325275714 147095552 30947 33554432000 4194304 15243407 140733954134448 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/5773/statm: 35912 30947 942 2698 0 33207 0
[pid=5749/tid=5757] ppid=5747 vsize=316840 CPUtime=0.08 cores=1,3,5,7
/proc/5749/task/5757/stat : 5757 (python) S 5747 5749 5042 0 -1 4202560 25 1368 0 0 0 0 6 2 19 0 4 0 325266188 324444160 7961 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554434 18446604456271375360 0 0 -1 5 0 0 0
[pid=5749/tid=5764] ppid=5747 vsize=316840 CPUtime=0.08 cores=1,3,5,7
/proc/5749/task/5764/stat : 5764 (python) S 5747 5749 5042 0 -1 4202560 30 1368 0 0 0 0 6 2 20 0 4 0 325270896 324444160 7961 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554434 18446604456271375360 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=5749/tid=5772] ppid=5747 vsize=378984 CPUtime=0.08 cores=1,3,5,7
/proc/5749/task/5772/stat : 5772 (python) S 5747 5749 5042 0 -1 4202560 28 1368 0 0 0 0 6 2 18 0 10 0 325275714 388079616 8123 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554434 18446604456271375360 0 0 -1 5 0 0 0
[pid=5749/tid=5788] ppid=5747 vsize=378984 CPUtime=0.08 cores=1,3,5,7
/proc/5749/task/5788/stat : 5788 (python) S 5747 5749 5042 0 -1 4202560 29 1368 0 0 0 0 6 2 20 0 10 0 325289878 388079616 8123 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554434 18446604456271375360 0 0 -1 5 0 0 0
[pid=5749/tid=5801] ppid=5747 vsize=378984 CPUtime=0.08 cores=1,3,5,7
/proc/5749/task/5801/stat : 5801 (python) S 5747 5749 5042 0 -1 4202560 26 1368 0 0 0 0 6 2 20 0 10 0 325308044 388079616 8123 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554434 18446604456271375360 0 0 -1 5 0 0 0
[pid=5749/tid=5830] ppid=5747 vsize=378984 CPUtime=0.08 cores=1,3,5,7
/proc/5749/task/5830/stat : 5830 (python) S 5747 5749 5042 0 -1 4202560 30 1368 0 0 0 0 6 2 20 0 10 0 325317774 388079616 8123 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554434 18446604456271375360 0 0 -1 1 0 0 0
[pid=5749/tid=5974] ppid=5747 vsize=378984 CPUtime=0.08 cores=1,3,5,7
/proc/5749/task/5974/stat : 5974 (python) S 5747 5749 5042 0 -1 4202560 30 1368 0 0 0 0 6 2 20 0 10 0 325363610 388079616 8123 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554434 18446604456271375360 0 0 -1 1 0 0 0
[pid=5749/tid=6014] ppid=5747 vsize=378984 CPUtime=0.08 cores=1,3,5,7
/proc/5749/task/6014/stat : 6014 (python) S 5747 5749 5042 0 -1 4202560 29 1368 0 0 0 0 6 2 21 0 10 0 325428628 388079616 8123 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554434 18446604456271375360 0 0 -1 1 0 0 0
[pid=5749/tid=6019] ppid=5747 vsize=378984 CPUtime=0.08 cores=1,3,5,7
/proc/5749/task/6019/stat : 6019 (python) S 5747 5749 5042 0 -1 4202560 26 1368 0 0 0 0 6 2 20 0 10 0 325433476 388079616 8123 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554434 18446604456271375360 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 13104556
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792 s]
/proc/loadavg: 2.01 2.04 1.77 3/522 6024
/proc/meminfo: memFree=24103648/32950928 swapFree=51865260/67111528
[pid=5749] ppid=5747 vsize=378984 CPUtime=1.92 cores=1,3,5,7
/proc/5749/stat : 5749 (python) S 5747 5749 5042 0 -1 4202496 20756 1368 1 0 167 17 6 2 18 0 10 0 325266098 388079616 8123 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 3
/proc/5749/statm: 94746 8123 1888 364 0 29609 0
[pid=5756] ppid=5749 vsize=296328 CPUtime=3.84 cores=1,3,5,7
/proc/5756/stat : 5756 (python) S 5749 5749 5042 0 -1 4202560 1247 0 0 0 183 201 0 0 15 0 2 0 325266188 303439872 6490 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5756/statm: 74082 6490 412 364 0 8969 0
[pid=5758] ppid=5756 vsize=152696 CPUtime=1060.53 cores=1,3,5,7
/proc/5758/stat : 5758 (scip-2.0.1.linu) T 5756 5758 5758 0 -1 4202496 44975 0 0 0 104945 1108 0 0 25 0 1 0 325266188 156360704 35611 33554432000 4194304 13684479 140733259735280 18446744073709551615 7361376 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/5758/statm: 38174 35611 875 2317 0 35852 0
[pid=5756/tid=5762] ppid=5749 vsize=296328 CPUtime=0 cores=1,3,5,7
/proc/5756/task/5762/stat : 5762 (python) S 5749 5749 5042 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 2 0 325270893 303439872 6490 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554946 18446604470291330880 0 0 -1 7 0 0 0
[pid=5763] ppid=5749 vsize=296340 CPUtime=0.9 cores=1,3,5,7
/proc/5763/stat : 5763 (python) S 5749 5749 5042 0 -1 4202560 1200 0 0 0 42 48 0 0 18 0 2 0 325270895 303452160 6469 33554432000 4194304 5683644 140735164459760 18446744073709551615 218880585286 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5763/statm: 74085 6469 391 364 0 8969 0
[pid=5765] ppid=5763 vsize=20460 CPUtime=253.6 cores=1,3,5,7
/proc/5765/stat : 5765 (clasp-1.3.7-x86) R 5763 5765 5765 0 -1 4202496 5231 0 0 0 25360 0 0 0 25 0 1 0 325270896 20951040 4865 33554432000 134512640 136139019 4289967840 18446744073709551615 134598373 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/5765/statm: 5115 4865 183 398 0 4715 0
[pid=5763/tid=5770] ppid=5749 vsize=296340 CPUtime=0 cores=1,3,5,7
/proc/5763/task/5770/stat : 5770 (python) S 5749 5749 5042 0 -1 4202560 52 0 0 0 0 0 0 0 18 0 2 0 325275712 303452160 6469 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554946 18446604466897630464 0 0 -1 5 0 0 0
[pid=5771] ppid=5749 vsize=306596 CPUtime=0.54 cores=1,3,5,7
/proc/5771/stat : 5771 (python) S 5749 5749 5042 0 -1 4202560 1156 0 0 0 26 28 0 0 15 0 2 0 325275714 313954304 6473 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5771/statm: 76649 6473 391 364 0 11530 0
[pid=5773] ppid=5771 vsize=122672 CPUtime=142.52 cores=1,3,5,7
/proc/5773/stat : 5773 (scip-2.0.1.linu) T 5771 5773 5773 0 -1 4202496 60778 0 0 0 14179 73 0 0 25 0 1 0 325275714 125616128 28314 33554432000 4194304 15243407 140733954134448 18446744073709551615 8114181 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/5773/statm: 30668 28314 987 2698 0 27963 0
[pid=5771/tid=5779] ppid=5749 vsize=306596 CPUtime=0 cores=1,3,5,7
/proc/5771/task/5779/stat : 5779 (python) S 5749 5749 5042 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 325280454 313954304 6473 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554946 18446604454518560768 0 0 -1 7 0 0 0
[pid=5787] ppid=5749 vsize=316852 CPUtime=0.16 cores=1,3,5,7
/proc/5787/stat : 5787 (python) S 5749 5749 5042 0 -1 4202560 1156 0 0 0 6 10 0 0 17 0 2 0 325289878 324456448 6477 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5787/statm: 79213 6477 391 364 0 14091 0
[pid=5789] ppid=5787 vsize=119472 CPUtime=46.09 cores=1,3,5,7
/proc/5789/stat : 5789 (wbo1.4a) T 5787 5789 5789 0 -1 4202496 29754 0 0 0 4572 37 0 0 25 0 1 0 325289879 122339328 29356 33554432000 134512640 135751879 4289822304 18446744073709551615 134606447 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/5789/statm: 29868 29356 143 303 0 29563 0
[pid=5787/tid=5795] ppid=5749 vsize=316852 CPUtime=0 cores=1,3,5,7
/proc/5787/task/5795/stat : 5795 (python) S 5749 5749 5042 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 325294490 324456448 6477 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554946 18446604456271374464 0 0 -1 7 0 0 0
[pid=5800] ppid=5749 vsize=327108 CPUtime=0.17 cores=1,3,5,7
/proc/5800/stat : 5800 (python) S 5749 5749 5042 0 -1 4202560 1136 0 0 0 8 9 0 0 16 0 2 0 325308044 334958592 6481 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5800/statm: 81777 6481 391 364 0 16652 0
[pid=5802] ppid=5800 vsize=8606576 CPUtime=49.61 cores=1,3,5,7
/proc/5802/stat : 5802 (java) T 5800 5802 5802 0 -1 4202496 168710 0 1 0 4939 22 0 0 15 0 19 0 325308045 8813133824 157027 33554432000 1073741824 1073778376 140736155016560 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5802/statm: 2151644 157027 2245 9 0 2142385 0
[pid=5802/tid=5803] ppid=5800 vsize=8606576 CPUtime=47.42 cores=1,3,5,7
/proc/5802/task/5803/stat : 5803 (java) T 5800 5802 5802 0 -1 4202560 111450 0 1 0 4728 14 0 0 25 0 19 0 325308046 8813133824 157027 33554432000 1073741824 1073778376 140736155016560 18446744073709551615 46912505995598 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 8
[pid=5802/tid=5804] ppid=5800 vsize=8606576 CPUtime=0.1 cores=1,3,5,7
/proc/5802/task/5804/stat : 5804 (java) T 5800 5802 5802 0 -1 4202560 9382 0 0 0 9 1 0 0 15 0 19 0 325308046 8813133824 157027 33554432000 1073741824 1073778376 140736155016560 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=5802/tid=5805] ppid=5800 vsize=8606576 CPUtime=0.05 cores=1,3,5,7
/proc/5802/task/5805/stat : 5805 (java) T 5800 5802 5802 0 -1 4202560 5288 0 0 0 5 0 0 0 15 0 19 0 325308046 8813133824 157027 33554432000 1073741824 1073778376 140736155016560 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5802/tid=5806] ppid=5800 vsize=8606576 CPUtime=0.05 cores=1,3,5,7
/proc/5802/task/5806/stat : 5806 (java) T 5800 5802 5802 0 -1 4202560 4677 0 0 0 5 0 0 0 15 0 19 0 325308046 8813133824 157027 33554432000 1073741824 1073778376 140736155016560 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=5802/tid=5807] ppid=5800 vsize=8606576 CPUtime=0.08 cores=1,3,5,7
/proc/5802/task/5807/stat : 5807 (java) T 5800 5802 5802 0 -1 4202560 5916 0 0 0 8 0 0 0 15 0 19 0 325308046 8813133824 157027 33554432000 1073741824 1073778376 140736155016560 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=5802/tid=5808] ppid=5800 vsize=8606576 CPUtime=0.1 cores=1,3,5,7
/proc/5802/task/5808/stat : 5808 (java) T 5800 5802 5802 0 -1 4202560 8040 0 0 0 9 1 0 0 15 0 19 0 325308046 8813133824 157027 33554432000 1073741824 1073778376 140736155016560 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=5802/tid=5809] ppid=5800 vsize=8606576 CPUtime=0.04 cores=1,3,5,7
/proc/5802/task/5809/stat : 5809 (java) T 5800 5802 5802 0 -1 4202560 4084 0 0 0 4 0 0 0 15 0 19 0 325308046 8813133824 157027 33554432000 1073741824 1073778376 140736155016560 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=5802/tid=5810] ppid=5800 vsize=8606576 CPUtime=0.05 cores=1,3,5,7
/proc/5802/task/5810/stat : 5810 (java) T 5800 5802 5802 0 -1 4202560 4489 0 0 0 5 0 0 0 15 0 19 0 325308046 8813133824 157027 33554432000 1073741824 1073778376 140736155016560 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=5802/tid=5811] ppid=5800 vsize=8606576 CPUtime=0.05 cores=1,3,5,7
/proc/5802/task/5811/stat : 5811 (java) T 5800 5802 5802 0 -1 4202560 4918 0 0 0 5 0 0 0 15 0 19 0 325308046 8813133824 157027 33554432000 1073741824 1073778376 140736155016560 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=5802/tid=5812] ppid=5800 vsize=8606576 CPUtime=0 cores=1,3,5,7
/proc/5802/task/5812/stat : 5812 (java) T 5800 5802 5802 0 -1 4202560 460 0 0 0 0 0 0 0 15 0 19 0 325308047 8813133824 157027 33554432000 1073741824 1073778376 140736155016560 18446744073709551615 218892381696 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5802/tid=5813] ppid=5800 vsize=8606576 CPUtime=0 cores=1,3,5,7
/proc/5802/task/5813/stat : 5813 (java) T 5800 5802 5802 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 325308048 8813133824 157027 33554432000 1073741824 1073778376 140736155016560 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5802/tid=5814] ppid=5800 vsize=8606576 CPUtime=0 cores=1,3,5,7
/proc/5802/task/5814/stat : 5814 (java) T 5800 5802 5802 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 325308048 8813133824 157027 33554432000 1073741824 1073778376 140736155016560 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5802/tid=5815] ppid=5800 vsize=8606576 CPUtime=0 cores=1,3,5,7
/proc/5802/task/5815/stat : 5815 (java) T 5800 5802 5802 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 325308050 8813133824 157027 33554432000 1073741824 1073778376 140736155016560 18446744073709551615 218892388785 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5802/tid=5816] ppid=5800 vsize=8606576 CPUtime=0.75 cores=1,3,5,7
/proc/5802/task/5816/stat : 5816 (java) T 5800 5802 5802 0 -1 4202560 3823 0 0 0 74 1 0 0 15 0 19 0 325308050 8813133824 157027 33554432000 1073741824 1073778376 140736155016560 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5802/tid=5817] ppid=5800 vsize=8606576 CPUtime=0.81 cores=1,3,5,7
/proc/5802/task/5817/stat : 5817 (java) T 5800 5802 5802 0 -1 4202560 4791 0 0 0 81 0 0 0 15 0 19 0 325308050 8813133824 157027 33554432000 1073741824 1073778376 140736155016560 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=5802/tid=5818] ppid=5800 vsize=8606576 CPUtime=0 cores=1,3,5,7
/proc/5802/task/5818/stat : 5818 (java) T 5800 5802 5802 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 325308050 8813133824 157027 33554432000 1073741824 1073778376 140736155016560 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=5802/tid=5819] ppid=5800 vsize=8606576 CPUtime=0 cores=1,3,5,7
/proc/5802/task/5819/stat : 5819 (java) T 5800 5802 5802 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 325308050 8813133824 157027 33554432000 1073741824 1073778376 140736155016560 18446744073709551615 218892381696 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=5802/tid=5821] ppid=5800 vsize=8606576 CPUtime=0 cores=1,3,5,7
/proc/5802/task/5821/stat : 5821 (java) T 5800 5802 5802 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 325308105 8813133824 157027 33554432000 1073741824 1073778376 140736155016560 18446744073709551615 218892381696 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=5800/tid=5826] ppid=5749 vsize=327108 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5826/stat : 5826 (python) S 5749 5749 5042 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 325312821 334958592 6481 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554946 18446604457074884736 0 0 -1 7 0 0 0
[pid=5829] ppid=5749 vsize=337364 CPUtime=0.17 cores=1,3,5,7
/proc/5829/stat : 5829 (python) S 5749 5749 5042 0 -1 4202560 1165 0 0 0 8 9 0 0 17 0 2 0 325317774 345460736 6485 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/5829/statm: 84341 6485 391 364 0 19213 0
[pid=5831] ppid=5829 vsize=87616 CPUtime=47.16 cores=1,3,5,7
/proc/5831/stat : 5831 (bsolo_pb10) T 5829 5831 5831 0 -1 4202496 20190 0 0 0 4706 10 0 0 25 0 1 0 325317775 89718784 19459 33554432000 134512640 137138936 4290921904 18446744073709551615 134542516 0 0 16781312 16384 18446744071562691360 0 0 17 7 0 0 0
/proc/5831/statm: 21904 19459 192 642 0 21260 0
[pid=5829/tid=5927] ppid=5749 vsize=337364 CPUtime=0 cores=1,3,5,7
/proc/5829/task/5927/stat : 5927 (python) S 5749 5749 5042 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 325322500 345460736 6485 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554946 18446604466620806336 0 0 -1 1 0 0 0
[pid=5973] ppid=5749 vsize=347620 CPUtime=0.35 cores=1,3,5,7
/proc/5973/stat : 5973 (python) S 5749 5749 5042 0 -1 4202560 1191 0 0 0 17 18 0 0 16 0 2 0 325363610 355962880 6489 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/5973/statm: 86905 6489 391 364 0 21774 0
[pid=5975] ppid=5973 vsize=288560 CPUtime=96.4 cores=1,3,5,7
/proc/5975/stat : 5975 (bsolo_pb10) T 5973 5975 5975 0 -1 4202496 70438 0 0 0 9613 27 0 0 25 0 1 0 325363610 295485440 69708 33554432000 134512640 137138936 4292245376 18446744073709551615 134542490 0 0 16781312 16384 18446744071562691360 0 0 17 3 0 0 0
/proc/5975/statm: 72140 69708 190 642 0 71496 0
[pid=5973/tid=5983] ppid=5749 vsize=347620 CPUtime=0 cores=1,3,5,7
/proc/5973/task/5983/stat : 5983 (python) S 5749 5749 5042 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 325373253 355962880 6489 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554946 18446604459441221696 0 0 -1 7 0 0 0
[pid=6013] ppid=5749 vsize=358484 CPUtime=0.19 cores=1,3,5,7
/proc/6013/stat : 6013 (python) S 5749 5749 5042 0 -1 4202560 1215 0 0 0 9 10 0 0 16 0 2 0 325428628 367087616 6625 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6013/statm: 89621 6625 397 364 0 24487 0
[pid=6015] ppid=6013 vsize=99288 CPUtime=48.45 cores=1,3,5,7
/proc/6015/stat : 6015 (minion) T 6013 6015 6015 0 -1 4202496 142202 0 0 0 4825 20 0 0 25 0 1 0 325428629 101670912 17552 33554432000 134512640 165565024 4287319488 18446744073709551615 159737071 0 0 16781312 8396802 18446744071562691360 0 0 17 3 0 0 0
/proc/6015/statm: 24822 17552 359 7582 0 17237 0
[pid=6013/tid=6017] ppid=5749 vsize=358484 CPUtime=0 cores=1,3,5,7
/proc/6013/task/6017/stat : 6017 (python) S 5749 5749 5042 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 325433475 367087616 6625 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554946 18446604461666188352 0 0 -1 7 0 0 0
[pid=6018] ppid=5749 vsize=434276 CPUtime=0.17 cores=1,3,5,7
/proc/6018/stat : 6018 (python) S 5749 5749 5042 0 -1 4202560 1211 0 0 0 9 8 0 0 18 0 2 0 325433476 444698624 6630 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/6018/statm: 108569 6630 397 364 0 43432 0
[pid=6020] ppid=6018 vsize=207264 CPUtime=47.24 cores=1,3,5,7
/proc/6020/stat : 6020 (pbct-0.1.2-linu) T 6018 6020 6020 0 -1 4202496 53295 0 0 0 4602 122 0 0 25 0 1 0 325433476 212238336 49641 33554432000 134512640 136422188 4286685808 18446744073709551615 134862222 0 0 16781312 16387 18446744071562691360 0 0 17 3 0 0 0
/proc/6020/statm: 51816 49641 214 467 0 51347 0
[pid=6018/tid=6022] ppid=5749 vsize=434276 CPUtime=0 cores=1,3,5,7
/proc/6018/task/6022/stat : 6022 (python) S 5749 5749 5042 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 325438202 444698624 6630 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554946 18446604465411195008 0 0 -1 7 0 0 0
[pid=5749/tid=5757] ppid=5747 vsize=378984 CPUtime=0.08 cores=1,3,5,7
/proc/5749/task/5757/stat : 5757 (python) S 5747 5749 5042 0 -1 4202560 41 1368 0 0 0 0 6 2 18 0 10 0 325266188 388079616 8123 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554434 18446604456271375360 0 0 -1 5 0 0 0
[pid=5749/tid=5764] ppid=5747 vsize=378984 CPUtime=0.08 cores=1,3,5,7
/proc/5749/task/5764/stat : 5764 (python) S 5747 5749 5042 0 -1 4202560 45 1368 0 0 0 0 6 2 18 0 10 0 325270896 388079616 8123 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554434 18446604456271375360 0 0 -1 7 0 0 0
[pid=5749/tid=5772] ppid=5747 vsize=378984 CPUtime=0.08 cores=1,3,5,7
/proc/5749/task/5772/stat : 5772 (python) S 5747 5749 5042 0 -1 4202560 28 1368 0 0 0 0 6 2 18 0 10 0 325275714 388079616 8123 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554434 18446604456271375360 0 0 -1 5 0 0 0
[pid=5749/tid=5788] ppid=5747 vsize=378984 CPUtime=0.08 cores=1,3,5,7
/proc/5749/task/5788/stat : 5788 (python) S 5747 5749 5042 0 -1 4202560 29 1368 0 0 0 0 6 2 20 0 10 0 325289878 388079616 8123 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554434 18446604456271375360 0 0 -1 5 0 0 0
[pid=5749/tid=5801] ppid=5747 vsize=378984 CPUtime=0.08 cores=1,3,5,7
/proc/5749/task/5801/stat : 5801 (python) S 5747 5749 5042 0 -1 4202560 26 1368 0 0 0 0 6 2 20 0 10 0 325308044 388079616 8123 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554434 18446604456271375360 0 0 -1 5 0 0 0
[pid=5749/tid=5830] ppid=5747 vsize=378984 CPUtime=0.08 cores=1,3,5,7
/proc/5749/task/5830/stat : 5830 (python) S 5747 5749 5042 0 -1 4202560 30 1368 0 0 0 0 6 2 20 0 10 0 325317774 388079616 8123 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554434 18446604456271375360 0 0 -1 1 0 0 0
[pid=5749/tid=5974] ppid=5747 vsize=378984 CPUtime=0.08 cores=1,3,5,7
/proc/5749/task/5974/stat : 5974 (python) S 5747 5749 5042 0 -1 4202560 30 1368 0 0 0 0 6 2 20 0 10 0 325363610 388079616 8123 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554434 18446604456271375360 0 0 -1 1 0 0 0
[pid=5749/tid=6014] ppid=5747 vsize=378984 CPUtime=0.08 cores=1,3,5,7
/proc/5749/task/6014/stat : 6014 (python) S 5747 5749 5042 0 -1 4202560 29 1368 0 0 0 0 6 2 21 0 10 0 325428628 388079616 8123 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554434 18446604456271375360 0 0 -1 1 0 0 0
[pid=5749/tid=6019] ppid=5747 vsize=378984 CPUtime=0.08 cores=1,3,5,7
/proc/5749/task/6019/stat : 6019 (python) S 5747 5749 5042 0 -1 4202560 26 1368 0 0 0 0 6 2 20 0 10 0 325433476 388079616 8123 33554432000 4194304 5683644 140735164459760 18446744073709551615 218892388785 0 0 16781312 33554434 18446604456271375360 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 13104556
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5749 and gives
# childrusage.ru_utime.tv_sec=351
# childrusage.ru_utime.tv_usec=290595
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=175365
# CPU time returned by wait4() is 355.466
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1792.08
CPU time (s): 1800.01
CPU user time (s): 1782.22
CPU system time (s): 17.79
CPU usage (%): 100.443
Max. virtual memory (cumulated for all children) (KiB): 13104556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 351.291
system time used= 4.17537
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89972
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= 8064
involuntary context switches= 1214
runsolver used 11.9532 second user time and 27.2039 second system time
The end