Trace number 40833

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 NameAnswerCPU timeWall clock time
PBS 4.1L? (TO) 1800.54 1801.16

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin18.opb
MD5SUMf17e31cb6762bd0e8d3e659d7bd1050c
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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 FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables23409
Total number of constraints1386
Number of constraints which are clauses612
Number of constraints which are cardinality constraints (but not clauses)774
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint153
Maximum length of a constraint289
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 291
Number of bits of the biggest sum of numbers9
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/node41/40833-1149204816/instance-40833-1149204816.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/node41/watcher-40833-1149204816 -o ROOT/results/node41/solver-40833-1149204816 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node41/40833-1149204816/instance-40833-1149204816.opb 165042353 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.00 0.01 0.17 2/64 16285
/proc/meminfo: memFree=1280752/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=1368 CPUtime=0
/proc/16285/stat : 16285 (PBS4L) D 16283 16285 16240 0 -1 4194304 111 0 0 0 0 0 0 0 18 0 1 0 186148363 1400832 95 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135137645 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/16285/statm: 342 95 84 232 0 107 0

[startup+10.0031 s]
/proc/loadavg: 0.15 0.04 0.18 2/64 16285
/proc/meminfo: memFree=1262712/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=19800 CPUtime=9.99
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 4719 0 0 0 978 21 0 0 25 0 1 0 186148363 20275200 4649 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 4950 4649 105 232 0 4715 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 19800

[startup+20.0098 s]
/proc/loadavg: 0.28 0.07 0.19 2/64 16286
/proc/meminfo: memFree=1257216/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=26652 CPUtime=19.99
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 6142 0 0 0 1962 37 0 0 25 0 1 0 186148363 27291648 6072 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 6663 6072 105 232 0 6428 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 26652

[startup+30.0164 s]
/proc/loadavg: 0.39 0.10 0.20 2/64 16287
/proc/meminfo: memFree=1252672/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=36968 CPUtime=30
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 7294 0 0 0 2951 49 0 0 25 0 1 0 186148363 37855232 7224 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 9242 7224 105 232 0 9007 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 36968

[startup+40.0231 s]
/proc/loadavg: 0.49 0.13 0.20 2/64 16287
/proc/meminfo: memFree=1248576/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=39092 CPUtime=40
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 8356 0 0 0 3937 63 0 0 25 0 1 0 186148363 40030208 8240 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546253 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 9773 8240 105 232 0 9538 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 39092

[startup+50.0298 s]
/proc/loadavg: 0.56 0.16 0.21 2/64 16287
/proc/meminfo: memFree=1247808/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=39944 CPUtime=50
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 8744 0 0 0 4914 86 0 0 25 0 1 0 186148363 40902656 8441 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134594389 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 9986 8441 105 232 0 9751 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 39944

[startup+60.0355 s]
/proc/loadavg: 0.63 0.19 0.22 2/64 16287
/proc/meminfo: memFree=1247360/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=40212 CPUtime=60
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 9005 0 0 0 5895 105 0 0 25 0 1 0 186148363 41177088 8518 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 10053 8518 105 232 0 9818 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 40212

[startup+70.0422 s]
/proc/loadavg: 0.69 0.21 0.23 2/64 16287
/proc/meminfo: memFree=1246976/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=40476 CPUtime=70.01
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 9251 0 0 0 6877 124 0 0 25 0 1 0 186148363 41447424 8626 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551697 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 10119 8626 105 232 0 9884 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 40476

[startup+80.0489 s]
/proc/loadavg: 0.73 0.24 0.24 2/64 16287
/proc/meminfo: memFree=1246336/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=41676 CPUtime=80.01
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 9644 0 0 0 7853 148 0 0 25 0 1 0 186148363 42676224 8784 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 10419 8784 105 232 0 10184 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 41676

[startup+90.0545 s]
/proc/loadavg: 0.77 0.26 0.24 2/64 16287
/proc/meminfo: memFree=1245888/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=42076 CPUtime=90.01
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 9893 0 0 0 8831 170 0 0 25 0 1 0 186148363 43085824 8895 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 10519 8895 105 232 0 10284 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 42076

