Trace number 37490

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.3? (TO) 1800.7 1801.18

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n3706.opb
MD5SUM0c13059622221c4a56a3a4fdb32d92c9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark10.5204
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables155000
Total number of constraints5150
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 constraints5150
Minimum length of a constraint31
Maximum length of a constraint3000
Number of terms in the objective function 155000
Biggest coefficient in the objective function 76
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 653950
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 653950
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.01	c Pueblo version 1.4 (September 2005)
0.01	c Developed @ University of Michigan, Ann Arbor, MI
0.01	c  by Hossein Sheini
6.58	c starting to Solve
6.58	c #variables read: 155000 - #constraints read: 5301

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node31/watcher-37490-1149247768 -o ROOT/results/node31/solver-37490-1149247768 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node31/37490-1149247768/instance-37490-1149247768.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.04 1.01 0.97 2/64 25181
/proc/meminfo: memFree=1586296/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=172 CPUtime=0
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 38 0 0 0 0 0 0 0 19 0 1 0 190440477 176128 23 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 1171755 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 43 23 18 16 0 2 0

[startup+10.0019 s]
/proc/loadavg: 1.04 1.01 0.97 2/64 25181
/proc/meminfo: memFree=1511112/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=87096 CPUtime=9.98
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 825268 0 0 0 782 216 0 0 25 0 1 0 190440477 89186304 18931 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 21774 18931 206 16 0 21215 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 87096

[startup+20.0087 s]
/proc/loadavg: 1.03 1.01 0.97 2/64 25181
/proc/meminfo: memFree=1511312/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=87096 CPUtime=19.98
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 825275 0 0 0 1782 216 0 0 25 0 1 0 190440477 89186304 18938 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528325 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 21774 18938 206 16 0 21215 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 87096

[startup+30.0146 s]
/proc/loadavg: 1.03 1.01 0.97 2/64 25181
/proc/meminfo: memFree=1511376/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=87096 CPUtime=29.98
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 825275 0 0 0 2782 216 0 0 25 0 1 0 190440477 89186304 18938 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527812 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 21774 18938 206 16 0 21215 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 87096

[startup+40.0204 s]
/proc/loadavg: 1.02 1.01 0.97 2/64 25181
/proc/meminfo: memFree=1511440/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=87096 CPUtime=39.99
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 825275 0 0 0 3783 216 0 0 25 0 1 0 190440477 89186304 18938 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 21774 18938 206 16 0 21215 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 87096

[startup+50.0262 s]
/proc/loadavg: 1.02 1.01 0.97 2/64 25181
/proc/meminfo: memFree=1511440/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=87096 CPUtime=49.99
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 825275 0 0 0 4783 216 0 0 25 0 1 0 190440477 89186304 18938 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 21774 18938 206 16 0 21215 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 87096

[startup+60.032 s]
/proc/loadavg: 1.01 1.01 0.97 2/64 25181
/proc/meminfo: memFree=1511504/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=87096 CPUtime=59.99
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 825275 0 0 0 5783 216 0 0 25 0 1 0 190440477 89186304 18938 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 21774 18938 206 16 0 21215 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 87096

[startup+70.0379 s]
/proc/loadavg: 1.01 1.01 0.97 2/64 25181
/proc/meminfo: memFree=1511056/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=87564 CPUtime=70
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 825399 0 0 0 6784 216 0 0 25 0 1 0 190440477 89665536 19062 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 21891 19062 206 16 0 21332 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 87564

[startup+80.0447 s]
/proc/loadavg: 1.01 1.01 0.97 2/64 25181
/proc/meminfo: memFree=1510480/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=88164 CPUtime=80
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 825542 0 0 0 7784 216 0 0 25 0 1 0 190440477 90279936 19205 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559204 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 22041 19205 206 16 0 21482 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 88164

