runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3729428-1338713979/watcher-3729428-1338713979 -o /tmp/evaluation-result-3729428-1338713979/solver-3729428-1338713979 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3729428-1338713979.opb -seed 1765069813 -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.85 1.27 1.38 2/179 27603
/proc/meminfo: memFree=26418696/32873648 swapFree=7120/7120
[pid=27603] ppid=27601 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/27603/stat : 27603 (python) R 27601 27603 27000 0 -1 4202496 756 0 0 0 0 0 0 0 20 0 1 0 337525333 15749120 630 33554432000 4194304 5683644 140737119709968 140737119650456 219513963408 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/27603/statm: 3845 630 334 364 0 287 0
[startup+0.039374 s]
/proc/loadavg: 1.85 1.27 1.38 2/179 27603
/proc/meminfo: memFree=26418696/32873648 swapFree=7120/7120
[pid=27603] ppid=27601 vsize=19080 CPUtime=0.02 cores=1,3,5,7
/proc/27603/stat : 27603 (python) R 27601 27603 27000 0 -1 4202496 1397 0 0 0 2 0 0 0 20 0 1 0 337525333 19537920 1152 33554432000 4194304 5683644 140737119709968 140737119644904 219513596688 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/27603/statm: 4770 1152 430 364 0 694 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19080
[startup+0.100137 s]
/proc/loadavg: 1.85 1.27 1.38 2/179 27603
/proc/meminfo: memFree=26418696/32873648 swapFree=7120/7120
[pid=27603] ppid=27601 vsize=94452 CPUtime=0.06 cores=1,3,5,7
/proc/27603/stat : 27603 (python) R 27601 27603 27000 0 -1 4202496 3448 1011 1 0 5 1 0 0 20 0 1 0 337525333 96718848 2546 33554432000 4194304 5683644 140737119709968 140737119662440 5178104 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/27603/statm: 23613 2546 820 364 0 1619 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 94452
[startup+0.300211 s]
/proc/loadavg: 1.85 1.27 1.38 2/179 27603
/proc/meminfo: memFree=26418696/32873648 swapFree=7120/7120
[pid=27603] ppid=27601 vsize=183228 CPUtime=0.21 cores=1,3,5,7
/proc/27603/stat : 27603 (python) D 27601 27603 27000 0 -1 4202496 6976 1011 1 0 17 4 0 0 20 0 1 0 337525333 187625472 4705 33554432000 4194304 5683644 140737119709968 140737119555096 219513963408 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/27603/statm: 45807 4705 1278 364 0 3649 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 183228
[startup+0.70025 s]
/proc/loadavg: 1.85 1.27 1.38 2/179 27603
/proc/meminfo: memFree=26418696/32873648 swapFree=7120/7120
[pid=27603] ppid=27601 vsize=357240 CPUtime=0.4 cores=1,3,5,7
/proc/27603/stat : 27603 (python) S 27601 27603 27000 0 -1 4202496 10521 1011 1 0 32 8 0 0 20 0 2 0 337525333 365813760 7203 33554432000 4194304 5683644 140737119709968 140737119704800 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27603/statm: 89310 7203 1900 364 0 24533 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 357240
[startup+1.50028 s]
/proc/loadavg: 1.85 1.27 1.38 2/180 27650
/proc/meminfo: memFree=26416092/32873648 swapFree=7120/7120
[pid=27603] ppid=27601 vsize=357240 CPUtime=0.4 cores=1,3,5,7
/proc/27603/stat : 27603 (python) S 27601 27603 27000 0 -1 4202496 10521 1011 1 0 32 8 0 0 20 0 2 0 337525333 365813760 7203 33554432000 4194304 5683644 140737119709968 140737119704800 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27603/statm: 89310 7203 1900 364 0 24533 0
[pid=27639] ppid=27603 vsize=281460 CPUtime=0 cores=1,3,5,7
/proc/27639/stat : 27639 (python) S 27603 27603 27000 0 -1 4202560 735 0 0 0 0 0 0 0 20 0 1 0 337525385 288215040 5638 33554432000 4194304 5683644 140737119709968 140737119701056 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 7 0 0 0 0 0
/proc/27639/statm: 70365 5638 341 364 0 5588 0
[pid=27641] ppid=27639 vsize=7852 CPUtime=0.97 cores=1,3,5,7
/proc/27641/stat : 27641 (pbct-0.1.2-linu) R 27639 27641 27641 0 -1 4202496 1821 0 0 0 87 10 0 0 20 0 1 0 337525385 8040448 1572 33554432000 134512640 136422188 4286583184 4286580508 135874785 0 0 16781312 16387 0 0 0 17 3 0 0 0 0 0
/proc/27641/statm: 1963 1572 213 467 0 1494 0
[pid=27603/tid=27640] ppid=27601 vsize=357240 CPUtime=0 cores=1,3,5,7
/proc/27603/task/27640/stat : 27640 (python) S 27601 27603 27000 0 -1 4202560 26 1011 0 0 0 0 0 0 20 0 2 0 337525385 365813760 7203 33554432000 4194304 5683644 140737119709968 139636245340720 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 646552
[startup+3.10031 s]
/proc/loadavg: 2.02 1.32 1.40 3/182 27657
/proc/meminfo: memFree=26386308/32873648 swapFree=7120/7120
[pid=27603] ppid=27601 vsize=357240 CPUtime=0.4 cores=1,3,5,7
/proc/27603/stat : 27603 (python) S 27601 27603 27000 0 -1 4202496 10521 1011 1 0 32 8 0 0 20 0 2 0 337525333 365813760 7203 33554432000 4194304 5683644 140737119709968 140737119704800 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27603/statm: 89310 7203 1900 364 0 24533 0
[pid=27639] ppid=27603 vsize=281460 CPUtime=0 cores=1,3,5,7
/proc/27639/stat : 27639 (python) S 27603 27603 27000 0 -1 4202560 738 0 0 0 0 0 0 0 20 0 1 0 337525385 288215040 5638 33554432000 4194304 5683644 140737119709968 140737119701056 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27639/statm: 70365 5638 341 364 0 5588 0
[pid=27641] ppid=27639 vsize=7980 CPUtime=2.57 cores=1,3,5,7
/proc/27641/stat : 27641 (pbct-0.1.2-linu) R 27639 27641 27641 0 -1 4202496 1869 0 0 0 233 24 0 0 20 0 1 0 337525385 8171520 1620 33554432000 134512640 136422188 4286583184 4286580908 135874785 0 0 16781312 16387 0 0 0 17 3 0 0 0 0 0
/proc/27641/statm: 1995 1620 213 467 0 1526 0
[pid=27603/tid=27640] ppid=27601 vsize=357240 CPUtime=0 cores=1,3,5,7
/proc/27603/task/27640/stat : 27640 (python) S 27601 27603 27000 0 -1 4202560 26 1011 0 0 0 0 0 0 20 0 2 0 337525385 365813760 7203 33554432000 4194304 5683644 140737119709968 139636245340720 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 646680
Solver just ended. Dumping a history of the last processes samples
[startup+3.50026 s]
/proc/loadavg: 2.02 1.32 1.40 3/182 27657
/proc/meminfo: memFree=26386308/32873648 swapFree=7120/7120
[pid=27603] ppid=27601 vsize=357240 CPUtime=0.4 cores=1,3,5,7
/proc/27603/stat : 27603 (python) S 27601 27603 27000 0 -1 4202496 10521 1011 1 0 32 8 0 0 20 0 2 0 337525333 365813760 7203 33554432000 4194304 5683644 140737119709968 140737119704800 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27603/statm: 89310 7203 1900 364 0 24533 0
[pid=27639] ppid=27603 vsize=281460 CPUtime=0 cores=1,3,5,7
/proc/27639/stat : 27639 (python) S 27603 27603 27000 0 -1 4202560 738 0 0 0 0 0 0 0 20 0 1 0 337525385 288215040 5638 33554432000 4194304 5683644 140737119709968 140737119701056 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27639/statm: 70365 5638 341 364 0 5588 0
[pid=27641] ppid=27639 vsize=7980 CPUtime=2.97 cores=1,3,5,7
/proc/27641/stat : 27641 (pbct-0.1.2-linu) R 27639 27641 27641 0 -1 4202496 1869 0 0 0 269 28 0 0 20 0 1 0 337525385 8171520 1620 33554432000 134512640 136422188 4286583184 4286580508 135874785 0 0 16781312 16387 0 0 0 17 3 0 0 0 0 0
/proc/27641/statm: 1995 1620 213 467 0 1526 0
[pid=27603/tid=27640] ppid=27601 vsize=357240 CPUtime=0 cores=1,3,5,7
/proc/27603/task/27640/stat : 27640 (python) S 27601 27603 27000 0 -1 4202560 26 1011 0 0 0 0 0 0 20 0 2 0 337525385 365813760 7203 33554432000 4194304 5683644 140737119709968 139636245340720 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.37
Current children cumulated vsize (KiB) 646680
[startup+4.30028 s]
/proc/loadavg: 2.02 1.32 1.40 3/179 27658
/proc/meminfo: memFree=26390384/32873648 swapFree=7120/7120
[pid=27603] ppid=27601 vsize=357240 CPUtime=0.4 cores=1,3,5,7
/proc/27603/stat : 27603 (python) S 27601 27603 27000 0 -1 4202496 10521 1011 1 0 32 8 0 0 20 0 2 0 337525333 365813760 7203 33554432000 4194304 5683644 140737119709968 140737119704800 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27603/statm: 89310 7203 1900 364 0 24533 0
[pid=27639] ppid=27603 vsize=281460 CPUtime=0 cores=1,3,5,7
/proc/27639/stat : 27639 (python) S 27603 27603 27000 0 -1 4202560 873 0 0 0 0 0 0 0 20 0 1 0 337525385 288215040 5661 33554432000 4194304 5683644 140737119709968 140737119701056 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27639/statm: 70365 5661 364 364 0 5588 0
[pid=27641] ppid=27639 vsize=7980 CPUtime=3.77 cores=1,3,5,7
/proc/27641/stat : 27641 (pbct-0.1.2-linu) R 27639 27641 27641 0 -1 4202496 1877 0 0 0 341 36 0 0 20 0 1 0 337525385 8171520 1628 33554432000 134512640 136422188 4286583184 4286580908 135874785 0 0 16781312 16387 0 0 0 17 3 0 0 0 0 0
/proc/27641/statm: 1995 1628 213 467 0 1526 0
[pid=27603/tid=27640] ppid=27601 vsize=357240 CPUtime=0 cores=1,3,5,7
/proc/27603/task/27640/stat : 27640 (python) S 27601 27603 27000 0 -1 4202560 26 1011 0 0 0 0 0 0 20 0 2 0 337525385 365813760 7203 33554432000 4194304 5683644 140737119709968 139636245340720 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.17
Current children cumulated vsize (KiB) 646680
[startup+4.70037 s]
/proc/loadavg: 2.02 1.32 1.40 2/175 27687
/proc/meminfo: memFree=26512980/32873648 swapFree=7120/7120
[pid=27603] ppid=27601 vsize=357240 CPUtime=0.4 cores=1,3,5,7
/proc/27603/stat : 27603 (python) S 27601 27603 27000 0 -1 4202496 10521 1011 1 0 32 8 0 0 20 0 2 0 337525333 365813760 7203 33554432000 4194304 5683644 140737119709968 140737119704800 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27603/statm: 89310 7203 1900 364 0 24533 0
[pid=27639] ppid=27603 vsize=281460 CPUtime=0 cores=1,3,5,7
/proc/27639/stat : 27639 (python) S 27603 27603 27000 0 -1 4202560 873 0 0 0 0 0 0 0 20 0 1 0 337525385 288215040 5661 33554432000 4194304 5683644 140737119709968 140737119701056 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27639/statm: 70365 5661 364 364 0 5588 0
[pid=27641] ppid=27639 vsize=7980 CPUtime=4.17 cores=1,3,5,7
/proc/27641/stat : 27641 (pbct-0.1.2-linu) R 27639 27641 27641 0 -1 4202496 1877 0 0 0 378 39 0 0 20 0 1 0 337525385 8171520 1628 33554432000 134512640 136422188 4286583184 4286580908 135874785 0 0 16781312 16387 0 0 0 17 3 0 0 0 0 0
/proc/27641/statm: 1995 1628 213 467 0 1526 0
[pid=27603/tid=27640] ppid=27601 vsize=357240 CPUtime=0 cores=1,3,5,7
/proc/27603/task/27640/stat : 27640 (python) S 27601 27603 27000 0 -1 4202560 26 1011 0 0 0 0 0 0 20 0 2 0 337525385 365813760 7203 33554432000 4194304 5683644 140737119709968 139636245340720 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.57
Current children cumulated vsize (KiB) 646680
Child status: 0
Real time (s): 4.7438
CPU time (s): 4.64129
CPU user time (s): 4.15037
CPU system time (s): 0.490925
CPU usage (%): 97.8391
Max. virtual memory (cumulated for all children) (KiB): 646680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.15037
system time used= 0.490925
maximum resident set size= 28956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19036
page faults= 1
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 999
involuntary context switches= 27
runsolver used 0.007998 second user time and 0.024996 second system time
The end