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-3720305-1338509630/watcher-3720305-1338509630 -o /tmp/evaluation-result-3720305-1338509630/solver-3720305-1338509630 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720305-1338509630.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.91 3/178 16919
/proc/meminfo: memFree=28399568/32873844 swapFree=7124/7124
[pid=16919] ppid=16917 vsize=3108 CPUtime=0 cores=0,2,4,6
/proc/16919/stat : 16919 (Pueblo) R 16917 16919 16471 0 -1 4202496 341 0 0 0 0 0 0 0 20 0 1 0 317088413 3182592 279 33554432000 134512640 134579096 4293489104 4293488076 10781744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16919/statm: 777 279 227 17 0 83 0
[startup+0.100828 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 16919
/proc/meminfo: memFree=28399568/32873844 swapFree=7124/7124
[pid=16919] ppid=16917 vsize=3236 CPUtime=0.09 cores=0,2,4,6
/proc/16919/stat : 16919 (Pueblo) R 16917 16919 16471 0 -1 4202496 354 0 0 0 9 0 0 0 20 0 1 0 317088413 3313664 292 33554432000 134512640 134579096 4293489104 4293488076 10781744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16919/statm: 809 292 227 17 0 115 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3236
[startup+0.200248 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 16919
/proc/meminfo: memFree=28399568/32873844 swapFree=7124/7124
[pid=16919] ppid=16917 vsize=3236 CPUtime=0.19 cores=0,2,4,6
/proc/16919/stat : 16919 (Pueblo) R 16917 16919 16471 0 -1 4202496 360 0 0 0 19 0 0 0 20 0 1 0 317088413 3313664 298 33554432000 134512640 134579096 4293489104 4293488076 10781744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16919/statm: 809 298 227 17 0 115 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3236
[startup+0.300245 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 16919
/proc/meminfo: memFree=28399568/32873844 swapFree=7124/7124
[pid=16919] ppid=16917 vsize=3236 CPUtime=0.29 cores=0,2,4,6
/proc/16919/stat : 16919 (Pueblo) R 16917 16919 16471 0 -1 4202496 362 0 0 0 29 0 0 0 20 0 1 0 317088413 3313664 300 33554432000 134512640 134579096 4293489104 4293488076 10781744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16919/statm: 809 300 227 17 0 115 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3236
[startup+0.700218 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 16919
/proc/meminfo: memFree=28399568/32873844 swapFree=7124/7124
[pid=16919] ppid=16917 vsize=3236 CPUtime=0.69 cores=0,2,4,6
/proc/16919/stat : 16919 (Pueblo) R 16917 16919 16471 0 -1 4202496 373 0 0 0 67 2 0 0 20 0 1 0 317088413 3313664 311 33554432000 134512640 134579096 4293489104 4293488076 10781744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16919/statm: 809 311 227 17 0 115 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3236
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 16920
/proc/meminfo: memFree=28398716/32873844 swapFree=7124/7124
[pid=16919] ppid=16917 vsize=3364 CPUtime=1.49 cores=0,2,4,6
/proc/16919/stat : 16919 (Pueblo) R 16917 16919 16471 0 -1 4202496 384 0 0 0 145 4 0 0 20 0 1 0 317088413 3444736 322 33554432000 134512640 134579096 4293489104 4293488076 10781744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16919/statm: 841 322 227 17 0 147 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3364
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 16920
/proc/meminfo: memFree=28398344/32873844 swapFree=7124/7124
[pid=16919] ppid=16917 vsize=3364 CPUtime=3.09 cores=0,2,4,6
/proc/16919/stat : 16919 (Pueblo) R 16917 16919 16471 0 -1 4202496 407 0 0 0 301 8 0 0 20 0 1 0 317088413 3444736 345 33554432000 134512640 134579096 4293489104 4293488076 10781744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16919/statm: 841 345 227 17 0 147 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3364
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 16920
/proc/meminfo: memFree=28398220/32873844 swapFree=7124/7124
[pid=16919] ppid=16917 vsize=3364 CPUtime=6.29 cores=0,2,4,6
/proc/16919/stat : 16919 (Pueblo) R 16917 16919 16471 0 -1 4202496 411 0 0 0 614 15 0 0 20 0 1 0 317088413 3444736 349 33554432000 134512640 134579096 4293489104 4293488076 10781744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16919/statm: 841 349 227 17 0 147 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3364
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 16920
/proc/meminfo: memFree=28397616/32873844 swapFree=7124/7124
[pid=16919] ppid=16917 vsize=3616 CPUtime=12.69 cores=0,2,4,6
/proc/16919/stat : 16919 (Pueblo) R 16917 16919 16471 0 -1 4202496 450 0 0 0 1238 31 0 0 20 0 1 0 317088413 3702784 388 33554432000 134512640 134579096 4293489104 4293488076 10781744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16919/statm: 904 388 227 17 0 210 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 3616
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 16920
/proc/meminfo: memFree=28397740/32873844 swapFree=7124/7124
[pid=16919] ppid=16917 vsize=3748 CPUtime=25.49 cores=0,2,4,6
/proc/16919/stat : 16919 (Pueblo) R 16917 16919 16471 0 -1 4202496 479 0 0 0 2487 62 0 0 20 0 1 0 317088413 3837952 417 33554432000 134512640 134579096 4293489104 4293488076 10781744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16919/statm: 937 417 227 17 0 243 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3748
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 16920
/proc/meminfo: memFree=28397492/32873844 swapFree=7124/7124
[pid=16919] ppid=16917 vsize=4004 CPUtime=51.08 cores=0,2,4,6
/proc/16919/stat : 16919 (Pueblo) R 16917 16919 16471 0 -1 4202496 545 0 0 0 4982 126 0 0 20 0 1 0 317088413 4100096 483 33554432000 134512640 134579096 4293489104 4293488076 10781744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16919/statm: 1001 483 227 17 0 307 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 4004
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 16920
/proc/meminfo: memFree=28396128/32873844 swapFree=7124/7124
[pid=16919] ppid=16917 vsize=4388 CPUtime=102.28 cores=0,2,4,6
/proc/16919/stat : 16919 (Pueblo) R 16917 16919 16471 0 -1 4202496 642 0 0 0 9976 252 0 0 20 0 1 0 317088413 4493312 580 33554432000 134512640 134579096 4293489104 4293488076 10781744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16919/statm: 1097 580 227 17 0 403 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 4388
[startup+162.3 s]
/proc/loadavg: 2.05 2.01 1.91 3/179 16968
/proc/meminfo: memFree=28384524/32873844 swapFree=7124/7124
[pid=16919] ppid=16917 vsize=4520 CPUtime=162.27 cores=0,2,4,6
/proc/16919/stat : 16919 (Pueblo) R 16917 16919 16471 0 -1 4202496 674 0 0 0 15822 405 0 0 20 0 1 0 317088413 4628480 612 33554432000 134512640 134579096 4293489104 4293488076 10781744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16919/statm: 1130 612 227 17 0 436 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 4520
[startup+222.306 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 16969
/proc/meminfo: memFree=28382352/32873844 swapFree=7124/7124
[pid=16919] ppid=16917 vsize=4652 CPUtime=222.27 cores=0,2,4,6
/proc/16919/stat : 16919 (Pueblo) R 16917 16919 16471 0 -1 4202496 712 0 0 0 21661 566 0 0 20 0 1 0 317088413 4763648 650 33554432000 134512640 134579096 4293489104 4293488076 10781744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16919/statm: 1163 650 227 17 0 469 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 4652
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 16969
/proc/meminfo: memFree=28376208/32873844 swapFree=7124/7124
[pid=16919] ppid=16917 vsize=4784 CPUtime=282.25 cores=0,2,4,6
/proc/16919/stat : 16919 (Pueblo) R 16917 16919 16471 0 -1 4202496 738 0 0 0 27513 712 0 0 20 0 1 0 317088413 4898816 676 33554432000 134512640 134579096 4293489104 4293488076 10781744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16919/statm: 1196 676 227 17 0 502 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 4784
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 16969
/proc/meminfo: memFree=28376332/32873844 swapFree=7124/7124
[pid=16919] ppid=16917 vsize=4784 CPUtime=342.24 cores=0,2,4,6
/proc/16919/stat : 16919 (Pueblo) R 16917 16919 16471 0 -1 4202496 745 0 0 0 33364 860 0 0 20 0 1 0 317088413 4898816 683 33554432000 134512640 134579096 4293489104 4293488076 10781744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16919/statm: 1196 683 227 17 0 502 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 4784
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 16972
/proc/meminfo: memFree=28374524/32873844 swapFree=7124/7124
[pid=16919] ppid=16917 vsize=4912 CPUtime=402.23 cores=0,2,4,6
/proc/16919/stat : 16919 (Pueblo) R 16917 16919 16471 0 -1 4202496 769 0 0 0 39211 1012 0 0 20 0 1 0 317088413 5029888 707 33554432000 134512640 134579096 4293489104 4293488076 10781744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16919/statm: 1228 707 227 17 0 534 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 4912
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 16972
/proc/meminfo: memFree=28373228/32873844 swapFree=7124/7124
[pid=16919] ppid=16917 vsize=4912 CPUtime=462.22 cores=0,2,4,6
/proc/16919/stat : 16919 (Pueblo) R 16917 16919 16471 0 -1 4202496 788 0 0 0 45053 1169 0 0 20 0 1 0 317088413 5029888 726 33554432000 134512640 134579096 4293489104 4293488076 10781744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16919/statm: 1228 726 227 17 0 534 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 4912
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 16973
/proc/meminfo: memFree=28371864/32873844 swapFree=7124/7124
[pid=16919] ppid=16917 vsize=4912 CPUtime=522.21 cores=0,2,4,6
/proc/16919/stat : 16919 (Pueblo) R 16917 16919 16471 0 -1 4202496 789 0 0 0 50902 1319 0 0 20 0 1 0 317088413 5029888 727 33554432000 134512640 134579096 4293489104 4293488076 10781744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16919/statm: 1228 727 227 17 0 534 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 4912
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 16973
/proc/meminfo: memFree=28368512/32873844 swapFree=7124/7124
[pid=16919] ppid=16917 vsize=5040 CPUtime=582.2 cores=0,2,4,6
/proc/16919/stat : 16919 (Pueblo) R 16917 16919 16471 0 -1 4202496 806 0 0 0 56745 1475 0 0 20 0 1 0 317088413 5160960 744 33554432000 134512640 134579096 4293489104 4293488076 10781744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16919/statm: 1260 744 227 17 0 566 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 5040
[startup+642.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 16973
/proc/meminfo: memFree=28368016/32873844 swapFree=7124/7124
[pid=16919] ppid=16917 vsize=5040 CPUtime=642.19 cores=0,2,4,6
/proc/16919/stat : 16919 (Pueblo) R 16917 16919 16471 0 -1 4202496 815 0 0 0 62585 1634 0 0 20 0 1 0 317088413 5160960 753 33554432000 134512640 134579096 4293489104 4293488076 10781744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16919/statm: 1260 753 227 17 0 566 0
Current children cumulated CPU time (s) 642.19
Current children cumulated vsize (KiB) 5040
Solver just ended. Dumping a history of the last processes samples
[startup+642.4 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 16973
/proc/meminfo: memFree=28368016/32873844 swapFree=7124/7124
[pid=16919] ppid=16917 vsize=5040 CPUtime=642.3 cores=0,2,4,6
/proc/16919/stat : 16919 (Pueblo) R 16917 16919 16471 0 -1 4202496 815 0 0 0 62595 1635 0 0 20 0 1 0 317088413 5160960 753 33554432000 134512640 134579096 4293489104 4293488076 10781744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16919/statm: 1260 753 227 17 0 566 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 5040
[startup+642.8 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 16973
/proc/meminfo: memFree=28368016/32873844 swapFree=7124/7124
[pid=16919] ppid=16917 vsize=5040 CPUtime=642.69 cores=0,2,4,6
/proc/16919/stat : 16919 (Pueblo) R 16917 16919 16471 0 -1 4202496 815 0 0 0 62634 1635 0 0 20 0 1 0 317088413 5160960 753 33554432000 134512640 134579096 4293489104 4293488076 10781744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16919/statm: 1260 753 227 17 0 566 0
Current children cumulated CPU time (s) 642.69
Current children cumulated vsize (KiB) 5040
[startup+642.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 16973
/proc/meminfo: memFree=28368016/32873844 swapFree=7124/7124
[pid=16919] ppid=16917 vsize=5040 CPUtime=642.79 cores=0,2,4,6
/proc/16919/stat : 16919 (Pueblo) R 16917 16919 16471 0 -1 4202496 815 0 0 0 62644 1635 0 0 20 0 1 0 317088413 5160960 753 33554432000 134512640 134579096 4293489104 4293488076 10781744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16919/statm: 1260 753 227 17 0 566 0
Current children cumulated CPU time (s) 642.79
Current children cumulated vsize (KiB) 5040
Child status: 30
Real time (s): 642.999
CPU time (s): 642.9
CPU user time (s): 626.54
CPU system time (s): 16.3605
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 5040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 626.54
system time used= 16.3605
maximum resident set size= 3032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 820
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= 5
involuntary context switches= 665
runsolver used 0.938857 second user time and 2.57161 second system time
The end