Trace number 41454

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.74 1801.29

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-harp2.opb
MD5SUMbae2de9f4879fca72b44ba1c72e8b4a3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-7863
Best CPU time to get the best result obtained on this benchmark1800.63
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -7952
Optimality of the best value was proved NO
Number of variables2993
Total number of constraints112
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)73
Number of constraints which are nor clauses,nor cardinality constraints39
Minimum length of a constraint41
Maximum length of a constraint73
Number of terms in the objective function 2993
Biggest coefficient in the objective function 2020
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 525822
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 96167
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 525822
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/node21/41454-1149356267/instance-41454-1149356267.opb ......
0.11	c done parsing opb.
0.11	o 505104
0.13	o 505081
0.15	o 505064
0.18	o 505055
0.20	o 502546
0.22	o 502542
0.24	o 501787
241.77	o 501771
241.83	o 501539
334.69	o 501526

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/node21/watcher-41454-1149356267 -o ROOT/results/node21/solver-41454-1149356267 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node21/41454-1149356267/instance-41454-1149356267.opb 718236974 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.95 2/64 4140
/proc/meminfo: memFree=1843512/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=1684 CPUtime=0
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 201289797 1724416 163 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599096 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 421 164 90 232 0 186 0

[startup+10.0033 s]
/proc/loadavg: 0.93 0.97 0.95 2/64 4140
/proc/meminfo: memFree=1804024/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=67840 CPUtime=9.99
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 10003 0 0 0 996 3 0 0 25 0 1 0 201289797 69468160 9979 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549285 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 16960 9979 108 232 0 16725 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 67840

[startup+20.0094 s]
/proc/loadavg: 0.94 0.97 0.95 2/64 4140
/proc/meminfo: memFree=1767992/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=133512 CPUtime=20
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 18987 0 0 0 1993 7 0 0 25 0 1 0 201289797 136716288 18963 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 33378 18963 108 232 0 33143 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 133512

[startup+30.0155 s]
/proc/loadavg: 0.95 0.97 0.95 2/64 4140
/proc/meminfo: memFree=1724600/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=133868 CPUtime=30
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 29828 0 0 0 2989 11 0 0 25 0 1 0 201289797 137080832 29804 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549303 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 33467 29804 108 232 0 33232 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 133868

[startup+40.0216 s]
/proc/loadavg: 0.95 0.97 0.95 2/64 4140
/proc/meminfo: memFree=1687544/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=265264 CPUtime=40
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 39061 0 0 0 3984 16 0 0 25 0 1 0 201289797 271630336 38988 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 66316 38988 108 232 0 66081 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 265264

[startup+50.0277 s]
/proc/loadavg: 0.96 0.97 0.95 2/64 4140
/proc/meminfo: memFree=1669304/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=265664 CPUtime=50.01
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 43629 0 0 0 4983 18 0 0 25 0 1 0 201289797 272039936 43556 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134612792 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 66416 43556 108 232 0 66181 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 265664

[startup+60.0338 s]
/proc/loadavg: 0.97 0.97 0.95 2/64 4140
/proc/meminfo: memFree=1656824/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=266216 CPUtime=60.01
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 46750 0 0 0 5982 19 0 0 25 0 1 0 201289797 272605184 46677 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 66554 46677 108 232 0 66319 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 266216

[startup+70.0399 s]
/proc/loadavg: 0.97 0.97 0.95 2/64 4140
/proc/meminfo: memFree=1647160/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=267404 CPUtime=70.01
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 49150 0 0 0 6980 21 0 0 25 0 1 0 201289797 273821696 49077 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 66851 49077 108 232 0 66616 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 267404

[startup+80.046 s]
/proc/loadavg: 0.98 0.97 0.95 2/64 4140
/proc/meminfo: memFree=1646648/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=268064 CPUtime=80.02
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 49357 0 0 0 7980 22 0 0 25 0 1 0 201289797 274497536 49187 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 67016 49187 108 232 0 66781 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 268064

[startup+90.0521 s]
/proc/loadavg: 0.98 0.97 0.95 2/64 4140
/proc/meminfo: memFree=1646456/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=268328 CPUtime=90.02
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 49438 0 0 0 8979 23 0 0 25 0 1 0 201289797 274767872 49268 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550010 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 67082 49268 108 232 0 66847 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 268328