[startup+100.06 s]
/proc/loadavg: 0.81 0.29 0.25 2/64 16287
/proc/meminfo: memFree=1245440/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=42340 CPUtime=100.01
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 10176 0 0 0 9811 190 0 0 25 0 1 0 186148363 43356160 8994 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 10585 8994 105 232 0 10350 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 42340

[startup+110.066 s]
/proc/loadavg: 0.84 0.31 0.26 2/64 16287
/proc/meminfo: memFree=1245248/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=42476 CPUtime=110.02
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 10363 0 0 0 10795 207 0 0 25 0 1 0 186148363 43495424 9043 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 10619 9043 105 232 0 10384 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 42476

[startup+120.073 s]
/proc/loadavg: 0.86 0.33 0.27 2/64 16287
/proc/meminfo: memFree=1244352/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=43224 CPUtime=120.02
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 10730 0 0 0 11782 220 0 0 25 0 1 0 186148363 44261376 9272 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 10806 9272 105 232 0 10571 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 43224

[startup+130.078 s]
/proc/loadavg: 0.88 0.35 0.27 2/64 16287
/proc/meminfo: memFree=1244160/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=43656 CPUtime=130.02
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 10915 0 0 0 12765 237 0 0 25 0 1 0 186148363 44703744 9319 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 10914 9319 105 232 0 10679 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 43656

[startup+140.084 s]
/proc/loadavg: 0.90 0.37 0.28 2/64 16287
/proc/meminfo: memFree=1243520/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=43656 CPUtime=140.03
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 11178 0 0 0 13752 251 0 0 25 0 1 0 186148363 44703744 9490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 10914 9490 105 232 0 10679 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 43656

[startup+150.09 s]
/proc/loadavg: 0.92 0.39 0.29 2/64 16287
/proc/meminfo: memFree=1243072/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=44052 CPUtime=150.03
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 11429 0 0 0 14735 268 0 0 25 0 1 0 186148363 45109248 9603 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 11013 9603 105 232 0 10778 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 44052

[startup+160.095 s]
/proc/loadavg: 0.93 0.41 0.30 2/64 16287
/proc/meminfo: memFree=1242752/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=44952 CPUtime=160.03
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 11840 0 0 0 15718 285 0 0 25 0 1 0 186148363 46030848 9683 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 11238 9683 105 232 0 11003 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 44952

[startup+170.101 s]
/proc/loadavg: 0.94 0.43 0.30 2/64 16287
/proc/meminfo: memFree=1242368/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=45220 CPUtime=170.04
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 12105 0 0 0 16697 307 0 0 25 0 1 0 186148363 46305280 9764 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 11305 9764 105 232 0 11070 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 45220

[startup+180.107 s]
/proc/loadavg: 0.95 0.45 0.31 2/64 16287
/proc/meminfo: memFree=1242176/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=45220 CPUtime=180.04
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 12284 0 0 0 17679 325 0 0 25 0 1 0 186148363 46305280 9805 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 11305 9805 105 232 0 11070 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 45220

[startup+190.112 s]
/proc/loadavg: 0.95 0.47 0.32 2/64 16287
/proc/meminfo: memFree=1241984/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=45804 CPUtime=190.04
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 12493 0 0 0 18661 343 0 0 25 0 1 0 186148363 46903296 9876 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 11451 9876 105 232 0 11216 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 45804

[startup+200.118 s]
/proc/loadavg: 0.96 0.49 0.32 2/64 16287
/proc/meminfo: memFree=1241664/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=45936 CPUtime=200.05
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 12703 0 0 0 19643 362 0 0 25 0 1 0 186148363 47038464 9948 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 11484 9948 105 232 0 11249 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 45936

[startup+210.124 s]
/proc/loadavg: 0.97 0.50 0.33 2/64 16287
/proc/meminfo: memFree=1241472/2055920 swapFree=4180940/4192956

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

/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 40568 0 0 0 175266 2877 0 0 25 0 1 0 186148363 74833920 15756 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 18270 15756 105 232 0 18035 0
Current children cumulated CPU time (s) 1781.43
Current children cumulated vsize (Kb) 73080

