Trace number 41166

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.1LUNSAT 304.332 304.418

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.8.accl.ucl.opb
MD5SUMb2fe1642a1ae97e0b20cfe37f07bcc49
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark304.332
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables21380
Total number of constraints60984
Number of constraints which are clauses58828
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2156
Minimum length of a constraint1
Maximum length of a constraint13
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 73
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 262
Number of bits of the biggest sum of numbers9
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/node92/41166-1149239849/instance-41166-1149239849.opb ......
304.39	c done parsing opb.
304.39	s UNSATISFIABLE
304.39	c Total Run Time					303.651

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/node92/watcher-41166-1149239849 -o ROOT/results/node92/solver-41166-1149239849 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node92/41166-1149239849/instance-41166-1149239849.opb 688054818 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.97 0.96 3/67 21971
/proc/meminfo: memFree=1397304/2055892 swapFree=4084900/4096564
[pid=21971] ppid=21969 vsize=3408 CPUtime=0
/proc/21971/stat : 21971 (PBS4L) R 21969 21971 21926 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 189623803 3489792 249 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0
/proc/21971/statm: 852 251 91 232 0 617 0

[startup+10.002 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21971
/proc/meminfo: memFree=1383480/2055892 swapFree=4084900/4096564
[pid=21971] ppid=21969 vsize=17460 CPUtime=9.99
/proc/21971/stat : 21971 (PBS4L) R 21969 21971 21926 0 -1 4194304 4590 0 0 0 992 7 0 0 25 0 1 0 189623803 17879040 3516 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552724 0 0 4096 0 0 0 0 17 1 0 0
/proc/21971/statm: 4365 3516 105 232 0 4130 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 17460

[startup+20.0083 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21971
/proc/meminfo: memFree=1380800/2055892 swapFree=4084900/4096564
[pid=21971] ppid=21969 vsize=22476 CPUtime=19.99
/proc/21971/stat : 21971 (PBS4L) R 21969 21971 21926 0 -1 4194304 5895 0 0 0 1987 12 0 0 25 0 1 0 189623803 23015424 4275 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21971/statm: 5619 4275 105 232 0 5384 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 22476

[startup+30.0146 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21971
/proc/meminfo: memFree=1378752/2055892 swapFree=4084900/4096564
[pid=21971] ppid=21969 vsize=23056 CPUtime=30
/proc/21971/stat : 21971 (PBS4L) R 21969 21971 21926 0 -1 4194304 6838 0 0 0 2984 16 0 0 25 0 1 0 189623803 23609344 4756 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21971/statm: 5764 4756 105 232 0 5529 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 23056

[startup+40.0209 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21971
/proc/meminfo: memFree=1377280/2055892 swapFree=4084900/4096564
[pid=21971] ppid=21969 vsize=23524 CPUtime=40
/proc/21971/stat : 21971 (PBS4L) R 21969 21971 21926 0 -1 4194304 7570 0 0 0 3980 20 0 0 25 0 1 0 189623803 24088576 5152 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/21971/statm: 5881 5152 105 232 0 5646 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 23524

[startup+50.0282 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21971
/proc/meminfo: memFree=1373696/2055892 swapFree=4084900/4096564
[pid=21971] ppid=21969 vsize=32136 CPUtime=50.01
/proc/21971/stat : 21971 (PBS4L) R 21969 21971 21926 0 -1 4194304 8780 0 0 0 4976 25 0 0 25 0 1 0 189623803 32907264 6026 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21971/statm: 8034 6026 105 232 0 7799 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 32136

[startup+60.0335 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21971
/proc/meminfo: memFree=1373056/2055892 swapFree=4084900/4096564
[pid=21971] ppid=21969 vsize=32416 CPUtime=60.01
/proc/21971/stat : 21971 (PBS4L) R 21969 21971 21926 0 -1 4194304 9333 0 0 0 5973 28 0 0 25 0 1 0 189623803 33193984 6201 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21971/statm: 8104 6201 105 232 0 7869 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 32416

[startup+70.0398 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21971
/proc/meminfo: memFree=1372544/2055892 swapFree=4084900/4096564
[pid=21971] ppid=21969 vsize=32548 CPUtime=70.01
/proc/21971/stat : 21971 (PBS4L) R 21969 21971 21926 0 -1 4194304 9765 0 0 0 6970 31 0 0 25 0 1 0 189623803 33329152 6339 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/21971/statm: 8137 6339 105 232 0 7902 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 32548

[startup+80.0461 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21971
/proc/meminfo: memFree=1368704/2055892 swapFree=4084900/4096564
[pid=21971] ppid=21969 vsize=32972 CPUtime=80.01
/proc/21971/stat : 21971 (PBS4L) R 21969 21971 21926 0 -1 4194304 11087 0 0 0 7966 35 0 0 25 0 1 0 189623803 33763328 7325 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21971/statm: 8243 7325 105 232 0 8008 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 32972

[startup+90.0524 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21971
/proc/meminfo: memFree=1363840/2055892 swapFree=4084900/4096564
[pid=21971] ppid=21969 vsize=49628 CPUtime=90.02
/proc/21971/stat : 21971 (PBS4L) R 21969 21971 21926 0 -1 4194304 12664 0 0 0 8963 39 0 0 25 0 1 0 189623803 50819072 8524 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546536 0 0 4096 0 0 0 0 17 1 0 0
/proc/21971/statm: 12407 8524 105 232 0 12172 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 49628

[startup+100.059 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21971
/proc/meminfo: memFree=1361280/2055892 swapFree=4084900/4096564
[pid=21971] ppid=21969 vsize=50240 CPUtime=100.02
/proc/21971/stat : 21971 (PBS4L) R 21969 21971 21926 0 -1 4194304 13615 0 0 0 9960 42 0 0 25 0 1 0 189623803 51445760 9139 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21971/statm: 12560 9139 105 232 0 12325 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 50240

[startup+110.065 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21971
/proc/meminfo: memFree=1358784/2055892 swapFree=4084900/4096564
[pid=21971] ppid=21969 vsize=53492 CPUtime=110.02
/proc/21971/stat : 21971 (PBS4L) R 21969 21971 21926 0 -1 4194304 15256 0 0 0 10957 45 0 0 25 0 1 0 189623803 54775808 9759 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546536 0 0 4096 0 0 0 0 17 1 0 0
/proc/21971/statm: 13373 9759 105 232 0 13138 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 53492

[startup+120.071 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21971
/proc/meminfo: memFree=1354304/2055892 swapFree=4084900/4096564
[pid=21971] ppid=21969 vsize=53800 CPUtime=120.03
/proc/21971/stat : 21971 (PBS4L) R 21969 21971 21926 0 -1 4194304 16700 0 0 0 11954 49 0 0 25 0 1 0 189623803 55091200 10867 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21971/statm: 13450 10867 105 232 0 13215 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 53800

[startup+130.078 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21971
/proc/meminfo: memFree=1350976/2055892 swapFree=4084900/4096564
[pid=21971] ppid=21969 vsize=53992 CPUtime=130.03
/proc/21971/stat : 21971 (PBS4L) R 21969 21971 21926 0 -1 4194304 17773 0 0 0 12951 52 0 0 25 0 1 0 189623803 55287808 11688 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552218 0 0 4096 0 0 0 0 17 1 0 0
/proc/21971/statm: 13498 11688 105 232 0 13263 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 53992

[startup+140.084 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21971
/proc/meminfo: memFree=1346048/2055892 swapFree=4084900/4096564
[pid=21971] ppid=21969 vsize=86928 CPUtime=140.04
/proc/21971/stat : 21971 (PBS4L) R 21969 21971 21926 0 -1 4194304 19295 0 0 0 13948 56 0 0 25 0 1 0 189623803 89014272 12958 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21971/statm: 21732 12958 105 232 0 21497 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 86928

[startup+150.09 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21971
/proc/meminfo: memFree=1339904/2055892 swapFree=4084900/4096564
[pid=21971] ppid=21969 vsize=87064 CPUtime=150.04
/proc/21971/stat : 21971 (PBS4L) R 21969 21971 21926 0 -1 4194304 20965 0 0 0 14945 59 0 0 25 0 1 0 189623803 89153536 14460 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21971/statm: 21766 14460 105 232 0 21531 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 87064

[startup+160.096 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21971
/proc/meminfo: memFree=1339520/2055892 swapFree=4084900/4096564
[pid=21971] ppid=21969 vsize=87436 CPUtime=160.04
/proc/21971/stat : 21971 (PBS4L) R 21969 21971 21926 0 -1 4194304 21312 0 0 0 15942 62 0 0 25 0 1 0 189623803 89534464 14555 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21971/statm: 21859 14555 105 232 0 21624 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 87436

[startup+170.103 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21971
/proc/meminfo: memFree=1339136/2055892 swapFree=4084900/4096564
[pid=21971] ppid=21969 vsize=87812 CPUtime=170.05
/proc/21971/stat : 21971 (PBS4L) R 21969 21971 21926 0 -1 4194304 21608 0 0 0 16940 65 0 0 25 0 1 0 189623803 89919488 14641 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/21971/statm: 21953 14641 105 232 0 21718 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 87812

[startup+180.108 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21971
/proc/meminfo: memFree=1335808/2055892 swapFree=4084900/4096564
[pid=21971] ppid=21969 vsize=87980 CPUtime=180.06
/proc/21971/stat : 21971 (PBS4L) R 21969 21971 21926 0 -1 4194304 22741 0 0 0 17938 68 0 0 25 0 1 0 189623803 90091520 15522 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0
/proc/21971/statm: 21995 15522 105 232 0 21760 0
Current children cumulated CPU time (s) 180.06
Current children cumulated vsize (Kb) 87980

[startup+190.114 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21971
/proc/meminfo: memFree=1329280/2055892 swapFree=4084900/4096564
[pid=21971] ppid=21969 vsize=88188 CPUtime=190.05
/proc/21971/stat : 21971 (PBS4L) R 21969 21971 21926 0 -1 4194304 24613 0 0 0 18935 70 0 0 25 0 1 0 189623803 90304512 17142 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21971/statm: 22047 17142 105 232 0 21812 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 88188

[startup+200.121 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21971
/proc/meminfo: memFree=1322752/2055892 swapFree=4084900/4096564
[pid=21971] ppid=21969 vsize=88500 CPUtime=200.06
/proc/21971/stat : 21971 (PBS4L) R 21969 21971 21926 0 -1 4194304 26450 0 0 0 19933 73 0 0 25 0 1 0 189623803 90624000 18727 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 1 0 0
/proc/21971/statm: 22125 18727 105 232 0 21890 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 88500

[startup+210.127 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21971
/proc/meminfo: memFree=1315328/2055892 swapFree=4084900/4096564
[pid=21971] ppid=21969 vsize=88500 CPUtime=210.06
/proc/21971/stat : 21971 (PBS4L) R 21969 21971 21926 0 -1 4194304 28596 0 0 0 20929 77 0 0 25 0 1 0 189623803 90624000 20579 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/21971/statm: 22125 20579 105 232 0 21890 0
Current children cumulated CPU time (s) 210.06
Current children cumulated vsize (Kb) 88500

[startup+220.133 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21971
/proc/meminfo: memFree=1315136/2055892 swapFree=4084900/4096564
[pid=21971] ppid=21969 vsize=88720 CPUtime=220.06
/proc/21971/stat : 21971 (PBS4L) R 21969 21971 21926 0 -1 4194304 28865 0 0 0 21927 79 0 0 25 0 1 0 189623803 90849280 20638 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21971/statm: 22180 20638 105 232 0 21945 0
Current children cumulated CPU time (s) 220.06
Current children cumulated vsize (Kb) 88720

[startup+230.14 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21971
/proc/meminfo: memFree=1314816/2055892 swapFree=4084900/4096564
[pid=21971] ppid=21969 vsize=88984 CPUtime=230.06
/proc/21971/stat : 21971 (PBS4L) R 21969 21971 21926 0 -1 4194304 29234 0 0 0 22925 81 0 0 25 0 1 0 189623803 91119616 20713 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21971/statm: 22246 20713 105 232 0 22011 0
Current children cumulated CPU time (s) 230.06
Current children cumulated vsize (Kb) 88984

[startup+240.145 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21971
/proc/meminfo: memFree=1309120/2055892 swapFree=4084900/4096564
[pid=21971] ppid=21969 vsize=154520 CPUtime=240.07
/proc/21971/stat : 21971 (PBS4L) R 21969 21971 21926 0 -1 4194304 30911 0 0 0 23921 86 0 0 25 0 1 0 189623803 158228480 22138 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552786 0 0 4096 0 0 0 0 17 1 0 0
/proc/21971/statm: 38630 22138 105 232 0 38395 0
Current children cumulated CPU time (s) 240.07
Current children cumulated vsize (Kb) 154520

[startup+250.151 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21971
/proc/meminfo: memFree=1302720/2055892 swapFree=4084900/4096564
[pid=21971] ppid=21969 vsize=155024 CPUtime=250.07
/proc/21971/stat : 21971 (PBS4L) R 21969 21971 21926 0 -1 4194304 32712 0 0 0 24917 90 0 0 25 0 1 0 189623803 158744576 23771 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550808 0 0 4096 0 0 0 0 17 1 0 0
/proc/21971/statm: 38756 23771 105 232 0 38521 0
Current children cumulated CPU time (s) 250.07
Current children cumulated vsize (Kb) 155024

[startup+260.157 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21971
/proc/meminfo: memFree=1292096/2055892 swapFree=4084900/4096564
[pid=21971] ppid=21969 vsize=155184 CPUtime=260.08
/proc/21971/stat : 21971 (PBS4L) R 21969 21971 21926 0 -1 4194304 35546 0 0 0 25915 93 0 0 25 0 1 0 189623803 158908416 26395 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552079 0 0 4096 0 0 0 0 17 1 0 0
/proc/21971/statm: 38796 26395 105 232 0 38561 0
Current children cumulated CPU time (s) 260.08
Current children cumulated vsize (Kb) 155184

[startup+270.164 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21971
/proc/meminfo: memFree=1291712/2055892 swapFree=4084900/4096564
[pid=21971] ppid=21969 vsize=155432 CPUtime=270.08
/proc/21971/stat : 21971 (PBS4L) R 21969 21971 21926 0 -1 4194304 35882 0 0 0 26913 95 0 0 25 0 1 0 189623803 159162368 26479 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21971/statm: 38858 26479 105 232 0 38623 0
Current children cumulated CPU time (s) 270.08
Current children cumulated vsize (Kb) 155432

[startup+280.17 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21971
/proc/meminfo: memFree=1291392/2055892 swapFree=4084900/4096564
[pid=21971] ppid=21969 vsize=155860 CPUtime=280.09
/proc/21971/stat : 21971 (PBS4L) R 21969 21971 21926 0 -1 4194304 36229 0 0 0 27911 98 0 0 25 0 1 0 189623803 159600640 26574 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546663 0 0 4096 0 0 0 0 17 1 0 0
/proc/21971/statm: 38965 26574 105 232 0 38730 0
Current children cumulated CPU time (s) 280.09
Current children cumulated vsize (Kb) 155860

[startup+290.177 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21971
/proc/meminfo: memFree=1290368/2055892 swapFree=4084900/4096564
[pid=21971] ppid=21969 vsize=156836 CPUtime=290.09
/proc/21971/stat : 21971 (PBS4L) R 21969 21971 21926 0 -1 4194304 36716 0 0 0 28908 101 0 0 25 0 1 0 189623803 160600064 26809 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/21971/statm: 39209 26809 105 232 0 38974 0
Current children cumulated CPU time (s) 290.09
Current children cumulated vsize (Kb) 156836

[startup+300.183 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21971
/proc/meminfo: memFree=1290112/2055892 swapFree=4084900/4096564
[pid=21971] ppid=21969 vsize=156836 CPUtime=300.09
/proc/21971/stat : 21971 (PBS4L) R 21969 21971 21926 0 -1 4194304 37075 0 0 0 29906 103 0 0 25 0 1 0 189623803 160600064 26874 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0
/proc/21971/statm: 39209 26874 105 232 0 38974 0
Current children cumulated CPU time (s) 300.09
Current children cumulated vsize (Kb) 156836

Child status: 0
Real time (s): 304.418
CPU time (s): 304.332
CPU user time (s): 303.268
CPU system time (s): 1.06384
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (Kb): 156836

Launcher Data (download as text)

Begin job on node92 on Fri Jun  2 09:17:29 UTC 2006


FILE ID= 41166-1149239849

PBS_JOBID= 297317

BENCH NAME= ROOT/tmp/node92/41166-1149239849/instance-41166-1149239849.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node92/41166-1149239849/instance-41166-1149239849.opb 688054818
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node92/watcher-41166-1149239849 -o ROOT/results/node92/solver-41166-1149239849 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node92/41166-1149239849/instance-41166-1149239849.opb 688054818

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  b2fe1642a1ae97e0b20cfe37f07bcc49

RANDOM SEED= 688054818


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


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1397512 kB
Buffers:         36364 kB
Cached:         546296 kB
SwapCached:       2956 kB
Active:          43564 kB
Inactive:       547804 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1397512 kB
SwapTotal:     4096564 kB
SwapFree:      4084900 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          15188 kB
Slab:            53828 kB
Committed_AS:   247264 kB
PageTables:       1256 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node92 on Fri Jun  2 09:22:34 UTC 2006