Trace number 41079

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PBS 4.1L? (TO) 1800.65 1801.32

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb
MD5SUMa63a973ffa65f76728fc6c6327196255
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.076987
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables3038
Total number of constraints2160
Number of constraints which are clauses2070
Number of constraints which are cardinality constraints (but not clauses)90
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint22
Maximum length of a constraint45
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
Number of bits of the biggest sum of numbers6
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/node22/41079-1149228089/instance-41079-1149228089.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/node22/watcher-41079-1149228089 -o ROOT/results/node22/solver-41079-1149228089 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node22/41079-1149228089/instance-41079-1149228089.opb 321599150 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.95 2/64 14766
/proc/meminfo: memFree=1455872/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=1368 CPUtime=0
/proc/14766/stat : 14766 (PBS4L) D 14764 14766 14721 0 -1 4194304 111 0 0 0 0 0 0 0 19 0 1 0 84243239 1400832 95 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135132864 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/14766/statm: 342 95 84 232 0 107 0

[startup+10.0025 s]
/proc/loadavg: 0.93 0.97 0.95 2/64 14766
/proc/meminfo: memFree=1422224/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=38036 CPUtime=9.99
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 8524 0 0 0 988 11 0 0 25 0 1 0 84243239 38948864 8500 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549087 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 9509 8500 105 232 0 9274 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 38036

[startup+20.0092 s]
/proc/loadavg: 0.94 0.97 0.95 2/64 14766
/proc/meminfo: memFree=1395352/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=71480 CPUtime=19.99
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 15233 0 0 0 1982 17 0 0 25 0 1 0 84243239 73195520 15209 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564928 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 17870 15209 105 232 0 17635 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 71480

[startup+30.0158 s]
/proc/loadavg: 0.95 0.97 0.95 2/64 14766
/proc/meminfo: memFree=1379288/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=138024 CPUtime=30
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 19301 0 0 0 2979 21 0 0 25 0 1 0 84243239 141336576 19228 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564880 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 34506 19228 105 232 0 34271 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 138024

[startup+40.0215 s]
/proc/loadavg: 0.95 0.97 0.95 2/64 14766
/proc/meminfo: memFree=1378776/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=138420 CPUtime=40
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 19425 0 0 0 3979 21 0 0 25 0 1 0 84243239 141742080 19352 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 34605 19352 105 232 0 34370 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 138420

[startup+50.0282 s]
/proc/loadavg: 0.96 0.97 0.95 2/64 14766
/proc/meminfo: memFree=1378136/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=139072 CPUtime=50
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 19586 0 0 0 4979 21 0 0 25 0 1 0 84243239 142409728 19513 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549054 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 34768 19513 105 232 0 34533 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 139072

[startup+60.0339 s]
/proc/loadavg: 0.97 0.97 0.95 2/64 14766
/proc/meminfo: memFree=1358488/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=139888 CPUtime=60.01
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 24517 0 0 0 5977 24 0 0 25 0 1 0 84243239 143245312 24444 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 34972 24444 105 232 0 34737 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 139888

[startup+70.0405 s]
/proc/loadavg: 0.97 0.97 0.95 2/64 14766
/proc/meminfo: memFree=1346840/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=141772 CPUtime=70.01
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 27511 0 0 0 6968 33 0 0 25 0 1 0 84243239 145174528 27341 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564928 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 35443 27341 105 232 0 35208 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 141772

[startup+80.0472 s]
/proc/loadavg: 0.98 0.97 0.95 2/64 14766
/proc/meminfo: memFree=1346008/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=142516 CPUtime=80.01
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 27721 0 0 0 7965 36 0 0 25 0 1 0 84243239 145936384 27551 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549082 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 35629 27551 105 232 0 35394 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 142516

[startup+90.0529 s]
/proc/loadavg: 0.98 0.97 0.95 2/64 14766
/proc/meminfo: memFree=1345176/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=143320 CPUtime=90.01
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 27932 0 0 0 8965 36 0 0 25 0 1 0 84243239 146759680 27762 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 35830 27762 105 232 0 35595 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 143320

