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-3482438-1307576444/watcher-3482438-1307576444 -o /tmp/evaluation-result-3482438-1307576444/solver-3482438-1307576444 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482438-1307576444.opb -seed 852816353 -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: 1.46 0.41 0.14 2/472 5680
/proc/meminfo: memFree=23709488/32950928 swapFree=61858080/67111528
[pid=5680] ppid=5676 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/5680/stat : 5680 (runsolver) S 5676 5680 5281 0 -1 4202560 45 0 0 0 0 0 0 0 22 0 1 0 869244280 12079104 53 33554432000 4194304 5432328 140736042108400 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699215550 0 0 17 1 0 0 0
/proc/5680/statm: 2949 53 34 303 0 2643 0
[startup+0.035822 s]
/proc/loadavg: 1.46 0.41 0.14 2/472 5680
/proc/meminfo: memFree=23709488/32950928 swapFree=61858080/67111528
[pid=5680] ppid=5676 vsize=15080 CPUtime=0 cores=1,3,5,7
/proc/5680/stat : 5680 (python) S 5676 5680 5281 0 -1 4202496 649 0 0 0 0 0 0 0 22 0 1 0 869244280 15441920 545 33554432000 4194304 5683644 140735650805744 18446744073709551615 274473965568 0 2147483391 16781312 2 18446744071699962003 0 0 17 7 0 0 0
/proc/5680/statm: 3770 545 312 364 0 257 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15080
[startup+0.100811 s]
/proc/loadavg: 1.46 0.41 0.14 2/472 5680
/proc/meminfo: memFree=23709488/32950928 swapFree=61858080/67111528
[pid=5680] ppid=5676 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/5680/stat : 5680 (python) S 5676 5680 5281 0 -1 4202496 733 0 0 0 0 0 0 0 17 0 1 0 869244280 15548416 622 33554432000 4194304 5683644 140735650805744 18446744073709551615 274473965568 0 2147483391 16781312 2 18446744071699962003 0 0 17 7 0 0 0
/proc/5680/statm: 3796 622 322 364 0 283 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15184
[startup+0.300776 s]
/proc/loadavg: 1.46 0.41 0.14 2/472 5680
/proc/meminfo: memFree=23709488/32950928 swapFree=61858080/67111528
[pid=5680] ppid=5676 vsize=15912 CPUtime=0 cores=1,3,5,7
/proc/5680/stat : 5680 (python) S 5676 5680 5281 0 -1 4202496 958 0 0 0 0 0 0 0 16 0 1 0 869244280 16293888 834 33554432000 4194304 5683644 140735650805744 18446744073709551615 274473965568 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 0
/proc/5680/statm: 3978 834 357 364 0 465 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15912
[startup+0.700706 s]
/proc/loadavg: 1.46 0.41 0.14 2/472 5680
/proc/meminfo: memFree=23709488/32950928 swapFree=61858080/67111528
[pid=5680] ppid=5676 vsize=30120 CPUtime=0.04 cores=1,3,5,7
/proc/5680/stat : 5680 (python) S 5676 5680 5281 0 -1 4202496 1471 0 0 0 3 1 0 0 16 0 1 0 869244280 30842880 1310 33554432000 4194304 5683644 140735650805744 18446744073709551615 274473965568 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 0
/proc/5680/statm: 7530 1310 443 364 0 900 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 30120
[startup+1.50056 s]
/proc/loadavg: 1.46 0.41 0.14 2/474 5682
/proc/meminfo: memFree=23698808/32950928 swapFree=61858080/67111528
[pid=5680] ppid=5676 vsize=89940 CPUtime=0.06 cores=1,3,5,7
/proc/5680/stat : 5680 (python) S 5676 5680 5281 0 -1 4202496 2717 0 1 0 4 2 0 0 15 0 1 0 869244280 92098560 2428 33554432000 4194304 5683644 140735650805744 18446744073709551615 274473965568 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 6
/proc/5680/statm: 22485 2428 750 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 89940
[startup+3.10028 s]
/proc/loadavg: 1.59 0.45 0.15 1/474 5690
/proc/meminfo: memFree=23684244/32950928 swapFree=61858080/67111528
[pid=5680] ppid=5676 vsize=111980 CPUtime=0.12 cores=1,3,5,7
/proc/5680/stat : 5680 (python) R 5676 5680 5281 0 -1 4202496 4682 929 1 0 8 4 0 0 16 0 1 0 869244280 114667520 3132 33554432000 4194304 5683644 140735650805744 18446744073709551615 274473965568 0 2147483391 16781312 2 0 0 0 17 5 0 0 6
/proc/5680/statm: 27995 3132 901 364 0 2174 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 111980
heavy processes:
[startup+6.30072 s]
/proc/loadavg: 1.59 0.45 0.15 1/474 5690
/proc/meminfo: memFree=23685064/32950928 swapFree=61858080/67111528
[pid=5680] ppid=5676 vsize=283040 CPUtime=0.47 cores=1,3,5,7
/proc/5680/stat : 5680 (python) R 5676 5680 5281 0 -1 4202496 9278 929 1 0 33 14 0 0 15 0 1 0 869244280 289832960 7139 33554432000 4194304 5683644 140735650805744 18446744073709551615 274477376169 0 0 16781312 33554434 0 0 0 17 5 0 0 6
/proc/5680/statm: 70760 7139 1816 364 0 5653 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 283040
heavy processes:
[startup+12.7006 s]
/proc/loadavg: 1.73 0.52 0.18 3/480 5731
/proc/meminfo: memFree=23651564/32950928 swapFree=61858080/67111528
[pid=5680] ppid=5676 vsize=293480 CPUtime=0.5 cores=1,3,5,7
/proc/5680/stat : 5680 (python) S 5676 5680 5281 0 -1 4202496 9708 929 1 0 36 14 0 0 18 0 2 0 869244280 300523520 7213 33554432000 4194304 5683644 140735650805744 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 6
/proc/5680/statm: 73370 7213 1870 364 0 8257 0
[pid=5692] ppid=5680 vsize=283236 CPUtime=0.01 cores=1,3,5,7
/proc/5692/stat : 5692 (python) S 5680 5680 5281 0 -1 4202560 884 0 0 0 0 1 0 0 18 0 1 0 869244914 290033664 5714 33554432000 4194304 5683644 140735650805744 18446744073709551615 274473987599 0 0 16781312 33554946 16592783614614143240 0 0 17 1 0 0 0
/proc/5692/statm: 70809 5714 375 364 0 5696 0
[pid=5696] ppid=5692 vsize=3180 CPUtime=6.35 cores=1,3,5,7
/proc/5696/stat : 5696 (clasp-1.3.7-x86) R 5692 5696 5696 0 -1 4202496 791 0 0 0 635 0 0 0 25 0 1 0 869244914 3256320 533 33554432000 134512640 136139019 4290741968 18446744073709551615 134871058 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/5696/statm: 795 533 184 398 0 395 0
[pid=5680/tid=5695] ppid=5676 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/5680/task/5695/stat : 5695 (python) S 5676 5680 5281 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 2 0 869244914 300523520 7213 33554432000 4194304 5683644 140735650805744 18446744073709551615 274485791153 0 0 16781312 33554434 18446604459768302272 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.86
Current children cumulated vsize (KiB) 579896
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+13.7004 s]
/proc/loadavg: 1.73 0.52 0.18 3/480 5731
/proc/meminfo: memFree=23654416/32950928 swapFree=61858080/67111528
[pid=5680] ppid=5676 vsize=293480 CPUtime=0.5 cores=1,3,5,7
/proc/5680/stat : 5680 (python) S 5676 5680 5281 0 -1 4202496 9708 929 1 0 36 14 0 0 18 0 2 0 869244280 300523520 7213 33554432000 4194304 5683644 140735650805744 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 6
/proc/5680/statm: 73370 7213 1870 364 0 8257 0
[pid=5692] ppid=5680 vsize=283236 CPUtime=0.01 cores=1,3,5,7
/proc/5692/stat : 5692 (python) S 5680 5680 5281 0 -1 4202560 884 0 0 0 0 1 0 0 18 0 1 0 869244914 290033664 5714 33554432000 4194304 5683644 140735650805744 18446744073709551615 274473987599 0 0 16781312 33554946 16592783614614143240 0 0 17 1 0 0 0
/proc/5692/statm: 70809 5714 375 364 0 5696 0
[pid=5696] ppid=5692 vsize=3316 CPUtime=7.35 cores=1,3,5,7
/proc/5696/stat : 5696 (clasp-1.3.7-x86) R 5692 5696 5696 0 -1 4202496 822 0 0 0 735 0 0 0 25 0 1 0 869244914 3395584 564 33554432000 134512640 136139019 4290741968 18446744073709551615 134832329 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/5696/statm: 829 564 184 398 0 429 0
[pid=5680/tid=5695] ppid=5676 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/5680/task/5695/stat : 5695 (python) S 5676 5680 5281 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 2 0 869244914 300523520 7213 33554432000 4194304 5683644 140735650805744 18446744073709551615 274485791153 0 0 16781312 33554434 18446604459768302272 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.86
Current children cumulated vsize (KiB) 580032
[startup+15.3171 s]
/proc/loadavg: 1.73 0.52 0.18 3/480 5731
/proc/meminfo: memFree=23654416/32950928 swapFree=61858080/67111528
[pid=5680] ppid=5676 vsize=293480 CPUtime=0.5 cores=1,3,5,7
/proc/5680/stat : 5680 (python) S 5676 5680 5281 0 -1 4202496 9708 929 1 0 36 14 0 0 18 0 2 0 869244280 300523520 7213 33554432000 4194304 5683644 140735650805744 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 6
/proc/5680/statm: 73370 7213 1870 364 0 8257 0
[pid=5692] ppid=5680 vsize=283236 CPUtime=0.02 cores=1,3,5,7
/proc/5692/stat : 5692 (python) S 5680 5680 5281 0 -1 4202560 889 0 0 0 1 1 0 0 18 0 1 0 869244914 290033664 5715 33554432000 4194304 5683644 140735650805744 18446744073709551615 274473987599 0 0 16781312 33554946 5623311482772007777 0 0 17 1 0 0 0
/proc/5692/statm: 70809 5715 376 364 0 5696 0
[pid=5696] ppid=5692 vsize=3448 CPUtime=8.96 cores=1,3,5,7
/proc/5696/stat : 5696 (clasp-1.3.7-x86) R 5692 5696 5696 0 -1 4202496 854 0 0 0 896 0 0 0 25 0 1 0 869244914 3530752 596 33554432000 134512640 136139019 4290741968 18446744073709551615 134883379 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/5696/statm: 862 596 184 398 0 462 0
[pid=5680/tid=5695] ppid=5676 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/5680/task/5695/stat : 5695 (python) S 5676 5680 5281 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 2 0 869244914 300523520 7213 33554432000 4194304 5683644 140735650805744 18446744073709551615 274485791153 0 0 16781312 33554434 18446604459768302272 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 9.48
Current children cumulated vsize (KiB) 580164
[startup+16.9009 s]
/proc/loadavg: 1.73 0.52 0.18 3/480 5731
/proc/meminfo: memFree=23654976/32950928 swapFree=61858080/67111528
[pid=5680] ppid=5676 vsize=293480 CPUtime=0.5 cores=1,3,5,7
/proc/5680/stat : 5680 (python) S 5676 5680 5281 0 -1 4202496 9708 929 1 0 36 14 0 0 18 0 2 0 869244280 300523520 7213 33554432000 4194304 5683644 140735650805744 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 6
/proc/5680/statm: 73370 7213 1870 364 0 8257 0
[pid=5692] ppid=5680 vsize=283236 CPUtime=0.02 cores=1,3,5,7
/proc/5692/stat : 5692 (python) S 5680 5680 5281 0 -1 4202560 889 0 0 0 1 1 0 0 18 0 1 0 869244914 290033664 5715 33554432000 4194304 5683644 140735650805744 18446744073709551615 274473987599 0 0 16781312 33554946 5623311482772007777 0 0 17 1 0 0 0
/proc/5692/statm: 70809 5715 376 364 0 5696 0
[pid=5696] ppid=5692 vsize=3448 CPUtime=10.55 cores=1,3,5,7
/proc/5696/stat : 5696 (clasp-1.3.7-x86) R 5692 5696 5696 0 -1 4202496 866 0 0 0 1055 0 0 0 25 0 1 0 869244914 3530752 608 33554432000 134512640 136139019 4290741968 18446744073709551615 134871008 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/5696/statm: 862 608 184 398 0 462 0
[pid=5680/tid=5695] ppid=5676 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/5680/task/5695/stat : 5695 (python) S 5676 5680 5281 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 2 0 869244914 300523520 7213 33554432000 4194304 5683644 140735650805744 18446744073709551615 274485791153 0 0 16781312 33554434 18446604459768302272 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.07
Current children cumulated vsize (KiB) 580164
[startup+17.3008 s]
/proc/loadavg: 1.73 0.52 0.18 3/480 5731
/proc/meminfo: memFree=23654976/32950928 swapFree=61858080/67111528
[pid=5680] ppid=5676 vsize=293480 CPUtime=0.5 cores=1,3,5,7
/proc/5680/stat : 5680 (python) S 5676 5680 5281 0 -1 4202496 9708 929 1 0 36 14 0 0 18 0 2 0 869244280 300523520 7213 33554432000 4194304 5683644 140735650805744 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 6
/proc/5680/statm: 73370 7213 1870 364 0 8257 0
[pid=5692] ppid=5680 vsize=283236 CPUtime=0.02 cores=1,3,5,7
/proc/5692/stat : 5692 (python) S 5680 5680 5281 0 -1 4202560 889 0 0 0 1 1 0 0 18 0 1 0 869244914 290033664 5715 33554432000 4194304 5683644 140735650805744 18446744073709551615 274473987599 0 0 16781312 33554946 5623311482772007777 0 0 17 1 0 0 0
/proc/5692/statm: 70809 5715 376 364 0 5696 0
[pid=5696] ppid=5692 vsize=3448 CPUtime=10.95 cores=1,3,5,7
/proc/5696/stat : 5696 (clasp-1.3.7-x86) R 5692 5696 5696 0 -1 4202496 867 0 0 0 1095 0 0 0 25 0 1 0 869244914 3530752 609 33554432000 134512640 136139019 4290741968 18446744073709551615 134608184 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/5696/statm: 862 609 184 398 0 462 0
[pid=5680/tid=5695] ppid=5676 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/5680/task/5695/stat : 5695 (python) S 5676 5680 5281 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 2 0 869244914 300523520 7213 33554432000 4194304 5683644 140735650805744 18446744073709551615 274485791153 0 0 16781312 33554434 18446604459768302272 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.47
Current children cumulated vsize (KiB) 580164
[startup+17.7007 s]
/proc/loadavg: 1.75 0.54 0.19 3/480 5731
/proc/meminfo: memFree=23654728/32950928 swapFree=61858080/67111528
[pid=5680] ppid=5676 vsize=293480 CPUtime=0.5 cores=1,3,5,7
/proc/5680/stat : 5680 (python) S 5676 5680 5281 0 -1 4202496 9708 929 1 0 36 14 0 0 18 0 2 0 869244280 300523520 7213 33554432000 4194304 5683644 140735650805744 18446744073709551615 274485794251 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 6
/proc/5680/statm: 73370 7213 1870 364 0 8257 0
[pid=5692] ppid=5680 vsize=283236 CPUtime=0.02 cores=1,3,5,7
/proc/5692/stat : 5692 (python) S 5680 5680 5281 0 -1 4202560 889 0 0 0 1 1 0 0 18 0 1 0 869244914 290033664 5715 33554432000 4194304 5683644 140735650805744 18446744073709551615 274473987599 0 0 16781312 33554946 5623311482772007777 0 0 17 1 0 0 0
/proc/5692/statm: 70809 5715 376 364 0 5696 0
[pid=5696] ppid=5692 vsize=3448 CPUtime=11.35 cores=1,3,5,7
/proc/5696/stat : 5696 (clasp-1.3.7-x86) R 5692 5696 5696 0 -1 4202496 868 0 0 0 1135 0 0 0 25 0 1 0 869244914 3530752 610 33554432000 134512640 136139019 4290741968 18446744073709551615 134832305 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/5696/statm: 862 610 184 398 0 462 0
[pid=5680/tid=5695] ppid=5676 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/5680/task/5695/stat : 5695 (python) S 5676 5680 5281 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 2 0 869244914 300523520 7213 33554432000 4194304 5683644 140735650805744 18446744073709551615 274485791153 0 0 16781312 33554434 18446604459768302272 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.87
Current children cumulated vsize (KiB) 580164
Child status: 0
Real time (s): 17.7752
CPU time (s): 11.9872
CPU user time (s): 11.8052
CPU system time (s): 0.181972
CPU usage (%): 67.4377
Max. virtual memory (cumulated for all children) (KiB): 580164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.8052
system time used= 0.181972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17126
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= 4430
involuntary context switches= 43
runsolver used 0.079987 second user time and 0.216967 second system time
The end