Trace number 41394

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.61 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-sc50b.opb
MD5SUM7ba66e72f7a10b492134dc7de6859631
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-14
Best CPU time to get the best result obtained on this benchmark1800.72
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -19
Optimality of the best value was proved NO
Number of variables1440
Total number of constraints48
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 constraints48
Minimum length of a constraint60
Maximum length of a constraint120
Number of terms in the objective function 30
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524317
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524372
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/node14/41394-1149342190/instance-41394-1149342190.opb ......
51.20	c done parsing opb.
51.20	o 524317

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/node14/watcher-41394-1149342190 -o ROOT/results/node14/solver-41394-1149342190 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node14/41394-1149342190/instance-41394-1149342190.opb 186664986 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 2/64 2567
/proc/meminfo: memFree=1545448/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=1536 CPUtime=0
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 192 0 0 0 0 0 0 0 19 0 1 0 199881769 1572864 176 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 384 178 99 232 0 149 0

[startup+10.0024 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2567
/proc/meminfo: memFree=1538240/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=11864 CPUtime=10
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 2138 0 0 0 993 7 0 0 25 0 1 0 199881769 12148736 1934 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 2966 1934 105 232 0 2731 0
Current children cumulated CPU time (s) 10
Current children cumulated vsize (Kb) 11864

[startup+20.0083 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2567
/proc/meminfo: memFree=1534848/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=12404 CPUtime=19.99
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 2985 0 0 0 1988 11 0 0 25 0 1 0 199881769 12701696 2781 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 3101 2781 105 232 0 2866 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 12404

[startup+30.0143 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2567
/proc/meminfo: memFree=1532352/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=21896 CPUtime=30
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 3806 0 0 0 2984 16 0 0 25 0 1 0 199881769 22421504 3409 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 5474 3409 105 232 0 5239 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 21896

[startup+40.0202 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2567
/proc/meminfo: memFree=1529728/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=22324 CPUtime=40
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 4464 0 0 0 3980 20 0 0 25 0 1 0 199881769 22859776 4067 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 5581 4067 105 232 0 5346 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 22324

[startup+50.0262 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2567
/proc/meminfo: memFree=1527744/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=22760 CPUtime=50
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 4982 0 0 0 4976 24 0 0 25 0 1 0 199881769 23306240 4585 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 5690 4585 105 232 0 5455 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 22760

[startup+60.0321 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2567
/proc/meminfo: memFree=1526336/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=23180 CPUtime=60.01
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 5323 0 0 0 5974 27 0 0 25 0 1 0 199881769 23736320 4926 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 5795 4926 108 232 0 5560 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 23180

[startup+70.0391 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2567
/proc/meminfo: memFree=1525184/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=25020 CPUtime=70.01
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 5969 0 0 0 6971 30 0 0 25 0 1 0 199881769 25620480 5187 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 6255 5187 108 232 0 6020 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 25020

[startup+80.045 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2567
/proc/meminfo: memFree=1524416/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=25292 CPUtime=80.01
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 6190 0 0 0 7967 34 0 0 25 0 1 0 199881769 25899008 5408 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 6323 5408 108 232 0 6088 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 25292

[startup+90.051 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2567
/proc/meminfo: memFree=1523968/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=25664 CPUtime=90.02
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 6294 0 0 0 8963 39 0 0 25 0 1 0 199881769 26279936 5512 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551987 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 6416 5512 108 232 0 6181 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 25664

[startup+100.057 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2567
/proc/meminfo: memFree=1523520/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=25964 CPUtime=100.02
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 6409 0 0 0 9959 43 0 0 25 0 1 0 199881769 26587136 5627 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 6491 5627 108 232 0 6256 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 25964

[startup+110.063 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2567
/proc/meminfo: memFree=1523200/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=26336 CPUtime=110.03
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 6495 0 0 0 10958 45 0 0 25 0 1 0 199881769 26968064 5713 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552226 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 6584 5713 108 232 0 6349 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 26336

[startup+120.069 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2567
/proc/meminfo: memFree=1522496/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=26520 CPUtime=120.02
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 6658 0 0 0 11954 48 0 0 25 0 1 0 199881769 27156480 5876 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 6630 5876 108 232 0 6395 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 26520

[startup+130.075 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2567
/proc/meminfo: memFree=1521408/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=26520 CPUtime=130.03
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 6943 0 0 0 12952 51 0 0 25 0 1 0 199881769 27156480 6161 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 6630 6161 108 232 0 6395 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 26520

[startup+140.081 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2567
/proc/meminfo: memFree=1520128/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=43272 CPUtime=140.04
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 7247 0 0 0 13950 54 0 0 25 0 1 0 199881769 44310528 6465 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 10818 6465 108 232 0 10583 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 43272

[startup+150.087 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2567
/proc/meminfo: memFree=1518848/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=43492 CPUtime=150.04
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 7566 0 0 0 14947 57 0 0 25 0 1 0 199881769 44535808 6784 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 10873 6784 108 232 0 10638 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 43492

[startup+160.093 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2567
/proc/meminfo: memFree=1518208/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=43812 CPUtime=160.04
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 7730 0 0 0 15944 60 0 0 25 0 1 0 199881769 44863488 6948 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 10953 6948 108 232 0 10718 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 43812

[startup+170.099 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2567
/proc/meminfo: memFree=1517056/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=43956 CPUtime=170.05
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 8017 0 0 0 16943 62 0 0 25 0 1 0 199881769 45010944 7235 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551507 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 10989 7235 108 232 0 10754 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 43956

[startup+180.106 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2567
/proc/meminfo: memFree=1516160/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=43956 CPUtime=180.05
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 8239 0 0 0 17940 65 0 0 25 0 1 0 199881769 45010944 7457 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558828 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 10989 7457 108 232 0 10754 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 43956

[startup+190.112 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2567
/proc/meminfo: memFree=1514816/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=44252 CPUtime=190.05
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 8567 0 0 0 18937 68 0 0 25 0 1 0 199881769 45314048 7785 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 11063 7785 108 232 0 10828 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 44252

[startup+200.116 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2567
/proc/meminfo: memFree=1513984/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=44412 CPUtime=200.05
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 8786 0 0 0 19934 71 0 0 25 0 1 0 199881769 45477888 8004 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 11103 8004 108 232 0 10868 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 44412

[startup+210.122 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2567
/proc/meminfo: memFree=1512320/2055920 swapFree=4181448/4192956

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

/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28646 0 0 0 177645 504 0 0 25 0 1 0 199881769 117956608 22452 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611556 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 28798 22452 108 232 0 28563 0
Current children cumulated CPU time (s) 1781.49
Current children cumulated vsize (Kb) 115192

[startup+1783.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2762
/proc/meminfo: memFree=1455616/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=115192 CPUtime=1782.5
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28653 0 0 0 177745 505 0 0 25 0 1 0 199881769 117956608 22459 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 28798 22459 108 232 0 28563 0
Current children cumulated CPU time (s) 1782.5
Current children cumulated vsize (Kb) 115192

[startup+1784.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2762
/proc/meminfo: memFree=1455616/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=115192 CPUtime=1783.51
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28656 0 0 0 177845 506 0 0 25 0 1 0 199881769 117956608 22462 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 28798 22462 108 232 0 28563 0
Current children cumulated CPU time (s) 1783.51
Current children cumulated vsize (Kb) 115192

[startup+1785.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2762
/proc/meminfo: memFree=1455616/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=115192 CPUtime=1784.5
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28658 0 0 0 177944 506 0 0 25 0 1 0 199881769 117956608 22464 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 28798 22464 108 232 0 28563 0
Current children cumulated CPU time (s) 1784.5
Current children cumulated vsize (Kb) 115192

[startup+1786.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2762
/proc/meminfo: memFree=1455616/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=115192 CPUtime=1785.51
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28662 0 0 0 178045 506 0 0 25 0 1 0 199881769 117956608 22468 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 28798 22468 108 232 0 28563 0
Current children cumulated CPU time (s) 1785.51
Current children cumulated vsize (Kb) 115192

[startup+1787.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2762
/proc/meminfo: memFree=1455616/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=115872 CPUtime=1786.52
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28666 0 0 0 178145 507 0 0 25 0 1 0 199881769 118652928 22472 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 28968 22472 108 232 0 28733 0
Current children cumulated CPU time (s) 1786.52
Current children cumulated vsize (Kb) 115872

[startup+1788.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2762
/proc/meminfo: memFree=1455552/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=115872 CPUtime=1787.53
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28669 0 0 0 178245 508 0 0 25 0 1 0 199881769 118652928 22475 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 28968 22475 108 232 0 28733 0
Current children cumulated CPU time (s) 1787.53
Current children cumulated vsize (Kb) 115872

[startup+1789.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2762
/proc/meminfo: memFree=1455552/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=115872 CPUtime=1788.52
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28669 0 0 0 178344 508 0 0 25 0 1 0 199881769 118652928 22475 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 28968 22475 108 232 0 28733 0
Current children cumulated CPU time (s) 1788.52
Current children cumulated vsize (Kb) 115872

[startup+1790.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2762
/proc/meminfo: memFree=1455552/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=115872 CPUtime=1789.53
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28670 0 0 0 178445 508 0 0 25 0 1 0 199881769 118652928 22476 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 28968 22476 108 232 0 28733 0
Current children cumulated CPU time (s) 1789.53
Current children cumulated vsize (Kb) 115872

[startup+1791.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2762
/proc/meminfo: memFree=1455552/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=115872 CPUtime=1790.53
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28671 0 0 0 178545 508 0 0 25 0 1 0 199881769 118652928 22477 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 28968 22477 108 232 0 28733 0
Current children cumulated CPU time (s) 1790.53
Current children cumulated vsize (Kb) 115872

[startup+1792.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2762
/proc/meminfo: memFree=1455552/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=115872 CPUtime=1791.54
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28672 0 0 0 178646 508 0 0 25 0 1 0 199881769 118652928 22478 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 28968 22478 108 232 0 28733 0
Current children cumulated CPU time (s) 1791.54
Current children cumulated vsize (Kb) 115872

[startup+1793.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2762
/proc/meminfo: memFree=1455552/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=115872 CPUtime=1792.54
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28675 0 0 0 178746 508 0 0 25 0 1 0 199881769 118652928 22481 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 28968 22481 108 232 0 28733 0
Current children cumulated CPU time (s) 1792.54
Current children cumulated vsize (Kb) 115872

[startup+1794.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2762
/proc/meminfo: memFree=1455552/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=115872 CPUtime=1793.55
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28677 0 0 0 178847 508 0 0 25 0 1 0 199881769 118652928 22483 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 28968 22483 108 232 0 28733 0
Current children cumulated CPU time (s) 1793.55
Current children cumulated vsize (Kb) 115872

[startup+1795.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2762
/proc/meminfo: memFree=1455552/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=115872 CPUtime=1794.55
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28677 0 0 0 178947 508 0 0 25 0 1 0 199881769 118652928 22483 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 28968 22483 108 232 0 28733 0
Current children cumulated CPU time (s) 1794.55
Current children cumulated vsize (Kb) 115872

[startup+1796.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2762
/proc/meminfo: memFree=1455552/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=115872 CPUtime=1795.56
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28678 0 0 0 179048 508 0 0 25 0 1 0 199881769 118652928 22484 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 28968 22484 108 232 0 28733 0
Current children cumulated CPU time (s) 1795.56
Current children cumulated vsize (Kb) 115872

[startup+1797.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2762
/proc/meminfo: memFree=1455552/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=115872 CPUtime=1796.56
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28679 0 0 0 179148 508 0 0 25 0 1 0 199881769 118652928 22485 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 28968 22485 108 232 0 28733 0
Current children cumulated CPU time (s) 1796.56
Current children cumulated vsize (Kb) 115872

[startup+1798.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2762
/proc/meminfo: memFree=1455552/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=115872 CPUtime=1797.56
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28680 0 0 0 179248 508 0 0 25 0 1 0 199881769 118652928 22486 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559735 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 28968 22486 108 232 0 28733 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (Kb) 115872

[startup+1799.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2762
/proc/meminfo: memFree=1455552/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=115872 CPUtime=1798.57
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28681 0 0 0 179349 508 0 0 25 0 1 0 199881769 118652928 22487 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 28968 22487 108 232 0 28733 0
Current children cumulated CPU time (s) 1798.57
Current children cumulated vsize (Kb) 115872

[startup+1800.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2762
/proc/meminfo: memFree=1455552/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=115872 CPUtime=1799.57
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28682 0 0 0 179449 508 0 0 25 0 1 0 199881769 118652928 22488 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 28968 22488 108 232 0 28733 0
Current children cumulated CPU time (s) 1799.57
Current children cumulated vsize (Kb) 115872

[startup+1801.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2762
/proc/meminfo: memFree=1455488/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=115872 CPUtime=1800.59
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28683 0 0 0 179550 509 0 0 25 0 1 0 199881769 118652928 22489 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 28968 22489 108 232 0 28733 0
Current children cumulated CPU time (s) 1800.59
Current children cumulated vsize (Kb) 115872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 2762
/proc/meminfo: memFree=1455488/2055920 swapFree=4181448/4192956
[pid=2567] ppid=2565 vsize=115872 CPUtime=1800.59
/proc/2567/stat : 2567 (PBS4L) R 2565 2567 2521 0 -1 4194304 28683 0 0 0 179550 509 0 0 25 0 1 0 199881769 118652928 22489 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/2567/statm: 28968 22489 108 232 0 28733 0
Current children cumulated CPU time (s) 1800.59
Current children cumulated vsize (Kb) 115872

Sending SIGTERM to -2567
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.18
CPU time (s): 1800.61
CPU user time (s): 1795.5
CPU system time (s): 5.10622
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (Kb): 115872
The end

Launcher Data (download as text)

Begin job on node14 on Sat Jun  3 13:43:10 UTC 2006


FILE ID= 41394-1149342190

PBS_JOBID= 310481

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-sc50b.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node14/41394-1149342190/instance-41394-1149342190.opb 186664986
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-41394-1149342190 -o ROOT/results/node14/solver-41394-1149342190 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node14/41394-1149342190/instance-41394-1149342190.opb 186664986

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  7ba66e72f7a10b492134dc7de6859631

RANDOM SEED= 186664986


/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.241
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.241
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:       1545720 kB
Buffers:         35204 kB
Cached:         405240 kB
SwapCached:       3188 kB
Active:          53352 kB
Inactive:       395816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1545720 kB
SwapTotal:     4192956 kB
SwapFree:      4181448 kB
Dirty:             184 kB
Writeback:           0 kB
Mapped:          14740 kB
Slab:            46984 kB
Committed_AS:   343632 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node14 on Sat Jun  3 14:13:12 UTC 2006