Trace number 41292

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
PBS 4.1L? (TO) 1800.58 1801.19

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-A2C1S1.opb
MD5SUMf1062f0a31768badc14bf5e03feddb4c
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 variables103872
Total number of constraints3312
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 constraints3312
Minimum length of a constraint31
Maximum length of a constraint725
Number of terms in the objective function 37632
Biggest coefficient in the objective function 1116
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 555552
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 555552
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	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00	c Solving ROOT/tmp/node36/41292-1149264093/instance-41292-1149264093.opb ......

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/node36/watcher-41292-1149264093 -o ROOT/results/node36/solver-41292-1149264093 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node36/41292-1149264093/instance-41292-1149264093.opb 164738171 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.95 0.90 2/64 24924
/proc/meminfo: memFree=1508272/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=11140 CPUtime=0
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 142 0 0 0 0 0 0 0 18 0 1 0 192075416 11407360 126 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 2785 128 90 232 0 2550 0

[startup+10.0029 s]
/proc/loadavg: 0.93 0.96 0.91 2/64 24924
/proc/meminfo: memFree=1473968/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=45372 CPUtime=9.99
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 13538 0 0 0 992 7 0 0 25 0 1 0 192075416 46460928 8635 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134543475 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 11343 8635 105 232 0 11108 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 45372

[startup+20.0097 s]
/proc/loadavg: 0.94 0.96 0.91 2/64 24924
/proc/meminfo: memFree=1473464/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=46140 CPUtime=19.99
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 13727 0 0 0 1989 10 0 0 25 0 1 0 192075416 47247360 8824 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551553 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 11535 8824 105 232 0 11300 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 46140

