Trace number 41341

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.53 1801.18

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-lotfi.opb
MD5SUM76d897d8437070b9cbeb866c2620c3bc
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 variables9240
Total number of constraints145
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 constraints145
Minimum length of a constraint30
Maximum length of a constraint3990
Number of terms in the objective function 240
Biggest coefficient in the objective function 32769
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 524520
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 527485
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/node12/41341-1149329545/instance-41341-1149329545.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/node12/watcher-41341-1149329545 -o ROOT/results/node12/solver-41341-1149329545 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node12/41341-1149329545/instance-41341-1149329545.opb 685059911 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 3/64 13165
/proc/meminfo: memFree=1486608/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=1368 CPUtime=0
/proc/13165/stat : 13165 (PBS4L) D 13163 13165 13119 0 -1 4194304 111 0 0 0 0 0 0 0 19 0 1 0 198617062 1400832 95 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135132864 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/13165/statm: 342 95 84 232 0 107 0

[startup+10.0027 s]
/proc/loadavg: 0.93 0.95 0.90 2/64 13165
/proc/meminfo: memFree=1480544/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=9744 CPUtime=9.99
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 1912 0 0 0 998 1 0 0 25 0 1 0 198617062 9977856 1671 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 2436 1671 105 232 0 2201 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 9744

[startup+20.0095 s]
/proc/loadavg: 0.94 0.96 0.91 2/64 13165
/proc/meminfo: memFree=1478304/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=14152 CPUtime=20
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 2490 0 0 0 1997 3 0 0 25 0 1 0 198617062 14491648 2249 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 3538 2249 105 232 0 3303 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 14152

