Trace number 46614

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.76 1801.27

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_13.opb
MD5SUM292e71503f1e4f136e087e61da3c7ed4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark118
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 118
Optimality of the best value was proved NO
Number of variables2470
Total number of constraints4744
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 constraints4744
Minimum length of a constraint16
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1357
Number of bits of the biggest sum of numbers11
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/node19/46614-1154070076/instance-46614-1154070076.opb ......
50.22	c done parsing opb.
50.22	o 168
549.14	o 167
705.82	o 155
1018.80	o 152
1274.68	o 151
1362.55	o 139

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

runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node19/watcher-46614-1154070076 -o ROOT/results/node19/solver-46614-1154070076 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node19/46614-1154070076/instance-46614-1154070076.opb 266232195 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.98 2/70 24708
/proc/meminfo: memFree=1510160/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=1632 CPUtime=0
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 136 0 0 0 0 0 0 0 19 0 1 0 153868049 1671168 119 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598917 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 408 121 90 232 0 173 0

[startup+10.0019 s]
/proc/loadavg: 0.93 0.95 0.98 2/70 24774
/proc/meminfo: memFree=1503560/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=8736 CPUtime=9.97
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 1959 0 0 0 994 3 0 0 25 0 1 0 153868049 8945664 1778 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551507 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 2184 1778 104 232 0 1949 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 8736

[startup+20.009 s]
/proc/loadavg: 0.94 0.96 0.98 2/64 24790
/proc/meminfo: memFree=1503496/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=10784 CPUtime=19.96
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 2269 0 0 0 1991 5 0 0 25 0 1 0 153868049 11042816 2088 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 2696 2088 104 232 0 2461 0
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 10784

[startup+30.0161 s]
/proc/loadavg: 0.95 0.96 0.98 2/64 24790
/proc/meminfo: memFree=1502472/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=10784 CPUtime=29.97
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 2546 0 0 0 2991 6 0 0 25 0 1 0 153868049 11042816 2365 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 2696 2365 104 232 0 2461 0
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 10784

[startup+40.0222 s]
/proc/loadavg: 0.95 0.96 0.98 2/64 24790
/proc/meminfo: memFree=1501576/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=14880 CPUtime=39.97
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 2767 0 0 0 3990 7 0 0 25 0 1 0 153868049 15237120 2586 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 3720 2586 104 232 0 3485 0
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 14880

[startup+50.0283 s]
/proc/loadavg: 0.96 0.96 0.98 2/64 24790
/proc/meminfo: memFree=1500552/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=15652 CPUtime=49.97
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 3051 0 0 0 4989 8 0 0 25 0 1 0 153868049 16027648 2870 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 3913 2870 105 232 0 3678 0
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 15652

[startup+60.0344 s]
/proc/loadavg: 0.97 0.96 0.98 2/64 24790
/proc/meminfo: memFree=1499464/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=15652 CPUtime=59.98
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 3313 0 0 0 5988 10 0 0 25 0 1 0 153868049 16027648 3132 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 3913 3132 108 232 0 3678 0
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 15652

[startup+70.0405 s]
/proc/loadavg: 0.97 0.96 0.98 2/64 24790
/proc/meminfo: memFree=1498632/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=15652 CPUtime=69.98
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 3526 0 0 0 6987 11 0 0 25 0 1 0 153868049 16027648 3345 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546626 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 3913 3345 108 232 0 3678 0
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 15652

