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-3482002-1307576685/watcher-3482002-1307576685 -o /tmp/evaluation-result-3482002-1307576685/solver-3482002-1307576685 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482002-1307576685.opb -seed 965477168 -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.02 1.37 0.60 3/528 2451
/proc/meminfo: memFree=29990932/32950928 swapFree=34366004/67111528
[pid=2451] ppid=2449 vsize=15080 CPUtime=0 cores=1,3,5,7
/proc/2451/stat : 2451 (python) S 2449 2451 2236 0 -1 4202496 617 0 0 0 0 0 0 0 17 0 1 0 869267361 15441920 513 33554432000 4194304 5683644 140736395817008 18446744073709551615 235594864640 0 2147483391 16781312 2 18446744071699215550 0 0 17 5 0 0 0
/proc/2451/statm: 3770 513 300 364 0 257 0
[startup+0.0337129 s]
/proc/loadavg: 2.02 1.37 0.60 3/528 2451
/proc/meminfo: memFree=29990932/32950928 swapFree=34366004/67111528
[pid=2451] ppid=2449 vsize=16396 CPUtime=0.01 cores=1,3,5,7
/proc/2451/stat : 2451 (python) S 2449 2451 2236 0 -1 4202496 1118 0 0 0 1 0 0 0 17 0 1 0 869267361 16789504 985 33554432000 4194304 5683644 140736395817008 18446744073709551615 235594862437 0 2147483391 16781312 2 18446744071699215550 0 0 17 5 0 0 0
/proc/2451/statm: 4099 985 409 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
[startup+0.100778 s]
/proc/loadavg: 2.02 1.37 0.60 3/528 2451
/proc/meminfo: memFree=29990932/32950928 swapFree=34366004/67111528
[pid=2451] ppid=2449 vsize=84568 CPUtime=0.04 cores=1,3,5,7
/proc/2451/stat : 2451 (python) R 2449 2451 2236 0 -1 4202496 2409 0 0 0 3 1 0 0 17 0 1 0 869267361 86597632 2136 33554432000 4194304 5683644 140736395817008 18446744073709551615 235594862437 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2451/statm: 21142 2136 707 364 0 1359 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 84568
[startup+0.300724 s]
/proc/loadavg: 2.02 1.37 0.60 3/528 2451
/proc/meminfo: memFree=29990932/32950928 swapFree=34366004/67111528
[pid=2451] ppid=2449 vsize=123744 CPUtime=0.13 cores=1,3,5,7
/proc/2451/stat : 2451 (python) S 2449 2451 2236 0 -1 4202496 5358 930 1 0 10 3 0 0 16 0 1 0 869267361 126713856 3745 33554432000 4194304 5683644 140736395817008 18446744073709551615 235594862597 0 2147483391 16781312 2 18446744071699215550 0 0 17 5 0 0 0
/proc/2451/statm: 30936 3745 987 364 0 2768 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 123744
[startup+0.700669 s]
/proc/loadavg: 2.02 1.37 0.60 3/528 2451
/proc/meminfo: memFree=29990932/32950928 swapFree=34366004/67111528
[pid=2451] ppid=2449 vsize=282268 CPUtime=0.37 cores=1,3,5,7
/proc/2451/stat : 2451 (python) R 2449 2451 2236 0 -1 4202496 8990 930 1 0 27 10 0 0 15 0 1 0 869267361 289042432 6882 33554432000 4194304 5683644 140736395817008 18446744073709551615 235594864640 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2451/statm: 70568 6883 1763 364 0 5461 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282268
[startup+1.50045 s]
/proc/loadavg: 2.02 1.37 0.60 2/494 2462
/proc/meminfo: memFree=30080980/32950928 swapFree=34366004/67111528
[pid=2451] ppid=2449 vsize=293096 CPUtime=0.41 cores=1,3,5,7
/proc/2451/stat : 2451 (python) S 2449 2451 2236 0 -1 4202496 9641 930 1 0 31 10 0 0 18 0 2 0 869267361 300130304 7144 33554432000 4194304 5683644 140736395817008 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/2451/statm: 73274 7144 1870 364 0 8161 0
[pid=2460] ppid=2451 vsize=282852 CPUtime=0.01 cores=1,3,5,7
/proc/2460/stat : 2460 (python) S 2451 2451 2236 0 -1 4202560 777 0 0 0 1 0 0 0 15 0 1 0 869267434 289640448 5622 33554432000 4194304 5683644 140736395817008 18446744073709551615 235594886671 0 0 16781312 33554946 4217693872202973184 0 0 17 3 0 0 0
/proc/2460/statm: 70713 5622 352 364 0 5600 0
[pid=2462] ppid=2460 vsize=36032 CPUtime=0.74 cores=1,3,5,7
/proc/2462/stat : 2462 (scip-2.0.1.linu) R 2460 2462 2462 0 -1 4202496 7321 0 0 0 68 6 0 0 21 0 1 0 869267435 36896768 6691 33554432000 4194304 13684479 140736053703680 18446744073709551615 7430803 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/2462/statm: 9008 6691 774 2317 0 6686 0
[pid=2451/tid=2461] ppid=2449 vsize=293096 CPUtime=0 cores=1,3,5,7
/proc/2451/task/2461/stat : 2461 (python) S 2449 2451 2236 0 -1 4202560 29 930 0 0 0 0 0 0 18 0 2 0 869267435 300130304 7144 33554432000 4194304 5683644 140736395817008 18446744073709551615 235606690225 0 0 16781312 33554434 18446604470587624448 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 611980
[startup+3.11717 s]
/proc/loadavg: 2.02 1.37 0.60 2/491 2481
/proc/meminfo: memFree=30131744/32950928 swapFree=34366004/67111528
[pid=2451] ppid=2449 vsize=293096 CPUtime=0.41 cores=1,3,5,7
/proc/2451/stat : 2451 (python) S 2449 2451 2236 0 -1 4202496 9641 930 1 0 31 10 0 0 18 0 2 0 869267361 300130304 7144 33554432000 4194304 5683644 140736395817008 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/2451/statm: 73274 7144 1870 364 0 8161 0
[pid=2460] ppid=2451 vsize=282852 CPUtime=0.01 cores=1,3,5,7
/proc/2460/stat : 2460 (python) S 2451 2451 2236 0 -1 4202560 780 0 0 0 1 0 0 0 15 0 1 0 869267434 289640448 5622 33554432000 4194304 5683644 140736395817008 18446744073709551615 235594886671 0 0 16781312 33554946 14093017403147387142 0 0 17 3 0 0 0
/proc/2460/statm: 70713 5622 352 364 0 5600 0
[pid=2462] ppid=2460 vsize=37244 CPUtime=2.36 cores=1,3,5,7
/proc/2462/stat : 2462 (scip-2.0.1.linu) R 2460 2462 2462 0 -1 4202496 8512 0 0 0 222 14 0 0 25 0 1 0 869267435 38137856 7074 33554432000 4194304 13684479 140736053703680 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2462/statm: 9311 7074 796 2317 0 6989 0
[pid=2451/tid=2461] ppid=2449 vsize=293096 CPUtime=0 cores=1,3,5,7
/proc/2451/task/2461/stat : 2461 (python) S 2449 2451 2236 0 -1 4202560 29 930 0 0 0 0 0 0 18 0 2 0 869267435 300130304 7144 33554432000 4194304 5683644 140736395817008 18446744073709551615 235606690225 0 0 16781312 33554434 18446604470587624448 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 613192
[startup+6.30061 s]
/proc/loadavg: 2.02 1.38 0.61 3/499 2496
/proc/meminfo: memFree=29962456/32950928 swapFree=34366004/67111528
[pid=2451] ppid=2449 vsize=293096 CPUtime=0.41 cores=1,3,5,7
/proc/2451/stat : 2451 (python) S 2449 2451 2236 0 -1 4202496 9641 930 1 0 31 10 0 0 18 0 2 0 869267361 300130304 7144 33554432000 4194304 5683644 140736395817008 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/2451/statm: 73274 7144 1870 364 0 8161 0
[pid=2460] ppid=2451 vsize=282852 CPUtime=0.02 cores=1,3,5,7
/proc/2460/stat : 2460 (python) S 2451 2451 2236 0 -1 4202560 913 0 0 0 2 0 0 0 15 0 1 0 869267434 289640448 5646 33554432000 4194304 5683644 140736395817008 18446744073709551615 235594886671 0 0 16781312 33554946 14093025718204072198 0 0 17 7 0 0 0
/proc/2460/statm: 70713 5646 376 364 0 5600 0
[pid=2462] ppid=2460 vsize=37244 CPUtime=5.54 cores=1,3,5,7
/proc/2462/stat : 2462 (scip-2.0.1.linu) R 2460 2462 2462 0 -1 4202496 8513 0 0 0 514 40 0 0 25 0 1 0 869267435 38137856 7075 33554432000 4194304 13684479 140736053703680 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2462/statm: 9311 7075 797 2317 0 6989 0
[pid=2451/tid=2461] ppid=2449 vsize=293096 CPUtime=0 cores=1,3,5,7
/proc/2451/task/2461/stat : 2461 (python) S 2449 2451 2236 0 -1 4202560 29 930 0 0 0 0 0 0 18 0 2 0 869267435 300130304 7144 33554432000 4194304 5683644 140736395817008 18446744073709551615 235606690225 0 0 16781312 33554434 18446604470587624448 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 613192
Solver just ended. Dumping a history of the last processes samples
[startup+6.41659 s]
/proc/loadavg: 2.02 1.38 0.61 3/499 2496
/proc/meminfo: memFree=29962456/32950928 swapFree=34366004/67111528
[pid=2451] ppid=2449 vsize=293096 CPUtime=0.41 cores=1,3,5,7
/proc/2451/stat : 2451 (python) S 2449 2451 2236 0 -1 4202496 9641 930 1 0 31 10 0 0 18 0 2 0 869267361 300130304 7144 33554432000 4194304 5683644 140736395817008 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/2451/statm: 73274 7144 1870 364 0 8161 0
[pid=2460] ppid=2451 vsize=282852 CPUtime=0.02 cores=1,3,5,7
/proc/2460/stat : 2460 (python) S 2451 2451 2236 0 -1 4202560 913 0 0 0 2 0 0 0 15 0 1 0 869267434 289640448 5646 33554432000 4194304 5683644 140736395817008 18446744073709551615 235594886671 0 0 16781312 33554946 14093025718204072198 0 0 17 7 0 0 0
/proc/2460/statm: 70713 5646 376 364 0 5600 0
[pid=2462] ppid=2460 vsize=37244 CPUtime=5.66 cores=1,3,5,7
/proc/2462/stat : 2462 (scip-2.0.1.linu) R 2460 2462 2462 0 -1 4202496 8513 0 0 0 524 42 0 0 25 0 1 0 869267435 38137856 7075 33554432000 4194304 13684479 140736053703680 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2462/statm: 9311 7075 797 2317 0 6989 0
[pid=2451/tid=2461] ppid=2449 vsize=293096 CPUtime=0 cores=1,3,5,7
/proc/2451/task/2461/stat : 2461 (python) S 2449 2451 2236 0 -1 4202560 29 930 0 0 0 0 0 0 18 0 2 0 869267435 300130304 7144 33554432000 4194304 5683644 140736395817008 18446744073709551615 235606690225 0 0 16781312 33554434 18446604470587624448 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 613192
[startup+6.60055 s]
/proc/loadavg: 2.02 1.38 0.61 3/499 2496
/proc/meminfo: memFree=29962456/32950928 swapFree=34366004/67111528
[pid=2451] ppid=2449 vsize=293096 CPUtime=0.41 cores=1,3,5,7
/proc/2451/stat : 2451 (python) S 2449 2451 2236 0 -1 4202496 9641 930 1 0 31 10 0 0 18 0 2 0 869267361 300130304 7144 33554432000 4194304 5683644 140736395817008 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/2451/statm: 73274 7144 1870 364 0 8161 0
[pid=2460] ppid=2451 vsize=282852 CPUtime=0.02 cores=1,3,5,7
/proc/2460/stat : 2460 (python) S 2451 2451 2236 0 -1 4202560 913 0 0 0 2 0 0 0 16 0 1 0 869267434 289640448 5646 33554432000 4194304 5683644 140736395817008 18446744073709551615 235594886671 0 0 16781312 33554946 4294934788 0 0 17 7 0 0 0
/proc/2460/statm: 70713 5646 376 364 0 5600 0
[pid=2462] ppid=2460 vsize=37244 CPUtime=5.84 cores=1,3,5,7
/proc/2462/stat : 2462 (scip-2.0.1.linu) R 2460 2462 2462 0 -1 4202496 8518 0 0 0 540 44 0 0 25 0 1 0 869267435 38137856 7080 33554432000 4194304 13684479 140736053703680 18446744073709551615 4926607 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/2462/statm: 9311 7080 802 2317 0 6989 0
[pid=2451/tid=2461] ppid=2449 vsize=293096 CPUtime=0 cores=1,3,5,7
/proc/2451/task/2461/stat : 2461 (python) S 2449 2451 2236 0 -1 4202560 29 930 0 0 0 0 0 0 18 0 2 0 869267435 300130304 7144 33554432000 4194304 5683644 140736395817008 18446744073709551615 235606690225 0 0 16781312 33554434 18446604470587624448 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 613192
Child status: 0
Real time (s): 6.62669
CPU time (s): 6.33704
CPU user time (s): 5.77112
CPU system time (s): 0.565913
CPU usage (%): 95.629
Max. virtual memory (cumulated for all children) (KiB): 613192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.77112
system time used= 0.565913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24697
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= 3519
involuntary context switches= 674
runsolver used 0.029995 second user time and 0.067989 second system time
The end