Trace number 41276

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.66 1801.23

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-berlin_5_8_0.opb
MD5SUM69d5c7c1a4b8d5de2fe0ee7c53688a9d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9464
Total number of constraints1820
Number of constraints which are clauses309
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1511
Minimum length of a constraint4
Maximum length of a constraint61
Number of terms in the objective function 78
Biggest coefficient in the objective function 262133
Number of bits for the biggest coefficient in the objective function 18
Sum of the numbers in the objective function 524327
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262133
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524346
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/node9/41276-1149260204/instance-41276-1149260204.opb ......

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node9/watcher-41276-1149260204 -o ROOT/results/node9/solver-41276-1149260204 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node9/41276-1149260204/instance-41276-1149260204.opb 259016012 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.91 2/64 12042
/proc/meminfo: memFree=1278544/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=2288 CPUtime=0
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 195 0 0 0 0 0 0 0 18 0 1 0 191682677 2342912 179 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598917 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 572 181 91 232 0 337 0

[startup+10.003 s]
/proc/loadavg: 0.93 0.97 0.91 2/64 12042
/proc/meminfo: memFree=1267640/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=15508 CPUtime=10
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 3013 0 0 0 994 6 0 0 25 0 1 0 191682677 15880192 2843 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 3877 2843 104 232 0 3642 0
Current children cumulated CPU time (s) 10
Current children cumulated vsize (Kb) 15508

[startup+20.0101 s]
/proc/loadavg: 0.94 0.97 0.91 2/64 12042
/proc/meminfo: memFree=1265848/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=16308 CPUtime=20
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 3463 0 0 0 1990 10 0 0 25 0 1 0 191682677 16699392 3293 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 4077 3293 104 232 0 3842 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 16308

[startup+30.0173 s]
/proc/loadavg: 0.95 0.97 0.91 2/64 12042
/proc/meminfo: memFree=1263928/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=17808 CPUtime=30
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 4149 0 0 0 2986 14 0 0 25 0 1 0 191682677 18235392 3786 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 4452 3786 104 232 0 4217 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 17808

[startup+40.0234 s]
/proc/loadavg: 0.95 0.97 0.91 2/64 12042
/proc/meminfo: memFree=1263288/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=18260 CPUtime=40.01
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 4300 0 0 0 3984 17 0 0 25 0 1 0 191682677 18698240 3937 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 4565 3937 105 232 0 4330 0
Current children cumulated CPU time (s) 40.01
Current children cumulated vsize (Kb) 18260

[startup+50.0296 s]
/proc/loadavg: 0.96 0.97 0.91 2/64 12042
/proc/meminfo: memFree=1261816/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=18752 CPUtime=50
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 4666 0 0 0 4981 19 0 0 25 0 1 0 191682677 19202048 4303 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 4688 4303 105 232 0 4453 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 18752

[startup+60.0357 s]
/proc/loadavg: 0.97 0.97 0.91 2/64 12042
/proc/meminfo: memFree=1260408/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=27284 CPUtime=60.01
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 5028 0 0 0 5979 22 0 0 25 0 1 0 191682677 27938816 4665 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559364 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 6821 4665 105 232 0 6586 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 27284

[startup+70.0419 s]
/proc/loadavg: 0.97 0.97 0.91 2/64 12042
/proc/meminfo: memFree=1259704/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=27704 CPUtime=70.01
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 5207 0 0 0 6977 24 0 0 25 0 1 0 191682677 28368896 4844 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 6926 4844 105 232 0 6691 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 27704

