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-3482625-1307576473/watcher-3482625-1307576473 -o /tmp/evaluation-result-3482625-1307576473/solver-3482625-1307576473 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482625-1307576473.opb -seed 2144739014 -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.53 0.53 0.19 2/443 3332
/proc/meminfo: memFree=20920228/32951124 swapFree=60787360/67111528
[pid=3332] ppid=3330 vsize=15772 CPUtime=0 cores=0,2,4,6
/proc/3332/stat : 3332 (python) S 3330 3332 3014 0 -1 4202496 903 0 0 0 0 0 0 0 20 0 1 0 869245226 16150528 783 33554432000 4194304 5683644 140734976675856 18446744073709551615 255377299456 0 2147483391 16781312 2 18446744071699453118 0 0 17 2 0 0 0
/proc/3332/statm: 3943 783 346 364 0 430 0
[startup+0.0400989 s]
/proc/loadavg: 1.53 0.53 0.19 2/443 3332
/proc/meminfo: memFree=20920228/32951124 swapFree=60787360/67111528
[pid=3332] ppid=3330 vsize=18884 CPUtime=0.02 cores=0,2,4,6
/proc/3332/stat : 3332 (python) S 3330 3332 3014 0 -1 4202496 1288 0 0 0 2 0 0 0 20 0 1 0 869245226 19337216 1140 33554432000 4194304 5683644 140734976675856 18446744073709551615 255377299456 0 2147483391 16781312 2 18446744071699453118 0 0 17 6 0 0 0
/proc/3332/statm: 4721 1140 421 364 0 690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18884
[startup+0.104183 s]
/proc/loadavg: 1.53 0.53 0.19 2/443 3332
/proc/meminfo: memFree=20920228/32951124 swapFree=60787360/67111528
[pid=3332] ppid=3330 vsize=96124 CPUtime=0.08 cores=0,2,4,6
/proc/3332/stat : 3332 (python) R 3330 3332 3014 0 -1 4202496 3169 927 1 0 6 2 0 0 18 0 1 0 869245226 98430976 2483 33554432000 4194304 5683644 140734976675856 18446744073709551615 5170248 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3332/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.302138 s]
/proc/loadavg: 1.53 0.53 0.19 2/443 3332
/proc/meminfo: memFree=20920228/32951124 swapFree=60787360/67111528
[pid=3332] ppid=3330 vsize=123880 CPUtime=0.19 cores=0,2,4,6
/proc/3332/stat : 3332 (python) S 3330 3332 3014 0 -1 4202496 5394 927 1 0 14 5 0 0 17 0 1 0 869245226 126853120 3764 33554432000 4194304 5683644 140734976675856 18446744073709551615 255377299456 0 2147483391 16781312 2 18446744071699453118 0 0 17 6 0 0 0
/proc/3332/statm: 30970 3764 987 364 0 2802 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 123880
[startup+0.701129 s]
/proc/loadavg: 1.53 0.53 0.19 2/443 3332
/proc/meminfo: memFree=20920228/32951124 swapFree=60787360/67111528
[pid=3332] ppid=3330 vsize=293476 CPUtime=0.46 cores=0,2,4,6
/proc/3332/stat : 3332 (python) S 3330 3332 3014 0 -1 4202496 9699 927 1 0 37 9 0 0 19 0 2 0 869245226 300519424 7205 33554432000 4194304 5683644 140734976675856 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/3332/statm: 73369 7205 1862 364 0 8256 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 293476
[startup+1.50097 s]
/proc/loadavg: 1.53 0.53 0.19 3/447 3340
/proc/meminfo: memFree=20894732/32951124 swapFree=60787360/67111528
[pid=3332] ppid=3330 vsize=293476 CPUtime=0.46 cores=0,2,4,6
/proc/3332/stat : 3332 (python) S 3330 3332 3014 0 -1 4202496 9699 927 1 0 37 9 0 0 19 0 2 0 869245226 300519424 7205 33554432000 4194304 5683644 140734976675856 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/3332/statm: 73369 7205 1862 364 0 8256 0
[pid=3338] ppid=3332 vsize=283232 CPUtime=0 cores=0,2,4,6
/proc/3338/stat : 3338 (python) S 3332 3332 3014 0 -1 4202560 704 0 0 0 0 0 0 0 18 0 1 0 869245288 290029568 5688 33554432000 4194304 5683644 140734976675856 18446744073709551615 255377321487 0 0 16781312 33554946 2711512398421786884 0 0 17 6 0 0 0
/proc/3338/statm: 70808 5688 349 364 0 5695 0
[pid=3340] ppid=3338 vsize=2388 CPUtime=0.87 cores=0,2,4,6
/proc/3340/stat : 3340 (clasp-1.3.7-x86) R 3338 3340 3340 0 -1 4202496 596 0 0 0 87 0 0 0 21 0 1 0 869245288 2445312 339 33554432000 134512640 136139019 4286902288 18446744073709551615 134883437 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/3340/statm: 597 339 184 398 0 197 0
[pid=3332/tid=3339] ppid=3330 vsize=293476 CPUtime=0 cores=0,2,4,6
/proc/3332/task/3339/stat : 3339 (python) S 3330 3332 3014 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 2 0 869245288 300519424 7205 33554432000 4194304 5683644 140734976675856 18446744073709551615 255389125041 0 0 16781312 33554434 18446604443484517440 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 579096
[startup+3.10065 s]
/proc/loadavg: 1.53 0.53 0.19 3/447 3340
/proc/meminfo: memFree=20893244/32951124 swapFree=60787360/67111528
[pid=3332] ppid=3330 vsize=293476 CPUtime=0.46 cores=0,2,4,6
/proc/3332/stat : 3332 (python) S 3330 3332 3014 0 -1 4202496 9699 927 1 0 37 9 0 0 19 0 2 0 869245226 300519424 7205 33554432000 4194304 5683644 140734976675856 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/3332/statm: 73369 7205 1862 364 0 8256 0
[pid=3338] ppid=3332 vsize=283232 CPUtime=0 cores=0,2,4,6
/proc/3338/stat : 3338 (python) S 3332 3332 3014 0 -1 4202560 728 0 0 0 0 0 0 0 18 0 1 0 869245288 290029568 5691 33554432000 4194304 5683644 140734976675856 18446744073709551615 255377321487 0 0 16781312 33554946 1684294072488919300 0 0 17 6 0 0 0
/proc/3338/statm: 70808 5691 352 364 0 5695 0
[pid=3340] ppid=3338 vsize=2784 CPUtime=2.47 cores=0,2,4,6
/proc/3340/stat : 3340 (clasp-1.3.7-x86) R 3338 3340 3340 0 -1 4202496 686 0 0 0 247 0 0 0 25 0 1 0 869245288 2850816 429 33554432000 134512640 136139019 4286902288 18446744073709551615 134608903 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/3340/statm: 696 429 184 398 0 296 0
[pid=3332/tid=3339] ppid=3330 vsize=293476 CPUtime=0 cores=0,2,4,6
/proc/3332/task/3339/stat : 3339 (python) S 3330 3332 3014 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 2 0 869245288 300519424 7205 33554432000 4194304 5683644 140734976675856 18446744073709551615 255389125041 0 0 16781312 33554434 18446604443484517440 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 579492
Solver just ended. Dumping a history of the last processes samples
[startup+4.30041 s]
/proc/loadavg: 1.73 0.59 0.21 3/447 3340
/proc/meminfo: memFree=20892312/32951124 swapFree=60787360/67111528
[pid=3332] ppid=3330 vsize=293476 CPUtime=0.46 cores=0,2,4,6
/proc/3332/stat : 3332 (python) S 3330 3332 3014 0 -1 4202496 9699 927 1 0 37 9 0 0 19 0 2 0 869245226 300519424 7205 33554432000 4194304 5683644 140734976675856 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/3332/statm: 73369 7205 1862 364 0 8256 0
[pid=3338] ppid=3332 vsize=283232 CPUtime=0.01 cores=0,2,4,6
/proc/3338/stat : 3338 (python) S 3332 3332 3014 0 -1 4202560 889 0 0 0 0 1 0 0 18 0 1 0 869245288 290029568 5714 33554432000 4194304 5683644 140734976675856 18446744073709551615 255377321487 0 0 16781312 33554946 1684294828403163396 0 0 17 6 0 0 0
/proc/3338/statm: 70808 5714 375 364 0 5695 0
[pid=3340] ppid=3338 vsize=2920 CPUtime=3.67 cores=0,2,4,6
/proc/3340/stat : 3340 (clasp-1.3.7-x86) R 3338 3340 3340 0 -1 4202496 717 0 0 0 367 0 0 0 25 0 1 0 869245288 2990080 460 33554432000 134512640 136139019 4286902288 18446744073709551615 134634760 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/3340/statm: 730 460 184 398 0 330 0
[pid=3332/tid=3339] ppid=3330 vsize=293476 CPUtime=0 cores=0,2,4,6
/proc/3332/task/3339/stat : 3339 (python) S 3330 3332 3014 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 2 0 869245288 300519424 7205 33554432000 4194304 5683644 140734976675856 18446744073709551615 255389125041 0 0 16781312 33554434 18446604443484517440 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 579628
[startup+5.10031 s]
/proc/loadavg: 1.73 0.59 0.21 3/447 3340
/proc/meminfo: memFree=20894420/32951124 swapFree=60787360/67111528
[pid=3332] ppid=3330 vsize=293476 CPUtime=0.46 cores=0,2,4,6
/proc/3332/stat : 3332 (python) S 3330 3332 3014 0 -1 4202496 9699 927 1 0 37 9 0 0 19 0 2 0 869245226 300519424 7205 33554432000 4194304 5683644 140734976675856 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/3332/statm: 73369 7205 1862 364 0 8256 0
[pid=3338] ppid=3332 vsize=283232 CPUtime=0.01 cores=0,2,4,6
/proc/3338/stat : 3338 (python) S 3332 3332 3014 0 -1 4202560 889 0 0 0 0 1 0 0 18 0 1 0 869245288 290029568 5714 33554432000 4194304 5683644 140734976675856 18446744073709551615 255377321487 0 0 16781312 33554946 1684294828403163396 0 0 17 6 0 0 0
/proc/3338/statm: 70808 5714 375 364 0 5695 0
[pid=3340] ppid=3338 vsize=2920 CPUtime=4.47 cores=0,2,4,6
/proc/3340/stat : 3340 (clasp-1.3.7-x86) R 3338 3340 3340 0 -1 4202496 740 0 0 0 447 0 0 0 25 0 1 0 869245288 2990080 483 33554432000 134512640 136139019 4286902288 18446744073709551615 134634875 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/3340/statm: 730 483 184 398 0 330 0
[pid=3332/tid=3339] ppid=3330 vsize=293476 CPUtime=0 cores=0,2,4,6
/proc/3332/task/3339/stat : 3339 (python) S 3330 3332 3014 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 2 0 869245288 300519424 7205 33554432000 4194304 5683644 140734976675856 18446744073709551615 255389125041 0 0 16781312 33554434 18446604443484517440 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.94
Current children cumulated vsize (KiB) 579628
[startup+5.30128 s]
/proc/loadavg: 1.73 0.59 0.21 3/447 3340
/proc/meminfo: memFree=20894420/32951124 swapFree=60787360/67111528
[pid=3332] ppid=3330 vsize=293476 CPUtime=0.46 cores=0,2,4,6
/proc/3332/stat : 3332 (python) S 3330 3332 3014 0 -1 4202496 9699 927 1 0 37 9 0 0 19 0 2 0 869245226 300519424 7205 33554432000 4194304 5683644 140734976675856 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/3332/statm: 73369 7205 1862 364 0 8256 0
[pid=3338] ppid=3332 vsize=283232 CPUtime=0.01 cores=0,2,4,6
/proc/3338/stat : 3338 (python) S 3332 3332 3014 0 -1 4202560 889 0 0 0 0 1 0 0 18 0 1 0 869245288 290029568 5714 33554432000 4194304 5683644 140734976675856 18446744073709551615 255377321487 0 0 16781312 33554946 1684294828403163396 0 0 17 6 0 0 0
/proc/3338/statm: 70808 5714 375 364 0 5695 0
[pid=3340] ppid=3338 vsize=2920 CPUtime=4.67 cores=0,2,4,6
/proc/3340/stat : 3340 (clasp-1.3.7-x86) R 3338 3340 3340 0 -1 4202496 740 0 0 0 467 0 0 0 25 0 1 0 869245288 2990080 483 33554432000 134512640 136139019 4286902288 18446744073709551615 134598400 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/3340/statm: 730 483 184 398 0 330 0
[pid=3332/tid=3339] ppid=3330 vsize=293476 CPUtime=0 cores=0,2,4,6
/proc/3332/task/3339/stat : 3339 (python) S 3330 3332 3014 0 -1 4202560 27 927 0 0 0 0 0 0 19 0 2 0 869245288 300519424 7205 33554432000 4194304 5683644 140734976675856 18446744073709551615 255389125041 0 0 16781312 33554434 18446604443484517440 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.14
Current children cumulated vsize (KiB) 579628
Child status: 0
Real time (s): 5.35075
CPU time (s): 5.22521
CPU user time (s): 5.09723
CPU system time (s): 0.12798
CPU usage (%): 97.6537
Max. virtual memory (cumulated for all children) (KiB): 579628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.09722
system time used= 0.12798
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16988
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= 1591
involuntary context switches= 32
runsolver used 0.028995 second user time and 0.049992 second system time
The end