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-3719849-1338506010/watcher-3719849-1338506010 -o /tmp/evaluation-result-3719849-1338506010/solver-3719849-1338506010 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3719849-1338506010.opb
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: 0.00 0.00 0.00 2/171 1807
/proc/meminfo: memFree=27546632/32873660 swapFree=7120/7120
[pid=1807] ppid=1805 vsize=296 CPUtime=0 cores=1,3,5,7
/proc/1807/stat : 1807 (Pueblo) D 1805 1807 1765 0 -1 4194304 73 0 0 0 0 0 0 0 20 0 1 0 316726732 303104 28 33554432000 134512640 134579096 4294359136 4294357304 7566158 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/1807/statm: 74 28 22 17 0 24 0
[startup+0.0836211 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 1807
/proc/meminfo: memFree=27546632/32873660 swapFree=7120/7120
[pid=1807] ppid=1805 vsize=2912 CPUtime=0 cores=1,3,5,7
/proc/1807/stat : 1807 (Pueblo) D 1805 1807 1765 0 -1 4194304 190 0 6 0 0 0 0 0 20 0 1 0 316726732 2981888 135 33554432000 134512640 134579096 4294359136 4294358956 4320464 0 0 4096 0 18446744071579943789 0 0 17 1 0 0 6 0 0
/proc/1807/statm: 728 135 113 17 0 34 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2912
[startup+0.100165 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 1807
/proc/meminfo: memFree=27546632/32873660 swapFree=7120/7120
[pid=1807] ppid=1805 vsize=2912 CPUtime=0 cores=1,3,5,7
/proc/1807/stat : 1807 (Pueblo) D 1805 1807 1765 0 -1 4194304 190 0 7 0 0 0 0 0 20 0 1 0 316726732 2981888 136 33554432000 134512640 134579096 4294359136 4294358928 3902448 0 0 4096 0 18446744071579943789 0 0 17 1 0 0 8 0 0
/proc/1807/statm: 728 136 114 17 0 34 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2912
[startup+0.300122 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 1807
/proc/meminfo: memFree=27546632/32873660 swapFree=7120/7120
[pid=1807] ppid=1805 vsize=3880 CPUtime=0.14 cores=1,3,5,7
/proc/1807/stat : 1807 (Pueblo) R 1805 1807 1765 0 -1 4202496 511 0 18 0 14 0 0 0 20 0 1 0 316726732 3973120 467 33554432000 134512640 134579096 4294359136 4294357432 3880231 0 0 4096 0 0 0 0 17 1 0 0 14 0 0
/proc/1807/statm: 970 467 229 17 0 276 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 3880
[startup+0.700097 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 1807
/proc/meminfo: memFree=27546632/32873660 swapFree=7120/7120
[pid=1807] ppid=1805 vsize=4264 CPUtime=0.54 cores=1,3,5,7
/proc/1807/stat : 1807 (Pueblo) R 1805 1807 1765 0 -1 4202496 602 0 18 0 54 0 0 0 20 0 1 0 316726732 4366336 558 33554432000 134512640 134579096 4294359136 4294357984 134527981 0 0 4096 0 0 0 0 17 1 0 0 14 0 0
/proc/1807/statm: 1066 558 229 17 0 372 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 4264
[startup+1.5001 s]
/proc/loadavg: 0.00 0.00 0.00 3/177 1833
/proc/meminfo: memFree=27538004/32873660 swapFree=7120/7120
[pid=1807] ppid=1805 vsize=4512 CPUtime=1.34 cores=1,3,5,7
/proc/1807/stat : 1807 (Pueblo) R 1805 1807 1765 0 -1 4202496 658 0 18 0 134 0 0 0 20 0 1 0 316726732 4620288 614 33554432000 134512640 134579096 4294359136 4294358000 134520016 0 0 4096 0 0 0 0 17 1 0 0 14 0 0
/proc/1807/statm: 1128 614 229 17 0 434 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 4512
[startup+3.10009 s]
/proc/loadavg: 0.16 0.03 0.01 3/177 1833
/proc/meminfo: memFree=27536740/32873660 swapFree=7120/7120
[pid=1807] ppid=1805 vsize=4604 CPUtime=2.94 cores=1,3,5,7
/proc/1807/stat : 1807 (Pueblo) R 1805 1807 1765 0 -1 4202496 704 0 18 0 294 0 0 0 20 0 1 0 316726732 4714496 660 33554432000 134512640 134579096 4294359136 4294357792 134523282 0 0 4096 0 0 0 0 17 1 0 0 14 0 0
/proc/1807/statm: 1151 660 229 17 0 457 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 4604
[startup+6.3001 s]
/proc/loadavg: 0.16 0.03 0.01 2/172 1865
/proc/meminfo: memFree=27540092/32873660 swapFree=7120/7120
[pid=1807] ppid=1805 vsize=4940 CPUtime=6.14 cores=1,3,5,7
/proc/1807/stat : 1807 (Pueblo) R 1805 1807 1765 0 -1 4202496 782 0 18 0 614 0 0 0 20 0 1 0 316726732 5058560 738 33554432000 134512640 134579096 4294359136 4294357984 134527836 0 0 4096 0 0 0 0 17 1 0 0 14 0 0
/proc/1807/statm: 1235 738 229 17 0 541 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 4940
[startup+12.7002 s]
/proc/loadavg: 0.29 0.06 0.02 3/177 1886
/proc/meminfo: memFree=27529604/32873660 swapFree=7120/7120
[pid=1807] ppid=1805 vsize=5152 CPUtime=12.53 cores=1,3,5,7
/proc/1807/stat : 1807 (Pueblo) R 1805 1807 1765 0 -1 4202496 841 0 18 0 1253 0 0 0 20 0 1 0 316726732 5275648 797 33554432000 134512640 134579096 4294359136 4294358044 134519884 0 0 4096 0 0 0 0 17 1 0 0 14 0 0
/proc/1807/statm: 1288 797 229 17 0 594 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 5152
[startup+25.5002 s]
/proc/loadavg: 0.47 0.11 0.04 3/177 1934
/proc/meminfo: memFree=27521652/32873660 swapFree=7120/7120
[pid=1807] ppid=1805 vsize=5616 CPUtime=25.33 cores=1,3,5,7
/proc/1807/stat : 1807 (Pueblo) R 1805 1807 1765 0 -1 4202496 945 0 18 0 2533 0 0 0 20 0 1 0 316726732 5750784 900 33554432000 134512640 134579096 4294359136 4294357984 134527812 0 0 4096 0 0 0 0 17 1 0 0 14 0 0
/proc/1807/statm: 1404 900 229 17 0 710 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 5616
[startup+51.1001 s]
/proc/loadavg: 0.99 0.26 0.09 3/177 1934
/proc/meminfo: memFree=27516516/32873660 swapFree=7120/7120
[pid=1807] ppid=1805 vsize=6280 CPUtime=50.93 cores=1,3,5,7
/proc/1807/stat : 1807 (Pueblo) R 1805 1807 1765 0 -1 4202496 1116 0 18 0 5093 0 0 0 20 0 1 0 316726732 6430720 1071 33554432000 134512640 134579096 4294359136 4294357936 134528574 0 0 4096 0 0 0 0 17 1 0 0 14 0 0
/proc/1807/statm: 1570 1071 229 17 0 876 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 6280
[startup+102.306 s]
/proc/loadavg: 1.60 0.55 0.19 3/177 1934
/proc/meminfo: memFree=27514408/32873660 swapFree=7120/7120
[pid=1807] ppid=1805 vsize=6956 CPUtime=102.12 cores=1,3,5,7
/proc/1807/stat : 1807 (Pueblo) R 1805 1807 1765 0 -1 4202496 1288 0 18 0 10212 0 0 0 20 0 1 0 316726732 7122944 1243 33554432000 134512640 134579096 4294359136 4294357984 134527812 0 0 4096 0 0 0 0 17 1 0 0 14 0 0
/proc/1807/statm: 1739 1243 229 17 0 1045 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 6956
[startup+162.3 s]
/proc/loadavg: 1.85 0.81 0.30 3/177 1935
/proc/meminfo: memFree=27504788/32873660 swapFree=7120/7120
[pid=1807] ppid=1805 vsize=7588 CPUtime=162.11 cores=1,3,5,7
/proc/1807/stat : 1807 (Pueblo) R 1805 1807 1765 0 -1 4202496 1451 0 18 0 16211 0 0 0 20 0 1 0 316726732 7770112 1406 33554432000 134512640 134579096 4294359136 4294357984 134528346 0 0 4096 0 0 0 0 17 1 0 0 14 0 0
/proc/1807/statm: 1897 1406 229 17 0 1203 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 7588
[startup+222.3 s]
/proc/loadavg: 1.94 1.03 0.41 3/177 1935
/proc/meminfo: memFree=27503544/32873660 swapFree=7120/7120
[pid=1807] ppid=1805 vsize=7964 CPUtime=222.1 cores=1,3,5,7
/proc/1807/stat : 1807 (Pueblo) R 1805 1807 1765 0 -1 4202496 1565 0 18 0 22210 0 0 0 20 0 1 0 316726732 8155136 1497 33554432000 134512640 134579096 4294359136 4294357984 134527981 0 0 4096 0 0 0 0 17 1 0 0 14 0 0
/proc/1807/statm: 1991 1497 229 17 0 1297 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 7964
[startup+282.3 s]
/proc/loadavg: 1.98 1.20 0.50 3/177 1935
/proc/meminfo: memFree=27498088/32873660 swapFree=7120/7120
[pid=1807] ppid=1805 vsize=8392 CPUtime=282.09 cores=1,3,5,7
/proc/1807/stat : 1807 (Pueblo) R 1805 1807 1765 0 -1 4202496 1674 0 18 0 28209 0 0 0 20 0 1 0 316726732 8593408 1606 33554432000 134512640 134579096 4294359136 4294357904 134532527 0 0 4096 0 0 0 0 17 1 0 0 14 0 0
/proc/1807/statm: 2098 1606 229 17 0 1404 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 8392
[startup+342.3 s]
/proc/loadavg: 1.99 1.34 0.59 3/177 1935
/proc/meminfo: memFree=27497964/32873660 swapFree=7120/7120
[pid=1807] ppid=1805 vsize=8508 CPUtime=342.08 cores=1,3,5,7
/proc/1807/stat : 1807 (Pueblo) R 1805 1807 1765 0 -1 4202496 1700 0 18 0 34208 0 0 0 20 0 1 0 316726732 8712192 1632 33554432000 134512640 134579096 4294359136 4294357984 134527750 0 0 4096 0 0 0 0 17 1 0 0 14 0 0
/proc/1807/statm: 2127 1632 229 17 0 1433 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 8508
[startup+402.3 s]
/proc/loadavg: 1.99 1.46 0.68 3/178 1938
/proc/meminfo: memFree=27497000/32873660 swapFree=7120/7120
[pid=1807] ppid=1805 vsize=8760 CPUtime=402.07 cores=1,3,5,7
/proc/1807/stat : 1807 (Pueblo) R 1805 1807 1765 0 -1 4202496 1749 0 18 0 40207 0 0 0 20 0 1 0 316726732 8970240 1681 33554432000 134512640 134579096 4294359136 4294357984 134527981 0 0 4096 0 0 0 0 17 1 0 0 14 0 0
/proc/1807/statm: 2190 1681 229 17 0 1496 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 8760
Solver just ended. Dumping a history of the last processes samples
[startup+409.5 s]
/proc/loadavg: 1.99 1.47 0.69 3/178 1938
/proc/meminfo: memFree=27496912/32873660 swapFree=7120/7120
[pid=1807] ppid=1805 vsize=8888 CPUtime=409.27 cores=1,3,5,7
/proc/1807/stat : 1807 (Pueblo) R 1805 1807 1765 0 -1 4202496 1788 0 18 0 40927 0 0 0 20 0 1 0 316726732 9101312 1720 33554432000 134512640 134579096 4294359136 4294357984 134527836 0 0 4096 0 0 0 0 17 1 0 0 14 0 0
/proc/1807/statm: 2222 1720 229 17 0 1528 0
Current children cumulated CPU time (s) 409.27
Current children cumulated vsize (KiB) 8888
[startup+422.3 s]
/proc/loadavg: 1.99 1.50 0.71 3/178 1938
/proc/meminfo: memFree=27496912/32873660 swapFree=7120/7120
[pid=1807] ppid=1805 vsize=8884 CPUtime=422.07 cores=1,3,5,7
/proc/1807/stat : 1807 (Pueblo) R 1805 1807 1765 0 -1 4202496 1795 0 18 0 42207 0 0 0 20 0 1 0 316726732 9097216 1727 33554432000 134512640 134579096 4294359136 4294357936 134527268 0 0 4096 0 0 0 0 17 1 0 0 14 0 0
/proc/1807/statm: 2221 1727 229 17 0 1527 0
Current children cumulated CPU time (s) 422.07
Current children cumulated vsize (KiB) 8884
[startup+435.1 s]
/proc/loadavg: 1.99 1.51 0.72 3/178 1938
/proc/meminfo: memFree=27493252/32873660 swapFree=7120/7120
[pid=1807] ppid=1805 vsize=8880 CPUtime=434.86 cores=1,3,5,7
/proc/1807/stat : 1807 (Pueblo) R 1805 1807 1765 0 -1 4202496 1795 0 18 0 43486 0 0 0 20 0 1 0 316726732 9093120 1727 33554432000 134512640 134579096 4294359136 4294357984 134527953 0 0 4096 0 0 0 0 17 1 0 0 14 0 0
/proc/1807/statm: 2220 1727 229 17 0 1526 0
Current children cumulated CPU time (s) 434.86
Current children cumulated vsize (KiB) 8880
[startup+441.5 s]
/proc/loadavg: 1.99 1.52 0.73 3/178 1938
/proc/meminfo: memFree=27493252/32873660 swapFree=7120/7120
[pid=1807] ppid=1805 vsize=8872 CPUtime=441.26 cores=1,3,5,7
/proc/1807/stat : 1807 (Pueblo) R 1805 1807 1765 0 -1 4202496 1795 0 18 0 44126 0 0 0 20 0 1 0 316726732 9084928 1727 33554432000 134512640 134579096 4294359136 4294357984 134527830 0 0 4096 0 0 0 0 17 1 0 0 14 0 0
/proc/1807/statm: 2218 1727 229 17 0 1524 0
Current children cumulated CPU time (s) 441.26
Current children cumulated vsize (KiB) 8872
[startup+443.1 s]
/proc/loadavg: 1.99 1.53 0.73 3/178 1938
/proc/meminfo: memFree=27493252/32873660 swapFree=7120/7120
[pid=1807] ppid=1805 vsize=8868 CPUtime=442.86 cores=1,3,5,7
/proc/1807/stat : 1807 (Pueblo) R 1805 1807 1765 0 -1 4202496 1795 0 18 0 44286 0 0 0 20 0 1 0 316726732 9080832 1727 33554432000 134512640 134579096 4294359136 4294357984 134527737 0 0 4096 0 0 0 0 17 1 0 0 14 0 0
/proc/1807/statm: 2217 1727 229 17 0 1523 0
Current children cumulated CPU time (s) 442.86
Current children cumulated vsize (KiB) 8868
[startup+444.7 s]
/proc/loadavg: 1.99 1.53 0.73 3/178 1938
/proc/meminfo: memFree=27493252/32873660 swapFree=7120/7120
[pid=1807] ppid=1805 vsize=8868 CPUtime=444.46 cores=1,3,5,7
/proc/1807/stat : 1807 (Pueblo) R 1805 1807 1765 0 -1 4202496 1795 0 18 0 44446 0 0 0 20 0 1 0 316726732 9080832 1727 33554432000 134512640 134579096 4294359136 4294357984 134527818 0 0 4096 0 0 0 0 17 1 0 0 14 0 0
/proc/1807/statm: 2217 1727 229 17 0 1523 0
Current children cumulated CPU time (s) 444.46
Current children cumulated vsize (KiB) 8868
[startup+445.506 s]
/proc/loadavg: 1.99 1.53 0.73 3/178 1938
/proc/meminfo: memFree=27493252/32873660 swapFree=7120/7120
[pid=1807] ppid=1805 vsize=8868 CPUtime=445.27 cores=1,3,5,7
/proc/1807/stat : 1807 (Pueblo) R 1805 1807 1765 0 -1 4202496 1795 0 18 0 44527 0 0 0 20 0 1 0 316726732 9080832 1727 33554432000 134512640 134579096 4294359136 4294357984 134527740 0 0 4096 0 0 0 0 17 1 0 0 14 0 0
/proc/1807/statm: 2217 1727 229 17 0 1523 0
Current children cumulated CPU time (s) 445.27
Current children cumulated vsize (KiB) 8868
[startup+445.7 s]
/proc/loadavg: 1.99 1.53 0.73 3/178 1938
/proc/meminfo: memFree=27493252/32873660 swapFree=7120/7120
[pid=1807] ppid=1805 vsize=8868 CPUtime=445.46 cores=1,3,5,7
/proc/1807/stat : 1807 (Pueblo) R 1805 1807 1765 0 -1 4202496 1795 0 18 0 44546 0 0 0 20 0 1 0 316726732 9080832 1727 33554432000 134512640 134579096 4294359136 4294357984 134528360 0 0 4096 0 0 0 0 17 1 0 0 14 0 0
/proc/1807/statm: 2217 1727 229 17 0 1523 0
Current children cumulated CPU time (s) 445.46
Current children cumulated vsize (KiB) 8868
Child status: 20
Real time (s): 445.733
CPU time (s): 445.504
CPU user time (s): 445.5
CPU system time (s): 0.003999
CPU usage (%): 99.9487
Max. virtual memory (cumulated for all children) (KiB): 8920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 445.5
system time used= 0.003999
maximum resident set size= 6928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1800
page faults= 18
swaps= 0
block input operations= 5432
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45
involuntary context switches= 1258
runsolver used 0.672897 second user time and 1.76273 second system time
The end