[startup+80.049 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 12042
/proc/meminfo: memFree=1258808/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=29540 CPUtime=80.02
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 5819 0 0 0 7974 28 0 0 25 0 1 0 191682677 30248960 5071 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 7385 5071 105 232 0 7150 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 29540

[startup+90.0552 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 12042
/proc/meminfo: memFree=1258360/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=29744 CPUtime=90.03
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 5921 0 0 0 8972 31 0 0 25 0 1 0 191682677 30457856 5173 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 7436 5173 105 232 0 7201 0
Current children cumulated CPU time (s) 90.03
Current children cumulated vsize (Kb) 29744

[startup+100.061 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 12042
/proc/meminfo: memFree=1257272/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=30072 CPUtime=100.03
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 6195 0 0 0 9970 33 0 0 25 0 1 0 191682677 30793728 5447 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 7518 5447 105 232 0 7283 0
Current children cumulated CPU time (s) 100.03
Current children cumulated vsize (Kb) 30072

[startup+110.067 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 12042
/proc/meminfo: memFree=1255864/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=30340 CPUtime=110.03
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 6537 0 0 0 10968 35 0 0 25 0 1 0 191682677 31068160 5789 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 7585 5789 105 232 0 7350 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 30340

[startup+120.074 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12042
/proc/meminfo: memFree=1254840/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=30708 CPUtime=120.03
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 6794 0 0 0 11964 39 0 0 25 0 1 0 191682677 31444992 6046 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 7677 6046 105 232 0 7442 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 30708

[startup+130.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12042
/proc/meminfo: memFree=1254008/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=31016 CPUtime=130.04
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 7021 0 0 0 12963 41 0 0 25 0 1 0 191682677 31760384 6273 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 7754 6273 105 232 0 7519 0
Current children cumulated CPU time (s) 130.04
Current children cumulated vsize (Kb) 31016

[startup+140.086 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12042
/proc/meminfo: memFree=1253560/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=31316 CPUtime=140.04
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 7134 0 0 0 13961 43 0 0 25 0 1 0 191682677 32067584 6386 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 7829 6386 105 232 0 7594 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 31316

[startup+150.093 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12042
/proc/meminfo: memFree=1253176/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=31520 CPUtime=150.04
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 7224 0 0 0 14959 45 0 0 25 0 1 0 191682677 32276480 6476 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 7880 6476 105 232 0 7645 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 31520

[startup+160.099 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12042
/proc/meminfo: memFree=1252792/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=31832 CPUtime=160.05
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 7313 0 0 0 15957 48 0 0 25 0 1 0 191682677 32595968 6565 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550000 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 7958 6565 105 232 0 7723 0
Current children cumulated CPU time (s) 160.05
Current children cumulated vsize (Kb) 31832

[startup+170.105 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12042
/proc/meminfo: memFree=1252280/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=32104 CPUtime=170.06
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 7440 0 0 0 16954 52 0 0 25 0 1 0 191682677 32874496 6692 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 8026 6692 105 232 0 7791 0
Current children cumulated CPU time (s) 170.06
Current children cumulated vsize (Kb) 32104

[startup+180.112 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12042
/proc/meminfo: memFree=1251960/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=32280 CPUtime=180.05
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 7521 0 0 0 17951 54 0 0 25 0 1 0 191682677 33054720 6773 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 8070 6773 105 232 0 7835 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 32280

[startup+190.118 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12042
/proc/meminfo: memFree=1251640/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=32628 CPUtime=190.06
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 7599 0 0 0 18950 56 0 0 25 0 1 0 191682677 33411072 6851 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 8157 6851 105 232 0 7922 0
Current children cumulated CPU time (s) 190.06
Current children cumulated vsize (Kb) 32628

[startup+200.124 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12042
/proc/meminfo: memFree=1251128/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=33112 CPUtime=200.06
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 7735 0 0 0 19947 59 0 0 25 0 1 0 191682677 33906688 6987 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 8278 6987 105 232 0 8043 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 33112

[startup+210.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12042
/proc/meminfo: memFree=1250744/2055920 swapFree=4180864/4192956

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

/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22650 0 0 0 177723 430 0 0 25 0 1 0 191682677 112562176 19596 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 27481 19596 105 232 0 27246 0
Current children cumulated CPU time (s) 1781.53
Current children cumulated vsize (Kb) 109924

[startup+1783.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12236
/proc/meminfo: memFree=1200376/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=109924 CPUtime=1782.54
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22651 0 0 0 177824 430 0 0 25 0 1 0 191682677 112562176 19597 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 27481 19597 105 232 0 27246 0
Current children cumulated CPU time (s) 1782.54
Current children cumulated vsize (Kb) 109924

[startup+1784.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12236
/proc/meminfo: memFree=1200376/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=109924 CPUtime=1783.55
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22651 0 0 0 177924 431 0 0 25 0 1 0 191682677 112562176 19597 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 27481 19597 105 232 0 27246 0
Current children cumulated CPU time (s) 1783.55
Current children cumulated vsize (Kb) 109924

[startup+1785.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12236
/proc/meminfo: memFree=1200312/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=109924 CPUtime=1784.55
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22655 0 0 0 178024 431 0 0 25 0 1 0 191682677 112562176 19601 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 27481 19601 105 232 0 27246 0
Current children cumulated CPU time (s) 1784.55
Current children cumulated vsize (Kb) 109924

[startup+1786.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12236
/proc/meminfo: memFree=1200312/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=109924 CPUtime=1785.55
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22655 0 0 0 178124 431 0 0 25 0 1 0 191682677 112562176 19601 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 27481 19601 105 232 0 27246 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (Kb) 109924

[startup+1787.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12236
/proc/meminfo: memFree=1200312/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=109924 CPUtime=1786.56
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22656 0 0 0 178224 432 0 0 25 0 1 0 191682677 112562176 19602 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 27481 19602 105 232 0 27246 0
Current children cumulated CPU time (s) 1786.56
Current children cumulated vsize (Kb) 109924

[startup+1788.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12236
/proc/meminfo: memFree=1200312/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=109924 CPUtime=1787.57
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22657 0 0 0 178325 432 0 0 25 0 1 0 191682677 112562176 19603 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 27481 19603 105 232 0 27246 0
Current children cumulated CPU time (s) 1787.57
Current children cumulated vsize (Kb) 109924

[startup+1789.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12236
/proc/meminfo: memFree=1200312/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=109924 CPUtime=1788.57
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22658 0 0 0 178425 432 0 0 25 0 1 0 191682677 112562176 19604 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552327 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 27481 19604 105 232 0 27246 0
Current children cumulated CPU time (s) 1788.57
Current children cumulated vsize (Kb) 109924

[startup+1790.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12236
/proc/meminfo: memFree=1200312/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=109924 CPUtime=1789.57
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22669 0 0 0 178525 432 0 0 25 0 1 0 191682677 112562176 19615 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 27481 19615 105 232 0 27246 0
Current children cumulated CPU time (s) 1789.57
Current children cumulated vsize (Kb) 109924

[startup+1791.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12236
/proc/meminfo: memFree=1200312/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=109924 CPUtime=1790.58
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22669 0 0 0 178626 432 0 0 25 0 1 0 191682677 112562176 19615 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 27481 19615 105 232 0 27246 0
Current children cumulated CPU time (s) 1790.58
Current children cumulated vsize (Kb) 109924

[startup+1792.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12236
/proc/meminfo: memFree=1200248/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=109924 CPUtime=1791.59
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22670 0 0 0 178726 433 0 0 25 0 1 0 191682677 112562176 19616 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 27481 19616 105 232 0 27246 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (Kb) 109924

[startup+1793.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12236
/proc/meminfo: memFree=1200248/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=109924 CPUtime=1792.6
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22671 0 0 0 178827 433 0 0 25 0 1 0 191682677 112562176 19617 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 27481 19617 105 232 0 27246 0
Current children cumulated CPU time (s) 1792.6
Current children cumulated vsize (Kb) 109924

[startup+1794.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12236
/proc/meminfo: memFree=1200248/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=109924 CPUtime=1793.6
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22671 0 0 0 178927 433 0 0 25 0 1 0 191682677 112562176 19617 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 27481 19617 105 232 0 27246 0
Current children cumulated CPU time (s) 1793.6
Current children cumulated vsize (Kb) 109924

[startup+1795.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12236
/proc/meminfo: memFree=1200248/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=109924 CPUtime=1794.6
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22676 0 0 0 179027 433 0 0 25 0 1 0 191682677 112562176 19622 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 27481 19622 105 232 0 27246 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (Kb) 109924

[startup+1796.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12236
/proc/meminfo: memFree=1200248/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=109924 CPUtime=1795.61
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22676 0 0 0 179128 433 0 0 25 0 1 0 191682677 112562176 19622 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558805 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 27481 19622 105 232 0 27246 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (Kb) 109924

[startup+1797.19 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12236
/proc/meminfo: memFree=1200248/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=109924 CPUtime=1796.61
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22677 0 0 0 179227 434 0 0 25 0 1 0 191682677 112562176 19623 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 27481 19623 105 232 0 27246 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (Kb) 109924

[startup+1798.19 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12236
/proc/meminfo: memFree=1200248/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=109924 CPUtime=1797.61
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22677 0 0 0 179327 434 0 0 25 0 1 0 191682677 112562176 19623 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 27481 19623 105 232 0 27246 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (Kb) 109924

[startup+1799.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12236
/proc/meminfo: memFree=1200248/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=109924 CPUtime=1798.62
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22678 0 0 0 179427 435 0 0 25 0 1 0 191682677 112562176 19624 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 27481 19624 105 232 0 27246 0
Current children cumulated CPU time (s) 1798.62
Current children cumulated vsize (Kb) 109924

[startup+1800.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12236
/proc/meminfo: memFree=1200248/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=109924 CPUtime=1799.62
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22679 0 0 0 179527 435 0 0 25 0 1 0 191682677 112562176 19625 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 27481 19625 105 232 0 27246 0
Current children cumulated CPU time (s) 1799.62
Current children cumulated vsize (Kb) 109924

[startup+1801.21 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12236
/proc/meminfo: memFree=1200248/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=109924 CPUtime=1800.63
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22680 0 0 0 179628 435 0 0 25 0 1 0 191682677 112562176 19626 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 27481 19626 105 232 0 27246 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (Kb) 109924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.21 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12236
/proc/meminfo: memFree=1200248/2055920 swapFree=4180864/4192956
[pid=12042] ppid=12040 vsize=109924 CPUtime=1800.63
/proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22680 0 0 0 179628 435 0 0 25 0 1 0 191682677 112562176 19626 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/12042/statm: 27481 19626 105 232 0 27246 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (Kb) 109924

Sending SIGTERM to -12042
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.23
CPU time (s): 1800.66
CPU user time (s): 1796.28
CPU system time (s): 4.37133
CPU usage (%): 99.9682
Max. virtual memory (cumulated for all children) (Kb): 109924
The end

Launcher Data (download as text)

Begin job on node9 on Fri Jun  2 14:56:44 UTC 2006


FILE ID= 41276-1149260204

PBS_JOBID= 298607

BENCH NAME= ROOT/tmp/node9/41276-1149260204/instance-41276-1149260204.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node9/41276-1149260204/instance-41276-1149260204.opb 259016012
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-41276-1149260204 -o ROOT/results/node9/solver-41276-1149260204 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node9/41276-1149260204/instance-41276-1149260204.opb 259016012

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  69d5c7c1a4b8d5de2fe0ee7c53688a9d

RANDOM SEED= 259016012


/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.234
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.234
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:       1278752 kB
Buffers:         31756 kB
Cached:         677740 kB
SwapCached:       3892 kB
Active:         285380 kB
Inactive:       432940 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1278752 kB
SwapTotal:     4192956 kB
SwapFree:      4180864 kB
Dirty:             188 kB
Writeback:           0 kB
Mapped:          14720 kB
Slab:            44880 kB
Committed_AS:   254876 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node9 on Fri Jun  2 15:26:45 UTC 2006