[startup+100.059 s]
/proc/loadavg: 0.98 0.97 0.95 2/64 14766
/proc/meminfo: memFree=1344792/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=143696 CPUtime=100.01
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 28021 0 0 0 9965 36 0 0 25 0 1 0 84243239 147144704 27851 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564872 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 35924 27851 105 232 0 35689 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 143696

[startup+110.065 s]
/proc/loadavg: 0.98 0.97 0.95 2/64 14766
/proc/meminfo: memFree=1343640/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=144696 CPUtime=110.02
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 28308 0 0 0 10965 37 0 0 25 0 1 0 84243239 148168704 28138 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 36174 28138 105 232 0 35939 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 144696

[startup+120.071 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 14766
/proc/meminfo: memFree=1335000/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=145664 CPUtime=120.02
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 30452 0 0 0 11965 37 0 0 25 0 1 0 84243239 149159936 30282 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550796 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 36416 30282 105 232 0 36181 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 145664

[startup+130.077 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 14768
/proc/meminfo: memFree=1316952/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=148804 CPUtime=130.02
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 35160 0 0 0 12963 39 0 0 25 0 1 0 84243239 152375296 34797 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564905 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 37201 34797 105 232 0 36966 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 148804

[startup+140.083 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 14768
/proc/meminfo: memFree=1303192/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=280516 CPUtime=140.02
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 38523 0 0 0 13960 42 0 0 25 0 1 0 84243239 287248384 38160 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549257 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 70129 38160 105 232 0 69894 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 280516

[startup+150.089 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 14768
/proc/meminfo: memFree=1285080/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=284548 CPUtime=150.03
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 43052 0 0 0 14958 45 0 0 25 0 1 0 84243239 291377152 42689 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558841 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 71137 42689 105 232 0 70902 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 284548

[startup+160.095 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 14768
/proc/meminfo: memFree=1267416/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=287680 CPUtime=160.03
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 47458 0 0 0 15956 47 0 0 25 0 1 0 84243239 294584320 47095 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549581 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 71920 47095 105 232 0 71685 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 287680

[startup+170.1 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 14768
/proc/meminfo: memFree=1256600/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=289968 CPUtime=170.03
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 50156 0 0 0 16955 48 0 0 25 0 1 0 84243239 296927232 49793 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550046 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 72492 49793 105 232 0 72257 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 289968

[startup+180.106 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 14768
/proc/meminfo: memFree=1237912/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=291820 CPUtime=180.03
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 54814 0 0 0 17952 51 0 0 25 0 1 0 84243239 298823680 54451 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549087 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 72955 54451 105 232 0 72720 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 291820

[startup+190.112 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 14768
/proc/meminfo: memFree=1237208/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=292460 CPUtime=190.04
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 54992 0 0 0 18952 52 0 0 25 0 1 0 84243239 299479040 54629 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549588 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 73115 54629 105 232 0 72880 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 292460

[startup+200.117 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 14768
/proc/meminfo: memFree=1229848/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=293072 CPUtime=200.04
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 56818 0 0 0 19952 52 0 0 25 0 1 0 84243239 300105728 56455 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549548 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 73268 56455 105 232 0 73033 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 293072

[startup+210.123 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 14768
/proc/meminfo: memFree=1227864/2055920 swapFree=4183844/4192956

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

/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 138830 0 0 0 178004 142 0 0 25 0 1 0 84243239 796217344 137313 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 194389 137313 105 232 0 194154 0
Current children cumulated CPU time (s) 1781.46
Current children cumulated vsize (Kb) 777556

[startup+1783.05 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 14768
/proc/meminfo: memFree=905240/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=777556 CPUtime=1782.46
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 138831 0 0 0 178104 142 0 0 25 0 1 0 84243239 796217344 137314 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611556 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 194389 137314 105 232 0 194154 0
Current children cumulated CPU time (s) 1782.46
Current children cumulated vsize (Kb) 777556

[startup+1784.05 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 14768
/proc/meminfo: memFree=905240/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=777556 CPUtime=1783.47
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 138839 0 0 0 178205 142 0 0 25 0 1 0 84243239 796217344 137322 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564880 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 194389 137322 105 232 0 194154 0
Current children cumulated CPU time (s) 1783.47
Current children cumulated vsize (Kb) 777556

[startup+1785.06 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 14768
/proc/meminfo: memFree=905240/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=777556 CPUtime=1784.47
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 138840 0 0 0 178305 142 0 0 25 0 1 0 84243239 796217344 137323 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 194389 137323 105 232 0 194154 0
Current children cumulated CPU time (s) 1784.47
Current children cumulated vsize (Kb) 777556

[startup+1786.06 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 14768
/proc/meminfo: memFree=905240/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=777556 CPUtime=1785.48
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 138841 0 0 0 178405 143 0 0 25 0 1 0 84243239 796217344 137324 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552002 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 194389 137324 105 232 0 194154 0
Current children cumulated CPU time (s) 1785.48
Current children cumulated vsize (Kb) 777556

[startup+1787.07 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 14768
/proc/meminfo: memFree=905240/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=777556 CPUtime=1786.49
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 138842 0 0 0 178506 143 0 0 25 0 1 0 84243239 796217344 137325 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564928 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 194389 137325 105 232 0 194154 0
Current children cumulated CPU time (s) 1786.49
Current children cumulated vsize (Kb) 777556

[startup+1788.07 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 14768
/proc/meminfo: memFree=905240/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=777556 CPUtime=1787.49
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 138843 0 0 0 178606 143 0 0 25 0 1 0 84243239 796217344 137326 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550022 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 194389 137326 105 232 0 194154 0
Current children cumulated CPU time (s) 1787.49
Current children cumulated vsize (Kb) 777556

[startup+1789.08 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 14768
/proc/meminfo: memFree=905240/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=777556 CPUtime=1788.5
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 138852 0 0 0 178707 143 0 0 25 0 1 0 84243239 796217344 137335 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 194389 137335 105 232 0 194154 0
Current children cumulated CPU time (s) 1788.5
Current children cumulated vsize (Kb) 777556

[startup+1790.08 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 14768
/proc/meminfo: memFree=905240/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=777556 CPUtime=1789.5
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 138853 0 0 0 178807 143 0 0 25 0 1 0 84243239 796217344 137336 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552002 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 194389 137336 105 232 0 194154 0
Current children cumulated CPU time (s) 1789.5
Current children cumulated vsize (Kb) 777556

[startup+1791.09 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 14768
/proc/meminfo: memFree=905240/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=777556 CPUtime=1790.5
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 138854 0 0 0 178907 143 0 0 25 0 1 0 84243239 796217344 137337 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549050 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 194389 137337 105 232 0 194154 0
Current children cumulated CPU time (s) 1790.5
Current children cumulated vsize (Kb) 777556

[startup+1792.09 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 14768
/proc/meminfo: memFree=905240/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=777556 CPUtime=1791.51
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 138855 0 0 0 179008 143 0 0 25 0 1 0 84243239 796217344 137338 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549082 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 194389 137338 105 232 0 194154 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (Kb) 777556

[startup+1793.1 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 14768
/proc/meminfo: memFree=905176/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=777556 CPUtime=1792.51
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 138856 0 0 0 179108 143 0 0 25 0 1 0 84243239 796217344 137339 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549087 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 194389 137339 105 232 0 194154 0
Current children cumulated CPU time (s) 1792.51
Current children cumulated vsize (Kb) 777556

[startup+1794.1 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 14768
/proc/meminfo: memFree=905176/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=777556 CPUtime=1793.52
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 138856 0 0 0 179209 143 0 0 25 0 1 0 84243239 796217344 137339 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550043 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 194389 137339 105 232 0 194154 0
Current children cumulated CPU time (s) 1793.52
Current children cumulated vsize (Kb) 777556

[startup+1795.11 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 14768
/proc/meminfo: memFree=905176/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=777556 CPUtime=1794.52
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 138864 0 0 0 179309 143 0 0 25 0 1 0 84243239 796217344 137347 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559006 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 194389 137347 105 232 0 194154 0
Current children cumulated CPU time (s) 1794.52
Current children cumulated vsize (Kb) 777556

[startup+1796.11 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 14768
/proc/meminfo: memFree=904984/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=783700 CPUtime=1795.53
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 140402 0 0 0 179409 144 0 0 25 0 1 0 84243239 802508800 137348 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 195925 137348 105 232 0 195690 0
Current children cumulated CPU time (s) 1795.53
Current children cumulated vsize (Kb) 783700

[startup+1797.12 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 14768
/proc/meminfo: memFree=904984/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=783700 CPUtime=1796.53
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 140403 0 0 0 179509 144 0 0 25 0 1 0 84243239 802508800 137349 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 195925 137349 105 232 0 195690 0
Current children cumulated CPU time (s) 1796.53
Current children cumulated vsize (Kb) 783700

[startup+1798.12 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 14768
/proc/meminfo: memFree=904984/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=783700 CPUtime=1797.54
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 140403 0 0 0 179610 144 0 0 25 0 1 0 84243239 802508800 137349 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564928 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 195925 137349 105 232 0 195690 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (Kb) 783700

[startup+1799.13 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 14768
/proc/meminfo: memFree=904984/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=783700 CPUtime=1798.54
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 140404 0 0 0 179710 144 0 0 25 0 1 0 84243239 802508800 137350 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550808 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 195925 137350 105 232 0 195690 0
Current children cumulated CPU time (s) 1798.54
Current children cumulated vsize (Kb) 783700

[startup+1800.13 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 14768
/proc/meminfo: memFree=904984/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=783700 CPUtime=1799.55
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 140404 0 0 0 179811 144 0 0 25 0 1 0 84243239 802508800 137350 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 195925 137350 105 232 0 195690 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (Kb) 783700

[startup+1801.14 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 14768
/proc/meminfo: memFree=904984/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=783700 CPUtime=1800.55
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 140405 0 0 0 179911 144 0 0 25 0 1 0 84243239 802508800 137351 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 195925 137351 105 232 0 195690 0
Current children cumulated CPU time (s) 1800.55
Current children cumulated vsize (Kb) 783700



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.14 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 14768
/proc/meminfo: memFree=904984/2055920 swapFree=4183844/4192956
[pid=14766] ppid=14764 vsize=783700 CPUtime=1800.56
/proc/14766/stat : 14766 (PBS4L) R 14764 14766 14721 0 -1 4194304 140405 0 0 0 179912 144 0 0 25 0 1 0 84243239 802508800 137351 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549014 0 0 4096 0 0 0 0 17 1 0 0
/proc/14766/statm: 195925 137351 105 232 0 195690 0
Current children cumulated CPU time (s) 1800.56
Current children cumulated vsize (Kb) 783700

Sending SIGTERM to -14766
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.32
CPU time (s): 1800.65
CPU user time (s): 1799.12
CPU system time (s): 1.52577
CPU usage (%): 99.9629
Max. virtual memory (cumulated for all children) (Kb): 783700
The end

Launcher Data (download as text)

Begin job on node22 on Fri Jun  2 06:01:29 UTC 2006


FILE ID= 41079-1149228089

PBS_JOBID= 296182

BENCH NAME= ROOT/tmp/node22/41079-1149228089/instance-41079-1149228089.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node22/41079-1149228089/instance-41079-1149228089.opb 321599150
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node22/watcher-41079-1149228089 -o ROOT/results/node22/solver-41079-1149228089 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node22/41079-1149228089/instance-41079-1149228089.opb 321599150

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  a63a973ffa65f76728fc6c6327196255

RANDOM SEED= 321599150


/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.261
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.261
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:       1456080 kB
Buffers:         39528 kB
Cached:         484132 kB
SwapCached:       3204 kB
Active:         169456 kB
Inactive:       362980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1456080 kB
SwapTotal:     4192956 kB
SwapFree:      4183844 kB
Dirty:             244 kB
Writeback:           0 kB
Mapped:          14896 kB
Slab:            53428 kB
Committed_AS:   189552 kB
PageTables:       1404 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node22 on Fri Jun  2 06:31:30 UTC 2006