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-3482474-1307576360/watcher-3482474-1307576360 -o /tmp/evaluation-result-3482474-1307576360/solver-3482474-1307576360 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482474-1307576360.opb -seed 1551009843 -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: 0.22 0.05 0.01 3/497 31526
/proc/meminfo: memFree=27077616/32950928 swapFree=34421304/67111528
[pid=31526] ppid=31524 vsize=14252 CPUtime=0 cores=0,2,4,6
/proc/31526/stat : 31526 (python) D 31524 31526 31489 0 -1 4194304 198 0 1 0 0 0 0 0 20 0 1 0 947869678 14594048 134 33554432000 4194304 5683644 140734692060480 18446744073709551615 5051632 0 0 4096 0 18446744071562234166 0 0 17 0 0 0 0
/proc/31526/statm: 3563 134 105 364 0 50 0
[startup+0.111509 s]
/proc/loadavg: 0.22 0.05 0.01 3/497 31526
/proc/meminfo: memFree=27077616/32950928 swapFree=34421304/67111528
[pid=31526] ppid=31524 vsize=15388 CPUtime=0 cores=0,2,4,6
/proc/31526/stat : 31526 (python) R 31524 31526 31489 0 -1 4202496 793 0 4 0 0 0 0 0 17 0 1 0 947869678 15757312 683 33554432000 4194304 5683644 140734692060480 18446744073709551615 251367542708 0 2147483391 16781312 2 0 0 0 17 0 0 0 1
/proc/31526/statm: 3847 685 322 364 0 334 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15388
[startup+0.200492 s]
/proc/loadavg: 0.22 0.05 0.01 3/497 31526
/proc/meminfo: memFree=27077616/32950928 swapFree=34421304/67111528
[pid=31526] ppid=31524 vsize=16244 CPUtime=0.01 cores=0,2,4,6
/proc/31526/stat : 31526 (python) R 31524 31526 31489 0 -1 4202496 1060 0 4 0 1 0 0 0 17 0 1 0 947869678 16633856 935 33554432000 4194304 5683644 140734692060480 18446744073709551615 251367214047 0 0 16781312 2 0 0 0 17 0 0 0 2
/proc/31526/statm: 4061 935 381 364 0 548 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16244
[startup+0.300542 s]
/proc/loadavg: 0.22 0.05 0.01 3/497 31526
/proc/meminfo: memFree=27077616/32950928 swapFree=34421304/67111528
[pid=31526] ppid=31524 vsize=16396 CPUtime=0.01 cores=0,2,4,6
/proc/31526/stat : 31526 (python) S 31524 31526 31489 0 -1 4202496 1114 0 4 0 1 0 0 0 16 0 1 0 947869678 16789504 985 33554432000 4194304 5683644 140734692060480 18446744073709551615 251367544832 0 2147483391 16781312 2 18446744071699199166 0 0 17 0 0 0 3
/proc/31526/statm: 4099 985 409 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
[startup+0.700406 s]
/proc/loadavg: 0.22 0.05 0.01 3/497 31526
/proc/meminfo: memFree=27077616/32950928 swapFree=34421304/67111528
[pid=31526] ppid=31524 vsize=25316 CPUtime=0.04 cores=0,2,4,6
/proc/31526/stat : 31526 (python) D 31524 31526 31489 0 -1 4202496 1341 0 8 0 2 2 0 0 16 0 1 0 947869678 25923584 1194 33554432000 4194304 5683644 140734692060480 18446744073709551615 251367544832 0 0 16781312 2 0 0 0 17 0 0 0 5
/proc/31526/statm: 6329 1194 438 364 0 730 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 25316
[startup+1.50037 s]
/proc/loadavg: 0.22 0.05 0.01 2/499 31529
/proc/meminfo: memFree=27066196/32950928 swapFree=34421304/67111528
[pid=31526] ppid=31524 vsize=50012 CPUtime=0.09 cores=0,2,4,6
/proc/31526/stat : 31526 (python) D 31524 31526 31489 0 -1 4202496 1939 0 15 0 4 5 0 0 16 0 1 0 947869678 51212288 1717 33554432000 4194304 5683644 140734692060480 18446744073709551615 251367544832 0 0 16781312 2 0 0 0 17 0 0 0 9
/proc/31526/statm: 12503 1717 476 364 0 1203 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 50012
[startup+3.10105 s]
/proc/loadavg: 0.20 0.05 0.01 2/499 31529
/proc/meminfo: memFree=27057128/32950928 swapFree=34421304/67111528
[pid=31526] ppid=31524 vsize=106124 CPUtime=0.18 cores=0,2,4,6
/proc/31526/stat : 31526 (python) D 31524 31526 31489 0 -1 4202496 3925 921 29 9 9 9 0 0 16 0 1 0 947869678 108670976 2735 33554432000 4194304 5683644 140734692060480 18446744073709551615 251367542629 0 0 16781312 2 0 0 0 17 0 0 0 18
/proc/31526/statm: 26531 2735 867 364 0 1779 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 106124
heavy processes:
[startup+6.30046 s]
/proc/loadavg: 0.20 0.05 0.01 3/499 31537
/proc/meminfo: memFree=27040520/32950928 swapFree=34421304/67111528
[pid=31526] ppid=31524 vsize=123744 CPUtime=0.27 cores=0,2,4,6
/proc/31526/stat : 31526 (python) S 31524 31526 31489 0 -1 4202496 5322 921 36 9 13 14 0 0 15 0 1 0 947869678 126713856 3744 33554432000 4194304 5683644 140734692060480 18446744073709551615 251367544832 0 2147483391 16781312 2 18446744071699199166 0 0 17 0 0 0 108
/proc/31526/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 123744
heavy processes:
[startup+12.7012 s]
/proc/loadavg: 0.33 0.08 0.02 5/505 31543
/proc/meminfo: memFree=26980064/32950928 swapFree=34421304/67111528
[pid=31526] ppid=31524 vsize=293088 CPUtime=0.68 cores=0,2,4,6
/proc/31526/stat : 31526 (python) S 31524 31526 31489 0 -1 4202496 9524 921 108 9 38 30 0 0 17 0 2 0 947869678 300122112 7143 33554432000 4194304 5683644 140734692060480 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 244
/proc/31526/statm: 73272 7143 1870 364 0 8159 0
[pid=31540] ppid=31526 vsize=282844 CPUtime=0 cores=0,2,4,6
/proc/31540/stat : 31540 (python) S 31526 31526 31489 0 -1 4202560 722 0 0 0 0 0 0 0 18 0 1 0 947870765 289632256 5621 33554432000 4194304 5683644 140734692060480 18446744073709551615 251367566863 0 0 16781312 33554946 4192027276491063556 0 0 17 0 0 0 0
/proc/31540/statm: 70711 5621 352 364 0 5598 0
[pid=31543] ppid=31540 vsize=7820 CPUtime=1.82 cores=0,2,4,6
/proc/31543/stat : 31543 (pbct-0.1.2-linu) R 31540 31543 31543 0 -1 4202496 1844 0 0 0 168 14 0 0 25 0 1 0 947870765 8007680 1587 33554432000 134512640 136422188 4289393136 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/31543/statm: 1955 1587 213 467 0 1486 0
[pid=31526/tid=31541] ppid=31524 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/31526/task/31541/stat : 31541 (python) S 31524 31526 31489 0 -1 4202560 24 921 0 9 0 0 0 0 18 0 2 0 947870765 300122112 7143 33554432000 4194304 5683644 140734692060480 18446744073709551615 251379370417 0 0 16781312 33554434 18446604453636425728 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 583752
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+12.8182 s]
/proc/loadavg: 0.33 0.08 0.02 5/505 31543
/proc/meminfo: memFree=26980452/32950928 swapFree=34421304/67111528
[pid=31526] ppid=31524 vsize=293088 CPUtime=0.68 cores=0,2,4,6
/proc/31526/stat : 31526 (python) S 31524 31526 31489 0 -1 4202496 9524 921 108 9 38 30 0 0 17 0 2 0 947869678 300122112 7143 33554432000 4194304 5683644 140734692060480 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 244
/proc/31526/statm: 73272 7143 1870 364 0 8159 0
[pid=31540] ppid=31526 vsize=282844 CPUtime=0 cores=0,2,4,6
/proc/31540/stat : 31540 (python) S 31526 31526 31489 0 -1 4202560 722 0 0 0 0 0 0 0 18 0 1 0 947870765 289632256 5621 33554432000 4194304 5683644 140734692060480 18446744073709551615 251367566863 0 0 16781312 33554946 4192027276491063556 0 0 17 0 0 0 0
/proc/31540/statm: 70711 5621 352 364 0 5598 0
[pid=31543] ppid=31540 vsize=7948 CPUtime=1.93 cores=0,2,4,6
/proc/31543/stat : 31543 (pbct-0.1.2-linu) R 31540 31543 31543 0 -1 4202496 1857 0 0 0 179 14 0 0 25 0 1 0 947870765 8138752 1600 33554432000 134512640 136422188 4289393136 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/31543/statm: 1987 1600 213 467 0 1518 0
[pid=31526/tid=31541] ppid=31524 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/31526/task/31541/stat : 31541 (python) S 31524 31526 31489 0 -1 4202560 24 921 0 9 0 0 0 0 18 0 2 0 947870765 300122112 7143 33554432000 4194304 5683644 140734692060480 18446744073709551615 251379370417 0 0 16781312 33554434 18446604453636425728 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 583880
[startup+14.4179 s]
/proc/loadavg: 0.33 0.08 0.02 5/505 31543
/proc/meminfo: memFree=26979584/32950928 swapFree=34421304/67111528
[pid=31526] ppid=31524 vsize=293088 CPUtime=0.68 cores=0,2,4,6
/proc/31526/stat : 31526 (python) S 31524 31526 31489 0 -1 4202496 9524 921 108 9 38 30 0 0 17 0 2 0 947869678 300122112 7143 33554432000 4194304 5683644 140734692060480 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 244
/proc/31526/statm: 73272 7143 1870 364 0 8159 0
[pid=31540] ppid=31526 vsize=282844 CPUtime=0.02 cores=0,2,4,6
/proc/31540/stat : 31540 (python) S 31526 31526 31489 0 -1 4202560 858 0 0 0 1 1 0 0 18 0 1 0 947870765 289632256 5645 33554432000 4194304 5683644 140734692060480 18446744073709551615 251367566863 0 0 16781312 33554946 4192027276491063556 0 0 17 0 0 0 0
/proc/31540/statm: 70711 5645 376 364 0 5598 0
[pid=31543] ppid=31540 vsize=7948 CPUtime=3.53 cores=0,2,4,6
/proc/31543/stat : 31543 (pbct-0.1.2-linu) R 31540 31543 31543 0 -1 4202496 1857 0 0 0 326 27 0 0 25 0 1 0 947870765 8138752 1600 33554432000 134512640 136422188 4289393136 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/31543/statm: 1987 1600 213 467 0 1518 0
[pid=31526/tid=31541] ppid=31524 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/31526/task/31541/stat : 31541 (python) S 31524 31526 31489 0 -1 4202560 24 921 0 9 0 0 0 0 18 0 2 0 947870765 300122112 7143 33554432000 4194304 5683644 140734692060480 18446744073709551615 251379370417 0 0 16781312 33554434 18446604453636425728 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.23
Current children cumulated vsize (KiB) 583880
[startup+15.2008 s]
/proc/loadavg: 0.33 0.08 0.02 5/505 31543
/proc/meminfo: memFree=26979584/32950928 swapFree=34421304/67111528
[pid=31526] ppid=31524 vsize=293088 CPUtime=0.68 cores=0,2,4,6
/proc/31526/stat : 31526 (python) S 31524 31526 31489 0 -1 4202496 9524 921 108 9 38 30 0 0 17 0 2 0 947869678 300122112 7143 33554432000 4194304 5683644 140734692060480 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 244
/proc/31526/statm: 73272 7143 1870 364 0 8159 0
[pid=31540] ppid=31526 vsize=282844 CPUtime=0.02 cores=0,2,4,6
/proc/31540/stat : 31540 (python) S 31526 31526 31489 0 -1 4202560 858 0 0 0 1 1 0 0 18 0 1 0 947870765 289632256 5645 33554432000 4194304 5683644 140734692060480 18446744073709551615 251367566863 0 0 16781312 33554946 4192027276491063556 0 0 17 0 0 0 0
/proc/31540/statm: 70711 5645 376 364 0 5598 0
[pid=31543] ppid=31540 vsize=7948 CPUtime=4.31 cores=0,2,4,6
/proc/31543/stat : 31543 (pbct-0.1.2-linu) R 31540 31543 31543 0 -1 4202496 1863 0 0 0 398 33 0 0 25 0 1 0 947870765 8138752 1606 33554432000 134512640 136422188 4289393136 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/31543/statm: 1987 1606 213 467 0 1518 0
[pid=31526/tid=31541] ppid=31524 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/31526/task/31541/stat : 31541 (python) S 31524 31526 31489 0 -1 4202560 24 921 0 9 0 0 0 0 18 0 2 0 947870765 300122112 7143 33554432000 4194304 5683644 140734692060480 18446744073709551615 251379370417 0 0 16781312 33554434 18446604453636425728 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.01
Current children cumulated vsize (KiB) 583880
[startup+15.4007 s]
/proc/loadavg: 0.33 0.08 0.02 5/505 31543
/proc/meminfo: memFree=26979848/32950928 swapFree=34421304/67111528
[pid=31526] ppid=31524 vsize=293088 CPUtime=0.68 cores=0,2,4,6
/proc/31526/stat : 31526 (python) S 31524 31526 31489 0 -1 4202496 9524 921 108 9 38 30 0 0 17 0 2 0 947869678 300122112 7143 33554432000 4194304 5683644 140734692060480 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 244
/proc/31526/statm: 73272 7143 1870 364 0 8159 0
[pid=31540] ppid=31526 vsize=282844 CPUtime=0.02 cores=0,2,4,6
/proc/31540/stat : 31540 (python) S 31526 31526 31489 0 -1 4202560 858 0 0 0 1 1 0 0 18 0 1 0 947870765 289632256 5645 33554432000 4194304 5683644 140734692060480 18446744073709551615 251367566863 0 0 16781312 33554946 4192027276491063556 0 0 17 0 0 0 0
/proc/31540/statm: 70711 5645 376 364 0 5598 0
[pid=31543] ppid=31540 vsize=7948 CPUtime=4.53 cores=0,2,4,6
/proc/31543/stat : 31543 (pbct-0.1.2-linu) R 31540 31543 31543 0 -1 4202496 1863 0 0 0 418 35 0 0 25 0 1 0 947870765 8138752 1606 33554432000 134512640 136422188 4289393136 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/31543/statm: 1987 1606 213 467 0 1518 0
[pid=31526/tid=31541] ppid=31524 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/31526/task/31541/stat : 31541 (python) S 31524 31526 31489 0 -1 4202560 24 921 0 9 0 0 0 0 18 0 2 0 947870765 300122112 7143 33554432000 4194304 5683644 140734692060480 18446744073709551615 251379370417 0 0 16781312 33554434 18446604453636425728 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.23
Current children cumulated vsize (KiB) 583880
[startup+15.5187 s]
/proc/loadavg: 0.33 0.08 0.02 5/505 31543
/proc/meminfo: memFree=26979848/32950928 swapFree=34421304/67111528
[pid=31526] ppid=31524 vsize=293088 CPUtime=0.68 cores=0,2,4,6
/proc/31526/stat : 31526 (python) S 31524 31526 31489 0 -1 4202496 9524 921 108 9 38 30 0 0 17 0 2 0 947869678 300122112 7143 33554432000 4194304 5683644 140734692060480 18446744073709551615 251379373515 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 244
/proc/31526/statm: 73272 7143 1870 364 0 8159 0
[pid=31540] ppid=31526 vsize=282844 CPUtime=0.02 cores=0,2,4,6
/proc/31540/stat : 31540 (python) S 31526 31526 31489 0 -1 4202560 858 0 0 0 1 1 0 0 18 0 1 0 947870765 289632256 5645 33554432000 4194304 5683644 140734692060480 18446744073709551615 251367566863 0 0 16781312 33554946 4192027276491063556 0 0 17 0 0 0 0
/proc/31540/statm: 70711 5645 376 364 0 5598 0
[pid=31543] ppid=31540 vsize=7948 CPUtime=4.64 cores=0,2,4,6
/proc/31543/stat : 31543 (pbct-0.1.2-linu) R 31540 31543 31543 0 -1 4202496 1863 0 0 0 428 36 0 0 25 0 1 0 947870765 8138752 1606 33554432000 134512640 136422188 4289393136 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/31543/statm: 1987 1606 213 467 0 1518 0
[pid=31526/tid=31541] ppid=31524 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/31526/task/31541/stat : 31541 (python) S 31524 31526 31489 0 -1 4202560 24 921 0 9 0 0 0 0 18 0 2 0 947870765 300122112 7143 33554432000 4194304 5683644 140734692060480 18446744073709551615 251379370417 0 0 16781312 33554434 18446604453636425728 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.34
Current children cumulated vsize (KiB) 583880
Child status: 0
Real time (s): 15.5932
CPU time (s): 5.43117
CPU user time (s): 4.74228
CPU system time (s): 0.688895
CPU usage (%): 34.8305
Max. virtual memory (cumulated for all children) (KiB): 583884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.74228
system time used= 0.688895
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17890
page faults= 117
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20327
involuntary context switches= 27
runsolver used 0.083987 second user time and 0.229965 second system time
The end