Trace number 41555

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.6 1801.24

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-opt1217.opb
MD5SUM0d06ca66c5954e6533e2fcc6f3f13fb8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-16384
Best CPU time to get the best result obtained on this benchmark1800.61
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -16384
Optimality of the best value was proved NO
Number of variables787
Total number of constraints65
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)48
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint16
Maximum length of a constraint67
Number of terms in the objective function 19
Biggest coefficient in the objective function 262144
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524287
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 393216
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 917503
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/node66/41555-1149371714/instance-41555-1149371714.opb ......
0.01	c done parsing opb.
0.01	o 524287
17.47	o 522593
18.04	o 522591
19.85	o 522589
19.85	o 522239
19.88	o 520191
20.04	o 516095
29.90	o 514048
81.92	o 514047
206.29	o 513023
258.68	o 512612
515.83	o 512001
781.18	o 512000
810.24	o 511999
1197.98	o 509951

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/node66/watcher-41555-1149371714 -o ROOT/results/node66/solver-41555-1149371714 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node66/41555-1149371714/instance-41555-1149371714.opb 154268099 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.91 2/64 26272
/proc/meminfo: memFree=1681592/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=1532 CPUtime=0
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 172 0 0 0 0 0 0 0 19 0 1 0 202839504 1568768 151 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 383 151 99 232 0 148 0

[startup+10.0019 s]
/proc/loadavg: 0.93 0.95 0.91 2/64 26272
/proc/meminfo: memFree=1657992/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=35188 CPUtime=9.99
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 6068 0 0 0 994 5 0 0 25 0 1 0 202839504 36032512 6042 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558968 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 8797 6042 108 232 0 8562 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 35188

[startup+20.0082 s]
/proc/loadavg: 0.94 0.96 0.91 2/64 26272
/proc/meminfo: memFree=1646408/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=36900 CPUtime=19.99
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 9008 0 0 0 1990 9 0 0 25 0 1 0 202839504 37785600 8933 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 9225 8933 108 232 0 8990 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 36900

