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-3719839-1338506007/watcher-3719839-1338506007 -o /tmp/evaluation-result-3719839-1338506007/solver-3719839-1338506007 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3719839-1338506007.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 3/176 12285
/proc/meminfo: memFree=27430100/32873648 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=3236 CPUtime=0 cores=1,3,5,7
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 12227 0 -1 4202496 345 0 0 0 0 0 0 0 20 0 1 0 316728176 3313664 282 33554432000 134512640 134579096 4292482576 4292349988 2982666 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12285/statm: 809 282 221 17 0 115 0
[startup+0.0713649 s]
/proc/loadavg: 0.00 0.00 0.00 3/176 12285
/proc/meminfo: memFree=27430100/32873648 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=3632 CPUtime=0.06 cores=1,3,5,7
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 12227 0 -1 4202496 469 0 0 0 6 0 0 0 20 0 1 0 316728176 3719168 406 33554432000 134512640 134579096 4292482576 4292481040 2233639 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12285/statm: 908 406 229 17 0 214 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3632
[startup+0.100253 s]
/proc/loadavg: 0.00 0.00 0.00 3/176 12285
/proc/meminfo: memFree=27430100/32873648 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=3764 CPUtime=0.09 cores=1,3,5,7
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 12227 0 -1 4202496 490 0 0 0 9 0 0 0 20 0 1 0 316728176 3854336 427 33554432000 134512640 134579096 4292482576 4292481424 134527750 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12285/statm: 941 427 229 17 0 247 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3764
[startup+0.300225 s]
/proc/loadavg: 0.00 0.00 0.00 3/176 12285
/proc/meminfo: memFree=27430100/32873648 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=4028 CPUtime=0.29 cores=1,3,5,7
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 12227 0 -1 4202496 570 0 0 0 29 0 0 0 20 0 1 0 316728176 4124672 507 33554432000 134512640 134579096 4292482576 4292481676 1762352 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12285/statm: 1007 507 229 17 0 313 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4028
[startup+0.700222 s]
/proc/loadavg: 0.00 0.00 0.00 3/176 12285
/proc/meminfo: memFree=27430100/32873648 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=4292 CPUtime=0.69 cores=1,3,5,7
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 12227 0 -1 4202496 627 0 0 0 69 0 0 0 20 0 1 0 316728176 4395008 564 33554432000 134512640 134579096 4292482576 4292481424 134527742 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12285/statm: 1073 564 229 17 0 379 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4292
[startup+1.50022 s]
/proc/loadavg: 0.00 0.00 0.00 3/177 12286
/proc/meminfo: memFree=27427720/32873648 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=4388 CPUtime=1.49 cores=1,3,5,7
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 12227 0 -1 4202496 673 0 0 0 149 0 0 0 20 0 1 0 316728176 4493312 610 33554432000 134512640 134579096 4292482576 4292481424 134527765 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12285/statm: 1097 610 229 17 0 403 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4388
[startup+3.10022 s]
/proc/loadavg: 0.08 0.02 0.01 2/172 12313
/proc/meminfo: memFree=27431764/32873648 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=4724 CPUtime=3.09 cores=1,3,5,7
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 12227 0 -1 4202496 738 0 0 0 309 0 0 0 20 0 1 0 316728176 4837376 675 33554432000 134512640 134579096 4292482576 4292481424 134527712 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12285/statm: 1181 675 229 17 0 487 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4724
[startup+6.3002 s]
/proc/loadavg: 0.08 0.02 0.01 2/172 12313
/proc/meminfo: memFree=27431336/32873648 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=5040 CPUtime=6.29 cores=1,3,5,7
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 12227 0 -1 4202496 822 0 0 0 629 0 0 0 20 0 1 0 316728176 5160960 759 33554432000 134512640 134579096 4292482576 4292481440 134519983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12285/statm: 1260 759 229 17 0 566 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5040
[startup+12.7002 s]
/proc/loadavg: 0.22 0.05 0.02 2/172 12361
/proc/meminfo: memFree=27430712/32873648 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=5428 CPUtime=12.69 cores=1,3,5,7
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 12227 0 -1 4202496 917 0 0 0 1269 0 0 0 20 0 1 0 316728176 5558272 854 33554432000 134512640 134579096 4292482576 4292481404 134527236 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12285/statm: 1357 854 229 17 0 663 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 5428
[startup+25.5002 s]
/proc/loadavg: 0.34 0.08 0.02 3/177 12430
/proc/meminfo: memFree=27381024/32873648 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=5840 CPUtime=25.49 cores=1,3,5,7
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 12227 0 -1 4202496 1027 0 0 0 2549 0 0 0 20 0 1 0 316728176 5980160 963 33554432000 134512640 134579096 4292482576 4292479568 134533489 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12285/statm: 1460 963 229 17 0 766 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 5840
[startup+51.1002 s]
/proc/loadavg: 0.91 0.23 0.08 3/177 12478
/proc/meminfo: memFree=27343592/32873648 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=6488 CPUtime=51.08 cores=1,3,5,7
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 12227 0 -1 4202496 1182 0 0 0 5108 0 0 0 20 0 1 0 316728176 6643712 1118 33554432000 134512640 134579096 4292482576 4292481424 134527833 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12285/statm: 1622 1118 229 17 0 928 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 6488
[startup+102.306 s]
/proc/loadavg: 1.56 0.53 0.18 3/177 12478
/proc/meminfo: memFree=27291048/32873648 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=7176 CPUtime=102.28 cores=1,3,5,7
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 12227 0 -1 4202496 1362 0 0 0 10228 0 0 0 20 0 1 0 316728176 7348224 1298 33554432000 134512640 134579096 4292482576 4292481424 134527762 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12285/statm: 1794 1298 229 17 0 1100 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 7176
[startup+162.3 s]
/proc/loadavg: 1.82 0.77 0.29 3/177 12479
/proc/meminfo: memFree=27131364/32873648 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=7444 CPUtime=162.27 cores=1,3,5,7
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 12227 0 -1 4202496 1455 0 0 0 16227 0 0 0 20 0 1 0 316728176 7622656 1375 33554432000 134512640 134579096 4292482576 4292481408 134517901 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12285/statm: 1861 1375 229 17 0 1167 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 7444
[startup+222.3 s]
/proc/loadavg: 1.94 1.01 0.40 3/177 12479
/proc/meminfo: memFree=26958420/32873648 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=7768 CPUtime=222.26 cores=1,3,5,7
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 12227 0 -1 4202496 1535 0 0 0 22226 0 0 0 20 0 1 0 316728176 7954432 1455 33554432000 134512640 134579096 4292482576 4292481424 134528344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12285/statm: 1942 1455 229 17 0 1248 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 7768
[startup+282.3 s]
/proc/loadavg: 1.97 1.17 0.49 3/177 12479
/proc/meminfo: memFree=26790928/32873648 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=8220 CPUtime=282.25 cores=1,3,5,7
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 12227 0 -1 4202496 1643 0 0 0 28225 0 0 0 20 0 1 0 316728176 8417280 1561 33554432000 134512640 134579096 4292482576 4292481424 134527750 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12285/statm: 2055 1561 229 17 0 1361 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 8220
[startup+342.3 s]
/proc/loadavg: 1.99 1.33 0.59 3/177 12479
/proc/meminfo: memFree=26627152/32873648 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=8428 CPUtime=342.24 cores=1,3,5,7
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 12227 0 -1 4202496 1694 0 0 0 34224 0 0 0 20 0 1 0 316728176 8630272 1612 33554432000 134512640 134579096 4292482576 4292481424 134527981 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12285/statm: 2107 1612 229 17 0 1413 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 8428
Solver just ended. Dumping a history of the last processes samples
[startup+358.3 s]
/proc/loadavg: 2.06 1.38 0.61 3/177 12479
/proc/meminfo: memFree=26587332/32873648 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=8476 CPUtime=358.24 cores=1,3,5,7
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 12227 0 -1 4202496 1715 0 0 0 35824 0 0 0 20 0 1 0 316728176 8679424 1633 33554432000 134512640 134579096 4292482576 4292481424 134527818 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12285/statm: 2119 1633 229 17 0 1425 0
Current children cumulated CPU time (s) 358.24
Current children cumulated vsize (KiB) 8476
[startup+371.1 s]
/proc/loadavg: 2.05 1.40 0.63 3/177 12479
/proc/meminfo: memFree=26555184/32873648 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=8460 CPUtime=371.03 cores=1,3,5,7
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 12227 0 -1 4202496 1715 0 0 0 37103 0 0 0 20 0 1 0 316728176 8663040 1629 33554432000 134512640 134579096 4292482576 4292481424 134528063 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12285/statm: 2115 1629 229 17 0 1421 0
Current children cumulated CPU time (s) 371.03
Current children cumulated vsize (KiB) 8460
[startup+383.906 s]
/proc/loadavg: 2.04 1.43 0.65 3/177 12479
/proc/meminfo: memFree=26522060/32873648 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=8460 CPUtime=383.84 cores=1,3,5,7
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 12227 0 -1 4202496 1715 0 0 0 38384 0 0 0 20 0 1 0 316728176 8663040 1629 33554432000 134512640 134579096 4292482576 4292479248 134533489 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12285/statm: 2115 1629 229 17 0 1421 0
Current children cumulated CPU time (s) 383.84
Current children cumulated vsize (KiB) 8460
[startup+390.3 s]
/proc/loadavg: 2.04 1.44 0.66 3/177 12479
/proc/meminfo: memFree=26511256/32873648 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=8460 CPUtime=390.23 cores=1,3,5,7
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 12227 0 -1 4202496 1715 0 0 0 39023 0 0 0 20 0 1 0 316728176 8663040 1629 33554432000 134512640 134579096 4292482576 4292481376 134528580 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12285/statm: 2115 1629 229 17 0 1421 0
Current children cumulated CPU time (s) 390.23
Current children cumulated vsize (KiB) 8460
[startup+393.5 s]
/proc/loadavg: 2.03 1.45 0.66 3/177 12479
/proc/meminfo: memFree=26504188/32873648 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=8460 CPUtime=393.43 cores=1,3,5,7
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 12227 0 -1 4202496 1715 0 0 0 39343 0 0 0 20 0 1 0 316728176 8663040 1629 33554432000 134512640 134579096 4292482576 4292481424 134527750 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12285/statm: 2115 1629 229 17 0 1421 0
Current children cumulated CPU time (s) 393.43
Current children cumulated vsize (KiB) 8460
[startup+394.3 s]
/proc/loadavg: 2.03 1.45 0.66 3/178 12482
/proc/meminfo: memFree=26501768/32873648 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=8460 CPUtime=394.23 cores=1,3,5,7
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 12227 0 -1 4202496 1715 0 0 0 39423 0 0 0 20 0 1 0 316728176 8663040 1629 33554432000 134512640 134579096 4292482576 4292481376 134558876 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12285/statm: 2115 1629 229 17 0 1421 0
Current children cumulated CPU time (s) 394.23
Current children cumulated vsize (KiB) 8460
[startup+394.7 s]
/proc/loadavg: 2.03 1.45 0.66 3/178 12482
/proc/meminfo: memFree=26501768/32873648 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=8460 CPUtime=394.63 cores=1,3,5,7
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 12227 0 -1 4202496 1715 0 0 0 39463 0 0 0 20 0 1 0 316728176 8663040 1629 33554432000 134512640 134579096 4292482576 4292481376 134558685 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12285/statm: 2115 1629 229 17 0 1421 0
Current children cumulated CPU time (s) 394.63
Current children cumulated vsize (KiB) 8460
[startup+394.906 s]
/proc/loadavg: 2.03 1.45 0.66 3/178 12482
/proc/meminfo: memFree=26499180/32873648 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=8460 CPUtime=394.84 cores=1,3,5,7
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 12227 0 -1 4202496 1715 0 0 0 39484 0 0 0 20 0 1 0 316728176 8663040 1629 33554432000 134512640 134579096 4292482576 4292481424 134527740 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12285/statm: 2115 1629 229 17 0 1421 0
Current children cumulated CPU time (s) 394.84
Current children cumulated vsize (KiB) 8460
[startup+395 s]
/proc/loadavg: 2.03 1.45 0.66 3/178 12482
/proc/meminfo: memFree=26499180/32873648 swapFree=7120/7120
[pid=12285] ppid=12283 vsize=8460 CPUtime=394.93 cores=1,3,5,7
/proc/12285/stat : 12285 (Pueblo) R 12283 12285 12227 0 -1 4202496 1715 0 0 0 39493 0 0 0 20 0 1 0 316728176 8663040 1629 33554432000 134512640 134579096 4292482576 4292481396 134556315 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12285/statm: 2115 1629 229 17 0 1421 0
Current children cumulated CPU time (s) 394.93
Current children cumulated vsize (KiB) 8460
Child status: 20
Real time (s): 395.025
CPU time (s): 394.962
CPU user time (s): 394.959
CPU system time (s): 0.002999
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 8540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 394.959
system time used= 0.002999
maximum resident set size= 6536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1720
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= 6
involuntary context switches= 407
runsolver used 0.606907 second user time and 1.55176 second system time
The end