[startup+30.0155 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 24924
/proc/meminfo: memFree=1472952/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=47164 CPUtime=29.99
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 13900 0 0 0 2987 12 0 0 25 0 1 0 192075416 48295936 8997 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 11791 8997 105 232 0 11556 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 47164

[startup+40.0213 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 24924
/proc/meminfo: memFree=1471736/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=49212 CPUtime=40
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 14756 0 0 0 3986 14 0 0 25 0 1 0 192075416 50393088 9244 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 12303 9244 105 232 0 12068 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 49212

[startup+50.0282 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 24924
/proc/meminfo: memFree=1471544/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=49212 CPUtime=50
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 15218 0 0 0 4983 17 0 0 25 0 1 0 192075416 50393088 9300 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 12303 9300 105 232 0 12068 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 49212

[startup+60.034 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 24924
/proc/meminfo: memFree=1471160/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=49212 CPUtime=60
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 15533 0 0 0 5979 21 0 0 25 0 1 0 192075416 50393088 9412 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551297 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 12303 9412 105 232 0 12068 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 49212

[startup+70.0408 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 24924
/proc/meminfo: memFree=1470648/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=49816 CPUtime=70.01
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 16245 0 0 0 6978 23 0 0 25 0 1 0 192075416 51011584 9515 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 12454 9515 105 232 0 12219 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 49816

[startup+80.0476 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 24924
/proc/meminfo: memFree=1469944/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=50588 CPUtime=80.01
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 16876 0 0 0 7974 27 0 0 25 0 1 0 192075416 51802112 9740 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 12647 9740 105 232 0 12412 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 50588

[startup+90.0534 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 24924
/proc/meminfo: memFree=1469304/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=54684 CPUtime=90.01
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 17228 0 0 0 8971 30 0 0 25 0 1 0 192075416 55996416 9889 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 13671 9889 105 232 0 13436 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 54684

[startup+100.059 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 24924
/proc/meminfo: memFree=1468856/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=54964 CPUtime=100.02
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 17550 0 0 0 9969 33 0 0 25 0 1 0 192075416 56283136 10008 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 13741 10008 105 232 0 13506 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 54964

[startup+110.065 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 24924
/proc/meminfo: memFree=1468216/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=54964 CPUtime=110.01
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 18289 0 0 0 10966 35 0 0 25 0 1 0 192075416 56283136 10138 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549251 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 13741 10138 105 232 0 13506 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 54964

[startup+120.071 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24924
/proc/meminfo: memFree=1467768/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=55084 CPUtime=120.01
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 18794 0 0 0 11964 37 0 0 25 0 1 0 192075416 56406016 10237 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 13771 10237 105 232 0 13536 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 55084

[startup+130.077 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24924
/proc/meminfo: memFree=1467704/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=55084 CPUtime=130.02
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 19022 0 0 0 12962 40 0 0 25 0 1 0 192075416 56406016 10262 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 13771 10262 105 232 0 13536 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 55084

[startup+140.082 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24924
/proc/meminfo: memFree=1467064/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=55204 CPUtime=140.02
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 19616 0 0 0 13960 42 0 0 25 0 1 0 192075416 56528896 10450 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 13801 10450 105 232 0 13566 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 55204

[startup+150.088 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24924
/proc/meminfo: memFree=1466360/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=55204 CPUtime=150.02
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 20154 0 0 0 14957 45 0 0 25 0 1 0 192075416 56528896 10582 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 13801 10582 105 232 0 13566 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 55204

[startup+160.094 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24924
/proc/meminfo: memFree=1466296/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=55204 CPUtime=160.03
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 20592 0 0 0 15956 47 0 0 25 0 1 0 192075416 56528896 10614 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 13801 10614 105 232 0 13566 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 55204

[startup+170.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24924
/proc/meminfo: memFree=1465592/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=55324 CPUtime=170.03
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 21203 0 0 0 16953 50 0 0 25 0 1 0 192075416 56651776 10819 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 13831 10819 105 232 0 13596 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 55324

[startup+180.106 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24924
/proc/meminfo: memFree=1465144/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=56220 CPUtime=180.03
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 22081 0 0 0 17950 53 0 0 25 0 1 0 192075416 57569280 10895 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 14055 10895 105 232 0 13820 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 56220

[startup+190.112 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24924
/proc/meminfo: memFree=1464376/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=56360 CPUtime=190.03
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 22688 0 0 0 18947 56 0 0 25 0 1 0 192075416 57712640 11096 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 14090 11096 105 232 0 13855 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 56360

[startup+200.117 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24924
/proc/meminfo: memFree=1464056/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=64552 CPUtime=200.04
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 23158 0 0 0 19945 59 0 0 25 0 1 0 192075416 66101248 11160 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 16138 11160 105 232 0 15903 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 64552

[startup+210.123 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24924
/proc/meminfo: memFree=1463928/2055920 swapFree=4181452/4192956

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

/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95241 0 0 0 177649 498 0 0 25 0 1 0 192075416 130764800 22813 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 31925 22813 105 232 0 31690 0
Current children cumulated CPU time (s) 1781.47
Current children cumulated vsize (Kb) 127700

[startup+1783.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24924
/proc/meminfo: memFree=1417272/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=127700 CPUtime=1782.47
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95241 0 0 0 177749 498 0 0 25 0 1 0 192075416 130764800 22813 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 31925 22813 105 232 0 31690 0
Current children cumulated CPU time (s) 1782.47
Current children cumulated vsize (Kb) 127700

[startup+1784.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24924
/proc/meminfo: memFree=1417272/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=127700 CPUtime=1783.47
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95242 0 0 0 177849 498 0 0 25 0 1 0 192075416 130764800 22814 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 31925 22814 105 232 0 31690 0
Current children cumulated CPU time (s) 1783.47
Current children cumulated vsize (Kb) 127700

[startup+1785.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24924
/proc/meminfo: memFree=1417272/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=127700 CPUtime=1784.48
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95243 0 0 0 177949 499 0 0 25 0 1 0 192075416 130764800 22815 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 31925 22815 105 232 0 31690 0
Current children cumulated CPU time (s) 1784.48
Current children cumulated vsize (Kb) 127700

[startup+1786.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24924
/proc/meminfo: memFree=1417208/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=127700 CPUtime=1785.48
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95450 0 0 0 178049 499 0 0 25 0 1 0 192075416 130764800 22819 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 31925 22819 105 232 0 31690 0
Current children cumulated CPU time (s) 1785.48
Current children cumulated vsize (Kb) 127700

[startup+1787.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24924
/proc/meminfo: memFree=1417208/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=127700 CPUtime=1786.49
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95451 0 0 0 178150 499 0 0 25 0 1 0 192075416 130764800 22820 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 31925 22820 105 232 0 31690 0
Current children cumulated CPU time (s) 1786.49
Current children cumulated vsize (Kb) 127700

[startup+1788.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24924
/proc/meminfo: memFree=1417208/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=127700 CPUtime=1787.49
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95453 0 0 0 178250 499 0 0 25 0 1 0 192075416 130764800 22822 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 31925 22822 105 232 0 31690 0
Current children cumulated CPU time (s) 1787.49
Current children cumulated vsize (Kb) 127700

[startup+1789.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24924
/proc/meminfo: memFree=1417208/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=127700 CPUtime=1788.49
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95463 0 0 0 178350 499 0 0 25 0 1 0 192075416 130764800 22832 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 31925 22832 105 232 0 31690 0
Current children cumulated CPU time (s) 1788.49
Current children cumulated vsize (Kb) 127700

[startup+1790.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24924
/proc/meminfo: memFree=1417208/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=127700 CPUtime=1789.5
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95464 0 0 0 178450 500 0 0 25 0 1 0 192075416 130764800 22833 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 31925 22833 105 232 0 31690 0
Current children cumulated CPU time (s) 1789.5
Current children cumulated vsize (Kb) 127700

[startup+1791.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24924
/proc/meminfo: memFree=1417144/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=127700 CPUtime=1790.5
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95670 0 0 0 178550 500 0 0 25 0 1 0 192075416 130764800 22836 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 31925 22836 105 232 0 31690 0
Current children cumulated CPU time (s) 1790.5
Current children cumulated vsize (Kb) 127700

[startup+1792.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24924
/proc/meminfo: memFree=1417144/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=127700 CPUtime=1791.51
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95670 0 0 0 178650 501 0 0 25 0 1 0 192075416 130764800 22836 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 31925 22836 105 232 0 31690 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (Kb) 127700

[startup+1793.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24924
/proc/meminfo: memFree=1417144/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=127700 CPUtime=1792.51
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95670 0 0 0 178750 501 0 0 25 0 1 0 192075416 130764800 22836 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 31925 22836 105 232 0 31690 0
Current children cumulated CPU time (s) 1792.51
Current children cumulated vsize (Kb) 127700

[startup+1794.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24924
/proc/meminfo: memFree=1417144/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=127700 CPUtime=1793.51
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95671 0 0 0 178850 501 0 0 25 0 1 0 192075416 130764800 22837 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 31925 22837 105 232 0 31690 0
Current children cumulated CPU time (s) 1793.51
Current children cumulated vsize (Kb) 127700

[startup+1795.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24924
/proc/meminfo: memFree=1417144/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=127700 CPUtime=1794.52
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95671 0 0 0 178951 501 0 0 25 0 1 0 192075416 130764800 22837 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 31925 22837 105 232 0 31690 0
Current children cumulated CPU time (s) 1794.52
Current children cumulated vsize (Kb) 127700

[startup+1796.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24924
/proc/meminfo: memFree=1417144/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=127700 CPUtime=1795.53
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95672 0 0 0 179051 502 0 0 25 0 1 0 192075416 130764800 22838 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 31925 22838 105 232 0 31690 0
Current children cumulated CPU time (s) 1795.53
Current children cumulated vsize (Kb) 127700

[startup+1797.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24924
/proc/meminfo: memFree=1417144/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=127700 CPUtime=1796.53
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95673 0 0 0 179151 502 0 0 25 0 1 0 192075416 130764800 22839 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 31925 22839 105 232 0 31690 0
Current children cumulated CPU time (s) 1796.53
Current children cumulated vsize (Kb) 127700

[startup+1798.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24924
/proc/meminfo: memFree=1417144/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=127700 CPUtime=1797.53
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95876 0 0 0 179251 502 0 0 25 0 1 0 192075416 130764800 22839 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 31925 22839 105 232 0 31690 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (Kb) 127700

[startup+1799.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24924
/proc/meminfo: memFree=1417144/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=127700 CPUtime=1798.55
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95877 0 0 0 179352 503 0 0 25 0 1 0 192075416 130764800 22840 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 31925 22840 105 232 0 31690 0
Current children cumulated CPU time (s) 1798.55
Current children cumulated vsize (Kb) 127700

[startup+1800.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24924
/proc/meminfo: memFree=1417144/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=127844 CPUtime=1799.55
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95882 0 0 0 179452 503 0 0 25 0 1 0 192075416 130912256 22845 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 31961 22845 105 232 0 31726 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (Kb) 127844

[startup+1801.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24924
/proc/meminfo: memFree=1417144/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=127844 CPUtime=1800.55
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95883 0 0 0 179552 503 0 0 25 0 1 0 192075416 130912256 22846 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 31961 22846 105 232 0 31726 0
Current children cumulated CPU time (s) 1800.55
Current children cumulated vsize (Kb) 127844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24924
/proc/meminfo: memFree=1417144/2055920 swapFree=4181452/4192956
[pid=24924] ppid=24922 vsize=127844 CPUtime=1800.56
/proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95883 0 0 0 179553 503 0 0 25 0 1 0 192075416 130912256 22846 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/24924/statm: 31961 22846 105 232 0 31726 0
Current children cumulated CPU time (s) 1800.56
Current children cumulated vsize (Kb) 127844

Sending SIGTERM to -24924
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.19
CPU time (s): 1800.58
CPU user time (s): 1795.53
CPU system time (s): 5.05023
CPU usage (%): 99.9662
Max. virtual memory (cumulated for all children) (Kb): 127844
The end

Launcher Data (download as text)

Begin job on node36 on Fri Jun  2 16:01:33 UTC 2006


FILE ID= 41292-1149264093

PBS_JOBID= 298815

BENCH NAME= ROOT/tmp/node36/41292-1149264093/instance-41292-1149264093.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node36/41292-1149264093/instance-41292-1149264093.opb 164738171
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node36/watcher-41292-1149264093 -o ROOT/results/node36/solver-41292-1149264093 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node36/41292-1149264093/instance-41292-1149264093.opb 164738171

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  f1062f0a31768badc14bf5e03feddb4c

RANDOM SEED= 164738171


/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.284
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.284
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:       1508480 kB
Buffers:         24796 kB
Cached:         449732 kB
SwapCached:       3444 kB
Active:          56612 kB
Inactive:       426788 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1508480 kB
SwapTotal:     4192956 kB
SwapFree:      4181452 kB
Dirty:             236 kB
Writeback:           0 kB
Mapped:          14928 kB
Slab:            50124 kB
Committed_AS:   218712 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node36 on Fri Jun  2 16:31:35 UTC 2006