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-3482702-1307576514/watcher-3482702-1307576514 -o /tmp/evaluation-result-3482702-1307576514/solver-3482702-1307576514 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482702-1307576514.opb -seed 1889142764 -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.54 0.47 0.16 2/502 23986
/proc/meminfo: memFree=30455708/32951124 swapFree=51712240/67111528
[pid=23986] ppid=23984 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/23986/stat : 23986 (python) R 23984 23986 23366 0 -1 4202496 1063 0 0 0 0 0 0 0 24 0 1 0 869254095 16629760 934 33554432000 4194304 5683644 140735248413328 18446744073709551615 216634515200 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23986/statm: 4060 934 381 364 0 547 0

[startup+0.117725 s]
/proc/loadavg: 1.54 0.47 0.16 2/502 23986
/proc/meminfo: memFree=30455708/32951124 swapFree=51712240/67111528
[pid=23986] ppid=23984 vsize=98184 CPUtime=0.09 cores=1,3,5,7
/proc/23986/stat : 23986 (python) S 23984 23986 23366 0 -1 4202496 3382 933 1 0 7 2 0 0 18 0 1 0 869254095 100540416 2486 33554432000 4194304 5683644 140735248413328 18446744073709551615 216634513408 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/23986/statm: 24546 2486 794 364 0 1626 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 98184

[startup+0.200712 s]
/proc/loadavg: 1.54 0.47 0.16 2/502 23986
/proc/meminfo: memFree=30455708/32951124 swapFree=51712240/67111528
[pid=23986] ppid=23984 vsize=123736 CPUtime=0.14 cores=1,3,5,7
/proc/23986/stat : 23986 (python) S 23984 23986 23366 0 -1 4202496 5357 933 1 0 11 3 0 0 17 0 1 0 869254095 126705664 3743 33554432000 4194304 5683644 140735248413328 18446744073709551615 216634511365 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/23986/statm: 30934 3743 987 364 0 2766 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123736

[startup+0.300695 s]
/proc/loadavg: 1.54 0.47 0.16 2/502 23986
/proc/meminfo: memFree=30455708/32951124 swapFree=51712240/67111528
[pid=23986] ppid=23984 vsize=179984 CPUtime=0.22 cores=1,3,5,7
/proc/23986/stat : 23986 (python) S 23984 23986 23366 0 -1 4202496 6274 933 1 0 17 5 0 0 17 0 1 0 869254095 184303616 4580 33554432000 4194304 5683644 140735248413328 18446744073709551615 216629591687 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/23986/statm: 45518 4583 1246 364 0 3566 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 179984

[startup+0.700618 s]
/proc/loadavg: 1.54 0.47 0.16 2/502 23986
/proc/meminfo: memFree=30455708/32951124 swapFree=51712240/67111528
[pid=23986] ppid=23984 vsize=294952 CPUtime=0.53 cores=1,3,5,7
/proc/23986/stat : 23986 (python) S 23984 23986 23366 0 -1 4202496 9935 933 1 0 44 9 0 0 19 0 2 0 869254095 302030848 7565 33554432000 4194304 5683644 140735248413328 18446744073709551615 216646342091 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/23986/statm: 73738 7565 1862 364 0 8625 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 294952

Solver just ended. Dumping a history of the last processes samples

[startup+0.800601 s]
/proc/loadavg: 1.54 0.47 0.16 2/502 23986
/proc/meminfo: memFree=30455708/32951124 swapFree=51712240/67111528
[pid=23986] ppid=23984 vsize=294952 CPUtime=0.53 cores=1,3,5,7
/proc/23986/stat : 23986 (python) S 23984 23986 23366 0 -1 4202496 9935 933 1 0 44 9 0 0 19 0 2 0 869254095 302030848 7565 33554432000 4194304 5683644 140735248413328 18446744073709551615 216646342091 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/23986/statm: 73738 7565 1862 364 0 8625 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 294952

