Trace number 348165

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, and are wall clock time (not CPU 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 NameAnswerObjective functionCPU timeWall clock time
Pueblo 1.4? (TO) 1800.07 1800.53

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-B1C1S1.opb
MD5SUMcc797868c6f9cb3811b8dc2300ad7f9f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
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 FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables107808
Total number of constraints3904
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3904
Minimum length of a constraint31
Maximum length of a constraint1440
Number of terms in the objective function 38688
Biggest coefficient in the objective function 612
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 556800
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 556800
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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
4.19/4.23	c starting to Solve
4.19/4.23	c #variables read: 107808 - #constraints read: 5185

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/348165-1176570629/instance-348165-1176570629.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node44/watcher-348165-1176570629 -o ROOT/results/node44/solver-348165-1176570629 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/348165-1176570629/instance-348165-1176570629.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 13099
/proc/meminfo: memFree=1534248/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=2552 CPUtime=0
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 104974632 2613248 230 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11747031 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 638 230 193 16 0 77 0

[startup+0.0693969 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 13099
/proc/meminfo: memFree=1534248/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=4416 CPUtime=0.06
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 716 0 0 0 6 0 0 0 18 0 1 0 104974632 4521984 686 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11747031 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 1104 686 193 16 0 543 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4416

[startup+0.101399 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 13099
/proc/meminfo: memFree=1534248/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=5216 CPUtime=0.09
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 933 0 0 0 9 0 0 0 18 0 1 0 104974632 5341184 903 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11747031 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 1304 903 193 16 0 743 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5216

[startup+0.301421 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 13099
/proc/meminfo: memFree=1534248/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=10412 CPUtime=0.29
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 2223 0 0 0 28 1 0 0 19 0 1 0 104974632 10661888 2193 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11747031 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 2603 2193 199 16 0 2042 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10412

[startup+0.701462 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 13099
/proc/meminfo: memFree=1534248/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=12676 CPUtime=0.69
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 2816 0 0 0 68 1 0 0 23 0 1 0 104974632 12980224 2786 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11747031 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 3169 2786 199 16 0 2608 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12676

[startup+1.50154 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 13100
/proc/meminfo: memFree=1520352/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=36424 CPUtime=1.49
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 30530 0 0 0 139 10 0 0 25 0 1 0 104974632 37298176 8078 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134532446 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 9106 8088 205 16 0 8545 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36424

[startup+3.10171 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 13100
/proc/meminfo: memFree=1499296/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=44588 CPUtime=3.09
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 334156 0 0 0 213 96 0 0 25 0 1 0 104974632 45658112 10133 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134532446 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 11147 10143 205 16 0 10586 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44588

[startup+6.30104 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 13100
/proc/meminfo: memFree=1486048/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=52340 CPUtime=6.29
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 561999 0 0 0 470 159 0 0 25 0 1 0 104974632 53596160 12120 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 13085 12120 206 16 0 12524 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52340

[startup+12.7017 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 13100
/proc/meminfo: memFree=1485744/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=52860 CPUtime=12.69
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 562142 0 0 0 1110 159 0 0 25 0 1 0 104974632 54128640 12263 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527931 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 13215 12263 206 16 0 12654 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52860

[startup+25.502 s]
/proc/loadavg: 0.95 0.97 0.99 2/65 13100
/proc/meminfo: memFree=1484720/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=54032 CPUtime=25.49
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 562430 0 0 0 2390 159 0 0 25 0 1 0 104974632 55328768 12551 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 13508 12551 206 16 0 12947 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 54032

[startup+51.1016 s]
/proc/loadavg: 0.96 0.97 0.99 2/65 13100
/proc/meminfo: memFree=1482032/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=56628 CPUtime=51.08
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 563084 0 0 0 4948 160 0 0 25 0 1 0 104974632 57987072 13205 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528055 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 14157 13205 206 16 0 13596 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 56628

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 13100
/proc/meminfo: memFree=1479280/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=59508 CPUtime=102.27
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 563801 0 0 0 10067 160 0 0 25 0 1 0 104974632 60936192 13922 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528252 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 14877 13922 206 16 0 14316 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 59508

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 13100
/proc/meminfo: memFree=1466544/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=72352 CPUtime=162.25
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 566992 0 0 0 16061 164 0 0 25 0 1 0 104974632 74088448 17113 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11716219 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 18088 17113 206 16 0 17527 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 72352

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 13100
/proc/meminfo: memFree=1463088/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=75604 CPUtime=222.24
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 567811 0 0 0 22059 165 0 0 25 0 1 0 104974632 77418496 17932 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134563566 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 18901 17932 206 16 0 18340 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 75604

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 13100
/proc/meminfo: memFree=1463088/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=75604 CPUtime=282.22
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 567813 0 0 0 28057 165 0 0 25 0 1 0 104974632 77418496 17934 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527800 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 18901 17934 206 16 0 18340 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 75604

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 13100
/proc/meminfo: memFree=1458736/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=80204 CPUtime=342.2
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 568893 0 0 0 34054 166 0 0 25 0 1 0 104974632 82128896 19014 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 20051 19014 206 16 0 19490 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 80204

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 13100
/proc/meminfo: memFree=1455792/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=83520 CPUtime=402.19
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 569621 0 0 0 40052 167 0 0 25 0 1 0 104974632 85524480 19742 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 20880 19742 206 16 0 20319 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 83520

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 13100
/proc/meminfo: memFree=1453424/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=86120 CPUtime=462.17
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 570251 0 0 0 46050 167 0 0 25 0 1 0 104974632 88186880 20372 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 21530 20372 206 16 0 20969 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 86120

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 13100
/proc/meminfo: memFree=1446000/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=93756 CPUtime=522.16
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 572100 0 0 0 52046 170 0 0 25 0 1 0 104974632 96006144 22221 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 23439 22221 206 16 0 22878 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 93756

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 13100
/proc/meminfo: memFree=1446000/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=93756 CPUtime=582.15
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 572100 0 0 0 58045 170 0 0 25 0 1 0 104974632 96006144 22221 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 23439 22221 206 16 0 22878 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 93756

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 13100
/proc/meminfo: memFree=1446000/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=93756 CPUtime=642.14
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 572100 0 0 0 64044 170 0 0 25 0 1 0 104974632 96006144 22221 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559265 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 23439 22221 206 16 0 22878 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 93756


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 13100
/proc/meminfo: memFree=1436016/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=103768 CPUtime=882.06
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 574581 0 0 0 88034 172 0 0 25 0 1 0 104974632 106258432 24702 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 25942 24702 206 16 0 25381 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 103768

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 13100
/proc/meminfo: memFree=1436528/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=103072 CPUtime=942.06
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 574581 0 0 0 94033 173 0 0 25 0 1 0 104974632 105545728 24538 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 25768 24538 206 16 0 25207 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 103072

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 13100
/proc/meminfo: memFree=1435504/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=104356 CPUtime=1002.04
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 574876 0 0 0 100031 173 0 0 25 0 1 0 104974632 106860544 24833 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 26089 24833 206 16 0 25528 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 104356

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 13100
/proc/meminfo: memFree=1435504/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=104356 CPUtime=1062.02
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 574876 0 0 0 106029 173 0 0 25 0 1 0 104974632 106860544 24833 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519890 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 26089 24833 206 16 0 25528 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 104356

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 13100
/proc/meminfo: memFree=1435568/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=104356 CPUtime=1122.01
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 574876 0 0 0 112028 173 0 0 25 0 1 0 104974632 106860544 24833 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 26089 24833 206 16 0 25528 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 104356

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 13100
/proc/meminfo: memFree=1429808/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=110480 CPUtime=1181.99
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 576382 0 0 0 118025 174 0 0 25 0 1 0 104974632 113131520 26339 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 27620 26339 206 16 0 27059 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 110480

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 13100
/proc/meminfo: memFree=1428464/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=111632 CPUtime=1241.98
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 576631 0 0 0 124023 175 0 0 25 0 1 0 104974632 114311168 26588 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 27908 26588 206 16 0 27347 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 111632

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 13100
/proc/meminfo: memFree=1427888/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=112400 CPUtime=1301.96
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 576785 0 0 0 130021 175 0 0 25 0 1 0 104974632 115097600 26742 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11723997 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 28100 26742 206 16 0 27539 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 112400

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 13100
/proc/meminfo: memFree=1425776/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=115728 CPUtime=1361.94
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 577304 0 0 0 136019 175 0 0 25 0 1 0 104974632 118505472 27261 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 28932 27261 206 16 0 28371 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 115728

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 13100
/proc/meminfo: memFree=1425648/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=115984 CPUtime=1421.94
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 577348 0 0 0 142018 176 0 0 25 0 1 0 104974632 118767616 27305 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134516725 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 28996 27305 206 16 0 28435 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 115984

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 13100
/proc/meminfo: memFree=1423344/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=118308 CPUtime=1481.91
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 577907 0 0 0 148015 176 0 0 25 0 1 0 104974632 121147392 27864 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 29577 27864 206 16 0 29016 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 118308

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 13100
/proc/meminfo: memFree=1423344/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=118308 CPUtime=1541.9
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 577907 0 0 0 154014 176 0 0 25 0 1 0 104974632 121147392 27864 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 29577 27864 206 16 0 29016 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 118308

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 13100
/proc/meminfo: memFree=1421872/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=119940 CPUtime=1601.89
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 578286 0 0 0 160012 177 0 0 25 0 1 0 104974632 122818560 28243 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 29985 28243 206 16 0 29424 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 119940

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 13102
/proc/meminfo: memFree=1421424/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=120328 CPUtime=1661.87
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 578383 0 0 0 166010 177 0 0 25 0 1 0 104974632 123215872 28340 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 30082 28340 206 16 0 29521 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 120328

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 13102
/proc/meminfo: memFree=1417968/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=124072 CPUtime=1721.85
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 579252 0 0 0 172008 177 0 0 25 0 1 0 104974632 127049728 29209 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134557517 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 31018 29209 206 16 0 30457 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 124072

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 13102
/proc/meminfo: memFree=1417904/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=124072 CPUtime=1781.83
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 579253 0 0 0 178006 177 0 0 25 0 1 0 104974632 127049728 29210 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 31018 29210 206 16 0 30457 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 124072



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 13102
/proc/meminfo: memFree=1417968/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=124072 CPUtime=1800.03
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 579253 0 0 0 179826 177 0 0 25 0 1 0 104974632 127049728 29210 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 31018 29210 206 16 0 30457 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 124072

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

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

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 13102
/proc/meminfo: memFree=1417968/2055920 swapFree=4191292/4192956
[pid=13099] ppid=13097 vsize=124072 CPUtime=1800.03
/proc/13099/stat : 13099 (Pueblo) R 13097 13099 12575 0 -1 4194304 579253 0 0 0 179826 177 0 0 25 0 1 0 104974632 127049728 29210 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/13099/statm: 31018 29210 206 16 0 30457 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 124072

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.07
CPU user time (s): 1798.27
CPU system time (s): 1.79873
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 124072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.27
system time used= 1.79873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 579253
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= 2669

runsolver used 1.15082 second user time and 3.77842 second system time

The end

Launcher Data (download as text)

Begin job on node44 on Sat Apr 14 17:10:29 UTC 2007

IDJOB= 348165
IDBENCH= 1623
IDSOLVER= 165
FILE ID= node44/348165-1176570629

PBS_JOBID= 4556910

Free space on /tmp= 66559 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-B1C1S1.opb
COMMAND LINE= Pueblo /tmp/evaluation/348165-1176570629/instance-348165-1176570629.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node44/convwatcher-348165-1176570629 -o ROOT/results/node44/conversion-348165-1176570629 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/348165-1176570629/instance-348165-1176570629.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node44/watcher-348165-1176570629 -o ROOT/results/node44/solver-348165-1176570629 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/348165-1176570629/instance-348165-1176570629.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  cc797868c6f9cb3811b8dc2300ad7f9f

RANDOM SEED= 446150164

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node44.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1534656 kB
Buffers:         43412 kB
Cached:         357540 kB
SwapCached:        452 kB
Active:         244824 kB
Inactive:       170736 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1534656 kB
SwapTotal:     4192956 kB
SwapFree:      4191292 kB
Dirty:            5932 kB
Writeback:           0 kB
Mapped:          23376 kB
Slab:            91716 kB
Committed_AS:   123916 kB
PageTables:       1396 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66559 MiB

End job on node44 on Sat Apr 14 17:40:32 UTC 2007