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-3720492-1338511589/watcher-3720492-1338511589 -o /tmp/evaluation-result-3720492-1338511589/solver-3720492-1338511589 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720492-1338511589.opb 

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: 2.00 2.00 1.94 3/176 25902
/proc/meminfo: memFree=28694140/32873844 swapFree=7632/7632
[pid=25902] ppid=25900 vsize=3100 CPUtime=0 cores=0,2,4,6
/proc/25902/stat : 25902 (Pueblo) R 25900 25902 25340 0 -1 4202496 320 0 0 0 0 0 0 0 20 0 1 0 317283200 3174400 258 33554432000 134512640 134579096 4294679856 4294547156 5006070 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25902/statm: 775 258 219 17 0 81 0

[startup+0.0364581 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 25902
/proc/meminfo: memFree=28694140/32873844 swapFree=7632/7632
[pid=25902] ppid=25900 vsize=4208 CPUtime=0.03 cores=0,2,4,6
/proc/25902/stat : 25902 (Pueblo) R 25900 25902 25340 0 -1 4202496 589 0 0 0 3 0 0 0 20 0 1 0 317283200 4308992 527 33554432000 134512640 134579096 4294679856 4294678560 4257063 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25902/statm: 1052 528 225 17 0 358 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4208

[startup+0.100205 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 25902
/proc/meminfo: memFree=28694140/32873844 swapFree=7632/7632
[pid=25902] ppid=25900 vsize=4344 CPUtime=0.09 cores=0,2,4,6
/proc/25902/stat : 25902 (Pueblo) R 25900 25902 25340 0 -1 4202496 628 0 0 0 9 0 0 0 20 0 1 0 317283200 4448256 566 33554432000 134512640 134579096 4294679856 4294678828 15082544 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25902/statm: 1086 566 227 17 0 392 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4344

[startup+0.300174 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 25902
/proc/meminfo: memFree=28694140/32873844 swapFree=7632/7632
[pid=25902] ppid=25900 vsize=4600 CPUtime=0.29 cores=0,2,4,6
/proc/25902/stat : 25902 (Pueblo) R 25900 25902 25340 0 -1 4202496 706 0 0 0 29 0 0 0 20 0 1 0 317283200 4710400 644 33554432000 134512640 134579096 4294679856 4294678756 134527547 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25902/statm: 1150 644 227 17 0 456 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4600

[startup+0.700176 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 25902
/proc/meminfo: memFree=28694140/32873844 swapFree=7632/7632
[pid=25902] ppid=25900 vsize=5256 CPUtime=0.69 cores=0,2,4,6
/proc/25902/stat : 25902 (Pueblo) R 25900 25902 25340 0 -1 4202496 882 0 0 0 69 0 0 0 20 0 1 0 317283200 5382144 820 33554432000 134512640 134579096 4294679856 4294677616 134532935 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25902/statm: 1314 820 227 17 0 620 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5256

[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 25903
/proc/meminfo: memFree=28691520/32873844 swapFree=7632/7632
[pid=25902] ppid=25900 vsize=5496 CPUtime=1.49 cores=0,2,4,6
/proc/25902/stat : 25902 (Pueblo) R 25900 25902 25340 0 -1 4202496 943 0 0 0 148 1 0 0 20 0 1 0 317283200 5627904 881 33554432000 134512640 134579096 4294679856 4294678720 134520003 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25902/statm: 1374 881 227 17 0 680 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5496

[startup+3.10017 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 25903
/proc/meminfo: memFree=28690528/32873844 swapFree=7632/7632
[pid=25902] ppid=25900 vsize=5840 CPUtime=3.08 cores=0,2,4,6
/proc/25902/stat : 25902 (Pueblo) R 25900 25902 25340 0 -1 4202496 1003 0 0 0 307 1 0 0 20 0 1 0 317283200 5980160 941 33554432000 134512640 134579096 4294679856 4294678828 15082544 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25902/statm: 1460 941 227 17 0 766 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 5840

[startup+6.30017 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 25903
/proc/meminfo: memFree=28689040/32873844 swapFree=7632/7632
[pid=25902] ppid=25900 vsize=6072 CPUtime=6.29 cores=0,2,4,6
/proc/25902/stat : 25902 (Pueblo) R 25900 25902 25340 0 -1 4202496 1074 0 0 0 626 3 0 0 20 0 1 0 317283200 6217728 1012 33554432000 134512640 134579096 4294679856 4294678672 134520269 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25902/statm: 1518 1012 227 17 0 824 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6072

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 25903
/proc/meminfo: memFree=28687824/32873844 swapFree=7632/7632
[pid=25902] ppid=25900 vsize=6828 CPUtime=12.69 cores=0,2,4,6
/proc/25902/stat : 25902 (Pueblo) R 25900 25902 25340 0 -1 4202496 1273 0 0 0 1263 6 0 0 20 0 1 0 317283200 6991872 1211 33554432000 134512640 134579096 4294679856 4294678656 134528574 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25902/statm: 1707 1211 227 17 0 1013 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6828

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 25903
/proc/meminfo: memFree=28687584/32873844 swapFree=7632/7632
[pid=25902] ppid=25900 vsize=7240 CPUtime=25.48 cores=0,2,4,6
/proc/25902/stat : 25902 (Pueblo) R 25900 25902 25340 0 -1 4202496 1360 0 0 0 2539 9 0 0 20 0 1 0 317283200 7413760 1298 33554432000 134512640 134579096 4294679856 4294678704 134527753 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25902/statm: 1810 1298 227 17 0 1116 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 7240

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

[startup+38.3002 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 25903
/proc/meminfo: memFree=28686404/32873844 swapFree=7632/7632
[pid=25902] ppid=25900 vsize=7728 CPUtime=38.28 cores=0,2,4,6
/proc/25902/stat : 25902 (Pueblo) R 25900 25902 25340 0 -1 4202496 1474 0 0 0 3814 14 0 0 20 0 1 0 317283200 7913472 1412 33554432000 134512640 134579096 4294679856 4294678704 134528357 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25902/statm: 1932 1412 227 17 0 1238 0
Current children cumulated CPU time (s) 38.28
Current children cumulated vsize (KiB) 7728

[startup+44.7002 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 25903
/proc/meminfo: memFree=28686776/32873844 swapFree=7632/7632
[pid=25902] ppid=25900 vsize=7860 CPUtime=44.68 cores=0,2,4,6
/proc/25902/stat : 25902 (Pueblo) R 25900 25902 25340 0 -1 4202496 1488 0 0 0 4452 16 0 0 20 0 1 0 317283200 8048640 1426 33554432000 134512640 134579096 4294679856 4294678704 134527759 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25902/statm: 1965 1426 227 17 0 1271 0
Current children cumulated CPU time (s) 44.68
Current children cumulated vsize (KiB) 7860

[startup+46.3002 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 25903
/proc/meminfo: memFree=28686776/32873844 swapFree=7632/7632
[pid=25902] ppid=25900 vsize=7860 CPUtime=46.28 cores=0,2,4,6
/proc/25902/stat : 25902 (Pueblo) R 25900 25902 25340 0 -1 4202496 1488 0 0 0 4612 16 0 0 20 0 1 0 317283200 8048640 1426 33554432000 134512640 134579096 4294679856 4294678828 15082544 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25902/statm: 1965 1426 227 17 0 1271 0
Current children cumulated CPU time (s) 46.28
Current children cumulated vsize (KiB) 7860

[startup+47.9002 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 25903
/proc/meminfo: memFree=28686588/32873844 swapFree=7632/7632
[pid=25902] ppid=25900 vsize=7860 CPUtime=47.88 cores=0,2,4,6
/proc/25902/stat : 25902 (Pueblo) R 25900 25902 25340 0 -1 4202496 1489 0 0 0 4772 16 0 0 20 0 1 0 317283200 8048640 1427 33554432000 134512640 134579096 4294679856 4294678704 134527750 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25902/statm: 1965 1427 227 17 0 1271 0
Current children cumulated CPU time (s) 47.88
Current children cumulated vsize (KiB) 7860

[startup+48.3002 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 25903
/proc/meminfo: memFree=28686836/32873844 swapFree=7632/7632
[pid=25902] ppid=25900 vsize=7860 CPUtime=48.28 cores=0,2,4,6
/proc/25902/stat : 25902 (Pueblo) R 25900 25902 25340 0 -1 4202496 1489 0 0 0 4812 16 0 0 20 0 1 0 317283200 8048640 1427 33554432000 134512640 134579096 4294679856 4294678828 15082544 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25902/statm: 1965 1427 227 17 0 1271 0
Current children cumulated CPU time (s) 48.28
Current children cumulated vsize (KiB) 7860

[startup+48.5002 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 25903
/proc/meminfo: memFree=28686836/32873844 swapFree=7632/7632
[pid=25902] ppid=25900 vsize=7860 CPUtime=48.48 cores=0,2,4,6
/proc/25902/stat : 25902 (Pueblo) R 25900 25902 25340 0 -1 4202496 1489 0 0 0 4832 16 0 0 20 0 1 0 317283200 8048640 1427 33554432000 134512640 134579096 4294679856 4294678828 15082544 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25902/statm: 1965 1427 227 17 0 1271 0
Current children cumulated CPU time (s) 48.48
Current children cumulated vsize (KiB) 7860

Child status: 30
Real time (s): 48.5939
CPU time (s): 48.5836
CPU user time (s): 48.4146
CPU system time (s): 0.168974
CPU usage (%): 99.9788
Max. virtual memory (cumulated for all children) (KiB): 7860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.4146
system time used= 0.168974
maximum resident set size= 5728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1494
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10
involuntary context switches= 75

runsolver used 0.075988 second user time and 0.19397 second system time

The end