[startup+1.21956 s]
/proc/loadavg: 1.54 0.47 0.16 5/524 24012
/proc/meminfo: memFree=30396084/32951124 swapFree=51712240/67111528
[pid=23986] ppid=23984 vsize=294952 CPUtime=0.53 cores=1,3,5,7
/proc/23986/stat : 23986 (python) S 23984 23986 23366 0 -1 4202496 9935 933 1 0 44 9 0 0 19 0 2 0 869254095 302030848 7565 33554432000 4194304 5683644 140735248413328 18446744073709551615 216646342091 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/23986/statm: 73738 7565 1862 364 0 8625 0
[pid=23992] ppid=23986 vsize=284708 CPUtime=0 cores=1,3,5,7
/proc/23992/stat : 23992 (python) S 23986 23986 23366 0 -1 4202560 776 0 0 0 0 0 0 0 15 0 1 0 869254158 291540992 6051 33554432000 4194304 5683644 140735248413328 18446744073709551615 216634535439 0 0 16781312 33554946 2225775670535913472 0 0 17 3 0 0 0
/proc/23992/statm: 71177 6051 352 364 0 6064 0
[pid=23994] ppid=23992 vsize=8540112 CPUtime=1.16 cores=1,3,5,7
/proc/23994/stat : 23994 (java) S 23992 23994 23994 0 -1 4202496 13369 0 1 0 114 2 0 0 19 0 18 0 869254159 8745074688 11623 33554432000 1073741824 1073778376 140735028626624 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/23994/statm: 2135028 11623 2227 9 0 2125769 0
[pid=23994/tid=23995] ppid=23992 vsize=8540112 CPUtime=0.55 cores=1,3,5,7
/proc/23994/task/23995/stat : 23995 (java) S 23992 23994 23994 0 -1 4202560 7802 0 1 0 54 1 0 0 25 0 18 0 869254159 8745074688 11623 33554432000 1073741824 1073778376 140735028626624 18446744073709551615 216646331289 0 4 0 16800975 18446604465159510976 0 0 -1 1 0 0 0
[pid=23994/tid=23996] ppid=23992 vsize=8540112 CPUtime=0 cores=1,3,5,7
/proc/23994/task/23996/stat : 23996 (java) S 23992 23994 23994 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 18 0 869254160 8745074688 11623 33554432000 1073741824 1073778376 140735028626624 18446744073709551615 216646331289 0 4 0 16800975 18446604465159510976 0 0 -1 1 0 0 0
[pid=23994/tid=23997] ppid=23992 vsize=8540112 CPUtime=0 cores=1,3,5,7
/proc/23994/task/23997/stat : 23997 (java) S 23992 23994 23994 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869254160 8745074688 11623 33554432000 1073741824 1073778376 140735028626624 18446744073709551615 216646331289 0 4 0 16800975 18446604465159510976 0 0 -1 1 0 0 0
[pid=23994/tid=23998] ppid=23992 vsize=8540112 CPUtime=0 cores=1,3,5,7
/proc/23994/task/23998/stat : 23998 (java) S 23992 23994 23994 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869254160 8745074688 11623 33554432000 1073741824 1073778376 140735028626624 18446744073709551615 216646331289 0 4 0 16800975 18446604465159510976 0 0 -1 1 0 0 0
[pid=23994/tid=23999] ppid=23992 vsize=8540112 CPUtime=0 cores=1,3,5,7
/proc/23994/task/23999/stat : 23999 (java) S 23992 23994 23994 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869254160 8745074688 11623 33554432000 1073741824 1073778376 140735028626624 18446744073709551615 216646331289 0 4 0 16800975 18446604465159510976 0 0 -1 1 0 0 0
[pid=23994/tid=24000] ppid=23992 vsize=8540112 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24000/stat : 24000 (java) S 23992 23994 23994 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869254160 8745074688 11623 33554432000 1073741824 1073778376 140735028626624 18446744073709551615 216646331289 0 4 0 16800975 18446604465159510976 0 0 -1 1 0 0 0
[pid=23994/tid=24001] ppid=23992 vsize=8540112 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24001/stat : 24001 (java) S 23992 23994 23994 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869254160 8745074688 11623 33554432000 1073741824 1073778376 140735028626624 18446744073709551615 216646331289 0 4 0 16800975 18446604465159510976 0 0 -1 1 0 0 0
[pid=23994/tid=24002] ppid=23992 vsize=8540112 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24002/stat : 24002 (java) S 23992 23994 23994 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869254160 8745074688 11623 33554432000 1073741824 1073778376 140735028626624 18446744073709551615 216646331289 0 4 0 16800975 18446604465159510976 0 0 -1 1 0 0 0
[pid=23994/tid=24003] ppid=23992 vsize=8540112 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24003/stat : 24003 (java) S 23992 23994 23994 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869254160 8745074688 11623 33554432000 1073741824 1073778376 140735028626624 18446744073709551615 216646331289 0 4 0 16800975 18446604465159510976 0 0 -1 1 0 0 0
[pid=23994/tid=24004] ppid=23992 vsize=8540112 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24004/stat : 24004 (java) R 23992 23994 23994 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 869254161 8745074688 11623 33554432000 1073741824 1073778376 140735028626624 18446744073709551615 216646331904 0 0 0 16800975 0 0 0 -1 7 0 0 0
[pid=23994/tid=24005] ppid=23992 vsize=8540112 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24005/stat : 24005 (java) S 23992 23994 23994 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 18 0 869254161 8745074688 11623 33554432000 1073741824 1073778376 140735028626624 18446744073709551615 216646331289 0 4 0 16800975 18446604465159510976 0 0 -1 7 0 0 0
[pid=23994/tid=24006] ppid=23992 vsize=8540112 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24006/stat : 24006 (java) S 23992 23994 23994 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869254161 8745074688 11623 33554432000 1073741824 1073778376 140735028626624 18446744073709551615 216646331289 0 4 0 16800975 18446604465159510976 0 0 -1 7 0 0 0
[pid=23994/tid=24007] ppid=23992 vsize=8540112 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24007/stat : 24007 (java) R 23992 23994 23994 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869254164 8745074688 11623 33554432000 1073741824 1073778376 140735028626624 18446744073709551615 216646338993 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23994/tid=24008] ppid=23992 vsize=8540112 CPUtime=0.28 cores=1,3,5,7
/proc/23994/task/24008/stat : 24008 (java) R 23992 23994 23994 0 -1 4202560 2663 0 0 0 28 0 0 0 24 0 18 0 869254164 8745074688 11623 33554432000 1073741824 1073778376 140735028626624 18446744073709551615 47064901190179 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23994/tid=24009] ppid=23992 vsize=8540112 CPUtime=0.3 cores=1,3,5,7
/proc/23994/task/24009/stat : 24009 (java) R 23992 23994 23994 0 -1 4202560 1474 0 0 0 30 0 0 0 16 0 18 0 869254164 8745074688 11623 33554432000 1073741824 1073778376 140735028626624 18446744073709551615 47064901224650 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23994/tid=24010] ppid=23992 vsize=8540112 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24010/stat : 24010 (java) S 23992 23994 23994 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869254164 8745074688 11623 33554432000 1073741824 1073778376 140735028626624 18446744073709551615 216646331289 0 4 0 16800975 18446604465159510976 0 0 -1 7 0 0 0
[pid=23994/tid=24012] ppid=23992 vsize=8540112 CPUtime=0 cores=1,3,5,7
/proc/23994/task/24012/stat : 24012 (java) S 23992 23994 23994 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869254189 8745074688 11623 33554432000 1073741824 1073778376 140735028626624 18446744073709551615 216646331904 0 4 0 16800975 18446604465159510976 0 0 -1 5 0 0 0
[pid=23986/tid=23993] ppid=23984 vsize=294952 CPUtime=0 cores=1,3,5,7
/proc/23986/task/23993/stat : 23993 (python) S 23984 23986 23366 0 -1 4202560 27 933 0 0 0 0 0 0 19 0 2 0 869254159 302030848 7565 33554432000 4194304 5683644 140735248413328 18446744073709551615 216646338993 0 0 16781312 33554434 18446604467281377344 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 9119772

Child status: 0
Real time (s): 1.25986
CPU time (s): 1.74773
CPU user time (s): 1.61375
CPU system time (s): 0.133979
CPU usage (%): 138.724
Max. virtual memory (cumulated for all children) (KiB): 9119772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.61375
system time used= 0.133979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30316
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1265
involuntary context switches= 61

runsolver used 0.007998 second user time and 0.030995 second system time

The end