[startup+1783.05 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 16482
/proc/meminfo: memFree=1217856/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=73080 CPUtime=1782.44
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 40569 0 0 0 175366 2878 0 0 25 0 1 0 186148363 74833920 15757 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 18270 15757 105 232 0 18035 0
Current children cumulated CPU time (s) 1782.44
Current children cumulated vsize (Kb) 73080

[startup+1784.06 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 16482
/proc/meminfo: memFree=1217792/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=73080 CPUtime=1783.44
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 40617 0 0 0 175466 2878 0 0 25 0 1 0 186148363 74833920 15759 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 18270 15759 105 232 0 18035 0
Current children cumulated CPU time (s) 1783.44
Current children cumulated vsize (Kb) 73080

[startup+1785.06 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 16482
/proc/meminfo: memFree=1217792/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=73080 CPUtime=1784.45
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 40618 0 0 0 175565 2880 0 0 25 0 1 0 186148363 74833920 15760 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 18270 15760 105 232 0 18035 0
Current children cumulated CPU time (s) 1784.45
Current children cumulated vsize (Kb) 73080

[startup+1786.07 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 16482
/proc/meminfo: memFree=1217792/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=73080 CPUtime=1785.44
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 40622 0 0 0 175663 2881 0 0 25 0 1 0 186148363 74833920 15764 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 18270 15764 105 232 0 18035 0
Current children cumulated CPU time (s) 1785.44
Current children cumulated vsize (Kb) 73080

[startup+1787.07 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 16482
/proc/meminfo: memFree=1217792/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=73080 CPUtime=1786.45
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 40623 0 0 0 175763 2882 0 0 25 0 1 0 186148363 74833920 15765 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 18270 15765 105 232 0 18035 0
Current children cumulated CPU time (s) 1786.45
Current children cumulated vsize (Kb) 73080

[startup+1788.08 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 16482
/proc/meminfo: memFree=1217792/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=73080 CPUtime=1787.45
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 40686 0 0 0 175862 2883 0 0 25 0 1 0 186148363 74833920 15782 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 18270 15782 105 232 0 18035 0
Current children cumulated CPU time (s) 1787.45
Current children cumulated vsize (Kb) 73080

[startup+1789.08 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 16482
/proc/meminfo: memFree=1217792/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=73080 CPUtime=1788.46
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 40687 0 0 0 175961 2885 0 0 25 0 1 0 186148363 74833920 15783 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 18270 15783 105 232 0 18035 0
Current children cumulated CPU time (s) 1788.46
Current children cumulated vsize (Kb) 73080

[startup+1790.09 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 16482
/proc/meminfo: memFree=1217792/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=73080 CPUtime=1789.47
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 40688 0 0 0 176060 2887 0 0 25 0 1 0 186148363 74833920 15784 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 18270 15784 105 232 0 18035 0
Current children cumulated CPU time (s) 1789.47
Current children cumulated vsize (Kb) 73080

[startup+1791.09 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 16482
/proc/meminfo: memFree=1217728/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=73080 CPUtime=1790.47
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 40746 0 0 0 176156 2891 0 0 25 0 1 0 186148363 74833920 15796 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 18270 15796 105 232 0 18035 0
Current children cumulated CPU time (s) 1790.47
Current children cumulated vsize (Kb) 73080

[startup+1792.1 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 16482
/proc/meminfo: memFree=1217728/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=73080 CPUtime=1791.48
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 40747 0 0 0 176256 2892 0 0 25 0 1 0 186148363 74833920 15797 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546505 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 18270 15797 105 232 0 18035 0
Current children cumulated CPU time (s) 1791.48
Current children cumulated vsize (Kb) 73080

[startup+1793.1 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 16482
/proc/meminfo: memFree=1217728/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=73080 CPUtime=1792.48
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 40749 0 0 0 176355 2893 0 0 25 0 1 0 186148363 74833920 15799 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 18270 15799 105 232 0 18035 0
Current children cumulated CPU time (s) 1792.48
Current children cumulated vsize (Kb) 73080

[startup+1794.11 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 16482
/proc/meminfo: memFree=1217728/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=73080 CPUtime=1793.48
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 40751 0 0 0 176454 2894 0 0 25 0 1 0 186148363 74833920 15801 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 18270 15801 105 232 0 18035 0
Current children cumulated CPU time (s) 1793.48
Current children cumulated vsize (Kb) 73080

[startup+1795.11 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 16482
/proc/meminfo: memFree=1217664/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=73212 CPUtime=1794.49
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 40818 0 0 0 176554 2895 0 0 25 0 1 0 186148363 74969088 15822 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 18303 15822 105 232 0 18068 0
Current children cumulated CPU time (s) 1794.49
Current children cumulated vsize (Kb) 73212

[startup+1796.12 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 16482
/proc/meminfo: memFree=1217664/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=73212 CPUtime=1795.49
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 40829 0 0 0 176652 2897 0 0 25 0 1 0 186148363 74969088 15833 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 18303 15833 105 232 0 18068 0
Current children cumulated CPU time (s) 1795.49
Current children cumulated vsize (Kb) 73212

[startup+1797.12 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 16482
/proc/meminfo: memFree=1217664/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=73212 CPUtime=1796.5
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 40832 0 0 0 176752 2898 0 0 25 0 1 0 186148363 74969088 15836 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 18303 15836 105 232 0 18068 0
Current children cumulated CPU time (s) 1796.5
Current children cumulated vsize (Kb) 73212

[startup+1798.13 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 16482
/proc/meminfo: memFree=1217536/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=73212 CPUtime=1797.51
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 40879 0 0 0 176851 2900 0 0 25 0 1 0 186148363 74969088 15837 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 18303 15837 105 232 0 18068 0
Current children cumulated CPU time (s) 1797.51
Current children cumulated vsize (Kb) 73212

[startup+1799.13 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 16482
/proc/meminfo: memFree=1217536/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=73212 CPUtime=1798.51
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 40881 0 0 0 176950 2901 0 0 25 0 1 0 186148363 74969088 15839 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 18303 15839 105 232 0 18068 0
Current children cumulated CPU time (s) 1798.51
Current children cumulated vsize (Kb) 73212

[startup+1800.14 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 16482
/proc/meminfo: memFree=1217536/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=73212 CPUtime=1799.51
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 40882 0 0 0 177049 2902 0 0 25 0 1 0 186148363 74969088 15840 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 18303 15840 105 232 0 18068 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (Kb) 73212

[startup+1801.14 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 16482
/proc/meminfo: memFree=1217536/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=73212 CPUtime=1800.52
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 40887 0 0 0 177148 2904 0 0 25 0 1 0 186148363 74969088 15845 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 18303 15845 105 232 0 18068 0
Current children cumulated CPU time (s) 1800.52
Current children cumulated vsize (Kb) 73212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.15 s]
/proc/loadavg: 0.99 0.97 0.84 2/64 16482
/proc/meminfo: memFree=1217536/2055920 swapFree=4180940/4192956
[pid=16285] ppid=16283 vsize=73212 CPUtime=1800.52
/proc/16285/stat : 16285 (PBS4L) R 16283 16285 16240 0 -1 4194304 40887 0 0 0 177148 2904 0 0 25 0 1 0 186148363 74969088 15845 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16285/statm: 18303 15845 105 232 0 18068 0
Current children cumulated CPU time (s) 1800.52
Current children cumulated vsize (Kb) 73212

Sending SIGTERM to -16285
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.16
CPU time (s): 1800.54
CPU user time (s): 1771.49
CPU system time (s): 29.0576
CPU usage (%): 99.9657
Max. virtual memory (cumulated for all children) (Kb): 73212
The end

Launcher Data (download as text)

Begin job on node41 on Thu Jun  1 23:33:36 UTC 2006


FILE ID= 40833-1149204816

PBS_JOBID= 292996

BENCH NAME= ROOT/tmp/node41/40833-1149204816/instance-40833-1149204816.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node41/40833-1149204816/instance-40833-1149204816.opb 165042353
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node41/watcher-40833-1149204816 -o ROOT/results/node41/solver-40833-1149204816 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node41/40833-1149204816/instance-40833-1149204816.opb 165042353

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  f17e31cb6762bd0e8d3e659d7bd1050c

RANDOM SEED= 165042353


/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.265
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.265
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:       1281152 kB
Buffers:         29656 kB
Cached:         672448 kB
SwapCached:       4008 kB
Active:         134844 kB
Inactive:       576332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1281152 kB
SwapTotal:     4192956 kB
SwapFree:      4180940 kB
Dirty:             276 kB
Writeback:           0 kB
Mapped:          14924 kB
Slab:            49568 kB
Committed_AS:   196656 kB
PageTables:       1496 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node41 on Fri Jun  2 00:03:39 UTC 2006