Trace number 41097

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.52 1801.25

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb
MD5SUM3df4b6f92f1f3083d4934635de2b04ef
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.048991
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables2280
Total number of constraints1636
Number of constraints which are clauses1558
Number of constraints which are cardinality constraints (but not clauses)78
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint40
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 41
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/node77/41097-1149230955/instance-41097-1149230955.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/node77/watcher-41097-1149230955 -o ROOT/results/node77/solver-41097-1149230955 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node77/41097-1149230955/instance-41097-1149230955.opb 792588085 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.97 0.91 2/67 26084
/proc/meminfo: memFree=1660312/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=1616 CPUtime=0
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 218 0 0 0 0 0 0 0 19 0 1 0 188734703 1654784 203 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 404 203 100 232 0 169 0

[startup+10.0017 s]
/proc/loadavg: 0.93 0.97 0.91 2/67 26084
/proc/meminfo: memFree=1633112/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=38456 CPUtime=9.99
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 6946 0 0 0 982 17 0 0 25 0 1 0 188734703 39378944 6874 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551987 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 9614 6874 105 232 0 9379 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 38456

[startup+20.0069 s]
/proc/loadavg: 0.94 0.97 0.91 2/67 26084
/proc/meminfo: memFree=1622752/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=40852 CPUtime=19.99
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 9643 0 0 0 1955 44 0 0 25 0 1 0 188734703 41832448 9474 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 10213 9474 105 232 0 9978 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 40852

[startup+30.0132 s]
/proc/loadavg: 0.95 0.97 0.91 2/67 26084
/proc/meminfo: memFree=1621472/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=42664 CPUtime=29.99
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 10142 0 0 0 2940 59 0 0 25 0 1 0 188734703 43687936 9780 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559006 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 10666 9780 105 232 0 10431 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 42664

[startup+40.0194 s]
/proc/loadavg: 0.96 0.97 0.91 2/67 26084
/proc/meminfo: memFree=1620000/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=44056 CPUtime=40
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 10523 0 0 0 3925 75 0 0 25 0 1 0 188734703 45113344 10161 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 11014 10161 105 232 0 10779 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 44056

[startup+50.0257 s]
/proc/loadavg: 0.96 0.97 0.91 2/67 26084
/proc/meminfo: memFree=1619488/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=44408 CPUtime=50
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 10650 0 0 0 4914 86 0 0 25 0 1 0 188734703 45473792 10288 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 11102 10288 105 232 0 10867 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 44408

[startup+60.0319 s]
/proc/loadavg: 0.97 0.97 0.91 2/67 26084
/proc/meminfo: memFree=1614240/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=77832 CPUtime=60.01
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 11968 0 0 0 5913 88 0 0 25 0 1 0 188734703 79699968 11606 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 19458 11606 105 232 0 19223 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 77832

[startup+70.0372 s]
/proc/loadavg: 0.97 0.97 0.91 2/67 26084
/proc/meminfo: memFree=1585312/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=80372 CPUtime=70.01
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 19179 0 0 0 6910 91 0 0 25 0 1 0 188734703 82300928 18817 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564928 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 20093 18817 105 232 0 19858 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 80372

[startup+80.0434 s]
/proc/loadavg: 0.98 0.97 0.91 2/67 26084
/proc/meminfo: memFree=1561248/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=147356 CPUtime=80.01
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 25183 0 0 0 7906 95 0 0 25 0 1 0 188734703 150892544 24821 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134561665 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 36839 24821 105 232 0 36604 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 147356

[startup+90.0496 s]
/proc/loadavg: 0.98 0.97 0.91 2/67 26084
/proc/meminfo: memFree=1548000/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=152736 CPUtime=90.02
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 28873 0 0 0 8904 98 0 0 25 0 1 0 188734703 156401664 28126 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134585352 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 38184 28126 105 232 0 37949 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 152736

