Trace number 41100

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.59 1801.24

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb
MD5SUM0d2d0c8fcbbf85b522a59ecd3e43cd8e
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.041992
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1785
Total number of constraints1293
Number of constraints which are clauses1224
Number of constraints which are cardinality constraints (but not clauses)69
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint17
Maximum length of a constraint35
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 36
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/node44/41100-1149231179/instance-41100-1149231179.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/node44/watcher-41100-1149231179 -o ROOT/results/node44/solver-41100-1149231179 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node44/41100-1149231179/instance-41100-1149231179.opb 40319760 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.92 2/64 10559
/proc/meminfo: memFree=1425888/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=1568 CPUtime=0
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 201 0 0 0 0 0 0 0 18 0 1 0 188784788 1605632 185 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134867652 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 392 185 100 232 0 157 0

[startup+10.0023 s]
/proc/loadavg: 0.93 0.95 0.92 2/64 10559
/proc/meminfo: memFree=1390704/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=38936 CPUtime=9.99
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 8906 0 0 0 989 10 0 0 25 0 1 0 188784788 39870464 8882 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 9734 8882 105 232 0 9499 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 38936

[startup+20.0082 s]
/proc/loadavg: 0.94 0.96 0.92 2/64 10559
/proc/meminfo: memFree=1377840/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=73432 CPUtime=20
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 12175 0 0 0 1986 14 0 0 25 0 1 0 188784788 75194368 12102 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549062 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 18358 12102 105 232 0 18123 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 73432

[startup+30.014 s]
/proc/loadavg: 0.95 0.96 0.92 2/64 10559
/proc/meminfo: memFree=1376048/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=74904 CPUtime=30
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 12726 0 0 0 2985 15 0 0 25 0 1 0 188784788 76701696 12556 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549045 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 18726 12556 105 232 0 18491 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 74904

[startup+40.0199 s]
/proc/loadavg: 0.95 0.96 0.92 2/64 10559
/proc/meminfo: memFree=1355440/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=76436 CPUtime=40
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 17847 0 0 0 3981 19 0 0 25 0 1 0 188784788 78270464 17677 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 19109 17677 105 232 0 18874 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 76436

[startup+50.0257 s]
/proc/loadavg: 0.96 0.96 0.92 2/64 10559
/proc/meminfo: memFree=1336176/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=145348 CPUtime=50
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 22672 0 0 0 4979 21 0 0 25 0 1 0 188784788 148836352 22502 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550847 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 36337 22502 105 232 0 36102 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 145348

[startup+60.0316 s]
/proc/loadavg: 0.97 0.96 0.92 2/64 10559
/proc/meminfo: memFree=1322864/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=147240 CPUtime=60
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 25999 0 0 0 5976 24 0 0 25 0 1 0 188784788 150773760 25829 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550010 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 36810 25829 105 232 0 36575 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 147240

[startup+70.0374 s]
/proc/loadavg: 0.97 0.96 0.92 2/64 10559
/proc/meminfo: memFree=1308336/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=152768 CPUtime=70
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 29616 0 0 0 6974 26 0 0 25 0 1 0 188784788 156434432 29446 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564928 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 38192 29446 105 232 0 37957 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 152768

[startup+80.0433 s]
/proc/loadavg: 0.98 0.96 0.92 2/64 10559
/proc/meminfo: memFree=1293744/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=155424 CPUtime=80
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 33450 0 0 0 7971 29 0 0 25 0 1 0 188784788 159154176 33087 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549025 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 38856 33087 105 232 0 38621 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 155424

[startup+90.0491 s]
/proc/loadavg: 0.98 0.96 0.92 2/64 10559
/proc/meminfo: memFree=1286896/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=157496 CPUtime=90.01
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 35163 0 0 0 8971 30 0 0 25 0 1 0 188784788 161275904 34800 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558988 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 39374 34800 105 232 0 39139 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 157496

[startup+100.055 s]
/proc/loadavg: 0.98 0.96 0.92 2/64 10559
/proc/meminfo: memFree=1274160/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=162792 CPUtime=100.01
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 38336 0 0 0 9969 32 0 0 25 0 1 0 188784788 166699008 37973 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558853 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 40698 37973 105 232 0 40463 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 162792

[startup+110.061 s]
/proc/loadavg: 0.98 0.96 0.92 2/64 10559
/proc/meminfo: memFree=1260400/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=297432 CPUtime=110.02
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 41713 0 0 0 10966 36 0 0 25 0 1 0 188784788 304570368 41350 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 74358 41350 105 232 0 74123 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 297432

