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-3482548-1307576440/watcher-3482548-1307576440 -o /tmp/evaluation-result-3482548-1307576440/solver-3482548-1307576440 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482548-1307576440.opb -seed 1919133569 -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: 0.00 0.00 0.00 1/270 28641
/proc/meminfo: memFree=32068084/32951124 swapFree=53958412/67111528
[pid=28641] ppid=28637 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/28641/stat : 28641 (runsolver) D 28637 28641 28606 0 -1 4202560 46 0 0 0 0 0 0 0 18 0 1 0 869245036 12079104 54 33554432000 4194304 5432328 140734632578704 18446744073709551615 5055479 0 0 4096 24578 18446744071562234166 0 0 17 3 0 0 0
/proc/28641/statm: 2949 54 34 303 0 2643 0
[startup+0.0231231 s]
/proc/loadavg: 0.00 0.00 0.00 1/270 28641
/proc/meminfo: memFree=32068084/32951124 swapFree=53958412/67111528
[pid=28641] ppid=28637 vsize=1840 CPUtime=0 cores=1,3,5,7
/proc/28641/stat : 28641 (python) D 28637 28641 28606 0 -1 4194304 47 0 0 0 0 0 0 0 18 0 1 0 869245036 1884160 1 33554432000 0 0 140736438912679 18446744073709551615 5055479 0 0 4096 0 18446744071562234166 0 0 17 3 0 0 0
/proc/28641/statm: 460 1 0 0 0 36 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1840
[startup+0.101132 s]
/proc/loadavg: 0.00 0.00 0.00 1/270 28641
/proc/meminfo: memFree=32068084/32951124 swapFree=53958412/67111528
[pid=28641] ppid=28637 vsize=14820 CPUtime=0 cores=1,3,5,7
/proc/28641/stat : 28641 (python) S 28637 28641 28606 0 -1 4202496 507 0 6 0 0 0 0 0 17 0 1 0 869245036 15175680 420 33554432000 4194304 5683644 140736438904544 18446744073709551615 222921772901 0 2147483391 4096 0 18446744071699199166 0 0 17 3 0 0 5
/proc/28641/statm: 3705 420 259 364 0 192 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14820
[startup+0.301112 s]
/proc/loadavg: 0.00 0.00 0.00 1/270 28641
/proc/meminfo: memFree=32068084/32951124 swapFree=53958412/67111528
[pid=28641] ppid=28637 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/28641/stat : 28641 (python) S 28637 28641 28606 0 -1 4202496 786 0 6 0 0 0 0 0 16 0 1 0 869245036 15749120 679 33554432000 4194304 5683644 140736438904544 18446744073709551615 222921775104 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 6
/proc/28641/statm: 3845 679 322 364 0 332 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15380
[startup+0.701057 s]
/proc/loadavg: 0.00 0.00 0.00 1/270 28641
/proc/meminfo: memFree=32068084/32951124 swapFree=53958412/67111528
[pid=28641] ppid=28637 vsize=15760 CPUtime=0 cores=1,3,5,7
/proc/28641/stat : 28641 (python) D 28637 28641 28606 0 -1 4202496 834 0 6 0 0 0 0 0 15 0 1 0 869245036 16138240 723 33554432000 4194304 5683644 140736438904544 18446744073709551615 222921776896 0 0 16781312 2 18446744071562234166 0 0 17 3 0 0 8
/proc/28641/statm: 3940 723 334 364 0 427 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15760
[startup+1.50088 s]
/proc/loadavg: 0.00 0.00 0.00 1/274 28645
/proc/meminfo: memFree=32061164/32951124 swapFree=53958412/67111528
[pid=28641] ppid=28637 vsize=16404 CPUtime=0.01 cores=1,3,5,7
/proc/28641/stat : 28641 (python) D 28637 28641 28606 0 -1 4202496 1111 0 6 0 1 0 0 0 16 0 1 0 869245036 16797696 985 33554432000 4194304 5683644 140736438904544 18446744073709551615 222921776896 0 0 16781312 2 18446744071562234166 0 0 17 3 0 0 67
/proc/28641/statm: 4101 985 408 364 0 588 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16404
[startup+3.10058 s]
/proc/loadavg: 0.16 0.03 0.01 1/274 28645
/proc/meminfo: memFree=32053632/32951124 swapFree=53958412/67111528
[pid=28641] ppid=28637 vsize=43624 CPUtime=0.06 cores=1,3,5,7
/proc/28641/stat : 28641 (python) D 28637 28641 28606 0 -1 4202496 1864 0 16 0 4 2 0 0 16 0 1 0 869245036 44670976 1654 33554432000 4194304 5683644 140736438904544 18446744073709551615 222921775104 0 0 16781312 2 0 0 0 17 3 0 0 116
/proc/28641/statm: 10906 1654 467 364 0 1171 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 43624
heavy processes:
[startup+6.30096 s]
/proc/loadavg: 0.16 0.03 0.01 1/274 28645
/proc/meminfo: memFree=32048484/32951124 swapFree=53958412/67111528
[pid=28641] ppid=28637 vsize=85624 CPUtime=0.09 cores=1,3,5,7
/proc/28641/stat : 28641 (python) D 28637 28641 28606 0 -1 4202496 2644 0 21 0 5 4 0 0 16 0 1 0 869245036 87678976 2382 33554432000 4194304 5683644 140736438904544 18446744073709551615 222921775104 0 0 16781312 2 0 0 0 17 7 0 0 172
/proc/28641/statm: 21406 2382 715 364 0 1623 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85624
heavy processes:
[startup+12.7008 s]
/proc/loadavg: 0.29 0.06 0.02 5/280 28659
/proc/meminfo: memFree=31979868/32951124 swapFree=53958412/67111528
[pid=28641] ppid=28637 vsize=293088 CPUtime=0.62 cores=1,3,5,7
/proc/28641/stat : 28641 (python) S 28637 28641 28606 0 -1 4202496 9518 923 114 9 37 25 0 0 17 0 2 0 869245036 300122112 7141 33554432000 4194304 5683644 140736438904544 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 264
/proc/28641/statm: 73272 7141 1870 364 0 8159 0
[pid=28654] ppid=28641 vsize=282844 CPUtime=0 cores=1,3,5,7
/proc/28654/stat : 28654 (python) S 28641 28641 28606 0 -1 4202560 724 0 0 0 0 0 0 0 17 0 1 0 869246286 289632256 5619 33554432000 4194304 5683644 140736438904544 18446744073709551615 222921797135 0 0 16781312 33554946 5631084931196092680 0 0 17 3 0 0 0
/proc/28654/statm: 70711 5619 352 364 0 5598 0
[pid=28658] ppid=28654 vsize=7584 CPUtime=0.19 cores=1,3,5,7
/proc/28658/stat : 28658 (pbct-0.1.2-linu) R 28654 28658 28658 0 -1 4202496 1778 0 0 0 14 5 0 0 19 0 1 0 869246286 7766016 1520 33554432000 134512640 136422188 4291477456 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/28658/statm: 1896 1520 213 467 0 1427 0
[pid=28641/tid=28656] ppid=28637 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/28641/task/28656/stat : 28656 (python) S 28637 28641 28606 0 -1 4202560 24 923 0 9 0 0 0 0 18 0 2 0 869246286 300122112 7141 33554432000 4194304 5683644 140736438904544 18446744073709551615 222933600689 0 0 16781312 33554434 18446604471126746048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 583516
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+13.1007 s]
/proc/loadavg: 0.29 0.06 0.02 3/280 28659
/proc/meminfo: memFree=31970444/32951124 swapFree=53958412/67111528
[pid=28641] ppid=28637 vsize=293088 CPUtime=0.62 cores=1,3,5,7
/proc/28641/stat : 28641 (python) S 28637 28641 28606 0 -1 4202496 9518 923 114 9 37 25 0 0 17 0 2 0 869245036 300122112 7141 33554432000 4194304 5683644 140736438904544 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 264
/proc/28641/statm: 73272 7141 1870 364 0 8159 0
[pid=28654] ppid=28641 vsize=282844 CPUtime=0 cores=1,3,5,7
/proc/28654/stat : 28654 (python) S 28641 28641 28606 0 -1 4202560 724 0 0 0 0 0 0 0 17 0 1 0 869246286 289632256 5619 33554432000 4194304 5683644 140736438904544 18446744073709551615 222921797135 0 0 16781312 33554946 5631084931196092680 0 0 17 3 0 0 0
/proc/28654/statm: 70711 5619 352 364 0 5598 0
[pid=28658] ppid=28654 vsize=7712 CPUtime=0.59 cores=1,3,5,7
/proc/28658/stat : 28658 (pbct-0.1.2-linu) R 28654 28658 28658 0 -1 4202496 1811 0 0 0 45 14 0 0 19 0 1 0 869246286 7897088 1553 33554432000 134512640 136422188 4291477456 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/28658/statm: 1928 1553 213 467 0 1459 0
[pid=28641/tid=28656] ppid=28637 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/28641/task/28656/stat : 28656 (python) S 28637 28641 28606 0 -1 4202560 24 923 0 9 0 0 0 0 18 0 2 0 869246286 300122112 7141 33554432000 4194304 5683644 140736438904544 18446744073709551615 222933600689 0 0 16781312 33554434 18446604471126746048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 583644
[startup+13.3007 s]
/proc/loadavg: 0.29 0.06 0.02 3/280 28659
/proc/meminfo: memFree=31970444/32951124 swapFree=53958412/67111528
[pid=28641] ppid=28637 vsize=293088 CPUtime=0.62 cores=1,3,5,7
/proc/28641/stat : 28641 (python) S 28637 28641 28606 0 -1 4202496 9518 923 114 9 37 25 0 0 17 0 2 0 869245036 300122112 7141 33554432000 4194304 5683644 140736438904544 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 264
/proc/28641/statm: 73272 7141 1870 364 0 8159 0
[pid=28654] ppid=28641 vsize=282844 CPUtime=0 cores=1,3,5,7
/proc/28654/stat : 28654 (python) S 28641 28641 28606 0 -1 4202560 724 0 0 0 0 0 0 0 17 0 1 0 869246286 289632256 5619 33554432000 4194304 5683644 140736438904544 18446744073709551615 222921797135 0 0 16781312 33554946 5631084931196092680 0 0 17 3 0 0 0
/proc/28654/statm: 70711 5619 352 364 0 5598 0
[pid=28658] ppid=28654 vsize=7712 CPUtime=0.79 cores=1,3,5,7
/proc/28658/stat : 28658 (pbct-0.1.2-linu) R 28654 28658 28658 0 -1 4202496 1827 0 0 0 61 18 0 0 20 0 1 0 869246286 7897088 1569 33554432000 134512640 136422188 4291477456 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/28658/statm: 1928 1569 213 467 0 1459 0
[pid=28641/tid=28656] ppid=28637 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/28641/task/28656/stat : 28656 (python) S 28637 28641 28606 0 -1 4202560 24 923 0 9 0 0 0 0 18 0 2 0 869246286 300122112 7141 33554432000 4194304 5683644 140736438904544 18446744073709551615 222933600689 0 0 16781312 33554434 18446604471126746048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 583644
[startup+13.4007 s]
/proc/loadavg: 0.29 0.06 0.02 3/280 28659
/proc/meminfo: memFree=31970444/32951124 swapFree=53958412/67111528
[pid=28641] ppid=28637 vsize=293088 CPUtime=0.62 cores=1,3,5,7
/proc/28641/stat : 28641 (python) S 28637 28641 28606 0 -1 4202496 9518 923 114 9 37 25 0 0 17 0 2 0 869245036 300122112 7141 33554432000 4194304 5683644 140736438904544 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 264
/proc/28641/statm: 73272 7141 1870 364 0 8159 0
[pid=28654] ppid=28641 vsize=282844 CPUtime=0 cores=1,3,5,7
/proc/28654/stat : 28654 (python) S 28641 28641 28606 0 -1 4202560 724 0 0 0 0 0 0 0 17 0 1 0 869246286 289632256 5619 33554432000 4194304 5683644 140736438904544 18446744073709551615 222921797135 0 0 16781312 33554946 5631084931196092680 0 0 17 3 0 0 0
/proc/28654/statm: 70711 5619 352 364 0 5598 0
[pid=28658] ppid=28654 vsize=7840 CPUtime=0.89 cores=1,3,5,7
/proc/28658/stat : 28658 (pbct-0.1.2-linu) R 28654 28658 28658 0 -1 4202496 1833 0 0 0 69 20 0 0 20 0 1 0 869246286 8028160 1575 33554432000 134512640 136422188 4291477456 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/28658/statm: 1960 1575 213 467 0 1491 0
[pid=28641/tid=28656] ppid=28637 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/28641/task/28656/stat : 28656 (python) S 28637 28641 28606 0 -1 4202560 24 923 0 9 0 0 0 0 18 0 2 0 869246286 300122112 7141 33554432000 4194304 5683644 140736438904544 18446744073709551615 222933600689 0 0 16781312 33554434 18446604471126746048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 583772
Child status: 0
Real time (s): 13.4558
CPU time (s): 1.58976
CPU user time (s): 1.11783
CPU system time (s): 0.471928
CPU usage (%): 11.8147
Max. virtual memory (cumulated for all children) (KiB): 583772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.11783
system time used= 0.471928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17814
page faults= 123
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19361
involuntary context switches= 79
runsolver used 0.041993 second user time and 0.100984 second system time
The end