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-3481480-1307577868/watcher-3481480-1307577868 -o /tmp/evaluation-result-3481480-1307577868/solver-3481480-1307577868 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481480-1307577868.opb -seed 1616702944 -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.33 2.14 1.68 2/717 3748
/proc/meminfo: memFree=20077848/32950928 swapFree=41528364/67111528
[pid=3748] ppid=3746 vsize=15780 CPUtime=0 cores=1,3,5,7
/proc/3748/stat : 3748 (python) R 3746 3748 2544 0 -1 4202496 933 0 0 0 0 0 0 0 25 0 1 0 869385563 16158720 813 33554432000 4194304 5683644 140734982668928 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3748/statm: 3945 815 356 364 0 432 0
[startup+0.0889361 s]
/proc/loadavg: 2.33 2.14 1.68 2/717 3748
/proc/meminfo: memFree=20077848/32950928 swapFree=41528364/67111528
[pid=3748] ppid=3746 vsize=94068 CPUtime=0.05 cores=1,3,5,7
/proc/3748/stat : 3748 (python) S 3746 3748 2544 0 -1 4202496 2796 0 1 0 4 1 0 0 25 0 1 0 869385563 96325632 2469 33554432000 4194304 5683644 140734982668928 18446744073709551615 251814240000 0 0 16781312 2 18446744071562362840 0 0 17 7 0 0 0
/proc/3748/statm: 23517 2469 788 364 0 1628 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 94068
[startup+0.107931 s]
/proc/loadavg: 2.33 2.14 1.68 2/717 3748
/proc/meminfo: memFree=20077848/32950928 swapFree=41528364/67111528
[pid=3748] ppid=3746 vsize=96128 CPUtime=0.07 cores=1,3,5,7
/proc/3748/stat : 3748 (python) R 3746 3748 2544 0 -1 4202496 3169 929 1 0 6 1 0 0 25 0 1 0 869385563 98435072 2484 33554432000 4194304 5683644 140734982668928 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3748/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.300908 s]
/proc/loadavg: 2.33 2.14 1.68 2/717 3748
/proc/meminfo: memFree=20077848/32950928 swapFree=41528364/67111528
[pid=3748] ppid=3746 vsize=203280 CPUtime=0.22 cores=1,3,5,7
/proc/3748/stat : 3748 (python) R 3746 3748 2544 0 -1 4202496 6737 929 1 0 16 6 0 0 25 0 1 0 869385563 208158720 5012 33554432000 4194304 5683644 140734982668928 18446744073709551615 4540064 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/3748/statm: 50820 5012 1472 364 0 3782 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 203280
[startup+1.27174 s]
/proc/loadavg: 2.33 2.14 1.68 2/717 3748
/proc/meminfo: memFree=20077848/32950928 swapFree=41528364/67111528
[pid=3748] ppid=3746 vsize=293524 CPUtime=0.46 cores=1,3,5,7
/proc/3748/stat : 3748 (python) S 3746 3748 2544 0 -1 4202496 10870 1349 1 0 36 10 0 0 25 0 2 0 869385563 300568576 7252 33554432000 4194304 5683644 140734982668928 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3748/statm: 73381 7252 1871 364 0 8268 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 293524
[startup+1.5007 s]
/proc/loadavg: 2.33 2.14 1.68 2/717 3748
/proc/meminfo: memFree=20077848/32950928 swapFree=41528364/67111528
[pid=3748] ppid=3746 vsize=293524 CPUtime=0.46 cores=1,3,5,7
/proc/3748/stat : 3748 (python) S 3746 3748 2544 0 -1 4202496 10870 1349 1 0 36 10 0 0 25 0 2 0 869385563 300568576 7252 33554432000 4194304 5683644 140734982668928 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3748/statm: 73381 7252 1871 364 0 8268 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 293524
[startup+3.10043 s]
/proc/loadavg: 2.46 2.17 1.69 3/721 3757
/proc/meminfo: memFree=20018880/32950928 swapFree=41528364/67111528
[pid=3748] ppid=3746 vsize=293524 CPUtime=0.46 cores=1,3,5,7
/proc/3748/stat : 3748 (python) S 3746 3748 2544 0 -1 4202496 10870 1349 1 0 36 10 0 0 25 0 2 0 869385563 300568576 7252 33554432000 4194304 5683644 140734982668928 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3748/statm: 73381 7252 1871 364 0 8268 0
[pid=3755] ppid=3748 vsize=283280 CPUtime=0 cores=1,3,5,7
/proc/3755/stat : 3755 (python) S 3748 3748 2544 0 -1 4202560 819 0 0 0 0 0 0 0 15 0 1 0 869385619 290078720 5702 33554432000 4194304 5683644 140734982668928 18446744073709551615 251814260239 0 0 16781312 33554946 4079794184704229376 0 0 17 7 0 0 0
/proc/3755/statm: 70820 5702 325 364 0 5707 0
[pid=3757] ppid=3755 vsize=41632 CPUtime=2.52 cores=1,3,5,7
/proc/3757/stat : 3757 (scip-2.0.1.linu) R 3755 3757 3757 0 -1 4202496 9833 0 0 0 232 20 0 0 25 0 1 0 869385619 42631168 8108 33554432000 4194304 13684479 140736338032512 18446744073709551615 11065522 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/3757/statm: 10408 8108 782 2317 0 8086 0
[pid=3748/tid=3756] ppid=3746 vsize=293524 CPUtime=0 cores=1,3,5,7
/proc/3748/task/3756/stat : 3756 (python) S 3746 3748 2544 0 -1 4202560 24 1349 0 0 0 0 0 0 25 0 2 0 869385619 300568576 7252 33554432000 4194304 5683644 140734982668928 18446744073709551615 251826063793 0 0 16781312 33554434 18446604470713091968 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 618436
[startup+6.32288 s]
/proc/loadavg: 2.46 2.17 1.69 3/721 3757
/proc/meminfo: memFree=20021428/32950928 swapFree=41528364/67111528
[pid=3748] ppid=3746 vsize=293524 CPUtime=0.46 cores=1,3,5,7
/proc/3748/stat : 3748 (python) S 3746 3748 2544 0 -1 4202496 10870 1349 1 0 36 10 0 0 25 0 2 0 869385563 300568576 7252 33554432000 4194304 5683644 140734982668928 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3748/statm: 73381 7252 1871 364 0 8268 0
[pid=3755] ppid=3748 vsize=283280 CPUtime=0.02 cores=1,3,5,7
/proc/3755/stat : 3755 (python) S 3748 3748 2544 0 -1 4202560 958 0 0 0 1 1 0 0 15 0 1 0 869385619 290078720 5725 33554432000 4194304 5683644 140734982668928 18446744073709551615 251814260239 0 0 16781312 33554946 4060448823074357248 0 0 17 7 0 0 0
/proc/3755/statm: 70820 5725 348 364 0 5707 0
[pid=3757] ppid=3755 vsize=43268 CPUtime=5.74 cores=1,3,5,7
/proc/3757/stat : 3757 (scip-2.0.1.linu) R 3755 3757 3757 0 -1 4202496 10354 0 0 0 546 28 0 0 25 0 1 0 869385619 44306432 8626 33554432000 4194304 13684479 140736338032512 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/3757/statm: 10817 8626 784 2317 0 8495 0
[pid=3748/tid=3756] ppid=3746 vsize=293524 CPUtime=0 cores=1,3,5,7
/proc/3748/task/3756/stat : 3756 (python) S 3746 3748 2544 0 -1 4202560 24 1349 0 0 0 0 0 0 25 0 2 0 869385619 300568576 7252 33554432000 4194304 5683644 140734982668928 18446744073709551615 251826063793 0 0 16781312 33554434 18446604470713091968 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 620072
[startup+12.7009 s]
/proc/loadavg: 2.47 2.18 1.70 4/721 3757
/proc/meminfo: memFree=20017244/32950928 swapFree=41528364/67111528
[pid=3748] ppid=3746 vsize=293524 CPUtime=0.46 cores=1,3,5,7
/proc/3748/stat : 3748 (python) S 3746 3748 2544 0 -1 4202496 10870 1349 1 0 36 10 0 0 25 0 2 0 869385563 300568576 7252 33554432000 4194304 5683644 140734982668928 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3748/statm: 73381 7252 1871 364 0 8268 0
[pid=3755] ppid=3748 vsize=283280 CPUtime=0.07 cores=1,3,5,7
/proc/3755/stat : 3755 (python) S 3748 3748 2544 0 -1 4202560 965 0 0 0 3 4 0 0 15 0 1 0 869385619 290078720 5725 33554432000 4194304 5683644 140734982668928 18446744073709551615 251814260239 0 0 16781312 33554946 5623753486446373592 0 0 17 7 0 0 0
/proc/3755/statm: 70820 5725 348 364 0 5707 0
[pid=3757] ppid=3755 vsize=45700 CPUtime=12.12 cores=1,3,5,7
/proc/3757/stat : 3757 (scip-2.0.1.linu) R 3755 3757 3757 0 -1 4202496 11017 0 0 0 1158 54 0 0 25 0 1 0 869385619 46796800 9270 33554432000 4194304 13684479 140736338032512 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/3757/statm: 11425 9270 801 2317 0 9103 0
[pid=3748/tid=3756] ppid=3746 vsize=293524 CPUtime=0 cores=1,3,5,7
/proc/3748/task/3756/stat : 3756 (python) S 3746 3748 2544 0 -1 4202560 24 1349 0 0 0 0 0 0 25 0 2 0 869385619 300568576 7252 33554432000 4194304 5683644 140734982668928 18446744073709551615 251826063793 0 0 16781312 33554434 18446604470713091968 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 622504
Solver just ended. Dumping a history of the last processes samples
[startup+13.5007 s]
/proc/loadavg: 2.47 2.18 1.70 3/721 3757
/proc/meminfo: memFree=20017740/32950928 swapFree=41528364/67111528
[pid=3748] ppid=3746 vsize=293524 CPUtime=0.46 cores=1,3,5,7
/proc/3748/stat : 3748 (python) S 3746 3748 2544 0 -1 4202496 10870 1349 1 0 36 10 0 0 25 0 2 0 869385563 300568576 7252 33554432000 4194304 5683644 140734982668928 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3748/statm: 73381 7252 1871 364 0 8268 0
[pid=3755] ppid=3748 vsize=283280 CPUtime=0.07 cores=1,3,5,7
/proc/3755/stat : 3755 (python) S 3748 3748 2544 0 -1 4202560 965 0 0 0 3 4 0 0 15 0 1 0 869385619 290078720 5725 33554432000 4194304 5683644 140734982668928 18446744073709551615 251814260239 0 0 16781312 33554946 5623753486446373592 0 0 17 7 0 0 0
/proc/3755/statm: 70820 5725 348 364 0 5707 0
[pid=3757] ppid=3755 vsize=45700 CPUtime=12.92 cores=1,3,5,7
/proc/3757/stat : 3757 (scip-2.0.1.linu) R 3755 3757 3757 0 -1 4202496 11017 0 0 0 1235 57 0 0 25 0 1 0 869385619 46796800 9270 33554432000 4194304 13684479 140736338032512 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/3757/statm: 11425 9270 801 2317 0 9103 0
[pid=3748/tid=3756] ppid=3746 vsize=293524 CPUtime=0 cores=1,3,5,7
/proc/3748/task/3756/stat : 3756 (python) S 3746 3748 2544 0 -1 4202560 24 1349 0 0 0 0 0 0 25 0 2 0 869385619 300568576 7252 33554432000 4194304 5683644 140734982668928 18446744073709551615 251826063793 0 0 16781312 33554434 18446604470713091968 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 13.45
Current children cumulated vsize (KiB) 622504
[startup+19.9006 s]
/proc/loadavg: 2.43 2.18 1.70 3/721 3757
/proc/meminfo: memFree=20018616/32950928 swapFree=41528364/67111528
[pid=3748] ppid=3746 vsize=293524 CPUtime=0.46 cores=1,3,5,7
/proc/3748/stat : 3748 (python) S 3746 3748 2544 0 -1 4202496 10870 1349 1 0 36 10 0 0 25 0 2 0 869385563 300568576 7252 33554432000 4194304 5683644 140734982668928 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3748/statm: 73381 7252 1871 364 0 8268 0
[pid=3755] ppid=3748 vsize=283280 CPUtime=0.09 cores=1,3,5,7
/proc/3755/stat : 3755 (python) S 3748 3748 2544 0 -1 4202560 967 0 0 0 4 5 0 0 15 0 1 0 869385619 290078720 5725 33554432000 4194304 5683644 140734982668928 18446744073709551615 251814260239 0 0 16781312 33554946 5623606151888251608 0 0 17 5 0 0 0
/proc/3755/statm: 70820 5725 348 364 0 5707 0
[pid=3757] ppid=3755 vsize=45700 CPUtime=19.32 cores=1,3,5,7
/proc/3757/stat : 3757 (scip-2.0.1.linu) R 3755 3757 3757 0 -1 4202496 11018 0 0 0 1851 81 0 0 25 0 1 0 869385619 46796800 9271 33554432000 4194304 13684479 140736338032512 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/3757/statm: 11425 9271 802 2317 0 9103 0
[pid=3748/tid=3756] ppid=3746 vsize=293524 CPUtime=0 cores=1,3,5,7
/proc/3748/task/3756/stat : 3756 (python) S 3746 3748 2544 0 -1 4202560 24 1349 0 0 0 0 0 0 25 0 2 0 869385619 300568576 7252 33554432000 4194304 5683644 140734982668928 18446744073709551615 251826063793 0 0 16781312 33554434 18446604470713091968 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 19.87
Current children cumulated vsize (KiB) 622504
[startup+21.5003 s]
/proc/loadavg: 2.43 2.18 1.70 3/721 3757
/proc/meminfo: memFree=20018152/32950928 swapFree=41528364/67111528
[pid=3748] ppid=3746 vsize=293524 CPUtime=0.46 cores=1,3,5,7
/proc/3748/stat : 3748 (python) S 3746 3748 2544 0 -1 4202496 10870 1349 1 0 36 10 0 0 25 0 2 0 869385563 300568576 7252 33554432000 4194304 5683644 140734982668928 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3748/statm: 73381 7252 1871 364 0 8268 0
[pid=3755] ppid=3748 vsize=283280 CPUtime=0.09 cores=1,3,5,7
/proc/3755/stat : 3755 (python) S 3748 3748 2544 0 -1 4202560 967 0 0 0 4 5 0 0 15 0 1 0 869385619 290078720 5725 33554432000 4194304 5683644 140734982668928 18446744073709551615 251814260239 0 0 16781312 33554946 931262593262157824 0 0 17 5 0 0 0
/proc/3755/statm: 70820 5725 348 364 0 5707 0
[pid=3757] ppid=3755 vsize=45700 CPUtime=20.92 cores=1,3,5,7
/proc/3757/stat : 3757 (scip-2.0.1.linu) R 3755 3757 3757 0 -1 4202496 11019 0 0 0 2006 86 0 0 25 0 1 0 869385619 46796800 9272 33554432000 4194304 13684479 140736338032512 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/3757/statm: 11425 9272 802 2317 0 9103 0
[pid=3748/tid=3756] ppid=3746 vsize=293524 CPUtime=0 cores=1,3,5,7
/proc/3748/task/3756/stat : 3756 (python) S 3746 3748 2544 0 -1 4202560 24 1349 0 0 0 0 0 0 25 0 2 0 869385619 300568576 7252 33554432000 4194304 5683644 140734982668928 18446744073709551615 251826063793 0 0 16781312 33554434 18446604470713091968 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 21.47
Current children cumulated vsize (KiB) 622504
[startup+23.1011 s]
/proc/loadavg: 2.39 2.17 1.70 3/721 3757
/proc/meminfo: memFree=20018772/32950928 swapFree=41528364/67111528
[pid=3748] ppid=3746 vsize=293524 CPUtime=0.46 cores=1,3,5,7
/proc/3748/stat : 3748 (python) S 3746 3748 2544 0 -1 4202496 10870 1349 1 0 36 10 0 0 25 0 2 0 869385563 300568576 7252 33554432000 4194304 5683644 140734982668928 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3748/statm: 73381 7252 1871 364 0 8268 0
[pid=3755] ppid=3748 vsize=283280 CPUtime=0.12 cores=1,3,5,7
/proc/3755/stat : 3755 (python) S 3748 3748 2544 0 -1 4202560 969 0 0 0 5 7 0 0 15 0 1 0 869385619 290078720 5725 33554432000 4194304 5683644 140734982668928 18446744073709551615 251814260239 0 0 16781312 33554946 4294934788 0 0 17 7 0 0 0
/proc/3755/statm: 70820 5725 348 364 0 5707 0
[pid=3757] ppid=3755 vsize=45700 CPUtime=22.52 cores=1,3,5,7
/proc/3757/stat : 3757 (scip-2.0.1.linu) R 3755 3757 3757 0 -1 4202496 11019 0 0 0 2161 91 0 0 25 0 1 0 869385619 46796800 9272 33554432000 4194304 13684479 140736338032512 18446744073709551615 7420041 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/3757/statm: 11425 9272 802 2317 0 9103 0
[pid=3748/tid=3756] ppid=3746 vsize=293524 CPUtime=0 cores=1,3,5,7
/proc/3748/task/3756/stat : 3756 (python) S 3746 3748 2544 0 -1 4202560 24 1349 0 0 0 0 0 0 25 0 2 0 869385619 300568576 7252 33554432000 4194304 5683644 140734982668928 18446744073709551615 251826063793 0 0 16781312 33554434 18446604470713091968 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 23.1
Current children cumulated vsize (KiB) 622504
[startup+23.9229 s]
/proc/loadavg: 2.39 2.17 1.70 3/721 3757
/proc/meminfo: memFree=20018152/32950928 swapFree=41528364/67111528
[pid=3748] ppid=3746 vsize=293524 CPUtime=0.46 cores=1,3,5,7
/proc/3748/stat : 3748 (python) S 3746 3748 2544 0 -1 4202496 10870 1349 1 0 36 10 0 0 25 0 2 0 869385563 300568576 7252 33554432000 4194304 5683644 140734982668928 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3748/statm: 73381 7252 1871 364 0 8268 0
[pid=3755] ppid=3748 vsize=283280 CPUtime=0.12 cores=1,3,5,7
/proc/3755/stat : 3755 (python) S 3748 3748 2544 0 -1 4202560 970 0 0 0 5 7 0 0 15 0 1 0 869385619 290078720 5725 33554432000 4194304 5683644 140734982668928 18446744073709551615 251814260239 0 0 16781312 33554946 1324887498307928064 0 0 17 7 0 0 0
/proc/3755/statm: 70820 5725 348 364 0 5707 0
[pid=3757] ppid=3755 vsize=55904 CPUtime=23.34 cores=1,3,5,7
/proc/3757/stat : 3757 (scip-2.0.1.linu) R 3755 3757 3757 0 -1 4202496 13138 0 0 0 2240 94 0 0 25 0 1 0 869385619 57245696 11391 33554432000 4194304 13684479 140736338032512 18446744073709551615 7431019 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/3757/statm: 13976 11391 826 2317 0 11654 0
[pid=3748/tid=3756] ppid=3746 vsize=293524 CPUtime=0 cores=1,3,5,7
/proc/3748/task/3756/stat : 3756 (python) S 3746 3748 2544 0 -1 4202560 24 1349 0 0 0 0 0 0 25 0 2 0 869385619 300568576 7252 33554432000 4194304 5683644 140734982668928 18446744073709551615 251826063793 0 0 16781312 33554434 18446604470713091968 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 23.92
Current children cumulated vsize (KiB) 632708
[startup+24.3009 s]
/proc/loadavg: 2.39 2.17 1.70 3/721 3757
/proc/meminfo: memFree=20018152/32950928 swapFree=41528364/67111528
[pid=3748] ppid=3746 vsize=293524 CPUtime=0.46 cores=1,3,5,7
/proc/3748/stat : 3748 (python) S 3746 3748 2544 0 -1 4202496 10870 1349 1 0 36 10 0 0 25 0 2 0 869385563 300568576 7252 33554432000 4194304 5683644 140734982668928 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3748/statm: 73381 7252 1871 364 0 8268 0
[pid=3755] ppid=3748 vsize=283280 CPUtime=0.12 cores=1,3,5,7
/proc/3755/stat : 3755 (python) S 3748 3748 2544 0 -1 4202560 970 0 0 0 5 7 0 0 16 0 1 0 869385619 290078720 5725 33554432000 4194304 5683644 140734982668928 18446744073709551615 251814260239 0 0 16781312 33554946 881857520031760384 0 0 17 7 0 0 0
/proc/3755/statm: 70820 5725 348 364 0 5707 0
[pid=3757] ppid=3755 vsize=55904 CPUtime=23.72 cores=1,3,5,7
/proc/3757/stat : 3757 (scip-2.0.1.linu) R 3755 3757 3757 0 -1 4202496 13138 0 0 0 2276 96 0 0 25 0 1 0 869385619 57245696 11391 33554432000 4194304 13684479 140736338032512 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/3757/statm: 13976 11391 826 2317 0 11654 0
[pid=3748/tid=3756] ppid=3746 vsize=293524 CPUtime=0 cores=1,3,5,7
/proc/3748/task/3756/stat : 3756 (python) S 3746 3748 2544 0 -1 4202560 24 1349 0 0 0 0 0 0 25 0 2 0 869385619 300568576 7252 33554432000 4194304 5683644 140734982668928 18446744073709551615 251826063793 0 0 16781312 33554434 18446604470713091968 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.3
Current children cumulated vsize (KiB) 632708
Child status: 0
Real time (s): 24.3561
CPU time (s): 24.4083
CPU user time (s): 23.2525
CPU system time (s): 1.15582
CPU usage (%): 100.214
Max. virtual memory (cumulated for all children) (KiB): 632708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.2525
system time used= 1.15582
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31143
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= 1741
involuntary context switches= 74
runsolver used 0.124981 second user time and 0.341948 second system time
The end