Trace number 41817

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.19

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g250.15.opb
MD5SUMf368868fda311e5aaeadb84d33b29291
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3750
Best CPU time to get the best result obtained on this benchmark1800.55
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3750
Optimality of the best value was proved NO
Number of variables7500
Total number of constraints237715
Number of constraints which are clauses237715
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint15
Number of terms in the objective function 7500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 7500
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 7500
Number of bits of the biggest sum of numbers13
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/node42/41817-1149418820/instance-41817-1149418820.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/node42/watcher-41817-1149418820 -o ROOT/results/node42/solver-41817-1149418820 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node42/41817-1149418820/instance-41817-1149418820.opb 488039099 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.78 0.94 0.91 2/64 28836
/proc/meminfo: memFree=1418664/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=2104 CPUtime=0
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 223 0 0 0 0 0 0 0 18 0 1 0 207549125 2154496 207 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 526 208 90 232 0 291 0

[startup+10.0024 s]
/proc/loadavg: 0.81 0.94 0.91 2/64 28836
/proc/meminfo: memFree=1402032/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=20660 CPUtime=9.99
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 5800 0 0 0 997 2 0 0 25 0 1 0 207549125 21155840 4283 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 5165 4283 105 232 0 4930 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 20660

[startup+20.0085 s]
/proc/loadavg: 0.84 0.94 0.91 2/64 28836
/proc/meminfo: memFree=1401784/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=20792 CPUtime=20
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 5926 0 0 0 1997 3 0 0 25 0 1 0 207549125 21291008 4409 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 5198 4409 105 232 0 4963 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 20792

[startup+30.0156 s]
/proc/loadavg: 0.86 0.94 0.91 2/64 28836
/proc/meminfo: memFree=1401272/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=21192 CPUtime=30
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 6087 0 0 0 2996 4 0 0 25 0 1 0 207549125 21700608 4570 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551621 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 5298 4570 105 232 0 5063 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 21192

[startup+40.0218 s]
/proc/loadavg: 0.89 0.94 0.91 2/64 28836
/proc/meminfo: memFree=1400760/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=21456 CPUtime=40.01
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 6227 0 0 0 3996 5 0 0 25 0 1 0 207549125 21970944 4710 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 5364 4710 105 232 0 5129 0
Current children cumulated CPU time (s) 40.01
Current children cumulated vsize (Kb) 21456

[startup+50.0279 s]
/proc/loadavg: 0.90 0.94 0.91 2/70 28907
/proc/meminfo: memFree=1398984/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=21856 CPUtime=49.99
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 6365 0 0 0 4993 6 0 0 25 0 1 0 207549125 22380544 4848 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 0 0 0
/proc/28836/statm: 5464 4848 105 232 0 5229 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 21856

[startup+60.035 s]
/proc/loadavg: 0.92 0.95 0.91 2/70 28957
/proc/meminfo: memFree=1398528/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=21988 CPUtime=59.97
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 6472 0 0 0 5990 7 0 0 25 0 1 0 207549125 22515712 4955 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 5497 4955 105 232 0 5262 0
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 21988

[startup+70.0421 s]
/proc/loadavg: 0.93 0.95 0.91 2/64 29031
/proc/meminfo: memFree=1399152/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=22128 CPUtime=69.96
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 6562 0 0 0 6989 7 0 0 25 0 1 0 207549125 22659072 5045 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 5532 5045 105 232 0 5297 0
Current children cumulated CPU time (s) 69.96
Current children cumulated vsize (Kb) 22128

[startup+80.0492 s]
/proc/loadavg: 0.94 0.95 0.91 2/64 29031
/proc/meminfo: memFree=1398968/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=22396 CPUtime=79.96
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 6646 0 0 0 7988 8 0 0 25 0 1 0 207549125 22933504 5129 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 5599 5129 105 232 0 5364 0
Current children cumulated CPU time (s) 79.96
Current children cumulated vsize (Kb) 22396