[startup+100.058 s]
/proc/loadavg: 0.98 0.97 0.95 2/64 4140
/proc/meminfo: memFree=1646072/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=268724 CPUtime=100.03
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 49534 0 0 0 9980 23 0 0 25 0 1 0 201289797 275173376 49364 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 67181 49364 108 232 0 66946 0
Current children cumulated CPU time (s) 100.03
Current children cumulated vsize (Kb) 268724

[startup+110.064 s]
/proc/loadavg: 0.98 0.97 0.95 2/64 4140
/proc/meminfo: memFree=1621496/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=268960 CPUtime=110.03
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 55652 0 0 0 10978 25 0 0 25 0 1 0 201289797 275415040 55482 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549466 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 67240 55482 108 232 0 67005 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 268960

[startup+120.071 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 4140
/proc/meminfo: memFree=1616312/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=269220 CPUtime=120.04
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 56952 0 0 0 11977 27 0 0 25 0 1 0 201289797 275681280 56782 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559006 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 67305 56782 108 232 0 67070 0
Current children cumulated CPU time (s) 120.04
Current children cumulated vsize (Kb) 269220

[startup+130.077 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 4140
/proc/meminfo: memFree=1589880/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=269488 CPUtime=130.04
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 63550 0 0 0 12974 30 0 0 25 0 1 0 201289797 275955712 63380 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 67372 63380 108 232 0 67137 0
Current children cumulated CPU time (s) 130.04
Current children cumulated vsize (Kb) 269488

[startup+140.083 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 4140
/proc/meminfo: memFree=1574072/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=270068 CPUtime=140.03
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 67484 0 0 0 13971 32 0 0 25 0 1 0 201289797 276549632 67314 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 67517 67314 108 232 0 67282 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 270068

[startup+150.089 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 4140
/proc/meminfo: memFree=1573816/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=270836 CPUtime=150.04
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 67705 0 0 0 14971 33 0 0 25 0 1 0 201289797 277336064 67342 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558976 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 67709 67342 108 232 0 67474 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 270836

[startup+160.095 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 4140
/proc/meminfo: memFree=1573816/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=270836 CPUtime=160.05
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 67737 0 0 0 15971 34 0 0 25 0 1 0 201289797 277336064 67374 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 67709 67374 108 232 0 67474 0
Current children cumulated CPU time (s) 160.05
Current children cumulated vsize (Kb) 270836

[startup+170.101 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 4140
/proc/meminfo: memFree=1573752/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=270836 CPUtime=170.05
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 67760 0 0 0 16971 34 0 0 25 0 1 0 201289797 277336064 67397 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134594599 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 67709 67397 108 232 0 67474 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 270836

[startup+180.107 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 4140
/proc/meminfo: memFree=1573624/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=270968 CPUtime=180.05
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 67793 0 0 0 17970 35 0 0 25 0 1 0 201289797 277471232 67430 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564889 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 67742 67430 108 232 0 67507 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 270968

[startup+190.112 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 4140
/proc/meminfo: memFree=1573432/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=271076 CPUtime=190.05
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 67832 0 0 0 18970 35 0 0 25 0 1 0 201289797 277581824 67469 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550808 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 67769 67469 108 232 0 67534 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 271076

[startup+200.118 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 4140
/proc/meminfo: memFree=1573368/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=271076 CPUtime=200.05
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 67856 0 0 0 19970 35 0 0 25 0 1 0 201289797 277581824 67493 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 67769 67493 108 232 0 67534 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 271076

[startup+210.124 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 4140
/proc/meminfo: memFree=1573112/2055920 swapFree=4181464/4192956

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

/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74812 0 0 0 178053 106 0 0 25 0 1 0 201289797 299204608 71758 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 73048 71758 108 232 0 72813 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (Kb) 292192

[startup+1783.14 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 4335
/proc/meminfo: memFree=1555320/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=292192 CPUtime=1782.59
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74813 0 0 0 178153 106 0 0 25 0 1 0 201289797 299204608 71759 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 73048 71759 108 232 0 72813 0
Current children cumulated CPU time (s) 1782.59
Current children cumulated vsize (Kb) 292192

[startup+1784.15 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 4335
/proc/meminfo: memFree=1555320/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=292192 CPUtime=1783.59
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74814 0 0 0 178253 106 0 0 25 0 1 0 201289797 299204608 71760 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546257 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 73048 71760 108 232 0 72813 0
Current children cumulated CPU time (s) 1783.59
Current children cumulated vsize (Kb) 292192

[startup+1785.15 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 4335
/proc/meminfo: memFree=1555320/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=292192 CPUtime=1784.6
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74815 0 0 0 178354 106 0 0 25 0 1 0 201289797 299204608 71761 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 73048 71761 108 232 0 72813 0
Current children cumulated CPU time (s) 1784.6
Current children cumulated vsize (Kb) 292192

[startup+1786.16 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 4335
/proc/meminfo: memFree=1555320/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=292192 CPUtime=1785.6
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74818 0 0 0 178454 106 0 0 25 0 1 0 201289797 299204608 71764 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 73048 71764 108 232 0 72813 0
Current children cumulated CPU time (s) 1785.6
Current children cumulated vsize (Kb) 292192

[startup+1787.16 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 4335
/proc/meminfo: memFree=1555320/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=292192 CPUtime=1786.61
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74819 0 0 0 178555 106 0 0 25 0 1 0 201289797 299204608 71765 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 73048 71765 108 232 0 72813 0
Current children cumulated CPU time (s) 1786.61
Current children cumulated vsize (Kb) 292192

[startup+1788.17 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 4335
/proc/meminfo: memFree=1555320/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=292192 CPUtime=1787.61
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74820 0 0 0 178655 106 0 0 25 0 1 0 201289797 299204608 71766 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134630288 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 73048 71766 108 232 0 72813 0
Current children cumulated CPU time (s) 1787.61
Current children cumulated vsize (Kb) 292192

[startup+1789.17 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 4335
/proc/meminfo: memFree=1555256/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=292192 CPUtime=1788.61
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74824 0 0 0 178755 106 0 0 25 0 1 0 201289797 299204608 71770 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 73048 71770 108 232 0 72813 0
Current children cumulated CPU time (s) 1788.61
Current children cumulated vsize (Kb) 292192

[startup+1790.18 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 4335
/proc/meminfo: memFree=1555256/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=292192 CPUtime=1789.62
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74830 0 0 0 178856 106 0 0 25 0 1 0 201289797 299204608 71776 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546284 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 73048 71776 108 232 0 72813 0
Current children cumulated CPU time (s) 1789.62
Current children cumulated vsize (Kb) 292192

[startup+1791.18 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 4335
/proc/meminfo: memFree=1555256/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=292192 CPUtime=1790.62
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74831 0 0 0 178956 106 0 0 25 0 1 0 201289797 299204608 71777 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559006 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 73048 71777 108 232 0 72813 0
Current children cumulated CPU time (s) 1790.62
Current children cumulated vsize (Kb) 292192

[startup+1792.19 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 4335
/proc/meminfo: memFree=1555256/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=292192 CPUtime=1791.63
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74832 0 0 0 179057 106 0 0 25 0 1 0 201289797 299204608 71778 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 73048 71778 108 232 0 72813 0
Current children cumulated CPU time (s) 1791.63
Current children cumulated vsize (Kb) 292192

[startup+1793.19 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 4335
/proc/meminfo: memFree=1555256/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=292192 CPUtime=1792.64
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74835 0 0 0 179157 107 0 0 25 0 1 0 201289797 299204608 71781 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 73048 71781 108 232 0 72813 0
Current children cumulated CPU time (s) 1792.64
Current children cumulated vsize (Kb) 292192

[startup+1794.2 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 4335
/proc/meminfo: memFree=1555256/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=292192 CPUtime=1793.64
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74837 0 0 0 179257 107 0 0 25 0 1 0 201289797 299204608 71783 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 73048 71783 108 232 0 72813 0
Current children cumulated CPU time (s) 1793.64
Current children cumulated vsize (Kb) 292192

[startup+1795.2 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 4335
/proc/meminfo: memFree=1555256/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=292192 CPUtime=1794.65
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74838 0 0 0 179358 107 0 0 25 0 1 0 201289797 299204608 71784 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550000 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 73048 71784 108 232 0 72813 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (Kb) 292192

[startup+1796.21 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 4335
/proc/meminfo: memFree=1555192/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=292192 CPUtime=1795.65
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74841 0 0 0 179458 107 0 0 25 0 1 0 201289797 299204608 71787 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 73048 71787 108 232 0 72813 0
Current children cumulated CPU time (s) 1795.65
Current children cumulated vsize (Kb) 292192

[startup+1797.21 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 4335
/proc/meminfo: memFree=1555192/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=292192 CPUtime=1796.66
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74842 0 0 0 179559 107 0 0 25 0 1 0 201289797 299204608 71788 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 73048 71788 108 232 0 72813 0
Current children cumulated CPU time (s) 1796.66
Current children cumulated vsize (Kb) 292192

[startup+1798.22 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 4335
/proc/meminfo: memFree=1555192/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=292192 CPUtime=1797.66
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74843 0 0 0 179659 107 0 0 25 0 1 0 201289797 299204608 71789 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559735 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 73048 71789 108 232 0 72813 0
Current children cumulated CPU time (s) 1797.66
Current children cumulated vsize (Kb) 292192

[startup+1799.22 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 4335
/proc/meminfo: memFree=1555192/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=292192 CPUtime=1798.66
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74844 0 0 0 179759 107 0 0 25 0 1 0 201289797 299204608 71790 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 73048 71790 108 232 0 72813 0
Current children cumulated CPU time (s) 1798.66
Current children cumulated vsize (Kb) 292192

[startup+1800.22 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 4335
/proc/meminfo: memFree=1555192/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=292192 CPUtime=1799.67
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74845 0 0 0 179860 107 0 0 25 0 1 0 201289797 299204608 71791 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549432 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 73048 71791 108 232 0 72813 0
Current children cumulated CPU time (s) 1799.67
Current children cumulated vsize (Kb) 292192

[startup+1801.23 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 4335
/proc/meminfo: memFree=1555192/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=292192 CPUtime=1800.67
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74847 0 0 0 179960 107 0 0 25 0 1 0 201289797 299204608 71793 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549345 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 73048 71793 108 232 0 72813 0
Current children cumulated CPU time (s) 1800.67
Current children cumulated vsize (Kb) 292192



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.23 s]
/proc/loadavg: 0.99 0.97 0.95 3/64 4335
/proc/meminfo: memFree=1555192/2055920 swapFree=4181464/4192956
[pid=4140] ppid=4138 vsize=292192 CPUtime=1800.68
/proc/4140/stat : 4140 (PBS4L) R 4138 4140 4094 0 -1 4194304 74847 0 0 0 179961 107 0 0 25 0 1 0 201289797 299204608 71793 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/4140/statm: 73048 71793 108 232 0 72813 0
Current children cumulated CPU time (s) 1800.68
Current children cumulated vsize (Kb) 292192

Sending SIGTERM to -4140
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.29
CPU time (s): 1800.74
CPU user time (s): 1799.61
CPU system time (s): 1.12383
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (Kb): 292192
The end

Launcher Data (download as text)

Begin job on node21 on Sat Jun  3 17:37:47 UTC 2006


FILE ID= 41454-1149356267

PBS_JOBID= 311268

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-harp2.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node21/41454-1149356267/instance-41454-1149356267.opb 718236974
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node21/watcher-41454-1149356267 -o ROOT/results/node21/solver-41454-1149356267 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node21/41454-1149356267/instance-41454-1149356267.opb 718236974

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  bae2de9f4879fca72b44ba1c72e8b4a3

RANDOM SEED= 718236974


/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.240
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.240
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:       1843720 kB
Buffers:         14244 kB
Cached:         134944 kB
SwapCached:       3200 kB
Active:          25676 kB
Inactive:       132216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1843720 kB
SwapTotal:     4192956 kB
SwapFree:      4181464 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          14740 kB
Slab:            40360 kB
Committed_AS:   343228 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 node21 on Sat Jun  3 18:07:49 UTC 2006