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-3482550-1307576441/watcher-3482550-1307576441 -o /tmp/evaluation-result-3482550-1307576441/solver-3482550-1307576441 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482550-1307576441.opb -seed 1919133569 -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.16 0.03 0.01 3/428 16219
/proc/meminfo: memFree=29614408/32951124 swapFree=43324008/67111528
[pid=16219] ppid=16215 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/16219/stat : 16219 (runsolver) D 16215 16219 16182 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 1 0 869245500 12079104 53 33554432000 4194304 5432328 140734063578656 18446744073709551615 5055479 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/16219/statm: 2949 53 34 303 0 2643 0
[startup+0.0347681 s]
/proc/loadavg: 0.16 0.03 0.01 3/428 16219
/proc/meminfo: memFree=29614408/32951124 swapFree=43324008/67111528
[pid=16219] ppid=16215 vsize=1964 CPUtime=0 cores=0,2,4,6
/proc/16219/stat : 16219 (python) D 16215 16219 16182 0 -1 4194304 76 0 1 0 0 0 0 0 20 0 1 0 869245500 2011136 29 33554432000 4194304 5683644 140737472953888 18446744073709551615 244442022928 0 0 4096 0 18446744071562234166 0 0 17 6 0 0 1
/proc/16219/statm: 491 29 21 364 0 37 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1964
[startup+0.100728 s]
/proc/loadavg: 0.16 0.03 0.01 3/428 16219
/proc/meminfo: memFree=29614408/32951124 swapFree=43324008/67111528
[pid=16219] ppid=16215 vsize=15080 CPUtime=0 cores=0,2,4,6
/proc/16219/stat : 16219 (python) S 16215 16219 16182 0 -1 4202496 609 0 6 0 0 0 0 0 20 0 1 0 869245500 15441920 511 33554432000 4194304 5683644 140737472953888 18446744073709551615 244446941029 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 3
/proc/16219/statm: 3770 511 298 364 0 257 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15080
[startup+0.300703 s]
/proc/loadavg: 0.16 0.03 0.01 3/428 16219
/proc/meminfo: memFree=29614408/32951124 swapFree=43324008/67111528
[pid=16219] ppid=16215 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/16219/stat : 16219 (python) S 16215 16219 16182 0 -1 4202496 787 0 6 0 0 0 0 0 17 0 1 0 869245500 15749120 680 33554432000 4194304 5683644 140737472953888 18446744073709551615 244446943232 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 5
/proc/16219/statm: 3845 680 322 364 0 332 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15380
[startup+0.700617 s]
/proc/loadavg: 0.16 0.03 0.01 3/428 16219
/proc/meminfo: memFree=29614408/32951124 swapFree=43324008/67111528
[pid=16219] ppid=16215 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/16219/stat : 16219 (python) S 16215 16219 16182 0 -1 4202496 922 0 6 0 0 0 0 0 15 0 1 0 869245500 16154624 807 33554432000 4194304 5683644 140737472953888 18446744073709551615 244446943232 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 9
/proc/16219/statm: 3944 807 356 364 0 431 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15776
[startup+1.50052 s]
/proc/loadavg: 0.16 0.03 0.01 2/430 16222
/proc/meminfo: memFree=29609420/32951124 swapFree=43324008/67111528
[pid=16219] ppid=16215 vsize=23208 CPUtime=0.04 cores=0,2,4,6
/proc/16219/stat : 16219 (python) S 16215 16219 16182 0 -1 4202496 1316 0 9 0 4 0 0 0 16 0 1 0 869245500 23764992 1173 33554432000 4194304 5683644 140737472953888 18446744073709551615 244446943232 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 16
/proc/16219/statm: 5802 1173 432 364 0 729 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 23208
[startup+3.10119 s]
/proc/loadavg: 0.16 0.03 0.01 2/430 16222
/proc/meminfo: memFree=29597532/32951124 swapFree=43324008/67111528
[pid=16219] ppid=16215 vsize=120984 CPUtime=0.27 cores=0,2,4,6
/proc/16219/stat : 16219 (python) R 16215 16219 16182 0 -1 4202496 5154 925 37 9 21 6 0 0 16 0 1 0 869245500 123887616 3604 33554432000 4194304 5683644 140737472953888 18446744073709551615 4499538 0 0 16781312 2 0 0 0 17 4 0 0 32
/proc/16219/statm: 30246 3604 925 364 0 2695 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 120984
heavy processes:
[startup+6.30062 s]
/proc/loadavg: 0.15 0.03 0.01 2/430 16230
/proc/meminfo: memFree=29566208/32951124 swapFree=43324008/67111528
[pid=16219] ppid=16215 vsize=222436 CPUtime=0.47 cores=0,2,4,6
/proc/16219/stat : 16219 (python) D 16215 16219 16182 0 -1 4202496 7109 925 91 9 33 14 0 0 16 0 1 0 869245500 227774464 5402 33554432000 4194304 5683644 140737472953888 18446744073709551615 244446943232 0 0 16781312 2 0 0 0 17 2 0 0 217
/proc/16219/statm: 55609 5402 1547 364 0 4054 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 222436
heavy processes:
[startup+12.7004 s]
/proc/loadavg: 0.29 0.06 0.02 4/436 16236
/proc/meminfo: memFree=29512288/32951124 swapFree=43324008/67111528
[pid=16219] ppid=16215 vsize=293088 CPUtime=0.67 cores=0,2,4,6
/proc/16219/stat : 16219 (python) S 16215 16219 16182 0 -1 4202496 9523 925 111 9 49 18 0 0 18 0 2 0 869245500 300122112 7143 33554432000 4194304 5683644 140737472953888 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 223
/proc/16219/statm: 73272 7143 1870 364 0 8159 0
[pid=16232] ppid=16219 vsize=282844 CPUtime=0.01 cores=0,2,4,6
/proc/16232/stat : 16232 (python) S 16219 16219 16182 0 -1 4202560 861 0 0 0 1 0 0 0 18 0 1 0 869246183 289632256 5645 33554432000 4194304 5683644 140737472953888 18446744073709551615 244446965263 0 0 16781312 33554946 1118456526655160578 0 0 17 4 0 0 0
/proc/16232/statm: 70711 5645 376 364 0 5598 0
[pid=16236] ppid=16232 vsize=7976 CPUtime=5.85 cores=0,2,4,6
/proc/16236/stat : 16236 (pbct-0.1.2-linu) R 16232 16236 16236 0 -1 4202496 1886 0 0 0 536 49 0 0 25 0 1 0 869246184 8167424 1630 33554432000 134512640 136422188 4293005552 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/16236/statm: 1994 1630 213 467 0 1525 0
[pid=16219/tid=16234] ppid=16215 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/16219/task/16234/stat : 16234 (python) S 16215 16219 16182 0 -1 4202560 27 925 0 9 0 0 0 0 18 0 2 0 869246184 300122112 7143 33554432000 4194304 5683644 140737472953888 18446744073709551615 244458768817 0 0 16781312 33554434 18446604452295606336 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.53
Current children cumulated vsize (KiB) 583908
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+13.5003 s]
/proc/loadavg: 0.29 0.06 0.02 4/436 16236
/proc/meminfo: memFree=29513076/32951124 swapFree=43324008/67111528
[pid=16219] ppid=16215 vsize=293088 CPUtime=0.67 cores=0,2,4,6
/proc/16219/stat : 16219 (python) S 16215 16219 16182 0 -1 4202496 9523 925 111 9 49 18 0 0 18 0 2 0 869245500 300122112 7143 33554432000 4194304 5683644 140737472953888 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 223
/proc/16219/statm: 73272 7143 1870 364 0 8159 0
[pid=16232] ppid=16219 vsize=282844 CPUtime=0.01 cores=0,2,4,6
/proc/16232/stat : 16232 (python) S 16219 16219 16182 0 -1 4202560 861 0 0 0 1 0 0 0 18 0 1 0 869246183 289632256 5645 33554432000 4194304 5683644 140737472953888 18446744073709551615 244446965263 0 0 16781312 33554946 1118456526655160578 0 0 17 4 0 0 0
/proc/16232/statm: 70711 5645 376 364 0 5598 0
[pid=16236] ppid=16232 vsize=7976 CPUtime=6.65 cores=0,2,4,6
/proc/16236/stat : 16236 (pbct-0.1.2-linu) R 16232 16236 16236 0 -1 4202496 1886 0 0 0 610 55 0 0 25 0 1 0 869246184 8167424 1630 33554432000 134512640 136422188 4293005552 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/16236/statm: 1994 1630 213 467 0 1525 0
[pid=16219/tid=16234] ppid=16215 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/16219/task/16234/stat : 16234 (python) S 16215 16219 16182 0 -1 4202560 27 925 0 9 0 0 0 0 18 0 2 0 869246184 300122112 7143 33554432000 4194304 5683644 140737472953888 18446744073709551615 244458768817 0 0 16781312 33554434 18446604452295606336 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.33
Current children cumulated vsize (KiB) 583908
[startup+13.9012 s]
/proc/loadavg: 0.29 0.06 0.02 4/436 16236
/proc/meminfo: memFree=29513076/32951124 swapFree=43324008/67111528
[pid=16219] ppid=16215 vsize=293088 CPUtime=0.67 cores=0,2,4,6
/proc/16219/stat : 16219 (python) S 16215 16219 16182 0 -1 4202496 9523 925 111 9 49 18 0 0 18 0 2 0 869245500 300122112 7143 33554432000 4194304 5683644 140737472953888 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 223
/proc/16219/statm: 73272 7143 1870 364 0 8159 0
[pid=16232] ppid=16219 vsize=282844 CPUtime=0.01 cores=0,2,4,6
/proc/16232/stat : 16232 (python) S 16219 16219 16182 0 -1 4202560 861 0 0 0 1 0 0 0 18 0 1 0 869246183 289632256 5645 33554432000 4194304 5683644 140737472953888 18446744073709551615 244446965263 0 0 16781312 33554946 1118456526655160578 0 0 17 4 0 0 0
/proc/16232/statm: 70711 5645 376 364 0 5598 0
[pid=16236] ppid=16232 vsize=7976 CPUtime=7.05 cores=0,2,4,6
/proc/16236/stat : 16236 (pbct-0.1.2-linu) R 16232 16236 16236 0 -1 4202496 1886 0 0 0 647 58 0 0 25 0 1 0 869246184 8167424 1630 33554432000 134512640 136422188 4293005552 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/16236/statm: 1994 1630 213 467 0 1525 0
[pid=16219/tid=16234] ppid=16215 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/16219/task/16234/stat : 16234 (python) S 16215 16219 16182 0 -1 4202560 27 925 0 9 0 0 0 0 18 0 2 0 869246184 300122112 7143 33554432000 4194304 5683644 140737472953888 18446744073709551615 244458768817 0 0 16781312 33554434 18446604452295606336 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.73
Current children cumulated vsize (KiB) 583908
[startup+14.1012 s]
/proc/loadavg: 0.29 0.06 0.02 4/436 16236
/proc/meminfo: memFree=29513076/32951124 swapFree=43324008/67111528
[pid=16219] ppid=16215 vsize=293088 CPUtime=0.67 cores=0,2,4,6
/proc/16219/stat : 16219 (python) S 16215 16219 16182 0 -1 4202496 9523 925 111 9 49 18 0 0 18 0 2 0 869245500 300122112 7143 33554432000 4194304 5683644 140737472953888 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 223
/proc/16219/statm: 73272 7143 1870 364 0 8159 0
[pid=16232] ppid=16219 vsize=282844 CPUtime=0.01 cores=0,2,4,6
/proc/16232/stat : 16232 (python) S 16219 16219 16182 0 -1 4202560 861 0 0 0 1 0 0 0 18 0 1 0 869246183 289632256 5645 33554432000 4194304 5683644 140737472953888 18446744073709551615 244446965263 0 0 16781312 33554946 1118456526655160578 0 0 17 4 0 0 0
/proc/16232/statm: 70711 5645 376 364 0 5598 0
[pid=16236] ppid=16232 vsize=7976 CPUtime=7.25 cores=0,2,4,6
/proc/16236/stat : 16236 (pbct-0.1.2-linu) R 16232 16236 16236 0 -1 4202496 1886 0 0 0 665 60 0 0 25 0 1 0 869246184 8167424 1630 33554432000 134512640 136422188 4293005552 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/16236/statm: 1994 1630 213 467 0 1525 0
[pid=16219/tid=16234] ppid=16215 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/16219/task/16234/stat : 16234 (python) S 16215 16219 16182 0 -1 4202560 27 925 0 9 0 0 0 0 18 0 2 0 869246184 300122112 7143 33554432000 4194304 5683644 140737472953888 18446744073709551615 244458768817 0 0 16781312 33554434 18446604452295606336 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.93
Current children cumulated vsize (KiB) 583908
[startup+14.2011 s]
/proc/loadavg: 0.43 0.10 0.03 4/436 16236
/proc/meminfo: memFree=29513076/32951124 swapFree=43324008/67111528
[pid=16219] ppid=16215 vsize=293088 CPUtime=0.67 cores=0,2,4,6
/proc/16219/stat : 16219 (python) S 16215 16219 16182 0 -1 4202496 9523 925 111 9 49 18 0 0 18 0 2 0 869245500 300122112 7143 33554432000 4194304 5683644 140737472953888 18446744073709551615 244458771915 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 223
/proc/16219/statm: 73272 7143 1870 364 0 8159 0
[pid=16232] ppid=16219 vsize=282844 CPUtime=0.01 cores=0,2,4,6
/proc/16232/stat : 16232 (python) S 16219 16219 16182 0 -1 4202560 861 0 0 0 1 0 0 0 18 0 1 0 869246183 289632256 5645 33554432000 4194304 5683644 140737472953888 18446744073709551615 244446965263 0 0 16781312 33554946 1118456526655160578 0 0 17 4 0 0 0
/proc/16232/statm: 70711 5645 376 364 0 5598 0
[pid=16236] ppid=16232 vsize=7976 CPUtime=7.37 cores=0,2,4,6
/proc/16236/stat : 16236 (pbct-0.1.2-linu) R 16232 16236 16236 0 -1 4202496 1886 0 0 0 676 61 0 0 25 0 1 0 869246184 8167424 1630 33554432000 134512640 136422188 4293005552 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/16236/statm: 1994 1630 213 467 0 1525 0
[pid=16219/tid=16234] ppid=16215 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/16219/task/16234/stat : 16234 (python) S 16215 16219 16182 0 -1 4202560 27 925 0 9 0 0 0 0 18 0 2 0 869246184 300122112 7143 33554432000 4194304 5683644 140737472953888 18446744073709551615 244458768817 0 0 16781312 33554434 18446604452295606336 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8.05
Current children cumulated vsize (KiB) 583908
Child status: 0
Real time (s): 14.301
CPU time (s): 8.16376
CPU user time (s): 7.33388
CPU system time (s): 0.829873
CPU usage (%): 57.0852
Max. virtual memory (cumulated for all children) (KiB): 583908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.33389
system time used= 0.829873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17922
page faults= 120
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24621
involuntary context switches= 63
runsolver used 0.073988 second user time and 0.199969 second system time
The end