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-3481468-1307577858/watcher-3481468-1307577858 -o /tmp/evaluation-result-3481468-1307577858/solver-3481468-1307577858 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481468-1307577858.opb -seed 1713033268 -budget 1800
running on 4 cores: 0,2,4,6
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.03 2.07 1.65 2/709 3620
/proc/meminfo: memFree=20264648/32950928 swapFree=41528364/67111528
[pid=3620] ppid=3618 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/3620/stat : 3620 (python) R 3618 3620 2544 0 -1 4202496 812 0 0 0 0 0 0 0 24 0 1 0 869384522 15753216 697 33554432000 4194304 5683644 140737319296336 18446744073709551615 251814236005 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3620/statm: 3846 697 334 364 0 333 0
[startup+0.0841339 s]
/proc/loadavg: 2.03 2.07 1.65 2/709 3620
/proc/meminfo: memFree=20264648/32950928 swapFree=41528364/67111528
[pid=3620] ppid=3618 vsize=84568 CPUtime=0.06 cores=0,2,4,6
/proc/3620/stat : 3620 (python) R 3618 3620 2544 0 -1 4202496 2399 0 0 0 4 2 0 0 17 0 1 0 869384522 86597632 2127 33554432000 4194304 5683644 140737319296336 18446744073709551615 251813900997 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3620/statm: 21142 2127 707 364 0 1359 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 84568
[startup+0.101214 s]
/proc/loadavg: 2.03 2.07 1.65 2/709 3620
/proc/meminfo: memFree=20264648/32950928 swapFree=41528364/67111528
[pid=3620] ppid=3618 vsize=94068 CPUtime=0.07 cores=0,2,4,6
/proc/3620/stat : 3620 (python) S 3618 3620 2544 0 -1 4202496 2797 0 1 0 5 2 0 0 17 0 1 0 869384522 96325632 2469 33554432000 4194304 5683644 140737319296336 18446744073709551615 251814240000 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/3620/statm: 23517 2469 788 364 0 1628 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 94068
[startup+0.301092 s]
/proc/loadavg: 2.03 2.07 1.65 2/709 3620
/proc/meminfo: memFree=20264648/32950928 swapFree=41528364/67111528
[pid=3620] ppid=3618 vsize=168312 CPUtime=0.23 cores=0,2,4,6
/proc/3620/stat : 3620 (python) R 3618 3620 2544 0 -1 4202496 5976 928 1 0 15 8 0 0 17 0 1 0 869384522 172351488 4293 33554432000 4194304 5683644 140737319296336 18446744073709551615 47491650842069 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3620/statm: 42078 4293 1200 364 0 3295 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 168312
[startup+0.700934 s]
/proc/loadavg: 2.03 2.07 1.65 2/709 3620
/proc/meminfo: memFree=20264648/32950928 swapFree=41528364/67111528
[pid=3620] ppid=3618 vsize=261408 CPUtime=0.36 cores=0,2,4,6
/proc/3620/stat : 3620 (python) D 3618 3620 2544 0 -1 4202496 8255 928 1 0 25 11 0 0 17 0 1 0 869384522 267681792 6352 33554432000 4194304 5683644 140737319296336 18446744073709551615 251814245943 0 0 16781312 2 18446744071562154983 0 0 17 4 0 0 0
/proc/3620/statm: 65352 6352 1677 364 0 5068 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 261408
[startup+1.5008 s]
/proc/loadavg: 2.03 2.07 1.65 3/718 3643
/proc/meminfo: memFree=20097116/32950928 swapFree=41528364/67111528
[pid=3620] ppid=3618 vsize=293396 CPUtime=0.47 cores=0,2,4,6
/proc/3620/stat : 3620 (python) S 3618 3620 2544 0 -1 4202496 10743 1323 1 0 35 12 0 0 20 0 2 0 869384522 300437504 7210 33554432000 4194304 5683644 140737319296336 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 29
/proc/3620/statm: 73349 7210 1871 364 0 8236 0
[pid=3632] ppid=3620 vsize=283152 CPUtime=0 cores=0,2,4,6
/proc/3632/stat : 3632 (python) S 3620 3620 2544 0 -1 4202560 841 0 0 0 0 0 0 0 15 0 1 0 869384610 289947648 5660 33554432000 4194304 5683644 140737319296336 18446744073709551615 251814260239 0 0 16781312 33554946 1111833489516265472 0 0 17 4 0 0 0
/proc/3632/statm: 70788 5660 325 364 0 5675 0
[pid=3634] ppid=3632 vsize=30532 CPUtime=0.62 cores=0,2,4,6
/proc/3634/stat : 3634 (scip-2.0.1.linu) R 3632 3634 3634 0 -1 4202496 6716 0 0 0 51 11 0 0 22 0 1 0 869384610 31264768 5380 33554432000 4194304 13684479 140736184897648 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3634/statm: 7633 5380 785 2317 0 5311 0
[pid=3620/tid=3633] ppid=3618 vsize=293396 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3633/stat : 3633 (python) S 3618 3620 2544 0 -1 4202560 29 1323 0 0 0 0 0 0 20 0 2 0 869384610 300437504 7210 33554432000 4194304 5683644 140737319296336 18446744073709551615 251826063793 0 0 16781312 33554434 18446604448208665536 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 607080
[startup+3.10053 s]
/proc/loadavg: 2.19 2.11 1.66 3/718 3645
/proc/meminfo: memFree=20082984/32950928 swapFree=41528364/67111528
[pid=3620] ppid=3618 vsize=293396 CPUtime=0.47 cores=0,2,4,6
/proc/3620/stat : 3620 (python) S 3618 3620 2544 0 -1 4202496 10743 1323 1 0 35 12 0 0 20 0 2 0 869384522 300437504 7210 33554432000 4194304 5683644 140737319296336 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 29
/proc/3620/statm: 73349 7210 1871 364 0 8236 0
[pid=3632] ppid=3620 vsize=283152 CPUtime=0.01 cores=0,2,4,6
/proc/3632/stat : 3632 (python) S 3620 3620 2544 0 -1 4202560 858 0 0 0 1 0 0 0 15 0 1 0 869384610 289947648 5660 33554432000 4194304 5683644 140737319296336 18446744073709551615 251814260239 0 0 16781312 33554946 3137994099634733056 0 0 17 4 0 0 0
/proc/3632/statm: 70788 5660 325 364 0 5675 0
[pid=3634] ppid=3632 vsize=32116 CPUtime=2.2 cores=0,2,4,6
/proc/3634/stat : 3634 (scip-2.0.1.linu) R 3632 3634 3634 0 -1 4202496 8031 0 0 0 204 16 0 0 25 0 1 0 869384610 32886784 5870 33554432000 4194304 13684479 140736184897648 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3634/statm: 8029 5870 800 2317 0 5707 0
[pid=3620/tid=3633] ppid=3618 vsize=293396 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3633/stat : 3633 (python) S 3618 3620 2544 0 -1 4202560 29 1323 0 0 0 0 0 0 20 0 2 0 869384610 300437504 7210 33554432000 4194304 5683644 140737319296336 18446744073709551615 251826063793 0 0 16781312 33554434 18446604448208665536 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 608664
Solver just ended. Dumping a history of the last processes samples
[startup+3.60045 s]
/proc/loadavg: 2.19 2.11 1.66 3/718 3645
/proc/meminfo: memFree=20082984/32950928 swapFree=41528364/67111528
[pid=3620] ppid=3618 vsize=293396 CPUtime=0.47 cores=0,2,4,6
/proc/3620/stat : 3620 (python) S 3618 3620 2544 0 -1 4202496 10743 1323 1 0 35 12 0 0 20 0 2 0 869384522 300437504 7210 33554432000 4194304 5683644 140737319296336 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 29
/proc/3620/statm: 73349 7210 1871 364 0 8236 0
[pid=3632] ppid=3620 vsize=283152 CPUtime=0.01 cores=0,2,4,6
/proc/3632/stat : 3632 (python) S 3620 3620 2544 0 -1 4202560 858 0 0 0 1 0 0 0 15 0 1 0 869384610 289947648 5660 33554432000 4194304 5683644 140737319296336 18446744073709551615 251814260239 0 0 16781312 33554946 376072090966556672 0 0 17 4 0 0 0
/proc/3632/statm: 70788 5660 325 364 0 5675 0
[pid=3634] ppid=3632 vsize=32116 CPUtime=2.69 cores=0,2,4,6
/proc/3634/stat : 3634 (scip-2.0.1.linu) R 3632 3634 3634 0 -1 4202496 8033 0 0 0 252 17 0 0 25 0 1 0 869384610 32886784 5872 33554432000 4194304 13684479 140736184897648 18446744073709551615 7415599 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/3634/statm: 8029 5872 802 2317 0 5707 0
[pid=3620/tid=3633] ppid=3618 vsize=293396 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3633/stat : 3633 (python) S 3618 3620 2544 0 -1 4202560 29 1323 0 0 0 0 0 0 20 0 2 0 869384610 300437504 7210 33554432000 4194304 5683644 140737319296336 18446744073709551615 251826063793 0 0 16781312 33554434 18446604448208665536 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 608664
[startup+4.40031 s]
/proc/loadavg: 2.19 2.11 1.66 3/721 3648
/proc/meminfo: memFree=20040676/32950928 swapFree=41528364/67111528
[pid=3620] ppid=3618 vsize=293396 CPUtime=0.47 cores=0,2,4,6
/proc/3620/stat : 3620 (python) S 3618 3620 2544 0 -1 4202496 10743 1323 1 0 35 12 0 0 20 0 2 0 869384522 300437504 7210 33554432000 4194304 5683644 140737319296336 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 29
/proc/3620/statm: 73349 7210 1871 364 0 8236 0
[pid=3632] ppid=3620 vsize=283152 CPUtime=0.03 cores=0,2,4,6
/proc/3632/stat : 3632 (python) S 3620 3620 2544 0 -1 4202560 987 0 0 0 2 1 0 0 16 0 1 0 869384610 289947648 5683 33554432000 4194304 5683644 140737319296336 18446744073709551615 251814260239 0 0 16781312 33554946 4567614950981206274 0 0 17 2 0 0 0
/proc/3632/statm: 70788 5683 348 364 0 5675 0
[pid=3634] ppid=3632 vsize=32116 CPUtime=3.49 cores=0,2,4,6
/proc/3634/stat : 3634 (scip-2.0.1.linu) R 3632 3634 3634 0 -1 4202496 8033 0 0 0 328 21 0 0 25 0 1 0 869384610 32886784 5872 33554432000 4194304 13684479 140736184897648 18446744073709551615 7355889 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/3634/statm: 8029 5872 802 2317 0 5707 0
[pid=3620/tid=3633] ppid=3618 vsize=293396 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3633/stat : 3633 (python) S 3618 3620 2544 0 -1 4202560 29 1323 0 0 0 0 0 0 20 0 2 0 869384610 300437504 7210 33554432000 4194304 5683644 140737319296336 18446744073709551615 251826063793 0 0 16781312 33554434 18446604448208665536 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 608664
[startup+5.20118 s]
/proc/loadavg: 2.19 2.11 1.66 2/714 3671
/proc/meminfo: memFree=20204912/32950928 swapFree=41528364/67111528
[pid=3620] ppid=3618 vsize=293396 CPUtime=0.47 cores=0,2,4,6
/proc/3620/stat : 3620 (python) S 3618 3620 2544 0 -1 4202496 10743 1323 1 0 35 12 0 0 20 0 2 0 869384522 300437504 7210 33554432000 4194304 5683644 140737319296336 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 29
/proc/3620/statm: 73349 7210 1871 364 0 8236 0
[pid=3632] ppid=3620 vsize=283152 CPUtime=0.03 cores=0,2,4,6
/proc/3632/stat : 3632 (python) S 3620 3620 2544 0 -1 4202560 987 0 0 0 2 1 0 0 16 0 1 0 869384610 289947648 5683 33554432000 4194304 5683644 140737319296336 18446744073709551615 251814260239 0 0 16781312 33554946 4567614950981206274 0 0 17 2 0 0 0
/proc/3632/statm: 70788 5683 348 364 0 5675 0
[pid=3634] ppid=3632 vsize=32116 CPUtime=4.29 cores=0,2,4,6
/proc/3634/stat : 3634 (scip-2.0.1.linu) R 3632 3634 3634 0 -1 4202496 8033 0 0 0 405 24 0 0 25 0 1 0 869384610 32886784 5872 33554432000 4194304 13684479 140736184897648 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3634/statm: 8029 5872 802 2317 0 5707 0
[pid=3620/tid=3633] ppid=3618 vsize=293396 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3633/stat : 3633 (python) S 3618 3620 2544 0 -1 4202560 29 1323 0 0 0 0 0 0 20 0 2 0 869384610 300437504 7210 33554432000 4194304 5683644 140737319296336 18446744073709551615 251826063793 0 0 16781312 33554434 18446604448208665536 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 608664
[startup+5.40126 s]
/proc/loadavg: 2.19 2.11 1.66 2/714 3671
/proc/meminfo: memFree=20204912/32950928 swapFree=41528364/67111528
[pid=3620] ppid=3618 vsize=293396 CPUtime=0.47 cores=0,2,4,6
/proc/3620/stat : 3620 (python) S 3618 3620 2544 0 -1 4202496 10743 1323 1 0 35 12 0 0 20 0 2 0 869384522 300437504 7210 33554432000 4194304 5683644 140737319296336 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 29
/proc/3620/statm: 73349 7210 1871 364 0 8236 0
[pid=3632] ppid=3620 vsize=283152 CPUtime=0.03 cores=0,2,4,6
/proc/3632/stat : 3632 (python) S 3620 3620 2544 0 -1 4202560 987 0 0 0 2 1 0 0 15 0 1 0 869384610 289947648 5683 33554432000 4194304 5683644 140737319296336 18446744073709551615 251814260239 0 0 16781312 33554946 4567614950981206274 0 0 17 2 0 0 0
/proc/3632/statm: 70788 5683 348 364 0 5675 0
[pid=3634] ppid=3632 vsize=32116 CPUtime=4.49 cores=0,2,4,6
/proc/3634/stat : 3634 (scip-2.0.1.linu) R 3632 3634 3634 0 -1 4202496 8039 0 0 0 425 24 0 0 25 0 1 0 869384610 32886784 5878 33554432000 4194304 13684479 140736184897648 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3634/statm: 8029 5878 808 2317 0 5707 0
[pid=3620/tid=3633] ppid=3618 vsize=293396 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3633/stat : 3633 (python) S 3618 3620 2544 0 -1 4202560 29 1323 0 0 0 0 0 0 20 0 2 0 869384610 300437504 7210 33554432000 4194304 5683644 140737319296336 18446744073709551615 251826063793 0 0 16781312 33554434 18446604448208665536 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.99
Current children cumulated vsize (KiB) 608664
[startup+5.50113 s]
/proc/loadavg: 2.19 2.11 1.66 2/714 3671
/proc/meminfo: memFree=20204912/32950928 swapFree=41528364/67111528
[pid=3620] ppid=3618 vsize=293396 CPUtime=0.47 cores=0,2,4,6
/proc/3620/stat : 3620 (python) S 3618 3620 2544 0 -1 4202496 10743 1323 1 0 35 12 0 0 20 0 2 0 869384522 300437504 7210 33554432000 4194304 5683644 140737319296336 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 29
/proc/3620/statm: 73349 7210 1871 364 0 8236 0
[pid=3632] ppid=3620 vsize=283152 CPUtime=0.03 cores=0,2,4,6
/proc/3632/stat : 3632 (python) S 3620 3620 2544 0 -1 4202560 987 0 0 0 2 1 0 0 15 0 1 0 869384610 289947648 5683 33554432000 4194304 5683644 140737319296336 18446744073709551615 251814260239 0 0 16781312 33554946 4567614950981206274 0 0 17 2 0 0 0
/proc/3632/statm: 70788 5683 348 364 0 5675 0
[pid=3634] ppid=3632 vsize=32116 CPUtime=4.59 cores=0,2,4,6
/proc/3634/stat : 3634 (scip-2.0.1.linu) R 3632 3634 3634 0 -1 4202496 8039 0 0 0 434 25 0 0 25 0 1 0 869384610 32886784 5878 33554432000 4194304 13684479 140736184897648 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/3634/statm: 8029 5878 808 2317 0 5707 0
[pid=3620/tid=3633] ppid=3618 vsize=293396 CPUtime=0 cores=0,2,4,6
/proc/3620/task/3633/stat : 3633 (python) S 3618 3620 2544 0 -1 4202560 29 1323 0 0 0 0 0 0 20 0 2 0 869384610 300437504 7210 33554432000 4194304 5683644 140737319296336 18446744073709551615 251826063793 0 0 16781312 33554434 18446604448208665536 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.09
Current children cumulated vsize (KiB) 608664
Child status: 0
Real time (s): 5.5926
CPU time (s): 5.2252
CPU user time (s): 4.81627
CPU system time (s): 0.408937
CPU usage (%): 93.4307
Max. virtual memory (cumulated for all children) (KiB): 608820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.81627
system time used= 0.408937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25879
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= 5046
involuntary context switches= 610
runsolver used 0.032994 second user time and 0.072988 second system time
The end