[startup+30.0144 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 26272
/proc/meminfo: memFree=1645064/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=38228 CPUtime=29.99
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 9441 0 0 0 2981 18 0 0 25 0 1 0 202839504 39145472 9269 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 9557 9269 108 232 0 9322 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 38228

[startup+40.0206 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 26272
/proc/meminfo: memFree=1644040/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=39760 CPUtime=40
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 9888 0 0 0 3977 23 0 0 25 0 1 0 202839504 40714240 9523 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 9940 9523 108 232 0 9705 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 39760

[startup+50.0269 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 26272
/proc/meminfo: memFree=1643272/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=40176 CPUtime=50
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 10096 0 0 0 4971 29 0 0 25 0 1 0 202839504 41140224 9731 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 10044 9731 108 232 0 9809 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 40176

[startup+60.0331 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 26272
/proc/meminfo: memFree=1642376/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=42356 CPUtime=60.01
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 10693 0 0 0 5966 35 0 0 25 0 1 0 202839504 43372544 9943 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 10589 9943 108 232 0 10354 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 42356

[startup+70.0393 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 26272
/proc/meminfo: memFree=1641736/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=42672 CPUtime=70.01
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 10859 0 0 0 6963 38 0 0 25 0 1 0 202839504 43696128 10109 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549166 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 10668 10109 108 232 0 10433 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 42672

[startup+80.0456 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 26272
/proc/meminfo: memFree=1641096/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=42940 CPUtime=80.01
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 11015 0 0 0 7961 40 0 0 25 0 1 0 202839504 43970560 10265 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 10735 10265 108 232 0 10500 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 42940

[startup+90.0518 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 26272
/proc/meminfo: memFree=1640328/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=43556 CPUtime=90.02
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 11207 0 0 0 8954 48 0 0 25 0 1 0 202839504 44601344 10457 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 10889 10457 108 232 0 10654 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 43556

[startup+100.058 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 26272
/proc/meminfo: memFree=1639816/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=43740 CPUtime=100.02
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 11336 0 0 0 9952 50 0 0 25 0 1 0 202839504 44789760 10586 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 10935 10586 108 232 0 10700 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 43740

[startup+110.064 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 26272
/proc/meminfo: memFree=1639112/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=47140 CPUtime=110.02
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 12279 0 0 0 10946 56 0 0 25 0 1 0 202839504 48271360 10760 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 11785 10760 108 232 0 11550 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 47140

[startup+120.071 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26272
/proc/meminfo: memFree=1638408/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=47700 CPUtime=120.03
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 12447 0 0 0 11940 63 0 0 25 0 1 0 202839504 48844800 10928 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 11925 10928 108 232 0 11690 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 47700

[startup+130.077 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26272
/proc/meminfo: memFree=1637832/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=47932 CPUtime=130.03
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 12594 0 0 0 12935 68 0 0 25 0 1 0 202839504 49082368 11075 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558823 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 11983 11075 108 232 0 11748 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 47932

[startup+140.083 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26272
/proc/meminfo: memFree=1637320/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=48180 CPUtime=140.03
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 12720 0 0 0 13932 71 0 0 25 0 1 0 202839504 49336320 11201 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564199 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 12045 11201 108 232 0 11810 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 48180

[startup+150.089 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26272
/proc/meminfo: memFree=1636808/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=48444 CPUtime=150.04
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 12844 0 0 0 14931 73 0 0 25 0 1 0 202839504 49606656 11325 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 12111 11325 108 232 0 11876 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 48444

[startup+160.095 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26272
/proc/meminfo: memFree=1636296/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=48868 CPUtime=160.04
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 12992 0 0 0 15930 74 0 0 25 0 1 0 202839504 50040832 11473 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 12217 11473 108 232 0 11982 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 48868

[startup+170.101 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26272
/proc/meminfo: memFree=1635656/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=49164 CPUtime=170.04
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 13136 0 0 0 16929 75 0 0 25 0 1 0 202839504 50343936 11617 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 12291 11617 108 232 0 12056 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 49164

[startup+180.107 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26272
/proc/meminfo: memFree=1635144/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=49480 CPUtime=180.04
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 13262 0 0 0 17924 80 0 0 25 0 1 0 202839504 50667520 11743 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 12370 11743 108 232 0 12135 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 49480

[startup+190.113 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26272
/proc/meminfo: memFree=1634504/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=49812 CPUtime=190.05
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 13428 0 0 0 18920 85 0 0 25 0 1 0 202839504 51007488 11909 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 12453 11909 108 232 0 12218 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 49812

[startup+200.119 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26272
/proc/meminfo: memFree=1634056/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=49812 CPUtime=200.05
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 13537 0 0 0 19916 89 0 0 25 0 1 0 202839504 51007488 12018 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 12453 12018 108 232 0 12218 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 49812

[startup+210.126 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26272
/proc/meminfo: memFree=1633480/2055920 swapFree=4182224/4192956

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

/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36499 0 0 0 177642 507 0 0 25 0 1 0 202839504 122220544 24225 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 29839 24225 108 232 0 29604 0
Current children cumulated CPU time (s) 1781.49
Current children cumulated vsize (Kb) 119356

[startup+1783.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26467
/proc/meminfo: memFree=1584776/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=119356 CPUtime=1782.49
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36514 0 0 0 177742 507 0 0 25 0 1 0 202839504 122220544 24240 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 29839 24240 108 232 0 29604 0
Current children cumulated CPU time (s) 1782.49
Current children cumulated vsize (Kb) 119356

[startup+1784.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26467
/proc/meminfo: memFree=1584776/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=119356 CPUtime=1783.5
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36522 0 0 0 177842 508 0 0 25 0 1 0 202839504 122220544 24248 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 29839 24248 108 232 0 29604 0
Current children cumulated CPU time (s) 1783.5
Current children cumulated vsize (Kb) 119356

[startup+1785.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26467
/proc/meminfo: memFree=1584776/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=119356 CPUtime=1784.5
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36527 0 0 0 177942 508 0 0 25 0 1 0 202839504 122220544 24253 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 29839 24253 108 232 0 29604 0
Current children cumulated CPU time (s) 1784.5
Current children cumulated vsize (Kb) 119356

[startup+1786.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26467
/proc/meminfo: memFree=1584712/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=119356 CPUtime=1785.51
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36528 0 0 0 178042 509 0 0 25 0 1 0 202839504 122220544 24254 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 29839 24254 108 232 0 29604 0
Current children cumulated CPU time (s) 1785.51
Current children cumulated vsize (Kb) 119356

[startup+1787.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26467
/proc/meminfo: memFree=1584712/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=119356 CPUtime=1786.51
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36538 0 0 0 178142 509 0 0 25 0 1 0 202839504 122220544 24264 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 29839 24264 108 232 0 29604 0
Current children cumulated CPU time (s) 1786.51
Current children cumulated vsize (Kb) 119356

[startup+1788.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26467
/proc/meminfo: memFree=1584712/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=119356 CPUtime=1787.51
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36539 0 0 0 178242 509 0 0 25 0 1 0 202839504 122220544 24265 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 29839 24265 108 232 0 29604 0
Current children cumulated CPU time (s) 1787.51
Current children cumulated vsize (Kb) 119356

[startup+1789.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26467
/proc/meminfo: memFree=1584712/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=119356 CPUtime=1788.52
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36541 0 0 0 178343 509 0 0 25 0 1 0 202839504 122220544 24267 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 29839 24267 108 232 0 29604 0
Current children cumulated CPU time (s) 1788.52
Current children cumulated vsize (Kb) 119356

[startup+1790.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26467
/proc/meminfo: memFree=1584648/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=119356 CPUtime=1789.52
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36549 0 0 0 178443 509 0 0 25 0 1 0 202839504 122220544 24275 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 29839 24275 108 232 0 29604 0
Current children cumulated CPU time (s) 1789.52
Current children cumulated vsize (Kb) 119356

[startup+1791.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26467
/proc/meminfo: memFree=1584648/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=119356 CPUtime=1790.53
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36550 0 0 0 178543 510 0 0 25 0 1 0 202839504 122220544 24276 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 29839 24276 108 232 0 29604 0
Current children cumulated CPU time (s) 1790.53
Current children cumulated vsize (Kb) 119356

[startup+1792.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26467
/proc/meminfo: memFree=1584648/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=119356 CPUtime=1791.54
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36557 0 0 0 178644 510 0 0 25 0 1 0 202839504 122220544 24283 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 29839 24283 108 232 0 29604 0
Current children cumulated CPU time (s) 1791.54
Current children cumulated vsize (Kb) 119356

[startup+1793.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26467
/proc/meminfo: memFree=1584584/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=119356 CPUtime=1792.54
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36564 0 0 0 178744 510 0 0 25 0 1 0 202839504 122220544 24290 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 29839 24290 108 232 0 29604 0
Current children cumulated CPU time (s) 1792.54
Current children cumulated vsize (Kb) 119356

[startup+1794.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26467
/proc/meminfo: memFree=1584584/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=119356 CPUtime=1793.55
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36566 0 0 0 178845 510 0 0 25 0 1 0 202839504 122220544 24292 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 29839 24292 108 232 0 29604 0
Current children cumulated CPU time (s) 1793.55
Current children cumulated vsize (Kb) 119356

[startup+1795.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26467
/proc/meminfo: memFree=1584520/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=119356 CPUtime=1794.55
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36582 0 0 0 178945 510 0 0 25 0 1 0 202839504 122220544 24308 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 29839 24308 108 232 0 29604 0
Current children cumulated CPU time (s) 1794.55
Current children cumulated vsize (Kb) 119356

[startup+1796.19 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26467
/proc/meminfo: memFree=1584520/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=119356 CPUtime=1795.55
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36586 0 0 0 179045 510 0 0 25 0 1 0 202839504 122220544 24312 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564201 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 29839 24312 108 232 0 29604 0
Current children cumulated CPU time (s) 1795.55
Current children cumulated vsize (Kb) 119356

[startup+1797.19 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26467
/proc/meminfo: memFree=1584456/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=119356 CPUtime=1796.56
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36597 0 0 0 179146 510 0 0 25 0 1 0 202839504 122220544 24323 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549276 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 29839 24323 108 232 0 29604 0
Current children cumulated CPU time (s) 1796.56
Current children cumulated vsize (Kb) 119356

[startup+1798.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26467
/proc/meminfo: memFree=1584456/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=119356 CPUtime=1797.56
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36600 0 0 0 179246 510 0 0 25 0 1 0 202839504 122220544 24326 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564199 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 29839 24326 108 232 0 29604 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (Kb) 119356

[startup+1799.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26467
/proc/meminfo: memFree=1584392/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=119356 CPUtime=1798.56
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36611 0 0 0 179346 510 0 0 25 0 1 0 202839504 122220544 24337 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 29839 24337 108 232 0 29604 0
Current children cumulated CPU time (s) 1798.56
Current children cumulated vsize (Kb) 119356

[startup+1800.21 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 26467
/proc/meminfo: memFree=1584392/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=119356 CPUtime=1799.57
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36615 0 0 0 179447 510 0 0 25 0 1 0 202839504 122220544 24341 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 29839 24341 108 232 0 29604 0
Current children cumulated CPU time (s) 1799.57
Current children cumulated vsize (Kb) 119356

[startup+1801.21 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26467
/proc/meminfo: memFree=1584392/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=119356 CPUtime=1800.57
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36621 0 0 0 179547 510 0 0 25 0 1 0 202839504 122220544 24347 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 29839 24347 108 232 0 29604 0
Current children cumulated CPU time (s) 1800.57
Current children cumulated vsize (Kb) 119356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.22 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 26467
/proc/meminfo: memFree=1584392/2055920 swapFree=4182224/4192956
[pid=26272] ppid=26270 vsize=119356 CPUtime=1800.58
/proc/26272/stat : 26272 (PBS4L) R 26270 26272 26226 0 -1 4194304 36621 0 0 0 179548 510 0 0 25 0 1 0 202839504 122220544 24347 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/26272/statm: 29839 24347 108 232 0 29604 0
Current children cumulated CPU time (s) 1800.58
Current children cumulated vsize (Kb) 119356

Sending SIGTERM to -26272
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.24
CPU time (s): 1800.6
CPU user time (s): 1795.48
CPU system time (s): 5.12222
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (Kb): 119356
The end

Launcher Data (download as text)

Begin job on node66 on Sat Jun  3 21:55:14 UTC 2006


FILE ID= 41555-1149371714

PBS_JOBID= 312229

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

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  0d06ca66c5954e6533e2fcc6f3f13fb8

RANDOM SEED= 154268099


/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.225
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.225
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:       1681992 kB
Buffers:         31032 kB
Cached:         272872 kB
SwapCached:       2368 kB
Active:          56100 kB
Inactive:       256480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1681992 kB
SwapTotal:     4192956 kB
SwapFree:      4182224 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          15144 kB
Slab:            47324 kB
Committed_AS:   331780 kB
PageTables:       1400 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node66 on Sat Jun  3 22:25:15 UTC 2006