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-3481949-1307576354/watcher-3481949-1307576354 -o /tmp/evaluation-result-3481949-1307576354/solver-3481949-1307576354 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481949-1307576354.opb -seed 150346422 -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: 0.31 0.07 0.02 2/476 2778
/proc/meminfo: memFree=25213280/32951124 swapFree=67057920/67111528
[pid=2778] ppid=2772 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/2778/stat : 2778 (runsolver) S 2772 2778 2733 0 -1 4202560 45 0 0 0 0 0 0 0 22 0 1 0 850051793 12079104 54 33554432000 4194304 5432328 140737129620560 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699207358 0 0 17 4 0 0 0
/proc/2778/statm: 2949 54 34 303 0 2643 0
[startup+0.063849 s]
/proc/loadavg: 0.31 0.07 0.02 2/476 2778
/proc/meminfo: memFree=25213280/32951124 swapFree=67057920/67111528
[pid=2778] ppid=2772 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/2778/stat : 2778 (runsolver) D 2772 2778 2733 0 -1 4202560 45 0 0 0 0 0 0 0 22 0 1 0 850051793 12079104 54 33554432000 4194304 5432328 140737129620560 18446744073709551615 5055479 0 0 4096 24578 18446744071562234166 0 0 17 4 0 0 0
/proc/2778/statm: 2949 54 34 303 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11796
[startup+0.100832 s]
/proc/loadavg: 0.31 0.07 0.02 2/476 2778
/proc/meminfo: memFree=25213280/32951124 swapFree=67057920/67111528
[pid=2778] ppid=2772 vsize=6240 CPUtime=0 cores=0,2,4,6
/proc/2778/stat : 2778 (python) S 2772 2778 2733 0 -1 4194304 96 0 2 0 0 0 0 0 22 0 1 0 850051793 6389760 51 33554432000 4194304 5683644 140737060456592 18446744073709551615 254256692871 0 2147483391 4096 0 18446744071699207358 0 0 17 4 0 0 3
/proc/2778/statm: 1560 51 40 364 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6240
[startup+0.3008 s]
/proc/loadavg: 0.31 0.07 0.02 2/476 2778
/proc/meminfo: memFree=25213280/32951124 swapFree=67057920/67111528
[pid=2778] ppid=2772 vsize=15080 CPUtime=0 cores=0,2,4,6
/proc/2778/stat : 2778 (python) S 2772 2778 2733 0 -1 4202496 610 0 6 0 0 0 0 0 18 0 1 0 850051793 15441920 513 33554432000 4194304 5683644 140737060456592 18446744073709551615 254261612389 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 8
/proc/2778/statm: 3770 513 300 364 0 257 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15080
[startup+0.700726 s]
/proc/loadavg: 0.31 0.07 0.02 2/476 2778
/proc/meminfo: memFree=25213280/32951124 swapFree=67057920/67111528
[pid=2778] ppid=2772 vsize=15184 CPUtime=0 cores=0,2,4,6
/proc/2778/stat : 2778 (python) D 2772 2778 2733 0 -1 4202496 727 0 6 0 0 0 0 0 16 0 1 0 850051793 15548416 622 33554432000 4194304 5683644 140737060456592 18446744073709551615 254261612389 0 0 16781312 2 0 0 0 17 2 0 0 12
/proc/2778/statm: 3796 622 322 364 0 283 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15184
[startup+1.50065 s]
/proc/loadavg: 0.44 0.10 0.03 2/478 2780
/proc/meminfo: memFree=25206568/32951124 swapFree=67057920/67111528
[pid=2778] ppid=2772 vsize=16240 CPUtime=0 cores=0,2,4,6
/proc/2778/stat : 2778 (python) S 2772 2778 2733 0 -1 4202496 1044 0 6 0 0 0 0 0 16 0 1 0 850051793 16629760 922 33554432000 4194304 5683644 140737060456592 18446744073709551615 254261614592 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 18
/proc/2778/statm: 4060 922 381 364 0 547 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16240
[startup+3.10035 s]
/proc/loadavg: 0.44 0.10 0.03 2/478 2780
/proc/meminfo: memFree=25207872/32951124 swapFree=67057920/67111528
[pid=2778] ppid=2772 vsize=16396 CPUtime=0.01 cores=0,2,4,6
/proc/2778/stat : 2778 (python) S 2772 2778 2733 0 -1 4202496 1159 0 6 0 1 0 0 0 16 0 1 0 850051793 16789504 1030 33554432000 4194304 5683644 140737060456592 18446744073709551615 254261614592 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 26
/proc/2778/statm: 4099 1030 414 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
heavy processes:
[startup+6.30078 s]
/proc/loadavg: 0.44 0.10 0.03 2/478 2780
/proc/meminfo: memFree=25200284/32951124 swapFree=67057920/67111528
[pid=2778] ppid=2772 vsize=36836 CPUtime=0.07 cores=0,2,4,6
/proc/2778/stat : 2778 (python) D 2772 2778 2733 0 -1 4202496 1610 0 13 0 5 2 0 0 16 0 1 0 850051793 37720064 1453 33554432000 4194304 5683644 140737060456592 18446744073709551615 254261612389 0 0 16781312 2 0 0 0 17 2 0 0 60
/proc/2778/statm: 9209 1453 452 364 0 1026 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 36836
heavy processes:
[startup+12.7006 s]
/proc/loadavg: 0.45 0.11 0.04 2/478 2780
/proc/meminfo: memFree=25195180/32951124 swapFree=67057920/67111528
[pid=2778] ppid=2772 vsize=52380 CPUtime=0.09 cores=0,2,4,6
/proc/2778/stat : 2778 (python) D 2772 2778 2733 0 -1 4202496 1998 0 18 0 6 3 0 0 16 0 1 0 850051793 53637120 1776 33554432000 4194304 5683644 140737060456592 18446744073709551615 254261614592 0 0 16781312 2 0 0 0 17 2 0 0 148
/proc/2778/statm: 13095 1776 484 364 0 1276 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 52380
heavy processes:
[startup+25.5004 s]
/proc/loadavg: 0.53 0.14 0.05 2/478 2788
/proc/meminfo: memFree=25184692/32951124 swapFree=67057920/67111528
[pid=2778] ppid=2772 vsize=109344 CPUtime=0.18 cores=0,2,4,6
/proc/2778/stat : 2778 (python) D 2772 2778 2733 0 -1 4202496 4501 920 32 9 12 6 0 0 16 0 1 0 850051793 111968256 2995 33554432000 4194304 5683644 140737060456592 18446744073709551615 254261614592 0 0 16781312 2 0 0 0 17 2 0 0 375
/proc/2778/statm: 27336 2995 877 364 0 2032 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 109344
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+31.9182 s]
/proc/loadavg: 0.68 0.18 0.06 2/478 2789
/proc/meminfo: memFree=25143024/32951124 swapFree=67057920/67111528
[pid=2778] ppid=2772 vsize=247544 CPUtime=0.52 cores=0,2,4,6
/proc/2778/stat : 2778 (python) D 2772 2778 2733 0 -1 4202496 7812 920 104 9 33 19 0 0 16 0 1 0 850051793 253485056 6060 33554432000 4194304 5683644 140737060456592 18446744073709551615 254261614592 0 0 16781312 2 0 0 0 17 0 0 0 533
/proc/2778/statm: 61886 6060 1613 364 0 4890 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 247544
[startup+35.1007 s]
/proc/loadavg: 0.68 0.18 0.06 2/477 2820
/proc/meminfo: memFree=25226476/32951124 swapFree=67057920/67111528
[pid=2778] ppid=2772 vsize=293124 CPUtime=0.65 cores=0,2,4,6
/proc/2778/stat : 2778 (python) S 2772 2778 2733 0 -1 4202496 9539 920 113 9 42 23 0 0 17 0 2 0 850051793 300158976 7151 33554432000 4194304 5683644 140737060456592 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 568
/proc/2778/statm: 73281 7151 1870 364 0 8168 0
[pid=2790] ppid=2778 vsize=282880 CPUtime=0 cores=0,2,4,6
/proc/2790/stat : 2790 (python) S 2778 2778 2733 0 -1 4202560 874 0 0 0 0 0 0 0 15 0 1 0 850055150 289669120 5635 33554432000 4194304 5683644 140737060456592 18446744073709551615 254261636623 0 0 16781312 33554946 4294934785 0 0 17 2 0 0 0
/proc/2790/statm: 70720 5635 358 364 0 5607 0
[pid=2796] ppid=2790 vsize=1860 CPUtime=1.52 cores=0,2,4,6
/proc/2796/stat : 2796 (clasp-1.3.7-x86) R 2790 2796 2796 0 -1 4202496 476 0 0 0 152 0 0 0 21 0 1 0 850055151 1904640 219 33554432000 134512640 136139019 4291227312 18446744073709551615 134832057 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/2796/statm: 465 219 184 398 0 65 0
[pid=2778/tid=2794] ppid=2772 vsize=293124 CPUtime=0 cores=0,2,4,6
/proc/2778/task/2794/stat : 2794 (python) S 2772 2778 2733 0 -1 4202560 31 920 0 9 0 0 0 0 18 0 2 0 850055150 300158976 7151 33554432000 4194304 5683644 140737060456592 18446744073709551615 254273440177 0 0 16781312 33554434 18446604441664148480 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 577864
[startup+36.7004 s]
/proc/loadavg: 0.79 0.21 0.07 3/481 2829
/proc/meminfo: memFree=25119964/32951124 swapFree=67057920/67111528
[pid=2778] ppid=2772 vsize=293124 CPUtime=0.65 cores=0,2,4,6
/proc/2778/stat : 2778 (python) S 2772 2778 2733 0 -1 4202496 9539 920 113 9 42 23 0 0 17 0 2 0 850051793 300158976 7151 33554432000 4194304 5683644 140737060456592 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 568
/proc/2778/statm: 73281 7151 1870 364 0 8168 0
[pid=2790] ppid=2778 vsize=282880 CPUtime=0 cores=0,2,4,6
/proc/2790/stat : 2790 (python) S 2778 2778 2733 0 -1 4202560 876 0 0 0 0 0 0 0 15 0 1 0 850055150 289669120 5635 33554432000 4194304 5683644 140737060456592 18446744073709551615 254261636623 0 0 16781312 33554946 2818316252114583552 0 0 17 2 0 0 0
/proc/2790/statm: 70720 5635 358 364 0 5607 0
[pid=2796] ppid=2790 vsize=1860 CPUtime=3.11 cores=0,2,4,6
/proc/2796/stat : 2796 (clasp-1.3.7-x86) R 2790 2796 2796 0 -1 4202496 476 0 0 0 311 0 0 0 25 0 1 0 850055151 1904640 219 33554432000 134512640 136139019 4291227312 18446744073709551615 134831568 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/2796/statm: 465 219 184 398 0 65 0
[pid=2778/tid=2794] ppid=2772 vsize=293124 CPUtime=0 cores=0,2,4,6
/proc/2778/task/2794/stat : 2794 (python) S 2772 2778 2733 0 -1 4202560 31 920 0 9 0 0 0 0 18 0 2 0 850055150 300158976 7151 33554432000 4194304 5683644 140737060456592 18446744073709551615 254273440177 0 0 16781312 33554434 18446604441664148480 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 577864
[startup+37.1003 s]
/proc/loadavg: 0.79 0.21 0.07 3/481 2829
/proc/meminfo: memFree=25119964/32951124 swapFree=67057920/67111528
[pid=2778] ppid=2772 vsize=293124 CPUtime=0.65 cores=0,2,4,6
/proc/2778/stat : 2778 (python) S 2772 2778 2733 0 -1 4202496 9539 920 113 9 42 23 0 0 17 0 2 0 850051793 300158976 7151 33554432000 4194304 5683644 140737060456592 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 568
/proc/2778/statm: 73281 7151 1870 364 0 8168 0
[pid=2790] ppid=2778 vsize=282880 CPUtime=0.02 cores=0,2,4,6
/proc/2790/stat : 2790 (python) S 2778 2778 2733 0 -1 4202560 999 0 0 0 1 1 0 0 15 0 1 0 850055150 289669120 5658 33554432000 4194304 5683644 140737060456592 18446744073709551615 254261636623 0 0 16781312 33554946 4294934785 0 0 17 2 0 0 0
/proc/2790/statm: 70720 5658 381 364 0 5607 0
[pid=2796] ppid=2790 vsize=1860 CPUtime=3.51 cores=0,2,4,6
/proc/2796/stat : 2796 (clasp-1.3.7-x86) R 2790 2796 2796 0 -1 4202496 476 0 0 0 351 0 0 0 25 0 1 0 850055151 1904640 219 33554432000 134512640 136139019 4291227312 18446744073709551615 134876493 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/2796/statm: 465 219 184 398 0 65 0
[pid=2778/tid=2794] ppid=2772 vsize=293124 CPUtime=0 cores=0,2,4,6
/proc/2778/task/2794/stat : 2794 (python) S 2772 2778 2733 0 -1 4202560 31 920 0 9 0 0 0 0 18 0 2 0 850055150 300158976 7151 33554432000 4194304 5683644 140737060456592 18446744073709551615 254273440177 0 0 16781312 33554434 18446604441664148480 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.18
Current children cumulated vsize (KiB) 577864
[startup+37.3003 s]
/proc/loadavg: 0.79 0.21 0.07 3/481 2829
/proc/meminfo: memFree=25068380/32951124 swapFree=67057920/67111528
[pid=2778] ppid=2772 vsize=293124 CPUtime=0.65 cores=0,2,4,6
/proc/2778/stat : 2778 (python) S 2772 2778 2733 0 -1 4202496 9539 920 113 9 42 23 0 0 17 0 2 0 850051793 300158976 7151 33554432000 4194304 5683644 140737060456592 18446744073709551615 254273443275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 568
/proc/2778/statm: 73281 7151 1870 364 0 8168 0
[pid=2790] ppid=2778 vsize=282880 CPUtime=0.02 cores=0,2,4,6
/proc/2790/stat : 2790 (python) S 2778 2778 2733 0 -1 4202560 1000 0 0 0 1 1 0 0 15 0 1 0 850055150 289669120 5658 33554432000 4194304 5683644 140737060456592 18446744073709551615 254261636623 0 0 16781312 33554946 4294934785 0 0 17 2 0 0 0
/proc/2790/statm: 70720 5658 381 364 0 5607 0
[pid=2796] ppid=2790 vsize=1860 CPUtime=3.72 cores=0,2,4,6
/proc/2796/stat : 2796 (clasp-1.3.7-x86) R 2790 2796 2796 0 -1 4202496 477 0 0 0 372 0 0 0 25 0 1 0 850055151 1904640 220 33554432000 134512640 136139019 4291227312 18446744073709551615 134828746 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/2796/statm: 465 220 184 398 0 65 0
[pid=2778/tid=2794] ppid=2772 vsize=293124 CPUtime=0 cores=0,2,4,6
/proc/2778/task/2794/stat : 2794 (python) S 2772 2778 2733 0 -1 4202560 31 920 0 9 0 0 0 0 18 0 2 0 850055150 300158976 7151 33554432000 4194304 5683644 140737060456592 18446744073709551615 254273440177 0 0 16781312 33554434 18446604441664148480 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 577864
Child status: 0
Real time (s): 37.3967
CPU time (s): 4.50931
CPU user time (s): 4.25335
CPU system time (s): 0.255961
CPU usage (%): 12.058
Max. virtual memory (cumulated for all children) (KiB): 577864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.25335
system time used= 0.255961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16570
page faults= 122
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20004
involuntary context switches= 33
runsolver used 0.203968 second user time and 0.474927 second system time
The end