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-3482734-1307576520/watcher-3482734-1307576520 -o /tmp/evaluation-result-3482734-1307576520/solver-3482734-1307576520 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482734-1307576520.opb -seed 156440586 -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.73 0.70 0.26 2/467 12621
/proc/meminfo: memFree=30100004/32950928 swapFree=45617076/67111528
[pid=12621] ppid=12619 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/12621/stat : 12621 (python) R 12619 12621 11775 0 -1 4202496 879 0 0 0 0 0 0 0 22 0 1 0 869251894 16154624 760 33554432000 4194304 5683644 140736692337664 18446744073709551615 4651640 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/12621/statm: 3944 762 343 364 0 431 0
[startup+0.118225 s]
/proc/loadavg: 1.73 0.70 0.26 2/467 12621
/proc/meminfo: memFree=30100004/32950928 swapFree=45617076/67111528
[pid=12621] ppid=12619 vsize=96128 CPUtime=0.09 cores=1,3,5,7
/proc/12621/stat : 12621 (python) S 12619 12621 11775 0 -1 4202496 3243 928 1 0 7 2 0 0 23 0 1 0 869251894 98435072 2483 33554432000 4194304 5683644 140736692337664 18446744073709551615 248089696256 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/12621/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 96128
[startup+0.200413 s]
/proc/loadavg: 1.73 0.70 0.26 2/467 12621
/proc/meminfo: memFree=30100004/32950928 swapFree=45617076/67111528
[pid=12621] ppid=12619 vsize=123744 CPUtime=0.15 cores=1,3,5,7
/proc/12621/stat : 12621 (python) R 12619 12621 11775 0 -1 4202496 5357 928 1 0 11 4 0 0 24 0 1 0 869251894 126713856 3744 33554432000 4194304 5683644 140736692337664 18446744073709551615 4860448 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/12621/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123744
[startup+0.3004 s]
/proc/loadavg: 1.73 0.70 0.26 2/467 12621
/proc/meminfo: memFree=30100004/32950928 swapFree=45617076/67111528
[pid=12621] ppid=12619 vsize=177824 CPUtime=0.22 cores=1,3,5,7
/proc/12621/stat : 12621 (python) S 12619 12621 11775 0 -1 4202496 6262 928 1 0 16 6 0 0 25 0 1 0 869251894 182091776 4570 33554432000 4194304 5683644 140736692337664 18446744073709551615 248089696256 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/12621/statm: 44456 4570 1238 364 0 3568 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 177824
[startup+0.700322 s]
/proc/loadavg: 1.73 0.70 0.26 2/467 12621
/proc/meminfo: memFree=30100004/32950928 swapFree=45617076/67111528
[pid=12621] ppid=12619 vsize=287872 CPUtime=0.59 cores=1,3,5,7
/proc/12621/stat : 12621 (python) R 12619 12621 11775 0 -1 4202496 11156 928 1 0 50 9 0 0 25 0 1 0 869251894 294780928 8309 33554432000 4194304 5683644 140736692337664 18446744073709551615 4662235 0 0 16781312 33554434 0 0 0 17 7 0 0 0
/proc/12621/statm: 71968 8309 1815 364 0 6861 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 287872
[startup+1.50018 s]
/proc/loadavg: 1.73 0.70 0.26 3/471 12629
/proc/meminfo: memFree=30066864/32950928 swapFree=45617076/67111528
[pid=12621] ppid=12619 vsize=298616 CPUtime=0.81 cores=1,3,5,7
/proc/12621/stat : 12621 (python) S 12619 12621 11775 0 -1 4202496 11563 928 1 0 72 9 0 0 25 0 2 0 869251894 305782784 8492 33554432000 4194304 5683644 140736692337664 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/12621/statm: 74654 8492 1870 364 0 9541 0
[pid=12627] ppid=12621 vsize=288372 CPUtime=0 cores=1,3,5,7
/proc/12627/stat : 12627 (python) S 12621 12621 11775 0 -1 4202560 706 0 0 0 0 0 0 0 25 0 1 0 869251986 295292928 6966 33554432000 4194304 5683644 140736692337664 18446744073709551615 248089718287 0 0 16781312 33554946 10197048102179799300 0 0 17 7 0 0 0
/proc/12627/statm: 72093 6966 348 364 0 6980 0
[pid=12629] ppid=12627 vsize=4500 CPUtime=0.57 cores=1,3,5,7
/proc/12629/stat : 12629 (clasp-1.3.7-x86) R 12627 12629 12629 0 -1 4202496 1268 0 0 0 57 0 0 0 25 0 1 0 869251986 4608000 871 33554432000 134512640 136139019 4294291072 18446744073709551615 134883275 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12629/statm: 1125 871 184 398 0 725 0
[pid=12621/tid=12628] ppid=12619 vsize=298616 CPUtime=0 cores=1,3,5,7
/proc/12621/task/12628/stat : 12628 (python) S 12619 12621 11775 0 -1 4202560 24 928 0 0 0 0 0 0 25 0 2 0 869251986 305782784 8492 33554432000 4194304 5683644 140736692337664 18446744073709551615 248101521841 0 0 16781312 33554434 18446604462541182272 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 591488
Solver just ended. Dumping a history of the last processes samples
[startup+1.60116 s]
/proc/loadavg: 1.73 0.70 0.26 3/471 12629
/proc/meminfo: memFree=30066864/32950928 swapFree=45617076/67111528
[pid=12621] ppid=12619 vsize=298616 CPUtime=0.81 cores=1,3,5,7
/proc/12621/stat : 12621 (python) S 12619 12621 11775 0 -1 4202496 11563 928 1 0 72 9 0 0 25 0 2 0 869251894 305782784 8492 33554432000 4194304 5683644 140736692337664 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/12621/statm: 74654 8492 1870 364 0 9541 0
[pid=12627] ppid=12621 vsize=288372 CPUtime=0 cores=1,3,5,7
/proc/12627/stat : 12627 (python) S 12621 12621 11775 0 -1 4202560 706 0 0 0 0 0 0 0 25 0 1 0 869251986 295292928 6966 33554432000 4194304 5683644 140736692337664 18446744073709551615 248089718287 0 0 16781312 33554946 10197048102179799300 0 0 17 7 0 0 0
/proc/12627/statm: 72093 6966 348 364 0 6980 0
[pid=12629] ppid=12627 vsize=4500 CPUtime=0.67 cores=1,3,5,7
/proc/12629/stat : 12629 (clasp-1.3.7-x86) R 12627 12629 12629 0 -1 4202496 1268 0 0 0 67 0 0 0 25 0 1 0 869251986 4608000 871 33554432000 134512640 136139019 4294291072 18446744073709551615 134875550 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12629/statm: 1125 871 184 398 0 725 0
[pid=12621/tid=12628] ppid=12619 vsize=298616 CPUtime=0 cores=1,3,5,7
/proc/12621/task/12628/stat : 12628 (python) S 12619 12621 11775 0 -1 4202560 24 928 0 0 0 0 0 0 25 0 2 0 869251986 305782784 8492 33554432000 4194304 5683644 140736692337664 18446744073709551615 248101521841 0 0 16781312 33554434 18446604462541182272 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 591488
[startup+2.00109 s]
/proc/loadavg: 1.73 0.70 0.26 3/471 12629
/proc/meminfo: memFree=30066864/32950928 swapFree=45617076/67111528
[pid=12621] ppid=12619 vsize=298616 CPUtime=0.81 cores=1,3,5,7
/proc/12621/stat : 12621 (python) S 12619 12621 11775 0 -1 4202496 11563 928 1 0 72 9 0 0 25 0 2 0 869251894 305782784 8492 33554432000 4194304 5683644 140736692337664 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/12621/statm: 74654 8492 1870 364 0 9541 0
[pid=12627] ppid=12621 vsize=288372 CPUtime=0 cores=1,3,5,7
/proc/12627/stat : 12627 (python) S 12621 12621 11775 0 -1 4202560 729 0 0 0 0 0 0 0 18 0 1 0 869251986 295292928 6969 33554432000 4194304 5683644 140736692337664 18446744073709551615 248089718287 0 0 16781312 33554946 4482702966502949124 0 0 17 7 0 0 0
/proc/12627/statm: 72093 6969 351 364 0 6980 0
[pid=12629] ppid=12627 vsize=4632 CPUtime=1.07 cores=1,3,5,7
/proc/12629/stat : 12629 (clasp-1.3.7-x86) R 12627 12629 12629 0 -1 4202496 1276 0 0 0 107 0 0 0 25 0 1 0 869251986 4743168 879 33554432000 134512640 136139019 4294291072 18446744073709551615 134889472 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12629/statm: 1158 879 184 398 0 758 0
[pid=12621/tid=12628] ppid=12619 vsize=298616 CPUtime=0 cores=1,3,5,7
/proc/12621/task/12628/stat : 12628 (python) S 12619 12621 11775 0 -1 4202560 24 928 0 0 0 0 0 0 25 0 2 0 869251986 305782784 8492 33554432000 4194304 5683644 140736692337664 18446744073709551615 248101521841 0 0 16781312 33554434 18446604462541182272 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 591620
[startup+2.20106 s]
/proc/loadavg: 1.73 0.70 0.26 3/471 12629
/proc/meminfo: memFree=30065996/32950928 swapFree=45617076/67111528
[pid=12621] ppid=12619 vsize=298616 CPUtime=0.81 cores=1,3,5,7
/proc/12621/stat : 12621 (python) S 12619 12621 11775 0 -1 4202496 11563 928 1 0 72 9 0 0 25 0 2 0 869251894 305782784 8492 33554432000 4194304 5683644 140736692337664 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/12621/statm: 74654 8492 1870 364 0 9541 0
[pid=12627] ppid=12621 vsize=288372 CPUtime=0 cores=1,3,5,7
/proc/12627/stat : 12627 (python) S 12621 12621 11775 0 -1 4202560 729 0 0 0 0 0 0 0 18 0 1 0 869251986 295292928 6969 33554432000 4194304 5683644 140736692337664 18446744073709551615 248089718287 0 0 16781312 33554946 4482702966502949124 0 0 17 7 0 0 0
/proc/12627/statm: 72093 6969 351 364 0 6980 0
[pid=12629] ppid=12627 vsize=4632 CPUtime=1.28 cores=1,3,5,7
/proc/12629/stat : 12629 (clasp-1.3.7-x86) R 12627 12629 12629 0 -1 4202496 1280 0 0 0 128 0 0 0 25 0 1 0 869251986 4743168 883 33554432000 134512640 136139019 4294291072 18446744073709551615 134883066 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12629/statm: 1158 883 184 398 0 758 0
[pid=12621/tid=12628] ppid=12619 vsize=298616 CPUtime=0 cores=1,3,5,7
/proc/12621/task/12628/stat : 12628 (python) S 12619 12621 11775 0 -1 4202560 24 928 0 0 0 0 0 0 25 0 2 0 869251986 305782784 8492 33554432000 4194304 5683644 140736692337664 18446744073709551615 248101521841 0 0 16781312 33554434 18446604462541182272 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 591620
[startup+2.31703 s]
/proc/loadavg: 1.73 0.70 0.26 3/471 12629
/proc/meminfo: memFree=30065996/32950928 swapFree=45617076/67111528
[pid=12621] ppid=12619 vsize=298616 CPUtime=0.81 cores=1,3,5,7
/proc/12621/stat : 12621 (python) S 12619 12621 11775 0 -1 4202496 11563 928 1 0 72 9 0 0 25 0 2 0 869251894 305782784 8492 33554432000 4194304 5683644 140736692337664 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/12621/statm: 74654 8492 1870 364 0 9541 0
[pid=12627] ppid=12621 vsize=288372 CPUtime=0 cores=1,3,5,7
/proc/12627/stat : 12627 (python) S 12621 12621 11775 0 -1 4202560 729 0 0 0 0 0 0 0 18 0 1 0 869251986 295292928 6969 33554432000 4194304 5683644 140736692337664 18446744073709551615 248089718287 0 0 16781312 33554946 4482702966502949124 0 0 17 7 0 0 0
/proc/12627/statm: 72093 6969 351 364 0 6980 0
[pid=12629] ppid=12627 vsize=4632 CPUtime=1.39 cores=1,3,5,7
/proc/12629/stat : 12629 (clasp-1.3.7-x86) R 12627 12629 12629 0 -1 4202496 1280 0 0 0 139 0 0 0 25 0 1 0 869251986 4743168 883 33554432000 134512640 136139019 4294291072 18446744073709551615 134883821 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/12629/statm: 1158 883 184 398 0 758 0
[pid=12621/tid=12628] ppid=12619 vsize=298616 CPUtime=0 cores=1,3,5,7
/proc/12621/task/12628/stat : 12628 (python) S 12619 12621 11775 0 -1 4202560 24 928 0 0 0 0 0 0 25 0 2 0 869251986 305782784 8492 33554432000 4194304 5683644 140736692337664 18446744073709551615 248101521841 0 0 16781312 33554434 18446604462541182272 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 591620
Child status: 0
Real time (s): 2.36602
CPU time (s): 2.26665
CPU user time (s): 2.15467
CPU system time (s): 0.111982
CPU usage (%): 95.8003
Max. virtual memory (cumulated for all children) (KiB): 591620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.15467
system time used= 0.111982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19733
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= 1062
involuntary context switches= 39
runsolver used 0.017997 second user time and 0.033994 second system time
The end