[startup+90.0554 s]
/proc/loadavg: 0.95 0.95 0.91 2/64 29031
/proc/meminfo: memFree=1398776/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=22396 CPUtime=89.96
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 6707 0 0 0 8988 8 0 0 25 0 1 0 207549125 22933504 5190 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 5599 5190 105 232 0 5364 0
Current children cumulated CPU time (s) 89.96
Current children cumulated vsize (Kb) 22396

[startup+100.06 s]
/proc/loadavg: 0.96 0.95 0.91 2/64 29031
/proc/meminfo: memFree=1398584/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=22528 CPUtime=99.97
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 6746 0 0 0 9988 9 0 0 25 0 1 0 207549125 23068672 5229 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 5632 5229 105 232 0 5397 0
Current children cumulated CPU time (s) 99.97
Current children cumulated vsize (Kb) 22528

[startup+110.067 s]
/proc/loadavg: 0.96 0.95 0.91 2/64 29031
/proc/meminfo: memFree=1398392/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=22528 CPUtime=109.98
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 6796 0 0 0 10988 10 0 0 25 0 1 0 207549125 23068672 5279 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 5632 5279 105 232 0 5397 0
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 22528

[startup+120.073 s]
/proc/loadavg: 0.97 0.95 0.91 2/64 29031
/proc/meminfo: memFree=1398136/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=22660 CPUtime=119.98
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 6849 0 0 0 11988 10 0 0 25 0 1 0 207549125 23203840 5332 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 5665 5332 105 232 0 5430 0
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (Kb) 22660

[startup+130.079 s]
/proc/loadavg: 0.97 0.95 0.91 2/64 29031
/proc/meminfo: memFree=1397944/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=22660 CPUtime=129.98
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 6896 0 0 0 12988 10 0 0 25 0 1 0 207549125 23203840 5379 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 5665 5379 105 232 0 5430 0
Current children cumulated CPU time (s) 129.98
Current children cumulated vsize (Kb) 22660

