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-3482408-1307577805/watcher-3482408-1307577805 -o /tmp/evaluation-result-3482408-1307577805/solver-3482408-1307577805 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482408-1307577805.opb -seed 58639514 -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.16 2.07 1.61 2/456 3681
/proc/meminfo: memFree=17644768/32951124 swapFree=60787360/67111528
[pid=3681] ppid=3679 vsize=15780 CPUtime=0 cores=1,3,5,7
/proc/3681/stat : 3681 (python) S 3679 3681 3014 0 -1 4202496 903 0 0 0 0 0 0 0 21 0 1 0 869378404 16158720 784 33554432000 4194304 5683644 140736189896400 18446744073709551615 255377299456 0 2147483391 16781312 2 18446744071699453118 0 0 17 3 0 0 0
/proc/3681/statm: 3945 784 346 364 0 432 0
[startup+0.117428 s]
/proc/loadavg: 2.16 2.07 1.61 2/456 3681
/proc/meminfo: memFree=17644768/32951124 swapFree=60787360/67111528
[pid=3681] ppid=3679 vsize=96128 CPUtime=0.09 cores=1,3,5,7
/proc/3681/stat : 3681 (python) R 3679 3681 3014 0 -1 4202496 3168 928 1 0 7 2 0 0 18 0 1 0 869378404 98435072 2483 33554432000 4194304 5683644 140736189896400 18446744073709551615 5170314 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3681/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 96128
[startup+0.200403 s]
/proc/loadavg: 2.16 2.07 1.61 2/456 3681
/proc/meminfo: memFree=17644768/32951124 swapFree=60787360/67111528
[pid=3681] ppid=3679 vsize=123744 CPUtime=0.14 cores=1,3,5,7
/proc/3681/stat : 3681 (python) S 3679 3681 3014 0 -1 4202496 5356 928 1 0 11 3 0 0 17 0 1 0 869378404 126713856 3743 33554432000 4194304 5683644 140736189896400 18446744073709551615 255377299456 0 2147483391 16781312 2 18446744071699453118 0 0 17 3 0 0 0
/proc/3681/statm: 30936 3743 987 364 0 2768 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123744
[startup+0.300393 s]
/proc/loadavg: 2.16 2.07 1.61 2/456 3681
/proc/meminfo: memFree=17644768/32951124 swapFree=60787360/67111528
[pid=3681] ppid=3679 vsize=171344 CPUtime=0.23 cores=1,3,5,7
/proc/3681/stat : 3681 (python) S 3679 3681 3014 0 -1 4202496 6211 928 1 0 18 5 0 0 17 0 1 0 869378404 175456256 4524 33554432000 4194304 5683644 140736189896400 18446744073709551615 255377299456 0 2147483391 16781312 2 18446744071699453118 0 0 17 3 0 0 0
/proc/3681/statm: 42836 4524 1226 364 0 3535 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 171344
[startup+0.700347 s]
/proc/loadavg: 2.16 2.07 1.61 2/456 3681
/proc/meminfo: memFree=17644768/32951124 swapFree=60787360/67111528
[pid=3681] ppid=3679 vsize=287356 CPUtime=0.62 cores=1,3,5,7
/proc/3681/stat : 3681 (python) R 3679 3681 3014 0 -1 4202496 11228 1378 1 0 42 11 8 1 17 0 1 0 869378404 294252544 8114 33554432000 4194304 5683644 140736189896400 18446744073709551615 47503526369989 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3681/statm: 71839 8116 1785 364 0 6732 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 287356
[startup+1.50118 s]
/proc/loadavg: 2.16 2.07 1.61 3/460 3690
/proc/meminfo: memFree=17581108/32951124 swapFree=60787360/67111528
[pid=3681] ppid=3679 vsize=296828 CPUtime=0.82 cores=1,3,5,7
/proc/3681/stat : 3681 (python) S 3679 3681 3014 0 -1 4202496 12409 1378 1 0 62 11 8 1 19 0 2 0 869378404 303951872 8046 33554432000 4194304 5683644 140736189896400 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/3681/statm: 74207 8046 1871 364 0 9094 0
[pid=3688] ppid=3681 vsize=286584 CPUtime=0 cores=1,3,5,7
/proc/3688/stat : 3688 (python) S 3681 3681 3014 0 -1 4202560 722 0 0 0 0 0 0 0 15 0 1 0 869378494 293462016 6490 33554432000 4194304 5683644 140736189896400 18446744073709551615 255377321487 0 0 16781312 33554946 15729166365421961476 0 0 17 5 0 0 0
/proc/3688/statm: 71646 6490 319 364 0 6533 0
[pid=3690] ppid=3688 vsize=81456 CPUtime=0.58 cores=1,3,5,7
/proc/3690/stat : 3690 (scip-2.0.1.linu) R 3688 3690 3690 0 -1 4202496 18734 0 0 0 40 18 0 0 20 0 1 0 869378494 83410944 17695 33554432000 4194304 13684479 140736286631280 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3690/statm: 20364 17695 747 2317 0 18042 0
[pid=3681/tid=3689] ppid=3679 vsize=296828 CPUtime=0.09 cores=1,3,5,7
/proc/3681/task/3689/stat : 3689 (python) S 3679 3681 3014 0 -1 4202560 29 1378 0 0 0 0 8 1 19 0 2 0 869378494 303951872 8046 33554432000 4194304 5683644 140736189896400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604467070503744 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 664868
[startup+3.10089 s]
/proc/loadavg: 2.14 2.07 1.61 3/460 3690
/proc/meminfo: memFree=17542296/32951124 swapFree=60787360/67111528
[pid=3681] ppid=3679 vsize=296828 CPUtime=0.82 cores=1,3,5,7
/proc/3681/stat : 3681 (python) S 3679 3681 3014 0 -1 4202496 12409 1378 1 0 62 11 8 1 19 0 2 0 869378404 303951872 8046 33554432000 4194304 5683644 140736189896400 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/3681/statm: 74207 8046 1871 364 0 9094 0
[pid=3688] ppid=3681 vsize=286584 CPUtime=0 cores=1,3,5,7
/proc/3688/stat : 3688 (python) S 3681 3681 3014 0 -1 4202560 849 0 0 0 0 0 0 0 15 0 1 0 869378494 293462016 6496 33554432000 4194304 5683644 140736189896400 18446744073709551615 255377321487 0 0 16781312 33554946 2898204112698998784 0 0 17 5 0 0 0
/proc/3688/statm: 71646 6496 325 364 0 6533 0
[pid=3690] ppid=3688 vsize=84692 CPUtime=2.18 cores=1,3,5,7
/proc/3690/stat : 3690 (scip-2.0.1.linu) R 3688 3690 3690 0 -1 4202496 19876 0 0 0 198 20 0 0 25 0 1 0 869378494 86724608 18786 33554432000 4194304 13684479 140736286631280 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3690/statm: 21173 18786 763 2317 0 18851 0
[pid=3681/tid=3689] ppid=3679 vsize=296828 CPUtime=0.09 cores=1,3,5,7
/proc/3681/task/3689/stat : 3689 (python) S 3679 3681 3014 0 -1 4202560 29 1378 0 0 0 0 8 1 19 0 2 0 869378494 303951872 8046 33554432000 4194304 5683644 140736189896400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604467070503744 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 668104
[startup+6.30029 s]
/proc/loadavg: 2.14 2.07 1.61 3/460 3690
/proc/meminfo: memFree=17539864/32951124 swapFree=60787360/67111528
[pid=3681] ppid=3679 vsize=296828 CPUtime=0.82 cores=1,3,5,7
/proc/3681/stat : 3681 (python) S 3679 3681 3014 0 -1 4202496 12409 1378 1 0 62 11 8 1 19 0 2 0 869378404 303951872 8046 33554432000 4194304 5683644 140736189896400 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/3681/statm: 74207 8046 1871 364 0 9094 0
[pid=3688] ppid=3681 vsize=286584 CPUtime=0.01 cores=1,3,5,7
/proc/3688/stat : 3688 (python) S 3681 3681 3014 0 -1 4202560 982 0 0 0 0 1 0 0 15 0 1 0 869378494 293462016 6519 33554432000 4194304 5683644 140736189896400 18446744073709551615 255377321487 0 0 16781312 33554946 15729160318108008708 0 0 17 5 0 0 0
/proc/3688/statm: 71646 6519 348 364 0 6533 0
[pid=3690] ppid=3688 vsize=84692 CPUtime=5.38 cores=1,3,5,7
/proc/3690/stat : 3690 (scip-2.0.1.linu) R 3688 3690 3690 0 -1 4202496 19895 0 0 0 514 24 0 0 25 0 1 0 869378494 86724608 18804 33554432000 4194304 13684479 140736286631280 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3690/statm: 21173 18804 770 2317 0 18851 0
[pid=3681/tid=3689] ppid=3679 vsize=296828 CPUtime=0.09 cores=1,3,5,7
/proc/3681/task/3689/stat : 3689 (python) S 3679 3681 3014 0 -1 4202560 29 1378 0 0 0 0 8 1 19 0 2 0 869378494 303951872 8046 33554432000 4194304 5683644 140736189896400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604467070503744 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 668104
[startup+12.7011 s]
/proc/loadavg: 2.12 2.06 1.62 4/460 3690
/proc/meminfo: memFree=17493504/32951124 swapFree=60787360/67111528
[pid=3681] ppid=3679 vsize=296828 CPUtime=0.82 cores=1,3,5,7
/proc/3681/stat : 3681 (python) S 3679 3681 3014 0 -1 4202496 12409 1378 1 0 62 11 8 1 19 0 2 0 869378404 303951872 8046 33554432000 4194304 5683644 140736189896400 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/3681/statm: 74207 8046 1871 364 0 9094 0
[pid=3688] ppid=3681 vsize=286584 CPUtime=0.03 cores=1,3,5,7
/proc/3688/stat : 3688 (python) S 3681 3681 3014 0 -1 4202560 984 0 0 0 1 2 0 0 15 0 1 0 869378494 293462016 6519 33554432000 4194304 5683644 140736189896400 18446744073709551615 255377321487 0 0 16781312 33554946 5623606151888251700 0 0 17 5 0 0 0
/proc/3688/statm: 71646 6519 348 364 0 6533 0
[pid=3690] ppid=3688 vsize=134204 CPUtime=11.77 cores=1,3,5,7
/proc/3690/stat : 3690 (scip-2.0.1.linu) R 3688 3690 3690 0 -1 4202496 35980 0 0 0 1136 41 0 0 25 0 1 0 869378494 137424896 31313 33554432000 4194304 13684479 140736286631280 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3690/statm: 33551 31313 843 2317 0 31229 0
[pid=3681/tid=3689] ppid=3679 vsize=296828 CPUtime=0.09 cores=1,3,5,7
/proc/3681/task/3689/stat : 3689 (python) S 3679 3681 3014 0 -1 4202560 29 1378 0 0 0 0 8 1 19 0 2 0 869378494 303951872 8046 33554432000 4194304 5683644 140736189896400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604467070503744 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 717616
[startup+25.5007 s]
/proc/loadavg: 2.10 2.06 1.62 3/460 3691
/proc/meminfo: memFree=17491288/32951124 swapFree=60787360/67111528
[pid=3681] ppid=3679 vsize=296828 CPUtime=0.82 cores=1,3,5,7
/proc/3681/stat : 3681 (python) S 3679 3681 3014 0 -1 4202496 12409 1378 1 0 62 11 8 1 19 0 2 0 869378404 303951872 8046 33554432000 4194304 5683644 140736189896400 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/3681/statm: 74207 8046 1871 364 0 9094 0
[pid=3688] ppid=3681 vsize=286584 CPUtime=0.08 cores=1,3,5,7
/proc/3688/stat : 3688 (python) S 3681 3681 3014 0 -1 4202560 991 0 0 0 3 5 0 0 15 0 1 0 869378494 293462016 6519 33554432000 4194304 5683644 140736189896400 18446744073709551615 255377321487 0 0 16781312 33554946 5623606151888251700 0 0 17 5 0 0 0
/proc/3688/statm: 71646 6519 348 364 0 6533 0
[pid=3690] ppid=3688 vsize=136776 CPUtime=24.56 cores=1,3,5,7
/proc/3690/stat : 3690 (scip-2.0.1.linu) R 3688 3690 3690 0 -1 4202496 45001 0 0 0 2400 56 0 0 25 0 1 0 869378494 140058624 32005 33554432000 4194304 13684479 140736286631280 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3690/statm: 34194 32005 844 2317 0 31872 0
[pid=3681/tid=3689] ppid=3679 vsize=296828 CPUtime=0.09 cores=1,3,5,7
/proc/3681/task/3689/stat : 3689 (python) S 3679 3681 3014 0 -1 4202560 29 1378 0 0 0 0 8 1 19 0 2 0 869378494 303951872 8046 33554432000 4194304 5683644 140736189896400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604467070503744 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 720188
Solver just ended. Dumping a history of the last processes samples
[startup+25.6007 s]
/proc/loadavg: 2.10 2.06 1.62 3/460 3691
/proc/meminfo: memFree=17491288/32951124 swapFree=60787360/67111528
[pid=3681] ppid=3679 vsize=296828 CPUtime=0.82 cores=1,3,5,7
/proc/3681/stat : 3681 (python) S 3679 3681 3014 0 -1 4202496 12409 1378 1 0 62 11 8 1 19 0 2 0 869378404 303951872 8046 33554432000 4194304 5683644 140736189896400 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/3681/statm: 74207 8046 1871 364 0 9094 0
[pid=3688] ppid=3681 vsize=286584 CPUtime=0.08 cores=1,3,5,7
/proc/3688/stat : 3688 (python) S 3681 3681 3014 0 -1 4202560 991 0 0 0 3 5 0 0 15 0 1 0 869378494 293462016 6519 33554432000 4194304 5683644 140736189896400 18446744073709551615 255377321487 0 0 16781312 33554946 5623606151888251700 0 0 17 5 0 0 0
/proc/3688/statm: 71646 6519 348 364 0 6533 0
[pid=3690] ppid=3688 vsize=136776 CPUtime=24.66 cores=1,3,5,7
/proc/3690/stat : 3690 (scip-2.0.1.linu) R 3688 3690 3690 0 -1 4202496 45001 0 0 0 2410 56 0 0 25 0 1 0 869378494 140058624 32005 33554432000 4194304 13684479 140736286631280 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3690/statm: 34194 32005 844 2317 0 31872 0
[pid=3681/tid=3689] ppid=3679 vsize=296828 CPUtime=0.09 cores=1,3,5,7
/proc/3681/task/3689/stat : 3689 (python) S 3679 3681 3014 0 -1 4202560 29 1378 0 0 0 0 8 1 19 0 2 0 869378494 303951872 8046 33554432000 4194304 5683644 140736189896400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604467070503744 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 720188
[startup+28.8011 s]
/proc/loadavg: 2.09 2.06 1.62 3/460 3691
/proc/meminfo: memFree=17491284/32951124 swapFree=60787360/67111528
[pid=3681] ppid=3679 vsize=296828 CPUtime=0.82 cores=1,3,5,7
/proc/3681/stat : 3681 (python) S 3679 3681 3014 0 -1 4202496 12409 1378 1 0 62 11 8 1 19 0 2 0 869378404 303951872 8046 33554432000 4194304 5683644 140736189896400 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/3681/statm: 74207 8046 1871 364 0 9094 0
[pid=3688] ppid=3681 vsize=286584 CPUtime=0.08 cores=1,3,5,7
/proc/3688/stat : 3688 (python) S 3681 3681 3014 0 -1 4202560 991 0 0 0 3 5 0 0 15 0 1 0 869378494 293462016 6519 33554432000 4194304 5683644 140736189896400 18446744073709551615 255377321487 0 0 16781312 33554946 5623606151888251700 0 0 17 5 0 0 0
/proc/3688/statm: 71646 6519 348 364 0 6533 0
[pid=3690] ppid=3688 vsize=136668 CPUtime=27.86 cores=1,3,5,7
/proc/3690/stat : 3690 (scip-2.0.1.linu) R 3688 3690 3690 0 -1 4202496 50498 0 0 0 2726 60 0 0 25 0 1 0 869378494 139948032 31996 33554432000 4194304 13684479 140736286631280 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3690/statm: 34167 31996 844 2317 0 31845 0
[pid=3681/tid=3689] ppid=3679 vsize=296828 CPUtime=0.09 cores=1,3,5,7
/proc/3681/task/3689/stat : 3689 (python) S 3679 3681 3014 0 -1 4202560 29 1378 0 0 0 0 8 1 19 0 2 0 869378494 303951872 8046 33554432000 4194304 5683644 140736189896400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604467070503744 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 28.76
Current children cumulated vsize (KiB) 720080
[startup+30.4008 s]
/proc/loadavg: 2.09 2.06 1.62 3/460 3691
/proc/meminfo: memFree=17491532/32951124 swapFree=60787360/67111528
[pid=3681] ppid=3679 vsize=296828 CPUtime=0.82 cores=1,3,5,7
/proc/3681/stat : 3681 (python) S 3679 3681 3014 0 -1 4202496 12409 1378 1 0 62 11 8 1 19 0 2 0 869378404 303951872 8046 33554432000 4194304 5683644 140736189896400 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/3681/statm: 74207 8046 1871 364 0 9094 0
[pid=3688] ppid=3681 vsize=286584 CPUtime=0.1 cores=1,3,5,7
/proc/3688/stat : 3688 (python) S 3681 3681 3014 0 -1 4202560 992 0 0 0 4 6 0 0 15 0 1 0 869378494 293462016 6519 33554432000 4194304 5683644 140736189896400 18446744073709551615 255377321487 0 0 16781312 33554946 5623606151888251700 0 0 17 5 0 0 0
/proc/3688/statm: 71646 6519 348 364 0 6533 0
[pid=3690] ppid=3688 vsize=135448 CPUtime=29.45 cores=1,3,5,7
/proc/3690/stat : 3690 (scip-2.0.1.linu) R 3688 3690 3690 0 -1 4202496 51074 0 0 0 2884 61 0 0 25 0 1 0 869378494 138698752 31641 33554432000 4194304 13684479 140736286631280 18446744073709551615 7390467 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/3690/statm: 33862 31641 844 2317 0 31540 0
[pid=3681/tid=3689] ppid=3679 vsize=296828 CPUtime=0.09 cores=1,3,5,7
/proc/3681/task/3689/stat : 3689 (python) S 3679 3681 3014 0 -1 4202560 29 1378 0 0 0 0 8 1 19 0 2 0 869378494 303951872 8046 33554432000 4194304 5683644 140736189896400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604467070503744 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 30.37
Current children cumulated vsize (KiB) 718860
[startup+30.8007 s]
/proc/loadavg: 2.09 2.06 1.62 3/460 3691
/proc/meminfo: memFree=17492524/32951124 swapFree=60787360/67111528
[pid=3681] ppid=3679 vsize=296828 CPUtime=0.82 cores=1,3,5,7
/proc/3681/stat : 3681 (python) S 3679 3681 3014 0 -1 4202496 12409 1378 1 0 62 11 8 1 19 0 2 0 869378404 303951872 8046 33554432000 4194304 5683644 140736189896400 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/3681/statm: 74207 8046 1871 364 0 9094 0
[pid=3688] ppid=3681 vsize=286584 CPUtime=0.1 cores=1,3,5,7
/proc/3688/stat : 3688 (python) S 3681 3681 3014 0 -1 4202560 992 0 0 0 4 6 0 0 15 0 1 0 869378494 293462016 6519 33554432000 4194304 5683644 140736189896400 18446744073709551615 255377321487 0 0 16781312 33554946 5623606151888251700 0 0 17 5 0 0 0
/proc/3688/statm: 71646 6519 348 364 0 6533 0
[pid=3690] ppid=3688 vsize=136128 CPUtime=29.86 cores=1,3,5,7
/proc/3690/stat : 3690 (scip-2.0.1.linu) R 3688 3690 3690 0 -1 4202496 51299 0 0 0 2924 62 0 0 25 0 1 0 869378494 139395072 31866 33554432000 4194304 13684479 140736286631280 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3690/statm: 34032 31866 845 2317 0 31710 0
[pid=3681/tid=3689] ppid=3679 vsize=296828 CPUtime=0.09 cores=1,3,5,7
/proc/3681/task/3689/stat : 3689 (python) S 3679 3681 3014 0 -1 4202560 29 1378 0 0 0 0 8 1 19 0 2 0 869378494 303951872 8046 33554432000 4194304 5683644 140736189896400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604467070503744 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 30.78
Current children cumulated vsize (KiB) 719540
[startup+31.0007 s]
/proc/loadavg: 2.09 2.06 1.62 3/460 3691
/proc/meminfo: memFree=17492524/32951124 swapFree=60787360/67111528
[pid=3681] ppid=3679 vsize=296828 CPUtime=0.82 cores=1,3,5,7
/proc/3681/stat : 3681 (python) S 3679 3681 3014 0 -1 4202496 12409 1378 1 0 62 11 8 1 19 0 2 0 869378404 303951872 8046 33554432000 4194304 5683644 140736189896400 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/3681/statm: 74207 8046 1871 364 0 9094 0
[pid=3688] ppid=3681 vsize=286584 CPUtime=0.1 cores=1,3,5,7
/proc/3688/stat : 3688 (python) R 3681 3681 3014 0 -1 4202560 1003 0 0 0 4 6 0 0 15 0 1 0 869378494 293462016 6519 33554432000 4194304 5683644 140736189896400 18446744073709551615 255389128080 0 0 16781312 33554946 0 0 0 17 5 0 0 0
/proc/3688/statm: 71646 6519 348 364 0 6533 0
[pid=3690] ppid=3688 vsize=147568 CPUtime=30.05 cores=1,3,5,7
/proc/3690/stat : 3690 (scip-2.0.1.linu) R 3688 3690 3690 0 -1 4202496 53766 0 0 0 2941 64 0 0 25 0 1 0 869378494 151109632 34322 33554432000 4194304 13684479 140736286631280 18446744073709551615 10577712 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/3690/statm: 36892 34322 835 2317 0 34570 0
[pid=3681/tid=3689] ppid=3679 vsize=296828 CPUtime=0.09 cores=1,3,5,7
/proc/3681/task/3689/stat : 3689 (python) S 3679 3681 3014 0 -1 4202560 29 1378 0 0 0 0 8 1 19 0 2 0 869378494 303951872 8046 33554432000 4194304 5683644 140736189896400 18446744073709551615 255389125041 0 0 16781312 33554434 18446604467070503744 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 30.97
Current children cumulated vsize (KiB) 730980
Child status: 0
Real time (s): 31.0926
CPU time (s): 31.1093
CPU user time (s): 30.2414
CPU system time (s): 0.867868
CPU usage (%): 100.054
Max. virtual memory (cumulated for all children) (KiB): 730980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.2414
system time used= 0.867868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75030
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= 7565
involuntary context switches= 761
runsolver used 0.131979 second user time and 0.333949 second system time
The end