[startup+90.0495 s]
/proc/loadavg: 1.01 1.00 0.97 2/64 25181
/proc/meminfo: memFree=1510096/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=88516 CPUtime=90
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 825642 0 0 0 8784 216 0 0 25 0 1 0 190440477 90640384 19305 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 22129 19305 206 16 0 21570 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 88516

[startup+100.055 s]
/proc/loadavg: 1.01 1.00 0.97 2/64 25181
/proc/meminfo: memFree=1509584/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=88976 CPUtime=100.01
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 825761 0 0 0 9785 216 0 0 25 0 1 0 190440477 91111424 19424 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 22244 19424 206 16 0 21685 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 88976

[startup+110.062 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25181
/proc/meminfo: memFree=1509200/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=89448 CPUtime=110.02
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 825861 0 0 0 10785 217 0 0 25 0 1 0 190440477 91594752 19524 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 22362 19524 206 16 0 21803 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 89448

[startup+120.068 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25181
/proc/meminfo: memFree=1508752/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=89796 CPUtime=120.02
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 825960 0 0 0 11785 217 0 0 25 0 1 0 190440477 91951104 19623 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528319 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 22449 19623 206 16 0 21890 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 89796

[startup+130.074 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25181
/proc/meminfo: memFree=1508304/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=90260 CPUtime=130.02
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 826075 0 0 0 12785 217 0 0 25 0 1 0 190440477 92426240 19738 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 22565 19738 206 16 0 22006 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 90260

[startup+140.08 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25181
/proc/meminfo: memFree=1507536/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=91080 CPUtime=140.02
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 826269 0 0 0 13785 217 0 0 25 0 1 0 190440477 93265920 19932 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 22770 19932 206 16 0 22211 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 91080

[startup+150.085 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25181
/proc/meminfo: memFree=1507152/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=91428 CPUtime=150.02
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 826358 0 0 0 14785 217 0 0 25 0 1 0 190440477 93622272 20021 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 22857 20021 206 16 0 22298 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 91428

[startup+160.091 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25181
/proc/meminfo: memFree=1506512/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=92020 CPUtime=160.03
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 826518 0 0 0 15786 217 0 0 25 0 1 0 190440477 94228480 20181 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527821 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 23005 20181 206 16 0 22446 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 92020

[startup+170.097 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25181
/proc/meminfo: memFree=1506192/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=92368 CPUtime=170.03
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 826617 0 0 0 16786 217 0 0 25 0 1 0 190440477 94584832 20280 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 23092 20280 206 16 0 22533 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 92368

[startup+180.103 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25181
/proc/meminfo: memFree=1505680/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=92956 CPUtime=180.03
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 826746 0 0 0 17786 217 0 0 25 0 1 0 190440477 95186944 20409 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 23239 20409 206 16 0 22680 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 92956

[startup+190.109 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25181
/proc/meminfo: memFree=1502032/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=96596 CPUtime=190.04
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 827650 0 0 0 18786 218 0 0 25 0 1 0 190440477 98914304 21313 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 24149 21313 206 16 0 23590 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 96596

[startup+200.115 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25181
/proc/meminfo: memFree=1501584/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=96944 CPUtime=200.04
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 827755 0 0 0 19786 218 0 0 25 0 1 0 190440477 99270656 21418 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 24236 21418 206 16 0 23677 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 96944

[startup+210.12 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25181
/proc/meminfo: memFree=1501136/2055920 swapFree=4181480/4192956

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

/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 874662 0 0 0 177905 250 0 0 25 0 1 0 190440477 294793216 68325 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 71971 68325 206 16 0 71412 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (Kb) 287884

[startup+1783.04 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25183
/proc/meminfo: memFree=1312528/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=288480 CPUtime=1782.55
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 874806 0 0 0 178005 250 0 0 25 0 1 0 190440477 295403520 68469 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 72120 68469 206 16 0 71561 0
Current children cumulated CPU time (s) 1782.55
Current children cumulated vsize (Kb) 288480

[startup+1784.04 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25183
/proc/meminfo: memFree=1311952/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=289072 CPUtime=1783.56
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 874947 0 0 0 178106 250 0 0 25 0 1 0 190440477 296009728 68610 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 72268 68610 206 16 0 71709 0
Current children cumulated CPU time (s) 1783.56
Current children cumulated vsize (Kb) 289072

[startup+1785.05 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25183
/proc/meminfo: memFree=1311696/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=289304 CPUtime=1784.56
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875016 0 0 0 178206 250 0 0 25 0 1 0 190440477 296247296 68679 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 72326 68679 206 16 0 71767 0
Current children cumulated CPU time (s) 1784.56
Current children cumulated vsize (Kb) 289304

[startup+1786.05 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25183
/proc/meminfo: memFree=1311440/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=289552 CPUtime=1785.56
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875076 0 0 0 178306 250 0 0 25 0 1 0 190440477 296501248 68739 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 72388 68739 206 16 0 71829 0
Current children cumulated CPU time (s) 1785.56
Current children cumulated vsize (Kb) 289552

[startup+1787.06 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25183
/proc/meminfo: memFree=1311184/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=289912 CPUtime=1786.57
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875143 0 0 0 178407 250 0 0 25 0 1 0 190440477 296869888 68806 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 72478 68806 206 16 0 71919 0
Current children cumulated CPU time (s) 1786.57
Current children cumulated vsize (Kb) 289912

[startup+1788.06 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25183
/proc/meminfo: memFree=1311120/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=289912 CPUtime=1787.57
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875159 0 0 0 178507 250 0 0 25 0 1 0 190440477 296869888 68822 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527812 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 72478 68822 206 16 0 71919 0
Current children cumulated CPU time (s) 1787.57
Current children cumulated vsize (Kb) 289912

[startup+1789.07 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25183
/proc/meminfo: memFree=1310992/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=290032 CPUtime=1788.58
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875192 0 0 0 178608 250 0 0 25 0 1 0 190440477 296992768 68855 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 72508 68855 206 16 0 71949 0
Current children cumulated CPU time (s) 1788.58
Current children cumulated vsize (Kb) 290032

[startup+1790.07 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25183
/proc/meminfo: memFree=1310992/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=290156 CPUtime=1789.58
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875202 0 0 0 178708 250 0 0 25 0 1 0 190440477 297119744 68865 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 72539 68865 206 16 0 71980 0
Current children cumulated CPU time (s) 1789.58
Current children cumulated vsize (Kb) 290156

[startup+1791.08 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25183
/proc/meminfo: memFree=1310736/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=290392 CPUtime=1790.59
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875266 0 0 0 178809 250 0 0 25 0 1 0 190440477 297361408 68929 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528312 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 72598 68929 206 16 0 72039 0
Current children cumulated CPU time (s) 1790.59
Current children cumulated vsize (Kb) 290392

[startup+1792.08 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25183
/proc/meminfo: memFree=1310736/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=290392 CPUtime=1791.59
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875274 0 0 0 178909 250 0 0 25 0 1 0 190440477 297361408 68937 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528325 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 72598 68937 206 16 0 72039 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (Kb) 290392

[startup+1793.09 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25183
/proc/meminfo: memFree=1310608/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=290512 CPUtime=1792.6
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875294 0 0 0 179010 250 0 0 25 0 1 0 190440477 297484288 68957 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 1603074 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 72628 68957 206 16 0 72069 0
Current children cumulated CPU time (s) 1792.6
Current children cumulated vsize (Kb) 290512

[startup+1794.09 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25183
/proc/meminfo: memFree=1310544/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=290512 CPUtime=1793.6
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875313 0 0 0 179110 250 0 0 25 0 1 0 190440477 297484288 68976 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 72628 68976 206 16 0 72069 0
Current children cumulated CPU time (s) 1793.6
Current children cumulated vsize (Kb) 290512

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25183
/proc/meminfo: memFree=1310480/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=290628 CPUtime=1794.61
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875333 0 0 0 179211 250 0 0 25 0 1 0 190440477 297603072 68996 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 72657 68996 206 16 0 72098 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (Kb) 290628

[startup+1796.1 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25183
/proc/meminfo: memFree=1310416/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=290756 CPUtime=1795.61
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875352 0 0 0 179311 250 0 0 25 0 1 0 190440477 297734144 69015 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559204 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 72689 69015 206 16 0 72130 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (Kb) 290756

[startup+1797.11 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25183
/proc/meminfo: memFree=1310352/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=290756 CPUtime=1796.62
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875369 0 0 0 179412 250 0 0 25 0 1 0 190440477 297734144 69032 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559204 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 72689 69032 206 16 0 72130 0
Current children cumulated CPU time (s) 1796.62
Current children cumulated vsize (Kb) 290756

[startup+1798.11 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25183
/proc/meminfo: memFree=1310288/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=290872 CPUtime=1797.62
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875388 0 0 0 179512 250 0 0 25 0 1 0 190440477 297852928 69051 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 72718 69051 206 16 0 72159 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (Kb) 290872

[startup+1799.12 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25183
/proc/meminfo: memFree=1310160/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=290872 CPUtime=1798.63
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875409 0 0 0 179612 251 0 0 25 0 1 0 190440477 297852928 69072 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 72718 69072 206 16 0 72159 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (Kb) 290872

[startup+1800.12 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25183
/proc/meminfo: memFree=1310160/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=290992 CPUtime=1799.64
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875415 0 0 0 179713 251 0 0 25 0 1 0 190440477 297975808 69078 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528325 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 72748 69078 206 16 0 72189 0
Current children cumulated CPU time (s) 1799.64
Current children cumulated vsize (Kb) 290992

[startup+1801.13 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25183
/proc/meminfo: memFree=1309904/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=291220 CPUtime=1800.64
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875479 0 0 0 179813 251 0 0 25 0 1 0 190440477 298209280 69142 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 72805 69142 206 16 0 72246 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (Kb) 291220



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.13 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 25183
/proc/meminfo: memFree=1309904/2055920 swapFree=4181480/4192956
[pid=25181] ppid=25179 vsize=291220 CPUtime=1800.65
/proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875479 0 0 0 179814 251 0 0 25 0 1 0 190440477 298209280 69142 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527830 0 0 4096 0 0 0 0 17 1 0 0
/proc/25181/statm: 72805 69142 206 16 0 72246 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (Kb) 291220

Sending SIGTERM to -25181
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.18
CPU time (s): 1800.7
CPU user time (s): 1798.14
CPU system time (s): 2.55661
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (Kb): 291220
The end

Launcher Data (download as text)

Begin job on node31 on Fri Jun  2 11:29:28 UTC 2006


FILE ID= 37490-1149247768

PBS_JOBID= 297887

BENCH NAME= ROOT/tmp/node31/37490-1149247768/instance-37490-1149247768.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node31/37490-1149247768/instance-37490-1149247768.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node31/watcher-37490-1149247768 -o ROOT/results/node31/solver-37490-1149247768 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node31/37490-1149247768/instance-37490-1149247768.opb

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  0c13059622221c4a56a3a4fdb32d92c9

RANDOM SEED= 283065541


/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:       1586504 kB
Buffers:         20480 kB
Cached:         377120 kB
SwapCached:       3396 kB
Active:          43336 kB
Inactive:       363212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1586504 kB
SwapTotal:     4192956 kB
SwapFree:      4181480 kB
Dirty:             320 kB
Writeback:           0 kB
Mapped:          14964 kB
Slab:            48832 kB
Committed_AS:   274608 kB
PageTables:       1496 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node31 on Fri Jun  2 11:59:29 UTC 2006