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-3482443-1307576450/watcher-3482443-1307576450 -o /tmp/evaluation-result-3482443-1307576450/solver-3482443-1307576450 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482443-1307576450.opb -seed 764459692 -budget 1800
running on 4 cores: 0,2,4,6
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.35 0.40 0.14 1/498 31918
/proc/meminfo: memFree=27012136/32950928 swapFree=34421304/67111528
[pid=31918] ppid=31916 vsize=16244 CPUtime=0 cores=0,2,4,6
/proc/31918/stat : 31918 (python) R 31916 31918 31489 0 -1 4202496 988 0 0 0 0 0 0 0 17 0 1 0 947875949 16633856 860 33554432000 4194304 5683644 140737076061920 18446744073709551615 251367207621 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/31918/statm: 4061 860 363 364 0 548 0
[startup+0.0268341 s]
/proc/loadavg: 1.35 0.40 0.14 1/498 31918
/proc/meminfo: memFree=27012136/32950928 swapFree=34421304/67111528
[pid=31918] ppid=31916 vsize=16400 CPUtime=0.01 cores=0,2,4,6
/proc/31918/stat : 31918 (python) R 31916 31918 31489 0 -1 4202496 1078 0 0 0 1 0 0 0 17 0 1 0 947875949 16793600 948 33554432000 4194304 5683644 140737076061920 18446744073709551615 251367544832 0 2147483391 16781312 2 0 0 0 17 0 0 0 0
/proc/31918/statm: 4100 948 383 364 0 587 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16400
[startup+0.100799 s]
/proc/loadavg: 1.35 0.40 0.14 1/498 31918
/proc/meminfo: memFree=27012136/32950928 swapFree=34421304/67111528
[pid=31918] ppid=31916 vsize=50016 CPUtime=0.05 cores=0,2,4,6
/proc/31918/stat : 31918 (python) R 31916 31918 31489 0 -1 4202496 1954 0 0 0 4 1 0 0 17 0 1 0 947875949 51216384 1717 33554432000 4194304 5683644 140737076061920 18446744073709551615 251367544832 0 2147483391 16781312 2 0 0 0 17 0 0 0 0
/proc/31918/statm: 12504 1717 476 364 0 1204 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 50016
[startup+0.300817 s]
/proc/loadavg: 1.35 0.40 0.14 1/498 31918
/proc/meminfo: memFree=27012136/32950928 swapFree=34421304/67111528
[pid=31918] ppid=31916 vsize=117904 CPUtime=0.13 cores=0,2,4,6
/proc/31918/stat : 31918 (python) R 31916 31918 31489 0 -1 4202496 4898 929 1 0 10 3 0 0 17 0 1 0 947875949 120733696 3324 33554432000 4194304 5683644 140737076061920 18446744073709551615 4522368 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/31918/statm: 29476 3324 915 364 0 2446 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 117904
[startup+0.700689 s]
/proc/loadavg: 1.35 0.40 0.14 1/498 31918
/proc/meminfo: memFree=27012136/32950928 swapFree=34421304/67111528
[pid=31918] ppid=31916 vsize=210068 CPUtime=0.27 cores=0,2,4,6
/proc/31918/stat : 31918 (python) S 31916 31918 31489 0 -1 4202496 6837 929 1 0 20 7 0 0 15 0 1 0 947875949 215109632 5100 33554432000 4194304 5683644 140737076061920 18446744073709551615 251367544832 0 2147483391 16781312 2 18446744071699199166 0 0 17 0 0 0 0
/proc/31918/statm: 52517 5100 1501 364 0 3816 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 210068
[startup+1.5006 s]
/proc/loadavg: 1.35 0.40 0.14 3/502 31926
/proc/meminfo: memFree=26977384/32950928 swapFree=34421304/67111528
[pid=31918] ppid=31916 vsize=293480 CPUtime=0.51 cores=0,2,4,6
/proc/31918/stat : 31918 (python) S 31916 31918 31489 0 -1 4202496 9709 929 1 0 41 10 0 0 18 0 2 0 947875949 300523520 7213 33554432000 4194304 5683644 140737076061920 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/31918/statm: 73370 7213 1870 364 0 8257 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 293480
[startup+3.1003 s]
/proc/loadavg: 1.35 0.40 0.14 3/505 31929
/proc/meminfo: memFree=26973412/32950928 swapFree=34421304/67111528
[pid=31918] ppid=31916 vsize=293480 CPUtime=0.51 cores=0,2,4,6
/proc/31918/stat : 31918 (python) S 31916 31918 31489 0 -1 4202496 9709 929 1 0 41 10 0 0 18 0 2 0 947875949 300523520 7213 33554432000 4194304 5683644 140737076061920 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/31918/statm: 73370 7213 1870 364 0 8257 0
[pid=31927] ppid=31918 vsize=283236 CPUtime=0 cores=0,2,4,6
/proc/31927/stat : 31927 (python) S 31918 31918 31489 0 -1 4202560 727 0 0 0 0 0 0 0 18 0 1 0 947876057 290033664 5691 33554432000 4194304 5683644 140737076061920 18446744073709551615 251367566863 0 0 16781312 33554946 10924598863289352450 0 0 17 0 0 0 0
/proc/31927/statm: 70809 5691 352 364 0 5696 0
[pid=31929] ppid=31927 vsize=2656 CPUtime=2.01 cores=0,2,4,6
/proc/31929/stat : 31929 (clasp-1.3.7-x86) R 31927 31929 31929 0 -1 4202496 655 0 0 0 201 0 0 0 25 0 1 0 947876057 2719744 397 33554432000 134512640 136139019 4294423840 18446744073709551615 134621984 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/31929/statm: 664 397 184 398 0 264 0
[pid=31918/tid=31928] ppid=31916 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/31918/task/31928/stat : 31928 (python) S 31916 31918 31489 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 2 0 947876057 300523520 7213 33554432000 4194304 5683644 140737076061920 18446744073709551615 251379370417 0 0 16781312 33554434 18446604453877524672 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 579372
[startup+6.3187 s]
/proc/loadavg: 1.57 0.46 0.16 3/505 31929
/proc/meminfo: memFree=26972412/32950928 swapFree=34421304/67111528
[pid=31918] ppid=31916 vsize=293480 CPUtime=0.51 cores=0,2,4,6
/proc/31918/stat : 31918 (python) S 31916 31918 31489 0 -1 4202496 9709 929 1 0 41 10 0 0 18 0 2 0 947875949 300523520 7213 33554432000 4194304 5683644 140737076061920 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/31918/statm: 73370 7213 1870 364 0 8257 0
[pid=31927] ppid=31918 vsize=283236 CPUtime=0.01 cores=0,2,4,6
/proc/31927/stat : 31927 (python) S 31918 31918 31489 0 -1 4202560 888 0 0 0 1 0 0 0 18 0 1 0 947876057 290033664 5715 33554432000 4194304 5683644 140737076061920 18446744073709551615 251367566863 0 0 16781312 33554946 10924599619203596546 0 0 17 0 0 0 0
/proc/31927/statm: 70809 5715 376 364 0 5696 0
[pid=31929] ppid=31927 vsize=3052 CPUtime=5.23 cores=0,2,4,6
/proc/31929/stat : 31929 (clasp-1.3.7-x86) R 31927 31929 31929 0 -1 4202496 755 0 0 0 523 0 0 0 25 0 1 0 947876057 3125248 497 33554432000 134512640 136139019 4294423840 18446744073709551615 134883434 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/31929/statm: 763 497 184 398 0 363 0
[pid=31918/tid=31928] ppid=31916 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/31918/task/31928/stat : 31928 (python) S 31916 31918 31489 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 2 0 947876057 300523520 7213 33554432000 4194304 5683644 140737076061920 18446744073709551615 251379370417 0 0 16781312 33554434 18446604453877524672 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.75
Current children cumulated vsize (KiB) 579768
[startup+12.7005 s]
/proc/loadavg: 1.60 0.49 0.17 3/505 31929
/proc/meminfo: memFree=26971196/32950928 swapFree=34421304/67111528
[pid=31918] ppid=31916 vsize=293480 CPUtime=0.51 cores=0,2,4,6
/proc/31918/stat : 31918 (python) S 31916 31918 31489 0 -1 4202496 9709 929 1 0 41 10 0 0 18 0 2 0 947875949 300523520 7213 33554432000 4194304 5683644 140737076061920 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/31918/statm: 73370 7213 1870 364 0 8257 0
[pid=31927] ppid=31918 vsize=283236 CPUtime=0.03 cores=0,2,4,6
/proc/31927/stat : 31927 (python) S 31918 31918 31489 0 -1 4202560 892 0 0 0 2 1 0 0 18 0 1 0 947876057 290033664 5715 33554432000 4194304 5683644 140737076061920 18446744073709551615 251367566863 0 0 16781312 33554946 72556772316949365 0 0 17 6 0 0 0
/proc/31927/statm: 70809 5715 376 364 0 5696 0
[pid=31929] ppid=31927 vsize=3468 CPUtime=11.61 cores=0,2,4,6
/proc/31929/stat : 31929 (clasp-1.3.7-x86) R 31927 31929 31929 0 -1 4202496 879 0 0 0 1161 0 0 0 25 0 1 0 947876057 3551232 621 33554432000 134512640 136139019 4294423840 18446744073709551615 134832464 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/31929/statm: 867 621 184 398 0 467 0
[pid=31918/tid=31928] ppid=31916 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/31918/task/31928/stat : 31928 (python) S 31916 31918 31489 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 2 0 947876057 300523520 7213 33554432000 4194304 5683644 140737076061920 18446744073709551615 251379370417 0 0 16781312 33554434 18446604453877524672 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.15
Current children cumulated vsize (KiB) 580184
Solver just ended. Dumping a history of the last processes samples
[startup+13.5004 s]
/proc/loadavg: 1.60 0.49 0.17 3/505 31929
/proc/meminfo: memFree=26971072/32950928 swapFree=34421304/67111528
[pid=31918] ppid=31916 vsize=293480 CPUtime=0.51 cores=0,2,4,6
/proc/31918/stat : 31918 (python) S 31916 31918 31489 0 -1 4202496 9709 929 1 0 41 10 0 0 18 0 2 0 947875949 300523520 7213 33554432000 4194304 5683644 140737076061920 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/31918/statm: 73370 7213 1870 364 0 8257 0
[pid=31927] ppid=31918 vsize=283236 CPUtime=0.03 cores=0,2,4,6
/proc/31927/stat : 31927 (python) S 31918 31918 31489 0 -1 4202560 892 0 0 0 2 1 0 0 18 0 1 0 947876057 290033664 5715 33554432000 4194304 5683644 140737076061920 18446744073709551615 251367566863 0 0 16781312 33554946 72556772316949365 0 0 17 6 0 0 0
/proc/31927/statm: 70809 5715 376 364 0 5696 0
[pid=31929] ppid=31927 vsize=3468 CPUtime=12.41 cores=0,2,4,6
/proc/31929/stat : 31929 (clasp-1.3.7-x86) R 31927 31929 31929 0 -1 4202496 884 0 0 0 1241 0 0 0 25 0 1 0 947876057 3551232 626 33554432000 134512640 136139019 4294423840 18446744073709551615 134876715 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/31929/statm: 867 626 184 398 0 467 0
[pid=31918/tid=31928] ppid=31916 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/31918/task/31928/stat : 31928 (python) S 31916 31918 31489 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 2 0 947876057 300523520 7213 33554432000 4194304 5683644 140737076061920 18446744073709551615 251379370417 0 0 16781312 33554434 18446604453877524672 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.95
Current children cumulated vsize (KiB) 580184
[startup+16.7008 s]
/proc/loadavg: 1.63 0.51 0.18 3/505 31930
/proc/meminfo: memFree=26971684/32950928 swapFree=34421304/67111528
[pid=31918] ppid=31916 vsize=293480 CPUtime=0.51 cores=0,2,4,6
/proc/31918/stat : 31918 (python) S 31916 31918 31489 0 -1 4202496 9709 929 1 0 41 10 0 0 18 0 2 0 947875949 300523520 7213 33554432000 4194304 5683644 140737076061920 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/31918/statm: 73370 7213 1870 364 0 8257 0
[pid=31927] ppid=31918 vsize=283236 CPUtime=0.05 cores=0,2,4,6
/proc/31927/stat : 31927 (python) S 31918 31918 31489 0 -1 4202560 896 0 0 0 3 2 0 0 18 0 1 0 947876057 290033664 5715 33554432000 4194304 5683644 140737076061920 18446744073709551615 251367566863 0 0 16781312 33554946 72556772316949365 0 0 17 6 0 0 0
/proc/31927/statm: 70809 5715 376 364 0 5696 0
[pid=31929] ppid=31927 vsize=3732 CPUtime=15.61 cores=0,2,4,6
/proc/31929/stat : 31929 (clasp-1.3.7-x86) R 31927 31929 31929 0 -1 4202496 938 0 0 0 1561 0 0 0 25 0 1 0 947876057 3821568 680 33554432000 134512640 136139019 4294423840 18446744073709551615 134883761 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/31929/statm: 933 680 184 398 0 533 0
[pid=31918/tid=31928] ppid=31916 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/31918/task/31928/stat : 31928 (python) S 31916 31918 31489 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 2 0 947876057 300523520 7213 33554432000 4194304 5683644 140737076061920 18446744073709551615 251379370417 0 0 16781312 33554434 18446604453877524672 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 16.17
Current children cumulated vsize (KiB) 580448
[startup+17.5006 s]
/proc/loadavg: 1.63 0.51 0.18 3/505 31930
/proc/meminfo: memFree=26971560/32950928 swapFree=34421304/67111528
[pid=31918] ppid=31916 vsize=293480 CPUtime=0.51 cores=0,2,4,6
/proc/31918/stat : 31918 (python) S 31916 31918 31489 0 -1 4202496 9709 929 1 0 41 10 0 0 18 0 2 0 947875949 300523520 7213 33554432000 4194304 5683644 140737076061920 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/31918/statm: 73370 7213 1870 364 0 8257 0
[pid=31927] ppid=31918 vsize=283236 CPUtime=0.05 cores=0,2,4,6
/proc/31927/stat : 31927 (python) S 31918 31918 31489 0 -1 4202560 896 0 0 0 3 2 0 0 18 0 1 0 947876057 290033664 5715 33554432000 4194304 5683644 140737076061920 18446744073709551615 251367566863 0 0 16781312 33554946 72556772316949365 0 0 17 6 0 0 0
/proc/31927/statm: 70809 5715 376 364 0 5696 0
[pid=31929] ppid=31927 vsize=3732 CPUtime=16.41 cores=0,2,4,6
/proc/31929/stat : 31929 (clasp-1.3.7-x86) R 31927 31929 31929 0 -1 4202496 946 0 0 0 1641 0 0 0 25 0 1 0 947876057 3821568 688 33554432000 134512640 136139019 4294423840 18446744073709551615 134871058 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/31929/statm: 933 688 184 398 0 533 0
[pid=31918/tid=31928] ppid=31916 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/31918/task/31928/stat : 31928 (python) S 31916 31918 31489 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 2 0 947876057 300523520 7213 33554432000 4194304 5683644 140737076061920 18446744073709551615 251379370417 0 0 16781312 33554434 18446604453877524672 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 16.97
Current children cumulated vsize (KiB) 580448
[startup+18.3005 s]
/proc/loadavg: 1.63 0.51 0.18 3/505 31930
/proc/meminfo: memFree=26972056/32950928 swapFree=34421304/67111528
[pid=31918] ppid=31916 vsize=293480 CPUtime=0.51 cores=0,2,4,6
/proc/31918/stat : 31918 (python) S 31916 31918 31489 0 -1 4202496 9709 929 1 0 41 10 0 0 18 0 2 0 947875949 300523520 7213 33554432000 4194304 5683644 140737076061920 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/31918/statm: 73370 7213 1870 364 0 8257 0
[pid=31927] ppid=31918 vsize=283236 CPUtime=0.05 cores=0,2,4,6
/proc/31927/stat : 31927 (python) S 31918 31918 31489 0 -1 4202560 896 0 0 0 3 2 0 0 18 0 1 0 947876057 290033664 5715 33554432000 4194304 5683644 140737076061920 18446744073709551615 251367566863 0 0 16781312 33554946 72556772316949365 0 0 17 6 0 0 0
/proc/31927/statm: 70809 5715 376 364 0 5696 0
[pid=31929] ppid=31927 vsize=3732 CPUtime=17.23 cores=0,2,4,6
/proc/31929/stat : 31929 (clasp-1.3.7-x86) R 31927 31929 31929 0 -1 4202496 948 0 0 0 1723 0 0 0 25 0 1 0 947876057 3821568 690 33554432000 134512640 136139019 4294423840 18446744073709551615 134883744 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/31929/statm: 933 690 184 398 0 533 0
[pid=31918/tid=31928] ppid=31916 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/31918/task/31928/stat : 31928 (python) S 31916 31918 31489 0 -1 4202560 27 929 0 0 0 0 0 0 18 0 2 0 947876057 300523520 7213 33554432000 4194304 5683644 140737076061920 18446744073709551615 251379370417 0 0 16781312 33554434 18446604453877524672 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 17.79
Current children cumulated vsize (KiB) 580448
[startup+18.7004 s]
/proc/loadavg: 1.63 0.51 0.18 3/505 31930
/proc/meminfo: memFree=26972056/32950928 swapFree=34421304/67111528
[pid=31918] ppid=31916 vsize=293456 CPUtime=18.18 cores=0,2,4,6
/proc/31918/stat : 31918 (python) R 31916 31918 31489 0 -1 4202496 11881 3098 1 0 41 10 1763 4 18 0 1 0 947875949 300498944 7211 33554432000 4194304 5683644 140737076061920 18446744073709551615 5114048 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/31918/statm: 73364 7211 1868 364 0 8257 0
Current children cumulated CPU time (s) 18.18
Current children cumulated vsize (KiB) 293456
Child status: 0
Real time (s): 18.7171
CPU time (s): 18.2282
CPU user time (s): 18.0683
CPU system time (s): 0.159975
CPU usage (%): 97.3881
Max. virtual memory (cumulated for all children) (KiB): 580584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.0683
system time used= 0.159975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17223
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= 1574
involuntary context switches= 46
runsolver used 0.104984 second user time and 0.186971 second system time
The end