[startup+140.085 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 29031
/proc/meminfo: memFree=1397752/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=30976 CPUtime=139.98
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 6956 0 0 0 13988 10 0 0 25 0 1 0 207549125 31719424 5439 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 7744 5439 105 232 0 7509 0
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 30976

[startup+150.091 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 29031
/proc/meminfo: memFree=1397496/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=31248 CPUtime=149.99
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 7010 0 0 0 14988 11 0 0 25 0 1 0 207549125 31997952 5493 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 7812 5493 105 232 0 7577 0
Current children cumulated CPU time (s) 149.99
Current children cumulated vsize (Kb) 31248

[startup+160.096 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 29031
/proc/meminfo: memFree=1397048/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=31248 CPUtime=159.99
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 7122 0 0 0 15988 11 0 0 25 0 1 0 207549125 31997952 5605 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 7812 5605 105 232 0 7577 0
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 31248

[startup+170.102 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 29031
/proc/meminfo: memFree=1396728/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=31384 CPUtime=169.99
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 7192 0 0 0 16988 11 0 0 25 0 1 0 207549125 32137216 5675 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 7846 5675 105 232 0 7611 0
Current children cumulated CPU time (s) 169.99
Current children cumulated vsize (Kb) 31384

[startup+180.108 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 29031
/proc/meminfo: memFree=1396536/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=31464 CPUtime=180
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 7252 0 0 0 17988 12 0 0 25 0 1 0 207549125 32219136 5735 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 7866 5735 105 232 0 7631 0
Current children cumulated CPU time (s) 180
Current children cumulated vsize (Kb) 31464

[startup+190.115 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 29031
/proc/meminfo: memFree=1396344/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=31464 CPUtime=190
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 7294 0 0 0 18988 12 0 0 25 0 1 0 207549125 32219136 5777 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546536 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 7866 5777 105 232 0 7631 0
Current children cumulated CPU time (s) 190
Current children cumulated vsize (Kb) 31464

[startup+200.121 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 29031
/proc/meminfo: memFree=1396152/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=31584 CPUtime=200
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 7339 0 0 0 19987 13 0 0 25 0 1 0 207549125 32342016 5822 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551632 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 7896 5822 105 232 0 7661 0
Current children cumulated CPU time (s) 200
Current children cumulated vsize (Kb) 31584

[startup+210.127 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 29031
/proc/meminfo: memFree=1395960/2055920 swapFree=4181444/4192956

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

/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10914 0 0 0 178070 85 0 0 25 0 1 0 207549125 43085824 7860 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551257 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 10519 7860 105 232 0 10284 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (Kb) 42076

[startup+1783.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 29031
/proc/meminfo: memFree=1387832/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=42076 CPUtime=1782.55
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10914 0 0 0 178170 85 0 0 25 0 1 0 207549125 43085824 7860 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546663 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 10519 7860 105 232 0 10284 0
Current children cumulated CPU time (s) 1782.55
Current children cumulated vsize (Kb) 42076

[startup+1784.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 29031
/proc/meminfo: memFree=1387832/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=42076 CPUtime=1783.56
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10914 0 0 0 178271 85 0 0 25 0 1 0 207549125 43085824 7860 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 10519 7860 105 232 0 10284 0
Current children cumulated CPU time (s) 1783.56
Current children cumulated vsize (Kb) 42076

[startup+1785.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 29031
/proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=42076 CPUtime=1784.56
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10914 0 0 0 178371 85 0 0 25 0 1 0 207549125 43085824 7860 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 10519 7860 105 232 0 10284 0
Current children cumulated CPU time (s) 1784.56
Current children cumulated vsize (Kb) 42076

[startup+1786.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 29031
/proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=42076 CPUtime=1785.57
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10915 0 0 0 178472 85 0 0 25 0 1 0 207549125 43085824 7861 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 10519 7861 105 232 0 10284 0
Current children cumulated CPU time (s) 1785.57
Current children cumulated vsize (Kb) 42076

[startup+1787.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 29031
/proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=42076 CPUtime=1786.57
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10915 0 0 0 178572 85 0 0 25 0 1 0 207549125 43085824 7861 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 10519 7861 105 232 0 10284 0
Current children cumulated CPU time (s) 1786.57
Current children cumulated vsize (Kb) 42076

[startup+1788.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 29031
/proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=42076 CPUtime=1787.58
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10915 0 0 0 178672 86 0 0 25 0 1 0 207549125 43085824 7861 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 10519 7861 105 232 0 10284 0
Current children cumulated CPU time (s) 1787.58
Current children cumulated vsize (Kb) 42076

[startup+1789.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 29031
/proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=42076 CPUtime=1788.59
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10915 0 0 0 178773 86 0 0 25 0 1 0 207549125 43085824 7861 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551638 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 10519 7861 105 232 0 10284 0
Current children cumulated CPU time (s) 1788.59
Current children cumulated vsize (Kb) 42076

[startup+1790.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 29031
/proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=42076 CPUtime=1789.59
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10919 0 0 0 178873 86 0 0 25 0 1 0 207549125 43085824 7865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 10519 7865 105 232 0 10284 0
Current children cumulated CPU time (s) 1789.59
Current children cumulated vsize (Kb) 42076

[startup+1791.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 29031
/proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=42076 CPUtime=1790.6
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10919 0 0 0 178974 86 0 0 25 0 1 0 207549125 43085824 7865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546657 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 10519 7865 105 232 0 10284 0
Current children cumulated CPU time (s) 1790.6
Current children cumulated vsize (Kb) 42076

[startup+1792.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 29031
/proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=42076 CPUtime=1791.6
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10919 0 0 0 179074 86 0 0 25 0 1 0 207549125 43085824 7865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 10519 7865 105 232 0 10284 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (Kb) 42076

[startup+1793.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 29031
/proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=42076 CPUtime=1792.6
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10919 0 0 0 179174 86 0 0 25 0 1 0 207549125 43085824 7865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 10519 7865 105 232 0 10284 0
Current children cumulated CPU time (s) 1792.6
Current children cumulated vsize (Kb) 42076

[startup+1794.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 29031
/proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=42076 CPUtime=1793.61
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10919 0 0 0 179275 86 0 0 25 0 1 0 207549125 43085824 7865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 10519 7865 105 232 0 10284 0
Current children cumulated CPU time (s) 1793.61
Current children cumulated vsize (Kb) 42076

[startup+1795.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 29031
/proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=42076 CPUtime=1794.61
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10920 0 0 0 179375 86 0 0 25 0 1 0 207549125 43085824 7866 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 10519 7866 105 232 0 10284 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (Kb) 42076

[startup+1796.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 29031
/proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=42076 CPUtime=1795.62
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10920 0 0 0 179476 86 0 0 25 0 1 0 207549125 43085824 7866 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551621 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 10519 7866 105 232 0 10284 0
Current children cumulated CPU time (s) 1795.62
Current children cumulated vsize (Kb) 42076

[startup+1797.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 29031
/proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=42076 CPUtime=1796.62
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10920 0 0 0 179576 86 0 0 25 0 1 0 207549125 43085824 7866 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 10519 7866 105 232 0 10284 0
Current children cumulated CPU time (s) 1796.62
Current children cumulated vsize (Kb) 42076

[startup+1798.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 29031
/proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=42076 CPUtime=1797.63
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10920 0 0 0 179677 86 0 0 25 0 1 0 207549125 43085824 7866 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 10519 7866 105 232 0 10284 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (Kb) 42076

[startup+1799.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 29031
/proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=42076 CPUtime=1798.63
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10921 0 0 0 179777 86 0 0 25 0 1 0 207549125 43085824 7867 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 10519 7867 105 232 0 10284 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (Kb) 42076

[startup+1800.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 29031
/proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=42076 CPUtime=1799.64
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10921 0 0 0 179878 86 0 0 25 0 1 0 207549125 43085824 7867 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 10519 7867 105 232 0 10284 0
Current children cumulated CPU time (s) 1799.64
Current children cumulated vsize (Kb) 42076

[startup+1801.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 29031
/proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=42076 CPUtime=1800.64
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10921 0 0 0 179978 86 0 0 25 0 1 0 207549125 43085824 7867 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 10519 7867 105 232 0 10284 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (Kb) 42076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 29031
/proc/meminfo: memFree=1387768/2055920 swapFree=4181444/4192956
[pid=28836] ppid=28834 vsize=42076 CPUtime=1800.64
/proc/28836/stat : 28836 (PBS4L) R 28834 28836 28790 0 -1 4194304 10921 0 0 0 179978 86 0 0 25 0 1 0 207549125 43085824 7867 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/28836/statm: 10519 7867 105 232 0 10284 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (Kb) 42076

Sending SIGTERM to -28836
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.19
CPU time (s): 1800.66
CPU user time (s): 1799.79
CPU system time (s): 0.871867
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (Kb): 42076
The end

Launcher Data (download as text)

Begin job on node42 on Sun Jun  4 11:00:20 UTC 2006


FILE ID= 41817-1149418820

PBS_JOBID= 315633

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g250.15.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node42/41817-1149418820/instance-41817-1149418820.opb 488039099
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-41817-1149418820 -o ROOT/results/node42/solver-41817-1149418820 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node42/41817-1149418820/instance-41817-1149418820.opb 488039099

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  f368868fda311e5aaeadb84d33b29291

RANDOM SEED= 488039099


/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.216
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.216
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:       1418936 kB
Buffers:         26724 kB
Cached:         538136 kB
SwapCached:       3212 kB
Active:         106384 kB
Inactive:       467256 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1418936 kB
SwapTotal:     4192956 kB
SwapFree:      4181444 kB
Dirty:             304 kB
Writeback:           0 kB
Mapped:          14932 kB
Slab:            49480 kB
Committed_AS:   392828 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node42 on Sun Jun  4 11:30:22 UTC 2006