[startup+80.0466 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 24790
/proc/meminfo: memFree=1497480/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=15912 CPUtime=79.99
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 3810 0 0 0 7987 12 0 0 25 0 1 0 153868049 16293888 3629 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 3978 3629 108 232 0 3743 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 15912

[startup+90.0526 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 24790
/proc/meminfo: memFree=1496392/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=25012 CPUtime=89.98
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 4269 0 0 0 8985 13 0 0 25 0 1 0 153868049 25612288 3895 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 6253 3895 108 232 0 6018 0
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 25012

[startup+100.059 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 24790
/proc/meminfo: memFree=1495112/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=25140 CPUtime=99.99
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 4589 0 0 0 9984 15 0 0 25 0 1 0 153868049 25743360 4215 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551072 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 6285 4215 108 232 0 6050 0
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 25140

[startup+110.065 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 24790
/proc/meminfo: memFree=1494536/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=25428 CPUtime=109.99
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 4746 0 0 0 10983 16 0 0 25 0 1 0 153868049 26038272 4372 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 6357 4372 108 232 0 6122 0
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 25428

[startup+120.071 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24790
/proc/meminfo: memFree=1493704/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=25588 CPUtime=120
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 4940 0 0 0 11983 17 0 0 25 0 1 0 153868049 26202112 4566 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 6397 4566 108 232 0 6162 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 25588

[startup+130.077 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24790
/proc/meminfo: memFree=1493000/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=25832 CPUtime=130
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 5128 0 0 0 12981 19 0 0 25 0 1 0 153868049 26451968 4754 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546626 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 6458 4754 108 232 0 6223 0
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 25832

[startup+140.083 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24790
/proc/meminfo: memFree=1492360/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=26148 CPUtime=140.01
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 5283 0 0 0 13981 20 0 0 25 0 1 0 153868049 26775552 4909 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546597 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 6537 4909 108 232 0 6302 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 26148

[startup+150.089 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24790
/proc/meminfo: memFree=1491848/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=26288 CPUtime=150.01
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 5408 0 0 0 14980 21 0 0 25 0 1 0 153868049 26918912 5034 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 6572 5034 108 232 0 6337 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 26288

[startup+160.095 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24790
/proc/meminfo: memFree=1491400/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=26436 CPUtime=160.01
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 5518 0 0 0 15980 21 0 0 25 0 1 0 153868049 27070464 5144 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 6609 5144 108 232 0 6374 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 26436

[startup+170.101 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24790
/proc/meminfo: memFree=1490504/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=26568 CPUtime=170.01
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 5747 0 0 0 16979 22 0 0 25 0 1 0 153868049 27205632 5373 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550796 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 6642 5373 108 232 0 6407 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 26568

[startup+180.108 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24790
/proc/meminfo: memFree=1489992/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=26712 CPUtime=180.01
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 5873 0 0 0 17978 23 0 0 25 0 1 0 153868049 27353088 5499 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 6678 5499 108 232 0 6443 0
Current children cumulated CPU time (s) 180.01
Current children cumulated vsize (Kb) 26712

[startup+190.114 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24790
/proc/meminfo: memFree=1489544/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=28392 CPUtime=190.02
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 6320 0 0 0 18977 25 0 0 25 0 1 0 153868049 29073408 5561 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 7098 5561 108 232 0 6863 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 28392

[startup+200.12 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24790
/proc/meminfo: memFree=1488712/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=28552 CPUtime=200.03
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 6565 0 0 0 19976 27 0 0 25 0 1 0 153868049 29237248 5806 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551274 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 7138 5806 108 232 0 6903 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 28552

[startup+210.126 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24790

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

/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18250 0 0 0 177991 174 0 0 25 0 1 0 153868049 70533120 15185 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546720 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 17220 15185 108 232 0 16985 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (Kb) 68880

[startup+1783.15 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24790
/proc/meminfo: memFree=1451016/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=68880 CPUtime=1782.65
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18256 0 0 0 178091 174 0 0 25 0 1 0 153868049 70533120 15191 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551582 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 17220 15191 108 232 0 16985 0
Current children cumulated CPU time (s) 1782.65
Current children cumulated vsize (Kb) 68880

[startup+1784.16 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24790
/proc/meminfo: memFree=1451016/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=68880 CPUtime=1783.65
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18258 0 0 0 178191 174 0 0 25 0 1 0 153868049 70533120 15193 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 17220 15193 108 232 0 16985 0
Current children cumulated CPU time (s) 1783.65
Current children cumulated vsize (Kb) 68880

[startup+1785.17 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24790
/proc/meminfo: memFree=1451016/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=68880 CPUtime=1784.66
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18259 0 0 0 178292 174 0 0 25 0 1 0 153868049 70533120 15194 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546594 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 17220 15194 108 232 0 16985 0
Current children cumulated CPU time (s) 1784.66
Current children cumulated vsize (Kb) 68880

[startup+1786.17 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24790
/proc/meminfo: memFree=1450952/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=68880 CPUtime=1785.66
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18269 0 0 0 178392 174 0 0 25 0 1 0 153868049 70533120 15204 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 17220 15204 108 232 0 16985 0
Current children cumulated CPU time (s) 1785.66
Current children cumulated vsize (Kb) 68880

[startup+1787.18 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24790
/proc/meminfo: memFree=1450952/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=68880 CPUtime=1786.66
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18270 0 0 0 178492 174 0 0 25 0 1 0 153868049 70533120 15205 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 17220 15205 108 232 0 16985 0
Current children cumulated CPU time (s) 1786.66
Current children cumulated vsize (Kb) 68880

[startup+1788.18 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24790
/proc/meminfo: memFree=1450952/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=68880 CPUtime=1787.67
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18280 0 0 0 178593 174 0 0 25 0 1 0 153868049 70533120 15215 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551526 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 17220 15215 108 232 0 16985 0
Current children cumulated CPU time (s) 1787.67
Current children cumulated vsize (Kb) 68880

[startup+1789.19 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24790
/proc/meminfo: memFree=1450952/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=68880 CPUtime=1788.68
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18282 0 0 0 178693 175 0 0 25 0 1 0 153868049 70533120 15217 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 17220 15217 108 232 0 16985 0
Current children cumulated CPU time (s) 1788.68
Current children cumulated vsize (Kb) 68880

[startup+1790.19 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24790
/proc/meminfo: memFree=1450952/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=68880 CPUtime=1789.68
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18283 0 0 0 178793 175 0 0 25 0 1 0 153868049 70533120 15218 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 17220 15218 108 232 0 16985 0
Current children cumulated CPU time (s) 1789.68
Current children cumulated vsize (Kb) 68880

[startup+1791.2 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24790
/proc/meminfo: memFree=1450888/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=68880 CPUtime=1790.69
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18292 0 0 0 178894 175 0 0 25 0 1 0 153868049 70533120 15227 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 17220 15227 108 232 0 16985 0
Current children cumulated CPU time (s) 1790.69
Current children cumulated vsize (Kb) 68880

[startup+1792.2 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24790
/proc/meminfo: memFree=1450888/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=68880 CPUtime=1791.69
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18294 0 0 0 178994 175 0 0 25 0 1 0 153868049 70533120 15229 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 17220 15229 108 232 0 16985 0
Current children cumulated CPU time (s) 1791.69
Current children cumulated vsize (Kb) 68880

[startup+1793.21 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24790
/proc/meminfo: memFree=1450888/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=68880 CPUtime=1792.69
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18299 0 0 0 179094 175 0 0 25 0 1 0 153868049 70533120 15234 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134856436 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 17220 15234 108 232 0 16985 0
Current children cumulated CPU time (s) 1792.69
Current children cumulated vsize (Kb) 68880

[startup+1794.21 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24790
/proc/meminfo: memFree=1450824/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=68880 CPUtime=1793.7
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18301 0 0 0 179195 175 0 0 25 0 1 0 153868049 70533120 15236 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 17220 15236 108 232 0 16985 0
Current children cumulated CPU time (s) 1793.7
Current children cumulated vsize (Kb) 68880

[startup+1795.22 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24790
/proc/meminfo: memFree=1450824/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=68880 CPUtime=1794.71
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18308 0 0 0 179295 176 0 0 25 0 1 0 153868049 70533120 15243 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 17220 15243 108 232 0 16985 0
Current children cumulated CPU time (s) 1794.71
Current children cumulated vsize (Kb) 68880

[startup+1796.22 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24790
/proc/meminfo: memFree=1450824/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=68880 CPUtime=1795.71
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18310 0 0 0 179395 176 0 0 25 0 1 0 153868049 70533120 15245 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558838 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 17220 15245 108 232 0 16985 0
Current children cumulated CPU time (s) 1795.71
Current children cumulated vsize (Kb) 68880

[startup+1797.23 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24790
/proc/meminfo: memFree=1450824/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=68880 CPUtime=1796.72
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18312 0 0 0 179496 176 0 0 25 0 1 0 153868049 70533120 15247 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 17220 15247 108 232 0 16985 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (Kb) 68880

[startup+1798.23 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24790
/proc/meminfo: memFree=1450824/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=68880 CPUtime=1797.72
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18314 0 0 0 179596 176 0 0 25 0 1 0 153868049 70533120 15249 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558968 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 17220 15249 108 232 0 16985 0
Current children cumulated CPU time (s) 1797.72
Current children cumulated vsize (Kb) 68880

[startup+1799.24 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24790
/proc/meminfo: memFree=1450824/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=68880 CPUtime=1798.73
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18315 0 0 0 179697 176 0 0 25 0 1 0 153868049 70533120 15250 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 17220 15250 108 232 0 16985 0
Current children cumulated CPU time (s) 1798.73
Current children cumulated vsize (Kb) 68880

[startup+1800.24 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24790
/proc/meminfo: memFree=1450760/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=68880 CPUtime=1799.73
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18317 0 0 0 179797 176 0 0 25 0 1 0 153868049 70533120 15252 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 17220 15252 108 232 0 16985 0
Current children cumulated CPU time (s) 1799.73
Current children cumulated vsize (Kb) 68880

[startup+1801.25 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24790
/proc/meminfo: memFree=1450760/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=68880 CPUtime=1800.73
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18324 0 0 0 179897 176 0 0 25 0 1 0 153868049 70533120 15259 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 17220 15259 108 232 0 16985 0
Current children cumulated CPU time (s) 1800.73
Current children cumulated vsize (Kb) 68880



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.25 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 24790
/proc/meminfo: memFree=1450760/2055920 swapFree=4183080/4192956
[pid=24708] ppid=24706 vsize=68880 CPUtime=1800.74
/proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18324 0 0 0 179898 176 0 0 25 0 1 0 153868049 70533120 15259 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/24708/statm: 17220 15259 108 232 0 16985 0
Current children cumulated CPU time (s) 1800.74
Current children cumulated vsize (Kb) 68880

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.27
CPU time (s): 1800.76
CPU user time (s): 1798.98
CPU system time (s): 1.77673
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (Kb): 68880
The end

Launcher Data (download as text)

Begin job on node19 on Fri Jul 28 07:01:16 UTC 2006


FILE ID= 46614-1154070076

PBS_JOBID= 882641

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_13.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node19/46614-1154070076/instance-46614-1154070076.opb 266232195
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-46614-1154070076 -o ROOT/results/node19/solver-46614-1154070076 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node19/46614-1154070076/instance-46614-1154070076.opb 266232195

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  292e71503f1e4f136e087e61da3c7ed4

RANDOM SEED= 266232195

TIMEOUT= 1800 seconds


/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.233
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.233
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:       1510432 kB
Buffers:         21532 kB
Cached:         464716 kB
SwapCached:       3556 kB
Active:          46012 kB
Inactive:       449468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1510432 kB
SwapTotal:     4192956 kB
SwapFree:      4183080 kB
Dirty:             264 kB
Writeback:           0 kB
Mapped:          15768 kB
Slab:            35652 kB
Committed_AS:   728972 kB
PageTables:       1724 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node19 on Fri Jul 28 07:31:17 UTC 2006