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-3482644-1307576482/watcher-3482644-1307576482 -o /tmp/evaluation-result-3482644-1307576482/solver-3482644-1307576482 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482644-1307576482.opb -seed 449239746 -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: 4.04 1.49 0.54 1/526 2762
/proc/meminfo: memFree=17362200/32951132 swapFree=45426552/67111528
[pid=2762] ppid=2759 vsize=15216 CPUtime=0 cores=1,3,5,7
/proc/2762/stat : 2762 (python) R 2759 2762 2587 0 -1 4202496 657 0 0 0 0 0 0 0 19 0 1 0 869246973 15581184 553 33554432000 4194304 5683644 140736773028288 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2762/statm: 3804 553 312 364 0 291 0
[startup+0.0926641 s]
/proc/loadavg: 4.04 1.49 0.54 1/526 2762
/proc/meminfo: memFree=17362200/32951132 swapFree=45426552/67111528
[pid=2762] ppid=2759 vsize=84568 CPUtime=0.06 cores=1,3,5,7
/proc/2762/stat : 2762 (python) S 2759 2762 2587 0 -1 4202496 2398 0 0 0 4 2 0 0 17 0 1 0 869246973 86597632 2127 33554432000 4194304 5683644 140736773028288 18446744073709551615 242970548224 0 2147483391 16781312 2 18446744071699109054 0 0 17 7 0 0 0
/proc/2762/statm: 21142 2127 707 364 0 1359 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 84568
[startup+0.101357 s]
/proc/loadavg: 4.04 1.49 0.54 1/526 2762
/proc/meminfo: memFree=17362200/32951132 swapFree=45426552/67111528
[pid=2762] ppid=2759 vsize=85620 CPUtime=0.06 cores=1,3,5,7
/proc/2762/stat : 2762 (python) S 2759 2762 2587 0 -1 4202496 2663 0 0 0 4 2 0 0 17 0 1 0 869246973 87674880 2382 33554432000 4194304 5683644 140736773028288 18446744073709551615 242970548224 0 2147483391 16781312 2 18446744071699109054 0 0 17 7 0 0 0
/proc/2762/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620
[startup+0.30037 s]
/proc/loadavg: 4.04 1.49 0.54 1/526 2762
/proc/meminfo: memFree=17362200/32951132 swapFree=45426552/67111528
[pid=2762] ppid=2759 vsize=123740 CPUtime=0.17 cores=1,3,5,7
/proc/2762/stat : 2762 (python) S 2759 2762 2587 0 -1 4202496 5357 934 1 0 11 6 0 0 16 0 1 0 869246973 126709760 3744 33554432000 4194304 5683644 140736773028288 18446744073709551615 242970546181 0 2147483391 16781312 2 18446744071699109054 0 0 17 7 0 0 0
/proc/2762/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.700286 s]
/proc/loadavg: 4.04 1.49 0.54 1/526 2762
/proc/meminfo: memFree=17362200/32951132 swapFree=45426552/67111528
[pid=2762] ppid=2759 vsize=282596 CPUtime=0.44 cores=1,3,5,7
/proc/2762/stat : 2762 (python) R 2759 2762 2587 0 -1 4202496 9103 934 1 0 29 15 0 0 15 0 1 0 869246973 289378304 6965 33554432000 4194304 5683644 140736773028288 18446744073709551615 242970246923 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/2762/statm: 70649 6965 1781 364 0 5542 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 282596
[startup+1.50115 s]
/proc/loadavg: 4.04 1.49 0.54 2/530 2771
/proc/meminfo: memFree=17336860/32951132 swapFree=45426552/67111528
[pid=2762] ppid=2759 vsize=293480 CPUtime=0.5 cores=1,3,5,7
/proc/2762/stat : 2762 (python) S 2759 2762 2587 0 -1 4202496 9706 934 1 0 35 15 0 0 18 0 2 0 869246973 300523520 7213 33554432000 4194304 5683644 140736773028288 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/2762/statm: 73370 7213 1870 364 0 8257 0
[pid=2769] ppid=2762 vsize=283236 CPUtime=0 cores=1,3,5,7
/proc/2769/stat : 2769 (python) S 2762 2762 2587 0 -1 4202560 700 0 0 0 0 0 0 0 18 0 1 0 869247050 290033664 5688 33554432000 4194304 5683644 140736773028288 18446744073709551615 242970570255 0 0 16781312 33554946 3901057054801887494 0 0 17 1 0 0 0
/proc/2769/statm: 70809 5688 349 364 0 5696 0
[pid=2771] ppid=2769 vsize=2388 CPUtime=0.72 cores=1,3,5,7
/proc/2771/stat : 2771 (clasp-1.3.7-x86) R 2769 2771 2771 0 -1 4202496 608 0 0 0 72 0 0 0 21 0 1 0 869247050 2445312 350 33554432000 134512640 136139019 4294882976 18446744073709551615 134608352 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/2771/statm: 597 350 184 398 0 197 0
[pid=2762/tid=2770] ppid=2759 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/2762/task/2770/stat : 2770 (python) S 2759 2762 2587 0 -1 4202560 28 934 0 0 0 0 0 0 18 0 2 0 869247050 300523520 7213 33554432000 4194304 5683644 140736773028288 18446744073709551615 242982373809 0 0 16781312 33554434 18446604469600855872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 579104
[startup+3.10089 s]
/proc/loadavg: 4.04 1.49 0.54 2/530 2771
/proc/meminfo: memFree=17335496/32951132 swapFree=45426552/67111528
[pid=2762] ppid=2759 vsize=293480 CPUtime=0.5 cores=1,3,5,7
/proc/2762/stat : 2762 (python) S 2759 2762 2587 0 -1 4202496 9706 934 1 0 35 15 0 0 18 0 2 0 869246973 300523520 7213 33554432000 4194304 5683644 140736773028288 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/2762/statm: 73370 7213 1870 364 0 8257 0
[pid=2769] ppid=2762 vsize=283236 CPUtime=0 cores=1,3,5,7
/proc/2769/stat : 2769 (python) S 2762 2762 2587 0 -1 4202560 724 0 0 0 0 0 0 0 18 0 1 0 869247050 290033664 5691 33554432000 4194304 5683644 140736773028288 18446744073709551615 242970570255 0 0 16781312 33554946 3901050251573690630 0 0 17 1 0 0 0
/proc/2769/statm: 70809 5691 352 364 0 5696 0
[pid=2771] ppid=2769 vsize=2656 CPUtime=2.32 cores=1,3,5,7
/proc/2771/stat : 2771 (clasp-1.3.7-x86) R 2769 2771 2771 0 -1 4202496 685 0 0 0 232 0 0 0 25 0 1 0 869247050 2719744 427 33554432000 134512640 136139019 4294882976 18446744073709551615 134831256 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/2771/statm: 664 427 184 398 0 264 0
[pid=2762/tid=2770] ppid=2759 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/2762/task/2770/stat : 2770 (python) S 2759 2762 2587 0 -1 4202560 28 934 0 0 0 0 0 0 18 0 2 0 869247050 300523520 7213 33554432000 4194304 5683644 140736773028288 18446744073709551615 242982373809 0 0 16781312 33554434 18446604469600855872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 579372
[startup+6.30033 s]
/proc/loadavg: 4.03 1.53 0.56 2/530 2771
/proc/meminfo: memFree=17335156/32951132 swapFree=45426552/67111528
[pid=2762] ppid=2759 vsize=293480 CPUtime=0.5 cores=1,3,5,7
/proc/2762/stat : 2762 (python) S 2759 2762 2587 0 -1 4202496 9706 934 1 0 35 15 0 0 18 0 2 0 869246973 300523520 7213 33554432000 4194304 5683644 140736773028288 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/2762/statm: 73370 7213 1870 364 0 8257 0
[pid=2769] ppid=2762 vsize=283236 CPUtime=0.01 cores=1,3,5,7
/proc/2769/stat : 2769 (python) S 2762 2762 2587 0 -1 4202560 878 0 0 0 0 1 0 0 18 0 1 0 869247050 290033664 5714 33554432000 4194304 5683644 140736773028288 18446744073709551615 242970570255 0 0 16781312 33554946 12902788163340042502 0 0 17 7 0 0 0
/proc/2769/statm: 70809 5714 375 364 0 5696 0
[pid=2771] ppid=2769 vsize=3060 CPUtime=5.52 cores=1,3,5,7
/proc/2771/stat : 2771 (clasp-1.3.7-x86) R 2769 2771 2771 0 -1 4202496 756 0 0 0 552 0 0 0 25 0 1 0 869247050 3133440 498 33554432000 134512640 136139019 4294882976 18446744073709551615 134883867 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/2771/statm: 765 498 184 398 0 365 0
[pid=2762/tid=2770] ppid=2759 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/2762/task/2770/stat : 2770 (python) S 2759 2762 2587 0 -1 4202560 28 934 0 0 0 0 0 0 18 0 2 0 869247050 300523520 7213 33554432000 4194304 5683644 140736773028288 18446744073709551615 242982373809 0 0 16781312 33554434 18446604469600855872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 579776
Solver just ended. Dumping a history of the last processes samples
[startup+7.10119 s]
/proc/loadavg: 4.03 1.53 0.56 2/530 2771
/proc/meminfo: memFree=17335280/32951132 swapFree=45426552/67111528
[pid=2762] ppid=2759 vsize=293480 CPUtime=0.5 cores=1,3,5,7
/proc/2762/stat : 2762 (python) S 2759 2762 2587 0 -1 4202496 9706 934 1 0 35 15 0 0 18 0 2 0 869246973 300523520 7213 33554432000 4194304 5683644 140736773028288 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/2762/statm: 73370 7213 1870 364 0 8257 0
[pid=2769] ppid=2762 vsize=283236 CPUtime=0.01 cores=1,3,5,7
/proc/2769/stat : 2769 (python) S 2762 2762 2587 0 -1 4202560 878 0 0 0 0 1 0 0 18 0 1 0 869247050 290033664 5714 33554432000 4194304 5683644 140736773028288 18446744073709551615 242970570255 0 0 16781312 33554946 12902788163340042502 0 0 17 7 0 0 0
/proc/2769/statm: 70809 5714 375 364 0 5696 0
[pid=2771] ppid=2769 vsize=3060 CPUtime=6.32 cores=1,3,5,7
/proc/2771/stat : 2771 (clasp-1.3.7-x86) R 2769 2771 2771 0 -1 4202496 778 0 0 0 632 0 0 0 25 0 1 0 869247050 3133440 520 33554432000 134512640 136139019 4294882976 18446744073709551615 134634749 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/2771/statm: 765 520 184 398 0 365 0
[pid=2762/tid=2770] ppid=2759 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/2762/task/2770/stat : 2770 (python) S 2759 2762 2587 0 -1 4202560 28 934 0 0 0 0 0 0 18 0 2 0 869247050 300523520 7213 33554432000 4194304 5683644 140736773028288 18446744073709551615 242982373809 0 0 16781312 33554434 18446604469600855872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.83
Current children cumulated vsize (KiB) 579776
[startup+7.50113 s]
/proc/loadavg: 4.03 1.53 0.56 2/530 2771
/proc/meminfo: memFree=17335280/32951132 swapFree=45426552/67111528
[pid=2762] ppid=2759 vsize=293480 CPUtime=0.5 cores=1,3,5,7
/proc/2762/stat : 2762 (python) S 2759 2762 2587 0 -1 4202496 9706 934 1 0 35 15 0 0 18 0 2 0 869246973 300523520 7213 33554432000 4194304 5683644 140736773028288 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/2762/statm: 73370 7213 1870 364 0 8257 0
[pid=2769] ppid=2762 vsize=283236 CPUtime=0.01 cores=1,3,5,7
/proc/2769/stat : 2769 (python) S 2762 2762 2587 0 -1 4202560 878 0 0 0 0 1 0 0 18 0 1 0 869247050 290033664 5714 33554432000 4194304 5683644 140736773028288 18446744073709551615 242970570255 0 0 16781312 33554946 12902788163340042502 0 0 17 7 0 0 0
/proc/2769/statm: 70809 5714 375 364 0 5696 0
[pid=2771] ppid=2769 vsize=3060 CPUtime=6.72 cores=1,3,5,7
/proc/2771/stat : 2771 (clasp-1.3.7-x86) R 2769 2771 2771 0 -1 4202496 779 0 0 0 672 0 0 0 25 0 1 0 869247050 3133440 521 33554432000 134512640 136139019 4294882976 18446744073709551615 134883787 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/2771/statm: 765 521 184 398 0 365 0
[pid=2762/tid=2770] ppid=2759 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/2762/task/2770/stat : 2770 (python) S 2759 2762 2587 0 -1 4202560 28 934 0 0 0 0 0 0 18 0 2 0 869247050 300523520 7213 33554432000 4194304 5683644 140736773028288 18446744073709551615 242982373809 0 0 16781312 33554434 18446604469600855872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.23
Current children cumulated vsize (KiB) 579776
[startup+7.90106 s]
/proc/loadavg: 4.03 1.53 0.56 2/530 2771
/proc/meminfo: memFree=17337460/32951132 swapFree=45426552/67111528
[pid=2762] ppid=2759 vsize=293480 CPUtime=0.5 cores=1,3,5,7
/proc/2762/stat : 2762 (python) S 2759 2762 2587 0 -1 4202496 9706 934 1 0 35 15 0 0 18 0 2 0 869246973 300523520 7213 33554432000 4194304 5683644 140736773028288 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/2762/statm: 73370 7213 1870 364 0 8257 0
[pid=2769] ppid=2762 vsize=283236 CPUtime=0.01 cores=1,3,5,7
/proc/2769/stat : 2769 (python) S 2762 2762 2587 0 -1 4202560 878 0 0 0 0 1 0 0 18 0 1 0 869247050 290033664 5714 33554432000 4194304 5683644 140736773028288 18446744073709551615 242970570255 0 0 16781312 33554946 12902788163340042502 0 0 17 7 0 0 0
/proc/2769/statm: 70809 5714 375 364 0 5696 0
[pid=2771] ppid=2769 vsize=3204 CPUtime=7.12 cores=1,3,5,7
/proc/2771/stat : 2771 (clasp-1.3.7-x86) R 2769 2771 2771 0 -1 4202496 789 0 0 0 712 0 0 0 25 0 1 0 869247050 3280896 531 33554432000 134512640 136139019 4294882976 18446744073709551615 134608269 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/2771/statm: 801 531 184 398 0 401 0
[pid=2762/tid=2770] ppid=2759 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/2762/task/2770/stat : 2770 (python) S 2759 2762 2587 0 -1 4202560 28 934 0 0 0 0 0 0 18 0 2 0 869247050 300523520 7213 33554432000 4194304 5683644 140736773028288 18446744073709551615 242982373809 0 0 16781312 33554434 18446604469600855872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.63
Current children cumulated vsize (KiB) 579920
[startup+8.00099 s]
/proc/loadavg: 4.03 1.53 0.56 2/530 2771
/proc/meminfo: memFree=17337460/32951132 swapFree=45426552/67111528
[pid=2762] ppid=2759 vsize=293480 CPUtime=0.5 cores=1,3,5,7
/proc/2762/stat : 2762 (python) S 2759 2762 2587 0 -1 4202496 9706 934 1 0 35 15 0 0 18 0 2 0 869246973 300523520 7213 33554432000 4194304 5683644 140736773028288 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/2762/statm: 73370 7213 1870 364 0 8257 0
[pid=2769] ppid=2762 vsize=283240 CPUtime=0.03 cores=1,3,5,7
/proc/2769/stat : 2769 (python) R 2762 2762 2587 0 -1 4202560 883 0 0 0 1 2 0 0 16 0 1 0 869247050 290037760 5714 33554432000 4194304 5683644 140736773028288 18446744073709551615 242970550016 0 0 16781312 33554946 0 0 0 17 3 0 0 0
/proc/2769/statm: 70810 5714 375 364 0 5697 0
[pid=2771] ppid=2769 vsize=0 CPUtime=7.2 cores=1,3,5,7
/proc/2771/stat : 2771 (clasp-1.3.7-x86) Z 2769 2771 2771 0 -1 4202524 802 0 0 0 720 0 0 0 25 0 1 0 869247050 0 0 33554432000 0 0 0 0 0 0 0 16781312 16386 18446744073709551615 0 0 17 3 0 0 0
/proc/2771/statm: 0 0 0 0 0 0 0
[pid=2762/tid=2770] ppid=2759 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/2762/task/2770/stat : 2770 (python) S 2759 2762 2587 0 -1 4202560 28 934 0 0 0 0 0 0 18 0 2 0 869247050 300523520 7213 33554432000 4194304 5683644 140736773028288 18446744073709551615 242982373809 0 0 16781312 33554434 18446604469600855872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.73
Current children cumulated vsize (KiB) 576720
Child status: 0
Real time (s): 8.0228
CPU time (s): 7.79181
CPU user time (s): 7.60284
CPU system time (s): 0.188971
CPU usage (%): 97.1209
Max. virtual memory (cumulated for all children) (KiB): 579920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.60284
system time used= 0.188971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17051
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= 2790
involuntary context switches= 147
runsolver used 0.037994 second user time and 0.109983 second system time
The end