Trace number 3720736

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB07: Pueblo 1.4? (TO) 1800.02 1800.32

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-167.opb
MD5SUM7cf213338254036b9868078970e2a948
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables106196
Total number of constraints2493137
Number of constraints which are clauses2239038
Number of constraints which are cardinality constraints (but not clauses)8063
Number of constraints which are nor clauses,nor cardinality constraints246036
Minimum length of a constraint1
Maximum length of a constraint1485
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1486
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Pueblo version 1.4 (September 2005)
0.00/0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00/0.00	c  by Hossein Sheini
520.09/520.25	c starting to Solve
520.09/520.25	c #variables read: 106196 - #constraints read: 2155186

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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-3720736-1338513233/watcher-3720736-1338513233 -o /tmp/evaluation-result-3720736-1338513233/solver-3720736-1338513233 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720736-1338513233.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: 2.00 2.00 1.99 3/177 24976
/proc/meminfo: memFree=25521704/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=3236 CPUtime=0 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 345 0 0 0 0 0 0 0 20 0 1 0 317450841 3313664 283 33554432000 134512640 134579096 4290642352 4290509748 12751664 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 809 283 219 17 0 115 0

[startup+0.0117399 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 24976
/proc/meminfo: memFree=25521704/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=3368 CPUtime=0.01 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 374 0 0 0 1 0 0 0 20 0 1 0 317450841 3448832 312 33554432000 134512640 134579096 4290642352 4290509692 15619120 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 842 312 219 17 0 148 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3368

[startup+0.100218 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 24976
/proc/meminfo: memFree=25521704/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=5236 CPUtime=0.09 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 858 0 0 0 9 0 0 0 20 0 1 0 317450841 5361664 796 33554432000 134512640 134579096 4290642352 4290509748 12751659 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 1309 796 219 17 0 615 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5236

[startup+0.300228 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 24976
/proc/meminfo: memFree=25521704/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=9496 CPUtime=0.29 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 1910 0 0 0 29 0 0 0 20 0 1 0 317450841 9723904 1848 33554432000 134512640 134579096 4290642352 4290509748 12751597 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 2374 1848 219 17 0 1680 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9496

[startup+0.700225 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 24976
/proc/meminfo: memFree=25521704/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=17624 CPUtime=0.69 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 3959 0 0 0 69 0 0 0 20 0 1 0 317450841 18046976 3897 33554432000 134512640 134579096 4290642352 4290509692 15619120 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 4406 3897 219 17 0 3712 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17624

[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 24977
/proc/meminfo: memFree=25500968/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=33876 CPUtime=1.49 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 8005 0 0 0 148 1 0 0 20 0 1 0 317450841 34689024 7943 33554432000 134512640 134579096 4290642352 4290509812 12751659 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 8469 7943 219 17 0 7775 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33876

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 24977
/proc/meminfo: memFree=25479112/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=64780 CPUtime=3.09 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 15745 0 0 0 307 2 0 0 20 0 1 0 317450841 66334720 15683 33554432000 134512640 134579096 4290642352 4290509748 12751631 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 16195 15683 219 17 0 15501 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 64780

[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 24977
/proc/meminfo: memFree=25405492/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=125524 CPUtime=6.29 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 30935 0 0 0 624 5 0 0 20 0 1 0 317450841 128536576 30873 33554432000 134512640 134579096 4290642352 4290509748 12751597 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 31381 30873 219 17 0 30687 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 125524

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 24977
/proc/meminfo: memFree=25282308/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=245280 CPUtime=12.69 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 60872 0 0 0 1259 10 0 0 20 0 1 0 317450841 251166720 60810 33554432000 134512640 134579096 4290642352 4290509628 15619120 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 61320 60812 219 17 0 60626 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 245280

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 24977
/proc/meminfo: memFree=25121604/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=392584 CPUtime=25.49 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 97361 0 0 0 2532 17 0 0 20 0 1 0 317450841 402006016 97070 33554432000 134512640 134579096 4290642352 4290641328 134532044 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 98146 97070 227 17 0 97452 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 392584

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 24977
/proc/meminfo: memFree=25088396/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=393380 CPUtime=51.08 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 97553 0 0 0 5091 17 0 0 20 0 1 0 317450841 402821120 97262 33554432000 134512640 134579096 4290642352 4290641312 134532448 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 98345 97262 227 17 0 97651 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 393380

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 24977
/proc/meminfo: memFree=25028124/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=395572 CPUtime=102.28 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 97944 0 0 0 10211 17 0 0 20 0 1 0 317450841 405065728 97653 33554432000 134512640 134579096 4290642352 4290641312 134532440 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 98893 97653 227 17 0 98199 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 395572

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 24977
/proc/meminfo: memFree=24961316/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=399492 CPUtime=162.27 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 98631 0 0 0 16210 17 0 0 20 0 1 0 317450841 409079808 98337 33554432000 134512640 134579096 4290642352 4290641328 134532044 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 99873 98337 227 17 0 99179 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 399492

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 24977
/proc/meminfo: memFree=24900832/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=401464 CPUtime=222.25 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 99326 0 0 0 22208 17 0 0 20 0 1 0 317450841 411099136 99030 33554432000 134512640 134579096 4290642352 4290641312 134532448 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 100366 99030 227 17 0 99672 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 401464

[startup+282.306 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 24978
/proc/meminfo: memFree=24842956/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=410540 CPUtime=282.24 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 100622 0 0 0 28207 17 0 0 20 0 1 0 317450841 420392960 100326 33554432000 134512640 134579096 4290642352 4290641312 134532448 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 102635 100326 227 17 0 101941 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 410540

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 24978
/proc/meminfo: memFree=24809324/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=432136 CPUtime=342.22 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 106038 0 0 0 34204 18 0 0 20 0 1 0 317450841 442507264 106349 33554432000 134512640 134579096 4290642352 4290641328 134532044 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 108034 106349 227 17 0 107340 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 432136

[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 25182
/proc/meminfo: memFree=24786784/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=452740 CPUtime=402.22 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 111129 0 0 0 40202 20 0 0 20 0 1 0 317450841 463605760 111994 33554432000 134512640 134579096 4290642352 4290641312 134532440 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 113185 111994 227 17 0 112491 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 452740

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 25182
/proc/meminfo: memFree=24766580/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=473392 CPUtime=462.21 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 116223 0 0 0 46200 21 0 0 20 0 1 0 317450841 484753408 117088 33554432000 134512640 134579096 4290642352 4290641328 134532044 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 118348 117088 227 17 0 117654 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 473392

[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 25182
/proc/meminfo: memFree=24744972/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=502296 CPUtime=522.19 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 121503 0 0 0 52198 21 0 0 20 0 1 0 317450841 514351104 122368 33554432000 134512640 134579096 4290642352 4290641296 134519854 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 125574 122368 228 17 0 124880 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 502296

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25182
/proc/meminfo: memFree=24710228/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=502552 CPUtime=582.18 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 121568 0 0 0 58197 21 0 0 20 0 1 0 317450841 514613248 122433 33554432000 134512640 134579096 4290642352 4290641344 134560680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 125638 122433 228 17 0 124944 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 502552

[startup+642.3 s]

################
# More data... #
################

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25183
/proc/meminfo: memFree=24513308/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=503064 CPUtime=822.16 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 121679 0 0 0 82195 21 0 0 20 0 1 0 317450841 515137536 122544 33554432000 134512640 134579096 4290642352 4290641296 134519839 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 125766 122544 228 17 0 125072 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 503064

[startup+882.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 25183
/proc/meminfo: memFree=24470844/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=503064 CPUtime=882.14 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 121679 0 0 0 88193 21 0 0 20 0 1 0 317450841 515137536 122658 33554432000 134512640 134579096 4290642352 4290641280 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 125766 122658 228 17 0 125072 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 503064

[startup+942.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 25184
/proc/meminfo: memFree=24455132/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=503064 CPUtime=942.14 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 121681 0 0 0 94193 21 0 0 20 0 1 0 317450841 515137536 123015 33554432000 134512640 134579096 4290642352 4290641140 11999266 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 125766 123015 228 17 0 125072 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 503064

[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 25187
/proc/meminfo: memFree=24449536/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=510548 CPUtime=1002.12 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 123074 0 0 0 100190 22 0 0 20 0 1 0 317450841 522801152 124408 33554432000 134512640 134579096 4290642352 4290641216 134520204 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 127637 124408 228 17 0 126943 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 510548

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25187
/proc/meminfo: memFree=24446132/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=515028 CPUtime=1062.11 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 123915 0 0 0 106189 22 0 0 20 0 1 0 317450841 527388672 125249 33554432000 134512640 134579096 4290642352 4290641216 134520028 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 128757 125249 228 17 0 128063 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 515028

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25187
/proc/meminfo: memFree=24444152/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=517076 CPUtime=1122.1 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 124365 0 0 0 112188 22 0 0 20 0 1 0 317450841 529485824 125699 33554432000 134512640 134579096 4290642352 4290641280 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 129269 125699 228 17 0 128575 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 517076

[startup+1182.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 25188
/proc/meminfo: memFree=24439672/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=521680 CPUtime=1182.1 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 125305 0 0 0 118187 23 0 0 20 0 1 0 317450841 534200320 126639 33554432000 134512640 134579096 4290642352 4290641280 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 130420 126639 228 17 0 129726 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 521680

[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 25189
/proc/meminfo: memFree=24436176/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=524496 CPUtime=1242.09 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 125962 0 0 0 124186 23 0 0 20 0 1 0 317450841 537083904 127296 33554432000 134512640 134579096 4290642352 4290641216 134519955 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 131124 127296 228 17 0 130430 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 524496

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 25189
/proc/meminfo: memFree=24432260/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=527312 CPUtime=1302.08 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 126571 0 0 0 130185 23 0 0 20 0 1 0 317450841 539967488 127905 33554432000 134512640 134579096 4290642352 4290641280 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 131828 127905 228 17 0 131134 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 527312

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25189
/proc/meminfo: memFree=24429408/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=530384 CPUtime=1362.07 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 127237 0 0 0 136183 24 0 0 20 0 1 0 317450841 543113216 128571 33554432000 134512640 134579096 4290642352 4290641280 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 132596 128571 228 17 0 131902 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 530384

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25189
/proc/meminfo: memFree=24428664/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=531920 CPUtime=1422.06 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 127431 0 0 0 142182 24 0 0 20 0 1 0 317450841 544686080 128765 33554432000 134512640 134579096 4290642352 4290641280 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 132980 128765 228 17 0 132286 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 531920

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25189
/proc/meminfo: memFree=24427052/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=533968 CPUtime=1482.06 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 127837 0 0 0 148182 24 0 0 20 0 1 0 317450841 546783232 129171 33554432000 134512640 134579096 4290642352 4290641216 134519989 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 133492 129171 228 17 0 132798 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 533968

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25190
/proc/meminfo: memFree=24426060/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=536016 CPUtime=1542.04 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 128177 0 0 0 154180 24 0 0 20 0 1 0 317450841 548880384 129511 33554432000 134512640 134579096 4290642352 4290641280 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 134004 129511 228 17 0 133310 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 536016

[startup+1602.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25193
/proc/meminfo: memFree=24422244/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=538064 CPUtime=1602.03 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 128648 0 0 0 160179 24 0 0 20 0 1 0 317450841 550977536 130301 33554432000 134512640 134579096 4290642352 4290641216 134520067 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 134516 130301 228 17 0 133822 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 538064

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25193
/proc/meminfo: memFree=24418024/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=541136 CPUtime=1662.01 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 129119 0 0 0 166177 24 0 0 20 0 1 0 317450841 554123264 131580 33554432000 134512640 134579096 4290642352 4290641280 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 135284 131580 228 17 0 134590 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 541136

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25193
/proc/meminfo: memFree=24417032/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=542672 CPUtime=1722 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 129375 0 0 0 172176 24 0 0 20 0 1 0 317450841 555696128 131836 33554432000 134512640 134579096 4290642352 4290641216 134519955 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 135668 131836 228 17 0 134974 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 542672

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25241
/proc/meminfo: memFree=25032636/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=544208 CPUtime=1782 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 129597 0 0 0 178175 25 0 0 20 0 1 0 317450841 557268992 132058 33554432000 134512640 134579096 4290642352 4290641216 134520044 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 136052 132058 228 17 0 135358 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 544208



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25241
/proc/meminfo: memFree=25030040/32873648 swapFree=6852/6852
[pid=24976] ppid=24974 vsize=545744 CPUtime=1800.01 cores=1,3,5,7
/proc/24976/stat : 24976 (Pueblo) R 24974 24976 23938 0 -1 4202496 129835 0 0 0 179976 25 0 0 20 0 1 0 317450841 558841856 132296 33554432000 134512640 134579096 4290642352 4290641280 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24976/statm: 136436 132296 228 17 0 135742 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 545744

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.32
CPU time (s): 1800.02
CPU user time (s): 1799.76
CPU system time (s): 0.25696
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 545744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.76
system time used= 0.25696
maximum resident set size= 529184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129835
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= 37
involuntary context switches= 1850

runsolver used 2.91056 second user time and 9.40457 second system time

The end

Launcher Data 

Begin job on node112 at 2012-06-01 03:13:56
IDJOB=3720736
IDBENCH=89731
IDSOLVER=2305
FILE ID=node112/3720736-1338513233
RUNJOBID= node112-1338506009-23955
PBS_JOBID= 14635779
Free space on /tmp= 71120 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-167.opb
COMMAND LINE= Pueblo BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3720736-1338513233/watcher-3720736-1338513233 -o /tmp/evaluation-result-3720736-1338513233/solver-3720736-1338513233 -C 1800 -W 1900 -M 15500  Pueblo HOME/instance-3720736-1338513233.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 7cf213338254036b9868078970e2a948
RANDOM SEED=1157219823

node112.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.763
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.763
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.763
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.763
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.763
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.763
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.763
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.763
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        25522084 kB
Buffers:          523756 kB
Cached:          5884764 kB
SwapCached:            0 kB
Active:          1791708 kB
Inactive:        4698524 kB
Active(anon):      70840 kB
Inactive(anon):    10936 kB
Active(file):    1720868 kB
Inactive(file):  4687588 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:            113708 kB
Writeback:             0 kB
AnonPages:         87940 kB
Mapped:            15308 kB
Shmem:               200 kB
Slab:             724372 kB
SReclaimable:     167920 kB
SUnreclaim:       556452 kB
KernelStack:        1456 kB
PageTables:         4188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     198632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     45056 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3720736-1338513233.opb

Free space on /tmp at the end= 71128 MiB
End job on node112 at 2012-06-01 03:43:58