[startup+30.0163 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 13165
/proc/meminfo: memFree=1476320/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=14260 CPUtime=29.99
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 2985 0 0 0 2996 3 0 0 25 0 1 0 198617062 14602240 2744 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 3565 2744 105 232 0 3330 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 14260

[startup+40.0221 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 13165
/proc/meminfo: memFree=1475424/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=14644 CPUtime=39.99
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 3240 0 0 0 3995 4 0 0 25 0 1 0 198617062 14995456 2950 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551621 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 3661 2950 105 232 0 3426 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 14644

[startup+50.0279 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 13165
/proc/meminfo: memFree=1474784/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=14728 CPUtime=49.99
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 3430 0 0 0 4995 4 0 0 25 0 1 0 198617062 15081472 3140 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 3682 3140 105 232 0 3447 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 14728

[startup+60.0337 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 13165
/proc/meminfo: memFree=1473696/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=22980 CPUtime=60
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 3696 0 0 0 5995 5 0 0 25 0 1 0 198617062 23531520 3406 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 5745 3406 105 232 0 5510 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 22980

[startup+70.0395 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 13165
/proc/meminfo: memFree=1472736/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=23164 CPUtime=70
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 3930 0 0 0 6994 6 0 0 25 0 1 0 198617062 23719936 3640 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 5791 3640 105 232 0 5556 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 23164

[startup+80.0454 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 13165
/proc/meminfo: memFree=1470688/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=23244 CPUtime=80
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 4449 0 0 0 7993 7 0 0 25 0 1 0 198617062 23801856 4159 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551638 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 5811 4159 105 232 0 5576 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 23244

[startup+90.0512 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 13165
/proc/meminfo: memFree=1470240/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=23812 CPUtime=90.01
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 4644 0 0 0 8992 9 0 0 25 0 1 0 198617062 24383488 4257 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 5953 4257 105 232 0 5718 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 23812

[startup+100.057 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 13165
/proc/meminfo: memFree=1469344/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=23888 CPUtime=100.01
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 4880 0 0 0 9990 11 0 0 25 0 1 0 198617062 24461312 4493 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 5972 4493 105 232 0 5737 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 23888

[startup+110.064 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 13165
/proc/meminfo: memFree=1468320/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=24076 CPUtime=110.01
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 5130 0 0 0 10989 12 0 0 25 0 1 0 198617062 24653824 4743 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551626 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 6019 4743 105 232 0 5784 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 24076

[startup+120.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13165
/proc/meminfo: memFree=1466336/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=24200 CPUtime=120.01
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 5639 0 0 0 11987 14 0 0 25 0 1 0 198617062 24780800 5252 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 6050 5252 105 232 0 5815 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 24200

[startup+130.075 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13165
/proc/meminfo: memFree=1465952/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=24336 CPUtime=130.02
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 5728 0 0 0 12987 15 0 0 25 0 1 0 198617062 24920064 5341 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 6084 5341 105 232 0 5849 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 24336

[startup+140.081 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13165
/proc/meminfo: memFree=1463968/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=40804 CPUtime=140.02
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 6236 0 0 0 13985 17 0 0 25 0 1 0 198617062 41783296 5849 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 10201 5849 105 232 0 9966 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 40804

[startup+150.087 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13165
/proc/meminfo: memFree=1463200/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=40892 CPUtime=150.02
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 6422 0 0 0 14985 17 0 0 25 0 1 0 198617062 41873408 6035 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 10223 6035 105 232 0 9988 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 40892

[startup+160.093 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13165
/proc/meminfo: memFree=1461984/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=41024 CPUtime=160.02
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 6722 0 0 0 15983 19 0 0 25 0 1 0 198617062 42008576 6335 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 10256 6335 105 232 0 10021 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 41024

[startup+170.099 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13165
/proc/meminfo: memFree=1460512/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=41928 CPUtime=170.03
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 7275 0 0 0 16982 21 0 0 25 0 1 0 198617062 42934272 6695 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549048 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 10482 6695 105 232 0 10247 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 41928

[startup+180.104 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13165
/proc/meminfo: memFree=1459616/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=42024 CPUtime=180.03
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 7507 0 0 0 17981 22 0 0 25 0 1 0 198617062 43032576 6927 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 10506 6927 105 232 0 10271 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 42024

[startup+190.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13165
/proc/meminfo: memFree=1458272/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=42112 CPUtime=190.04
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 7829 0 0 0 18980 24 0 0 25 0 1 0 198617062 43122688 7249 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549257 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 10528 7249 105 232 0 10293 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 42112

[startup+200.116 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13165
/proc/meminfo: memFree=1458016/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=42192 CPUtime=200.04
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 7891 0 0 0 19979 25 0 0 25 0 1 0 198617062 43204608 7311 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 10548 7311 105 232 0 10313 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 42192

[startup+210.122 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13165
/proc/meminfo: memFree=1456864/2055920 swapFree=4181420/4192956

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

/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21414 0 0 0 177795 346 0 0 25 0 1 0 198617062 97980416 18143 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 23921 18143 105 232 0 23686 0
Current children cumulated CPU time (s) 1781.41
Current children cumulated vsize (Kb) 95684

[startup+1783.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13167
/proc/meminfo: memFree=1414048/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=95684 CPUtime=1782.42
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21420 0 0 0 177895 347 0 0 25 0 1 0 198617062 97980416 18149 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 23921 18149 105 232 0 23686 0
Current children cumulated CPU time (s) 1782.42
Current children cumulated vsize (Kb) 95684

[startup+1784.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13167
/proc/meminfo: memFree=1414048/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=95684 CPUtime=1783.42
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21422 0 0 0 177995 347 0 0 25 0 1 0 198617062 97980416 18151 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 23921 18151 105 232 0 23686 0
Current children cumulated CPU time (s) 1783.42
Current children cumulated vsize (Kb) 95684

[startup+1785.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13167
/proc/meminfo: memFree=1414048/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=95684 CPUtime=1784.43
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21423 0 0 0 178096 347 0 0 25 0 1 0 198617062 97980416 18152 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558838 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 23921 18152 105 232 0 23686 0
Current children cumulated CPU time (s) 1784.43
Current children cumulated vsize (Kb) 95684

[startup+1786.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13167
/proc/meminfo: memFree=1414048/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=95684 CPUtime=1785.43
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21423 0 0 0 178196 347 0 0 25 0 1 0 198617062 97980416 18152 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 23921 18152 105 232 0 23686 0
Current children cumulated CPU time (s) 1785.43
Current children cumulated vsize (Kb) 95684

[startup+1787.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13167
/proc/meminfo: memFree=1414048/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=95684 CPUtime=1786.44
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21424 0 0 0 178297 347 0 0 25 0 1 0 198617062 97980416 18153 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 23921 18153 105 232 0 23686 0
Current children cumulated CPU time (s) 1786.44
Current children cumulated vsize (Kb) 95684

[startup+1788.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13167
/proc/meminfo: memFree=1414048/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=95684 CPUtime=1787.44
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21426 0 0 0 178397 347 0 0 25 0 1 0 198617062 97980416 18155 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 23921 18155 105 232 0 23686 0
Current children cumulated CPU time (s) 1787.44
Current children cumulated vsize (Kb) 95684

[startup+1789.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13167
/proc/meminfo: memFree=1414048/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=95684 CPUtime=1788.44
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21426 0 0 0 178497 347 0 0 25 0 1 0 198617062 97980416 18155 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549345 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 23921 18155 105 232 0 23686 0
Current children cumulated CPU time (s) 1788.44
Current children cumulated vsize (Kb) 95684

[startup+1790.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13167
/proc/meminfo: memFree=1414048/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=95684 CPUtime=1789.45
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21427 0 0 0 178597 348 0 0 25 0 1 0 198617062 97980416 18156 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 23921 18156 105 232 0 23686 0
Current children cumulated CPU time (s) 1789.45
Current children cumulated vsize (Kb) 95684

[startup+1791.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13167
/proc/meminfo: memFree=1414048/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=95684 CPUtime=1790.46
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21428 0 0 0 178698 348 0 0 25 0 1 0 198617062 97980416 18157 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 23921 18157 105 232 0 23686 0
Current children cumulated CPU time (s) 1790.46
Current children cumulated vsize (Kb) 95684

[startup+1792.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13167
/proc/meminfo: memFree=1414048/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=95684 CPUtime=1791.46
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21428 0 0 0 178798 348 0 0 25 0 1 0 198617062 97980416 18157 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 23921 18157 105 232 0 23686 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (Kb) 95684

[startup+1793.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13167
/proc/meminfo: memFree=1414048/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=95684 CPUtime=1792.46
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21429 0 0 0 178898 348 0 0 25 0 1 0 198617062 97980416 18158 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 23921 18158 105 232 0 23686 0
Current children cumulated CPU time (s) 1792.46
Current children cumulated vsize (Kb) 95684

[startup+1794.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13167
/proc/meminfo: memFree=1414048/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=95684 CPUtime=1793.46
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21429 0 0 0 178998 348 0 0 25 0 1 0 198617062 97980416 18158 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 23921 18158 105 232 0 23686 0
Current children cumulated CPU time (s) 1793.46
Current children cumulated vsize (Kb) 95684

[startup+1795.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13167
/proc/meminfo: memFree=1414048/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=95684 CPUtime=1794.48
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21432 0 0 0 179099 349 0 0 25 0 1 0 198617062 97980416 18161 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 23921 18161 105 232 0 23686 0
Current children cumulated CPU time (s) 1794.48
Current children cumulated vsize (Kb) 95684

[startup+1796.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13167
/proc/meminfo: memFree=1413984/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=95684 CPUtime=1795.48
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21433 0 0 0 179199 349 0 0 25 0 1 0 198617062 97980416 18162 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 23921 18162 105 232 0 23686 0
Current children cumulated CPU time (s) 1795.48
Current children cumulated vsize (Kb) 95684

[startup+1797.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13167
/proc/meminfo: memFree=1413984/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=95684 CPUtime=1796.48
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21433 0 0 0 179299 349 0 0 25 0 1 0 198617062 97980416 18162 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 23921 18162 105 232 0 23686 0
Current children cumulated CPU time (s) 1796.48
Current children cumulated vsize (Kb) 95684

[startup+1798.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13167
/proc/meminfo: memFree=1413984/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=95684 CPUtime=1797.48
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21434 0 0 0 179399 349 0 0 25 0 1 0 198617062 97980416 18163 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 23921 18163 105 232 0 23686 0
Current children cumulated CPU time (s) 1797.48
Current children cumulated vsize (Kb) 95684

[startup+1799.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13167
/proc/meminfo: memFree=1413984/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=95684 CPUtime=1798.49
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21435 0 0 0 179500 349 0 0 25 0 1 0 198617062 97980416 18164 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 23921 18164 105 232 0 23686 0
Current children cumulated CPU time (s) 1798.49
Current children cumulated vsize (Kb) 95684

[startup+1800.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13167
/proc/meminfo: memFree=1413984/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=95684 CPUtime=1799.49
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21436 0 0 0 179600 349 0 0 25 0 1 0 198617062 97980416 18165 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 23921 18165 105 232 0 23686 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (Kb) 95684

[startup+1801.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13167
/proc/meminfo: memFree=1413984/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=95684 CPUtime=1800.5
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21443 0 0 0 179700 350 0 0 25 0 1 0 198617062 97980416 18172 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 23921 18172 105 232 0 23686 0
Current children cumulated CPU time (s) 1800.5
Current children cumulated vsize (Kb) 95684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13167
/proc/meminfo: memFree=1413984/2055920 swapFree=4181420/4192956
[pid=13165] ppid=13163 vsize=95684 CPUtime=1800.51
/proc/13165/stat : 13165 (PBS4L) R 13163 13165 13119 0 -1 4194304 21443 0 0 0 179701 350 0 0 25 0 1 0 198617062 97980416 18172 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/13165/statm: 23921 18172 105 232 0 23686 0
Current children cumulated CPU time (s) 1800.51
Current children cumulated vsize (Kb) 95684

Sending SIGTERM to -13165
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.18
CPU time (s): 1800.53
CPU user time (s): 1797.01
CPU system time (s): 3.51447
CPU usage (%): 99.9638
Max. virtual memory (cumulated for all children) (Kb): 95684
The end

Launcher Data (download as text)

Begin job on node12 on Sat Jun  3 10:12:25 UTC 2006


FILE ID= 41341-1149329545

PBS_JOBID= 309799

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-lotfi.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node12/41341-1149329545/instance-41341-1149329545.opb 685059911
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-41341-1149329545 -o ROOT/results/node12/solver-41341-1149329545 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node12/41341-1149329545/instance-41341-1149329545.opb 685059911

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  76d897d8437070b9cbeb866c2620c3bc

RANDOM SEED= 685059911


/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.282
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.282
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:       1487008 kB
Buffers:         22628 kB
Cached:         474944 kB
SwapCached:       3180 kB
Active:         294136 kB
Inactive:       212144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1487008 kB
SwapTotal:     4192956 kB
SwapFree:      4181420 kB
Dirty:             156 kB
Writeback:           0 kB
Mapped:          14720 kB
Slab:            48676 kB
Committed_AS:   304528 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node12 on Sat Jun  3 10:42:26 UTC 2006