Trace number 41734

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8d2.opb
MD5SUMccbbad891f18298525c42c78a48134ce
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark540
Best CPU time to get the best result obtained on this benchmark1800.63
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 540
Optimality of the best value was proved NO
Number of variables1860
Total number of constraints7477
Number of constraints which are clauses7477
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 constraint10
Number of terms in the objective function 1860
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 1860
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1860
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/node39/41734-1149408579/instance-41734-1149408579.opb ......
0.09	c done parsing opb.
0.09	o 930
0.13	o 929
0.15	o 928
0.15	o 710
1098.95	o 703
1098.96	o 657
1098.97	o 645

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/node39/watcher-41734-1149408579 -o ROOT/results/node39/solver-41734-1149408579 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node39/41734-1149408579/instance-41734-1149408579.opb 595267086 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 0.98 2/64 26676
/proc/meminfo: memFree=1865920/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=1576 CPUtime=0
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 203 0 0 0 0 0 0 0 18 0 1 0 206524235 1613824 187 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 394 187 97 232 0 159 0

[startup+10.0023 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26676
/proc/meminfo: memFree=1854792/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=18512 CPUtime=9.99
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 2969 0 0 0 998 1 0 0 25 0 1 0 206524235 18956288 2895 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551977 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 4628 2895 108 232 0 4393 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 18512

[startup+20.0083 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26676
/proc/meminfo: memFree=1844304/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=34896 CPUtime=20
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 5594 0 0 0 1998 2 0 0 25 0 1 0 206524235 35733504 5520 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 8724 5520 108 232 0 8489 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 34896

[startup+30.0142 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26676
/proc/meminfo: memFree=1834000/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=34896 CPUtime=30
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 8177 0 0 0 2996 4 0 0 25 0 1 0 206524235 35733504 8103 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 8724 8103 108 232 0 8489 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 34896

[startup+40.0201 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26676
/proc/meminfo: memFree=1825104/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=67796 CPUtime=40
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 10388 0 0 0 3995 5 0 0 25 0 1 0 206524235 69423104 10314 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 16949 10314 108 232 0 16714 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 67796

[startup+50.0261 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26676
/proc/meminfo: memFree=1821776/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=67928 CPUtime=50
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 11223 0 0 0 4995 5 0 0 25 0 1 0 206524235 69558272 11149 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549087 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 16982 11149 108 232 0 16747 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 67928

[startup+60.032 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26676
/proc/meminfo: memFree=1821264/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=68592 CPUtime=60
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 11396 0 0 0 5990 10 0 0 25 0 1 0 206524235 70238208 11225 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 17148 11225 108 232 0 16913 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 68592

[startup+70.0379 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26676
/proc/meminfo: memFree=1821328/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=68592 CPUtime=70.01
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 11423 0 0 0 6985 16 0 0 25 0 1 0 206524235 70238208 11252 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 17148 11252 108 232 0 16913 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 68592

[startup+80.0439 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26676
/proc/meminfo: memFree=1821264/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=68724 CPUtime=80.01
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 11452 0 0 0 7979 22 0 0 25 0 1 0 206524235 70373376 11281 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549214 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 17181 11281 108 232 0 16946 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 68724

[startup+90.0488 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26676
/proc/meminfo: memFree=1821136/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=68852 CPUtime=90.02
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 11488 0 0 0 8972 30 0 0 25 0 1 0 206524235 70504448 11317 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 17213 11317 108 232 0 16978 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 68852

[startup+100.055 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26676
/proc/meminfo: memFree=1821008/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=68852 CPUtime=100.01
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 11513 0 0 0 9963 38 0 0 25 0 1 0 206524235 70504448 11342 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 17213 11342 108 232 0 16978 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 68852

[startup+110.061 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26676
/proc/meminfo: memFree=1820944/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=68972 CPUtime=110.02
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 11536 0 0 0 10958 44 0 0 25 0 1 0 206524235 70627328 11365 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 17243 11365 108 232 0 17008 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 68972

[startup+120.067 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26676
/proc/meminfo: memFree=1820816/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=68972 CPUtime=120.02
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 11562 0 0 0 11951 51 0 0 25 0 1 0 206524235 70627328 11391 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 17243 11391 108 232 0 17008 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 68972

[startup+130.073 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26676
/proc/meminfo: memFree=1820752/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=68972 CPUtime=130.03
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 11582 0 0 0 12943 60 0 0 25 0 1 0 206524235 70627328 11411 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 17243 11411 108 232 0 17008 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 68972

[startup+140.078 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26676
/proc/meminfo: memFree=1820624/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=69128 CPUtime=140.04
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 11602 0 0 0 13938 66 0 0 25 0 1 0 206524235 70787072 11431 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 17282 11431 108 232 0 17047 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 69128

[startup+150.084 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26676
/proc/meminfo: memFree=1820560/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=69128 CPUtime=150.03
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 11621 0 0 0 14932 71 0 0 25 0 1 0 206524235 70787072 11450 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 17282 11450 108 232 0 17047 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 69128

[startup+160.09 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26676
/proc/meminfo: memFree=1820304/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=69896 CPUtime=160.04
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 11837 0 0 0 15925 79 0 0 25 0 1 0 206524235 71573504 11473 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 17474 11473 108 232 0 17239 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 69896

[startup+170.096 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26676
/proc/meminfo: memFree=1820304/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=70068 CPUtime=170.04
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 11853 0 0 0 16917 87 0 0 25 0 1 0 206524235 71749632 11489 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 17517 11489 108 232 0 17282 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 70068

[startup+180.102 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26676
/proc/meminfo: memFree=1820304/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=70068 CPUtime=180.05
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 11874 0 0 0 17913 92 0 0 25 0 1 0 206524235 71749632 11510 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 17517 11510 108 232 0 17282 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 70068

[startup+190.108 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26676
/proc/meminfo: memFree=1820240/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=70068 CPUtime=190.05
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 11898 0 0 0 18907 98 0 0 25 0 1 0 206524235 71749632 11534 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 17517 11534 108 232 0 17282 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 70068

[startup+200.114 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26676
/proc/meminfo: memFree=1820176/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=70196 CPUtime=200.05
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 11914 0 0 0 19898 107 0 0 25 0 1 0 206524235 71880704 11550 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 17549 11550 108 232 0 17314 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 70196

[startup+210.12 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26676
/proc/meminfo: memFree=1820112/2055920 swapFree=4180844/4192956

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

/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15510 0 0 0 177977 178 0 0 25 0 1 0 206524235 82468864 13992 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549321 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 20134 13992 108 232 0 19899 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (Kb) 80536

[startup+1783.05 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26678
/proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=80536 CPUtime=1782.55
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15510 0 0 0 178077 178 0 0 25 0 1 0 206524235 82468864 13992 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 20134 13992 108 232 0 19899 0
Current children cumulated CPU time (s) 1782.55
Current children cumulated vsize (Kb) 80536

[startup+1784.05 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26678
/proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=80536 CPUtime=1783.56
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15510 0 0 0 178178 178 0 0 25 0 1 0 206524235 82468864 13992 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564471 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 20134 13992 108 232 0 19899 0
Current children cumulated CPU time (s) 1783.56
Current children cumulated vsize (Kb) 80536

[startup+1785.06 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26678
/proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=80536 CPUtime=1784.56
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15510 0 0 0 178278 178 0 0 25 0 1 0 206524235 82468864 13992 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 20134 13992 108 232 0 19899 0
Current children cumulated CPU time (s) 1784.56
Current children cumulated vsize (Kb) 80536

[startup+1786.06 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26678
/proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=80536 CPUtime=1785.57
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15511 0 0 0 178379 178 0 0 25 0 1 0 206524235 82468864 13993 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549449 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 20134 13993 108 232 0 19899 0
Current children cumulated CPU time (s) 1785.57
Current children cumulated vsize (Kb) 80536

[startup+1787.07 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26678
/proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=80536 CPUtime=1786.57
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15511 0 0 0 178479 178 0 0 25 0 1 0 206524235 82468864 13993 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 20134 13993 108 232 0 19899 0
Current children cumulated CPU time (s) 1786.57
Current children cumulated vsize (Kb) 80536

[startup+1788.07 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26678
/proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=80536 CPUtime=1787.58
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15511 0 0 0 178580 178 0 0 25 0 1 0 206524235 82468864 13993 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549513 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 20134 13993 108 232 0 19899 0
Current children cumulated CPU time (s) 1787.58
Current children cumulated vsize (Kb) 80536

[startup+1789.08 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26678
/proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=80536 CPUtime=1788.58
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15511 0 0 0 178680 178 0 0 25 0 1 0 206524235 82468864 13993 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 20134 13993 108 232 0 19899 0
Current children cumulated CPU time (s) 1788.58
Current children cumulated vsize (Kb) 80536

[startup+1790.08 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26678
/proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=80536 CPUtime=1789.59
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15512 0 0 0 178781 178 0 0 25 0 1 0 206524235 82468864 13994 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 20134 13994 108 232 0 19899 0
Current children cumulated CPU time (s) 1789.59
Current children cumulated vsize (Kb) 80536

[startup+1791.09 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26678
/proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=80536 CPUtime=1790.59
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15512 0 0 0 178881 178 0 0 25 0 1 0 206524235 82468864 13994 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 20134 13994 108 232 0 19899 0
Current children cumulated CPU time (s) 1790.59
Current children cumulated vsize (Kb) 80536

[startup+1792.09 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26678
/proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=80536 CPUtime=1791.59
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15512 0 0 0 178981 178 0 0 25 0 1 0 206524235 82468864 13994 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549054 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 20134 13994 108 232 0 19899 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (Kb) 80536

[startup+1793.1 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26678
/proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=80536 CPUtime=1792.6
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15512 0 0 0 179082 178 0 0 25 0 1 0 206524235 82468864 13994 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549211 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 20134 13994 108 232 0 19899 0
Current children cumulated CPU time (s) 1792.6
Current children cumulated vsize (Kb) 80536

[startup+1794.1 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26678
/proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=80536 CPUtime=1793.6
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15512 0 0 0 179182 178 0 0 25 0 1 0 206524235 82468864 13994 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564535 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 20134 13994 108 232 0 19899 0
Current children cumulated CPU time (s) 1793.6
Current children cumulated vsize (Kb) 80536

[startup+1795.11 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26678
/proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=80536 CPUtime=1794.61
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15513 0 0 0 179283 178 0 0 25 0 1 0 206524235 82468864 13995 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549288 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 20134 13995 108 232 0 19899 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (Kb) 80536

[startup+1796.11 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26678
/proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=80536 CPUtime=1795.61
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15513 0 0 0 179383 178 0 0 25 0 1 0 206524235 82468864 13995 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549200 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 20134 13995 108 232 0 19899 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (Kb) 80536

[startup+1797.12 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26678
/proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=80536 CPUtime=1796.62
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15513 0 0 0 179484 178 0 0 25 0 1 0 206524235 82468864 13995 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 20134 13995 108 232 0 19899 0
Current children cumulated CPU time (s) 1796.62
Current children cumulated vsize (Kb) 80536

[startup+1798.12 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26678
/proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=80536 CPUtime=1797.62
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15513 0 0 0 179584 178 0 0 25 0 1 0 206524235 82468864 13995 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 20134 13995 108 232 0 19899 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (Kb) 80536

[startup+1799.13 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26678
/proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=80536 CPUtime=1798.64
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15513 0 0 0 179685 179 0 0 25 0 1 0 206524235 82468864 13995 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 20134 13995 108 232 0 19899 0
Current children cumulated CPU time (s) 1798.64
Current children cumulated vsize (Kb) 80536

[startup+1800.13 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 26678
/proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=80536 CPUtime=1799.64
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15514 0 0 0 179785 179 0 0 25 0 1 0 206524235 82468864 13996 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 20134 13996 108 232 0 19899 0
Current children cumulated CPU time (s) 1799.64
Current children cumulated vsize (Kb) 80536

[startup+1801.13 s]
/proc/loadavg: 1.00 1.00 0.98 3/64 26678
/proc/meminfo: memFree=1809880/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=80852 CPUtime=1800.64
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15531 0 0 0 179885 179 0 0 25 0 1 0 206524235 82792448 14013 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 20213 14013 108 232 0 19978 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (Kb) 80852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.14 s]
/proc/loadavg: 1.00 1.00 0.98 3/64 26678
/proc/meminfo: memFree=1809880/2055920 swapFree=4180844/4192956
[pid=26676] ppid=26674 vsize=80852 CPUtime=1800.65
/proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15531 0 0 0 179886 179 0 0 25 0 1 0 206524235 82792448 14013 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/26676/statm: 20213 14013 108 232 0 19978 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (Kb) 80852

Sending SIGTERM to -26676
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.15
CPU time (s): 1800.66
CPU user time (s): 1798.86
CPU system time (s): 1.80173
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (Kb): 80852
The end

Launcher Data (download as text)

Begin job on node39 on Sun Jun  4 08:09:39 UTC 2006


FILE ID= 41734-1149408579

PBS_JOBID= 314563

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

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  ccbbad891f18298525c42c78a48134ce

RANDOM SEED= 595267086


/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.213
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	: 5931.00
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.213
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:       1866064 kB
Buffers:         10512 kB
Cached:         118464 kB
SwapCached:       3624 kB
Active:          31272 kB
Inactive:       106224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1866064 kB
SwapTotal:     4192956 kB
SwapFree:      4180844 kB
Dirty:             212 kB
Writeback:           0 kB
Mapped:          14596 kB
Slab:            38376 kB
Committed_AS:   412172 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 node39 on Sun Jun  4 08:39:41 UTC 2006