[startup+100.056 s]
/proc/loadavg: 0.98 0.97 0.91 2/67 26084
/proc/meminfo: memFree=1534432/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=155396 CPUtime=100.02
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 32265 0 0 0 9902 100 0 0 25 0 1 0 188734703 159125504 31518 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 38849 31518 105 232 0 38614 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 155396

[startup+110.062 s]
/proc/loadavg: 0.98 0.97 0.91 2/67 26084
/proc/meminfo: memFree=1519072/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=156948 CPUtime=110.02
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 36083 0 0 0 10900 102 0 0 25 0 1 0 188734703 160714752 35336 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 39237 35336 105 232 0 39002 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 156948

[startup+120.068 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26084
/proc/meminfo: memFree=1497120/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=291204 CPUtime=120.02
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 41492 0 0 0 11897 105 0 0 25 0 1 0 188734703 298192896 40745 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564915 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 72801 40745 105 232 0 72566 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 291204

[startup+130.074 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26084
/proc/meminfo: memFree=1484960/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=295924 CPUtime=130.02
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 44536 0 0 0 12896 106 0 0 25 0 1 0 188734703 303026176 43789 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550028 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 73981 43789 105 232 0 73746 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 295924

[startup+140.079 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26084
/proc/meminfo: memFree=1475104/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=299604 CPUtime=140.04
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 46993 0 0 0 13895 109 0 0 25 0 1 0 188734703 306794496 46246 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 74901 46246 105 232 0 74666 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 299604

[startup+150.085 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26084
/proc/meminfo: memFree=1457184/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=304180 CPUtime=150.04
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 51452 0 0 0 14893 111 0 0 25 0 1 0 188734703 311480320 50705 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559012 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 76045 50705 105 232 0 75810 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 304180

[startup+160.091 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26084
/proc/meminfo: memFree=1448352/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=305128 CPUtime=160.04
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 53672 0 0 0 15892 112 0 0 25 0 1 0 188734703 312451072 52925 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564928 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 76282 52925 105 232 0 76047 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 305128

[startup+170.098 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26084
/proc/meminfo: memFree=1444640/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=307624 CPUtime=170.04
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 54590 0 0 0 16891 113 0 0 25 0 1 0 188734703 315006976 53843 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 76906 53843 105 232 0 76671 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 307624

[startup+180.104 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26084
/proc/meminfo: memFree=1442016/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=310496 CPUtime=180.04
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 55238 0 0 0 17890 114 0 0 25 0 1 0 188734703 317947904 54491 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 77624 54491 105 232 0 77389 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 310496

[startup+190.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26084
/proc/meminfo: memFree=1439008/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=313536 CPUtime=190.05
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 56005 0 0 0 18890 115 0 0 25 0 1 0 188734703 321060864 55258 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611861 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 78384 55258 105 232 0 78149 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 313536

[startup+200.115 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26084
/proc/meminfo: memFree=1425824/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=317600 CPUtime=200.05
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 59299 0 0 0 19887 118 0 0 25 0 1 0 188734703 325222400 58552 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 79400 58552 105 232 0 79165 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 317600

[startup+210.122 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26084
/proc/meminfo: memFree=1413984/2055892 swapFree=4085336/4096564

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

/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111728 0 0 0 177927 208 0 0 25 0 1 0 188734703 571256832 108675 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549052 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 139467 108675 105 232 0 139232 0
Current children cumulated CPU time (s) 1781.35
Current children cumulated vsize (Kb) 557868

[startup+1783.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26279
/proc/meminfo: memFree=1224224/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=557868 CPUtime=1782.36
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111730 0 0 0 178028 208 0 0 25 0 1 0 188734703 571256832 108677 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552747 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 139467 108677 105 232 0 139232 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (Kb) 557868

[startup+1784.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26279
/proc/meminfo: memFree=1224224/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=557868 CPUtime=1783.36
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111731 0 0 0 178128 208 0 0 25 0 1 0 188734703 571256832 108678 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 139467 108678 105 232 0 139232 0
Current children cumulated CPU time (s) 1783.36
Current children cumulated vsize (Kb) 557868

[startup+1785.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26279
/proc/meminfo: memFree=1224224/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=557868 CPUtime=1784.37
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111731 0 0 0 178229 208 0 0 25 0 1 0 188734703 571256832 108678 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134548993 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 139467 108678 105 232 0 139232 0
Current children cumulated CPU time (s) 1784.37
Current children cumulated vsize (Kb) 557868

[startup+1786.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26279
/proc/meminfo: memFree=1224224/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=557868 CPUtime=1785.37
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111732 0 0 0 178329 208 0 0 25 0 1 0 188734703 571256832 108679 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 139467 108679 105 232 0 139232 0
Current children cumulated CPU time (s) 1785.37
Current children cumulated vsize (Kb) 557868

[startup+1787.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26279
/proc/meminfo: memFree=1224224/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=557868 CPUtime=1786.37
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111734 0 0 0 178429 208 0 0 25 0 1 0 188734703 571256832 108681 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 139467 108681 105 232 0 139232 0
Current children cumulated CPU time (s) 1786.37
Current children cumulated vsize (Kb) 557868

[startup+1788.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26279
/proc/meminfo: memFree=1224160/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=557868 CPUtime=1787.38
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111739 0 0 0 178530 208 0 0 25 0 1 0 188734703 571256832 108686 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550761 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 139467 108686 105 232 0 139232 0
Current children cumulated CPU time (s) 1787.38
Current children cumulated vsize (Kb) 557868

[startup+1789.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26279
/proc/meminfo: memFree=1224160/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=557868 CPUtime=1788.38
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111746 0 0 0 178630 208 0 0 25 0 1 0 188734703 571256832 108693 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564924 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 139467 108693 105 232 0 139232 0
Current children cumulated CPU time (s) 1788.38
Current children cumulated vsize (Kb) 557868

[startup+1790.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26279
/proc/meminfo: memFree=1224160/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=557868 CPUtime=1789.39
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111747 0 0 0 178731 208 0 0 25 0 1 0 188734703 571256832 108694 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 139467 108694 105 232 0 139232 0
Current children cumulated CPU time (s) 1789.39
Current children cumulated vsize (Kb) 557868

[startup+1791.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26279
/proc/meminfo: memFree=1224160/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=557868 CPUtime=1790.39
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111748 0 0 0 178831 208 0 0 25 0 1 0 188734703 571256832 108695 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 139467 108695 105 232 0 139232 0
Current children cumulated CPU time (s) 1790.39
Current children cumulated vsize (Kb) 557868

[startup+1792.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26279
/proc/meminfo: memFree=1224160/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=557868 CPUtime=1791.39
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111749 0 0 0 178931 208 0 0 25 0 1 0 188734703 571256832 108696 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559035 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 139467 108696 105 232 0 139232 0
Current children cumulated CPU time (s) 1791.39
Current children cumulated vsize (Kb) 557868

[startup+1793.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26279
/proc/meminfo: memFree=1224096/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=557868 CPUtime=1792.41
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111751 0 0 0 179032 209 0 0 25 0 1 0 188734703 571256832 108698 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 139467 108698 105 232 0 139232 0
Current children cumulated CPU time (s) 1792.41
Current children cumulated vsize (Kb) 557868

[startup+1794.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26279
/proc/meminfo: memFree=1224096/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=557868 CPUtime=1793.41
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111752 0 0 0 179132 209 0 0 25 0 1 0 188734703 571256832 108699 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 139467 108699 105 232 0 139232 0
Current children cumulated CPU time (s) 1793.41
Current children cumulated vsize (Kb) 557868

[startup+1795.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26279
/proc/meminfo: memFree=1224096/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=557868 CPUtime=1794.42
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111754 0 0 0 179233 209 0 0 25 0 1 0 188734703 571256832 108701 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 139467 108701 105 232 0 139232 0
Current children cumulated CPU time (s) 1794.42
Current children cumulated vsize (Kb) 557868

[startup+1796.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26279
/proc/meminfo: memFree=1224096/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=557868 CPUtime=1795.42
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111754 0 0 0 179333 209 0 0 25 0 1 0 188734703 571256832 108701 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 139467 108701 105 232 0 139232 0
Current children cumulated CPU time (s) 1795.42
Current children cumulated vsize (Kb) 557868

[startup+1797.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26279
/proc/meminfo: memFree=1224096/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=557868 CPUtime=1796.42
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111755 0 0 0 179433 209 0 0 25 0 1 0 188734703 571256832 108702 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 139467 108702 105 232 0 139232 0
Current children cumulated CPU time (s) 1796.42
Current children cumulated vsize (Kb) 557868

[startup+1798.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26279
/proc/meminfo: memFree=1224096/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=557868 CPUtime=1797.43
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111757 0 0 0 179534 209 0 0 25 0 1 0 188734703 571256832 108704 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134561166 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 139467 108704 105 232 0 139232 0
Current children cumulated CPU time (s) 1797.43
Current children cumulated vsize (Kb) 557868

[startup+1799.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26279
/proc/meminfo: memFree=1224096/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=557868 CPUtime=1798.43
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111758 0 0 0 179634 209 0 0 25 0 1 0 188734703 571256832 108705 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558818 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 139467 108705 105 232 0 139232 0
Current children cumulated CPU time (s) 1798.43
Current children cumulated vsize (Kb) 557868

[startup+1800.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26279
/proc/meminfo: memFree=1224096/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=557868 CPUtime=1799.43
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111762 0 0 0 179734 209 0 0 25 0 1 0 188734703 571256832 108709 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611848 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 139467 108709 105 232 0 139232 0
Current children cumulated CPU time (s) 1799.43
Current children cumulated vsize (Kb) 557868

[startup+1801.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26279
/proc/meminfo: memFree=1224032/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=557868 CPUtime=1800.44
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111769 0 0 0 179835 209 0 0 25 0 1 0 188734703 571256832 108716 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 139467 108716 105 232 0 139232 0
Current children cumulated CPU time (s) 1800.44
Current children cumulated vsize (Kb) 557868



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26279
/proc/meminfo: memFree=1224032/2055892 swapFree=4085336/4096564
[pid=26084] ppid=26082 vsize=557868 CPUtime=1800.44
/proc/26084/stat : 26084 (PBS4L) R 26082 26084 26039 0 -1 4194304 111769 0 0 0 179835 209 0 0 25 0 1 0 188734703 571256832 108716 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/26084/statm: 139467 108716 105 232 0 139232 0
Current children cumulated CPU time (s) 1800.44
Current children cumulated vsize (Kb) 557868

Sending SIGTERM to -26084
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.25
CPU time (s): 1800.52
CPU user time (s): 1798.36
CPU system time (s): 2.15767
CPU usage (%): 99.9593
Max. virtual memory (cumulated for all children) (Kb): 557868
The end

Launcher Data (download as text)

Begin job on node77 on Fri Jun  2 06:49:15 UTC 2006


FILE ID= 41097-1149230955

PBS_JOBID= 296422

BENCH NAME= ROOT/tmp/node77/41097-1149230955/instance-41097-1149230955.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node77/41097-1149230955/instance-41097-1149230955.opb 792588085
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node77/watcher-41097-1149230955 -o ROOT/results/node77/solver-41097-1149230955 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node77/41097-1149230955/instance-41097-1149230955.opb 792588085

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  3df4b6f92f1f3083d4934635de2b04ef

RANDOM SEED= 792588085


/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.238
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	: 6006.16
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.238
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	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1660520 kB
Buffers:         33336 kB
Cached:         295384 kB
SwapCached:       2644 kB
Active:          96876 kB
Inactive:       240672 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1660520 kB
SwapTotal:     4096564 kB
SwapFree:      4085336 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          16108 kB
Slab:            44472 kB
Committed_AS:   229416 kB
PageTables:       1276 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node77 on Fri Jun  2 07:19:16 UTC 2006