[startup+120.067 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 10559
/proc/meminfo: memFree=1250544/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=303576 CPUtime=120.02
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 44159 0 0 0 11965 37 0 0 25 0 1 0 188784788 310861824 43796 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559004 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 75894 43796 105 232 0 75659 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 303576

[startup+130.072 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 10559
/proc/meminfo: memFree=1237872/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=306444 CPUtime=130.02
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 47330 0 0 0 12963 39 0 0 25 0 1 0 188784788 313798656 46967 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552279 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 76611 46968 105 232 0 76376 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 306444

[startup+140.078 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 10559
/proc/meminfo: memFree=1223216/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=306828 CPUtime=140.03
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 50979 0 0 0 13962 41 0 0 25 0 1 0 188784788 314191872 50616 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550028 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 76707 50616 105 232 0 76472 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 306828

[startup+150.084 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 10559
/proc/meminfo: memFree=1215024/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=311376 CPUtime=150.03
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 53026 0 0 0 14961 42 0 0 25 0 1 0 188784788 318849024 52663 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549014 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 77844 52663 105 232 0 77609 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 311376

[startup+160.09 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 10559
/proc/meminfo: memFree=1203888/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=320220 CPUtime=160.03
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 55798 0 0 0 15959 44 0 0 25 0 1 0 188784788 327905280 55435 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558856 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 80055 55435 105 232 0 79820 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 320220

[startup+170.096 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 10559
/proc/meminfo: memFree=1193904/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=321000 CPUtime=170.03
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 58293 0 0 0 16958 45 0 0 25 0 1 0 188784788 328704000 57930 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549087 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 80250 57930 105 232 0 80015 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 321000

[startup+180.102 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 10559
/proc/meminfo: memFree=1186736/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=326496 CPUtime=180.03
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 60073 0 0 0 17957 46 0 0 25 0 1 0 188784788 334331904 59710 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134585540 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 81624 59710 105 232 0 81389 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 326496

[startup+190.108 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 10559
/proc/meminfo: memFree=1179504/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=327216 CPUtime=190.03
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 61879 0 0 0 18956 47 0 0 25 0 1 0 188784788 335069184 61516 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 81804 61516 105 232 0 81569 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 327216

[startup+200.113 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 10559
/proc/meminfo: memFree=1171696/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=330332 CPUtime=200.04
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 64164 0 0 0 19955 49 0 0 25 0 1 0 188784788 338259968 63416 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551987 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 82583 63416 105 232 0 82348 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 330332

[startup+210.119 s]
/proc/loadavg: 0.99 0.97 0.92 2/64 10559
/proc/meminfo: memFree=1170544/2055920 swapFree=4181400/4192956

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

/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 102993 0 0 0 178003 139 0 0 25 0 1 0 188784788 569405440 99939 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 139015 99939 105 232 0 138780 0
Current children cumulated CPU time (s) 1781.42
Current children cumulated vsize (Kb) 556060

[startup+1783.08 s]
/proc/loadavg: 1.04 0.99 0.93 2/64 10754
/proc/meminfo: memFree=1024496/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=556060 CPUtime=1782.44
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 102994 0 0 0 178104 140 0 0 25 0 1 0 188784788 569405440 99940 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559040 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 139015 99940 105 232 0 138780 0
Current children cumulated CPU time (s) 1782.44
Current children cumulated vsize (Kb) 556060

[startup+1784.08 s]
/proc/loadavg: 1.04 0.99 0.93 2/64 10754
/proc/meminfo: memFree=1024496/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=556060 CPUtime=1783.44
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 102994 0 0 0 178204 140 0 0 25 0 1 0 188784788 569405440 99940 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 139015 99940 105 232 0 138780 0
Current children cumulated CPU time (s) 1783.44
Current children cumulated vsize (Kb) 556060

[startup+1785.09 s]
/proc/loadavg: 1.04 0.99 0.93 2/64 10754
/proc/meminfo: memFree=1024496/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=556060 CPUtime=1784.45
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 102996 0 0 0 178305 140 0 0 25 0 1 0 188784788 569405440 99942 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 139015 99942 105 232 0 138780 0
Current children cumulated CPU time (s) 1784.45
Current children cumulated vsize (Kb) 556060

[startup+1786.09 s]
/proc/loadavg: 1.04 0.99 0.93 2/64 10754
/proc/meminfo: memFree=1024496/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=556060 CPUtime=1785.45
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 102997 0 0 0 178405 140 0 0 25 0 1 0 188784788 569405440 99943 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549166 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 139015 99943 105 232 0 138780 0
Current children cumulated CPU time (s) 1785.45
Current children cumulated vsize (Kb) 556060

[startup+1787.1 s]
/proc/loadavg: 1.04 0.99 0.93 2/64 10754
/proc/meminfo: memFree=1024432/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=556060 CPUtime=1786.45
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 102998 0 0 0 178505 140 0 0 25 0 1 0 188784788 569405440 99944 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611556 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 139015 99944 105 232 0 138780 0
Current children cumulated CPU time (s) 1786.45
Current children cumulated vsize (Kb) 556060

[startup+1788.1 s]
/proc/loadavg: 1.04 0.99 0.93 2/64 10754
/proc/meminfo: memFree=1024432/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=556060 CPUtime=1787.46
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 103002 0 0 0 178606 140 0 0 25 0 1 0 188784788 569405440 99948 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564924 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 139015 99948 105 232 0 138780 0
Current children cumulated CPU time (s) 1787.46
Current children cumulated vsize (Kb) 556060

[startup+1789.11 s]
/proc/loadavg: 1.04 0.99 0.93 2/64 10754
/proc/meminfo: memFree=1024432/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=556060 CPUtime=1788.46
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 103003 0 0 0 178706 140 0 0 25 0 1 0 188784788 569405440 99949 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564928 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 139015 99949 105 232 0 138780 0
Current children cumulated CPU time (s) 1788.46
Current children cumulated vsize (Kb) 556060

[startup+1790.11 s]
/proc/loadavg: 1.04 0.99 0.93 2/64 10754
/proc/meminfo: memFree=1024432/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=556060 CPUtime=1789.47
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 103005 0 0 0 178807 140 0 0 25 0 1 0 188784788 569405440 99951 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 139015 99951 105 232 0 138780 0
Current children cumulated CPU time (s) 1789.47
Current children cumulated vsize (Kb) 556060

[startup+1791.12 s]
/proc/loadavg: 1.04 0.99 0.93 2/64 10754
/proc/meminfo: memFree=1024432/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=556060 CPUtime=1790.47
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 103005 0 0 0 178907 140 0 0 25 0 1 0 188784788 569405440 99951 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 139015 99951 105 232 0 138780 0
Current children cumulated CPU time (s) 1790.47
Current children cumulated vsize (Kb) 556060

[startup+1792.12 s]
/proc/loadavg: 1.04 0.99 0.93 2/64 10754
/proc/meminfo: memFree=1024432/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=556060 CPUtime=1791.48
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 103006 0 0 0 179008 140 0 0 25 0 1 0 188784788 569405440 99952 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 139015 99952 105 232 0 138780 0
Current children cumulated CPU time (s) 1791.48
Current children cumulated vsize (Kb) 556060

[startup+1793.13 s]
/proc/loadavg: 1.03 0.99 0.93 2/64 10754
/proc/meminfo: memFree=1024432/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=556060 CPUtime=1792.48
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 103007 0 0 0 179108 140 0 0 25 0 1 0 188784788 569405440 99953 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134857060 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 139015 99953 105 232 0 138780 0
Current children cumulated CPU time (s) 1792.48
Current children cumulated vsize (Kb) 556060

[startup+1794.13 s]
/proc/loadavg: 1.03 0.99 0.93 2/64 10754
/proc/meminfo: memFree=1024368/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=556060 CPUtime=1793.48
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 103015 0 0 0 179208 140 0 0 25 0 1 0 188784788 569405440 99961 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550046 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 139015 99961 105 232 0 138780 0
Current children cumulated CPU time (s) 1793.48
Current children cumulated vsize (Kb) 556060

[startup+1795.14 s]
/proc/loadavg: 1.03 0.99 0.93 2/64 10754
/proc/meminfo: memFree=1024304/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=556192 CPUtime=1794.49
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 103044 0 0 0 179309 140 0 0 25 0 1 0 188784788 569540608 99990 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 139048 99990 105 232 0 138813 0
Current children cumulated CPU time (s) 1794.49
Current children cumulated vsize (Kb) 556192

[startup+1796.14 s]
/proc/loadavg: 1.03 0.99 0.93 2/64 10754
/proc/meminfo: memFree=1024304/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=556192 CPUtime=1795.49
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 103045 0 0 0 179409 140 0 0 25 0 1 0 188784788 569540608 99991 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 139048 99991 105 232 0 138813 0
Current children cumulated CPU time (s) 1795.49
Current children cumulated vsize (Kb) 556192

[startup+1797.15 s]
/proc/loadavg: 1.03 0.99 0.93 2/64 10754
/proc/meminfo: memFree=1024240/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=556192 CPUtime=1796.49
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 103047 0 0 0 179509 140 0 0 25 0 1 0 188784788 569540608 99993 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549536 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 139048 99993 105 232 0 138813 0
Current children cumulated CPU time (s) 1796.49
Current children cumulated vsize (Kb) 556192

[startup+1798.15 s]
/proc/loadavg: 1.03 0.99 0.93 2/64 10754
/proc/meminfo: memFree=1024240/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=556192 CPUtime=1797.5
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 103053 0 0 0 179610 140 0 0 25 0 1 0 188784788 569540608 99999 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550844 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 139048 99999 105 232 0 138813 0
Current children cumulated CPU time (s) 1797.5
Current children cumulated vsize (Kb) 556192

[startup+1799.16 s]
/proc/loadavg: 1.03 0.99 0.93 2/64 10754
/proc/meminfo: memFree=1024176/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=556192 CPUtime=1798.5
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 103066 0 0 0 179710 140 0 0 25 0 1 0 188784788 569540608 100012 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 139048 100012 105 232 0 138813 0
Current children cumulated CPU time (s) 1798.5
Current children cumulated vsize (Kb) 556192

[startup+1800.16 s]
/proc/loadavg: 1.03 0.99 0.93 2/64 10754
/proc/meminfo: memFree=1024176/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=556192 CPUtime=1799.51
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 103067 0 0 0 179810 141 0 0 25 0 1 0 188784788 569540608 100013 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 139048 100013 105 232 0 138813 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (Kb) 556192

[startup+1801.16 s]
/proc/loadavg: 1.03 0.99 0.93 2/64 10754
/proc/meminfo: memFree=1024176/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=556192 CPUtime=1800.52
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 103068 0 0 0 179911 141 0 0 25 0 1 0 188784788 569540608 100014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 139048 100014 105 232 0 138813 0
Current children cumulated CPU time (s) 1800.52
Current children cumulated vsize (Kb) 556192



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.17 s]
/proc/loadavg: 1.03 0.99 0.93 2/64 10754
/proc/meminfo: memFree=1024176/2055920 swapFree=4181400/4192956
[pid=10559] ppid=10557 vsize=556192 CPUtime=1800.52
/proc/10559/stat : 10559 (PBS4L) R 10557 10559 10514 0 -1 4194304 103068 0 0 0 179911 141 0 0 25 0 1 0 188784788 569540608 100014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134594616 0 0 4096 0 0 0 0 17 1 0 0
/proc/10559/statm: 139048 100014 105 232 0 138813 0
Current children cumulated CPU time (s) 1800.52
Current children cumulated vsize (Kb) 556192

Sending SIGTERM to -10559
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.24
CPU time (s): 1800.59
CPU user time (s): 1799.12
CPU system time (s): 1.47478
CPU usage (%): 99.9642
Max. virtual memory (cumulated for all children) (Kb): 556192
The end

Launcher Data (download as text)

Begin job on node44 on Fri Jun  2 06:52:59 UTC 2006


FILE ID= 41100-1149231179

PBS_JOBID= 296457

BENCH NAME= ROOT/tmp/node44/41100-1149231179/instance-41100-1149231179.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node44/41100-1149231179/instance-41100-1149231179.opb 40319760
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node44/watcher-41100-1149231179 -o ROOT/results/node44/solver-41100-1149231179 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node44/41100-1149231179/instance-41100-1149231179.opb 40319760

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  0d2d0c8fcbbf85b522a59ecd3e43cd8e

RANDOM SEED= 40319760


/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:       1426104 kB
Buffers:         22172 kB
Cached:         536020 kB
SwapCached:       3488 kB
Active:          65560 kB
Inactive:       501616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1426104 kB
SwapTotal:     4192956 kB
SwapFree:      4181400 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          14936 kB
Slab:            48620 kB
Committed_AS:   216776 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node44 on Fri Jun  2 07:23:01 UTC 2006