Trace number 39701

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
bsolo 2006/05UNSAT 594.786 595.098

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv12.ucl.opb
MD5SUMbdfd22b57887b70e5df6236004ca174a
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 benchmark9.06762
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables25800
Total number of constraints76699
Number of constraints which are clauses76319
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints380
Minimum length of a constraint1
Maximum length of a constraint9
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 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 62
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 Time Limit set via PBTIMEOUT to 1800
0.06	c INFO: OSL Context initialized.
1.97	c Initial problem consists of 25800 variables and 76699 constraints.
5.17	c Using non-optimization problem switches.
5.17	c No problem reductions applied in OPT. instance.
5.17	c	preprocess terminated. Elapsed time: 5.114
5.17	c After prepocess the problem consists of 25415 variables and 75902 constraints.
7.40	c Restart #1 #Var: 25000 LB: 0 @ 7.345
12.00	c Restart #2 #Var: 25000 LB: 0 @ 11.937
14.99	c Restart #3 #Var: 25000 LB: 0 @ 14.924
19.96	c Restart #4 #Var: 25000 LB: 0 @ 19.892
24.24	c Restart #5 #Var: 25000 LB: 0 @ 24.173
27.34	c Restart #6 #Var: 25000 LB: 0 @ 27.278
42.63	c Restart #7 #Var: 24808 LB: 0 @ 42.559
79.08	c Restart #8 #Var: 24690 LB: 0 @ 78.996
120.19	c Restart #9 #Var: 24687 LB: 0 @ 120.06
149.35	c Restart #10 #Var: 24684 LB: 0 @ 149.21
177.53	c Restart #11 #Var: 23772 LB: 0 @ 177.38
215.03	c Restart #12 #Var: 23641 LB: 0 @ 214.86
245.99	c Restart #13 #Var: 23641 LB: 0 @ 245.81
277.12	c Restart #14 #Var: 23641 LB: 0 @ 276.93
310.83	c Restart #15 #Var: 23641 LB: 0 @ 310.62
351.04	c Restart #16 #Var: 23637 LB: 0 @ 350.82
389.05	c Restart #17 #Var: 23604 LB: 0 @ 388.81
422.68	c Restart #18 #Var: 22803 LB: 0 @ 422.44
481.33	c Restart #19 #Var: 22734 LB: 0 @ 481.06
545.41	c Restart #20 #Var: 22733 LB: 0 @ 545.12
569.39	c Restart #21 #Var: 22715 LB: 0 @ 569.09
595.08	s UNSATISFIABLE
595.08	c Exit Code: 20
595.08	c Total time: 594.77 s

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/node67/watcher-39701-1149235164 -o ROOT/results/node67/solver-39701-1149235164 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node67/39701-1149235164/instance-39701-1149235164.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.98 0.93 3/64 13611
/proc/meminfo: memFree=1409624/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=4932 CPUtime=0
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 366 0 0 0 0 0 0 0 19 0 1 0 189185806 5050368 330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 1233 330 226 55 0 125 0

[startup+10.0032 s]
/proc/loadavg: 0.93 0.98 0.93 2/64 13611
/proc/meminfo: memFree=1334776/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=80084 CPUtime=9.93
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 97495 0 0 0 960 33 0 0 25 0 1 0 189185806 82006016 18970 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537730 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 20021 18970 299 55 0 18913 0
Current children cumulated CPU time (s) 9.93
Current children cumulated vsize (Kb) 80084

[startup+20.01 s]
/proc/loadavg: 0.94 0.98 0.93 2/64 13611
/proc/meminfo: memFree=1334328/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=80612 CPUtime=19.94
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 97646 0 0 0 1960 34 0 0 25 0 1 0 189185806 82546688 19121 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134633157 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 20153 19121 300 55 0 19045 0
Current children cumulated CPU time (s) 19.94
Current children cumulated vsize (Kb) 80612

[startup+30.0169 s]
/proc/loadavg: 0.95 0.98 0.93 2/64 13611
/proc/meminfo: memFree=1332920/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=82064 CPUtime=29.94
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 98011 0 0 0 2960 34 0 0 25 0 1 0 189185806 84033536 19486 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540644 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 20516 19486 300 55 0 19408 0
Current children cumulated CPU time (s) 29.94
Current children cumulated vsize (Kb) 82064

[startup+40.0228 s]
/proc/loadavg: 0.95 0.98 0.93 2/64 13611
/proc/meminfo: memFree=1332216/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=82724 CPUtime=39.94
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 98185 0 0 0 3960 34 0 0 25 0 1 0 189185806 84709376 19660 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134633157 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 20681 19660 300 55 0 19573 0
Current children cumulated CPU time (s) 39.94
Current children cumulated vsize (Kb) 82724

[startup+50.0296 s]
/proc/loadavg: 0.96 0.98 0.93 2/64 13611
/proc/meminfo: memFree=1332088/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=82856 CPUtime=49.94
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 98217 0 0 0 4960 34 0 0 25 0 1 0 189185806 84844544 19692 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718653 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 20714 19692 300 55 0 19606 0
Current children cumulated CPU time (s) 49.94
Current children cumulated vsize (Kb) 82856

[startup+60.0355 s]
/proc/loadavg: 0.97 0.98 0.93 2/64 13611
/proc/meminfo: memFree=1331832/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=83120 CPUtime=59.95
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 98270 0 0 0 5960 35 0 0 25 0 1 0 189185806 85114880 19745 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541274 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 20780 19745 300 55 0 19672 0
Current children cumulated CPU time (s) 59.95
Current children cumulated vsize (Kb) 83120

[startup+70.0424 s]
/proc/loadavg: 0.97 0.98 0.93 2/64 13611
/proc/meminfo: memFree=1331832/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=83120 CPUtime=69.96
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 98283 0 0 0 6961 35 0 0 25 0 1 0 189185806 85114880 19758 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 20780 19758 300 55 0 19672 0
Current children cumulated CPU time (s) 69.96
Current children cumulated vsize (Kb) 83120

[startup+80.0493 s]
/proc/loadavg: 0.98 0.98 0.93 2/64 13611
/proc/meminfo: memFree=1331448/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=83516 CPUtime=79.96
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 98375 0 0 0 7961 35 0 0 25 0 1 0 189185806 85520384 19850 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528671 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 20879 19850 300 55 0 19771 0
Current children cumulated CPU time (s) 79.96
Current children cumulated vsize (Kb) 83516

[startup+90.0551 s]
/proc/loadavg: 0.98 0.98 0.93 2/64 13611
/proc/meminfo: memFree=1331256/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=83648 CPUtime=89.96
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 98418 0 0 0 8961 35 0 0 25 0 1 0 189185806 85655552 19893 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 20912 19893 300 55 0 19804 0
Current children cumulated CPU time (s) 89.96
Current children cumulated vsize (Kb) 83648

[startup+100.061 s]
/proc/loadavg: 0.98 0.98 0.93 2/70 13666
/proc/meminfo: memFree=1329664/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=84176 CPUtime=99.95
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 98521 0 0 0 9960 35 0 0 25 0 1 0 189185806 86196224 19996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 21044 19996 300 55 0 19936 0
Current children cumulated CPU time (s) 99.95
Current children cumulated vsize (Kb) 84176

[startup+110.068 s]
/proc/loadavg: 0.98 0.98 0.93 2/64 13806
/proc/meminfo: memFree=1330216/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=84308 CPUtime=109.93
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 98554 0 0 0 10957 36 0 0 25 0 1 0 189185806 86331392 20029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719586 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 21077 20029 300 55 0 19969 0
Current children cumulated CPU time (s) 109.93
Current children cumulated vsize (Kb) 84308

[startup+120.075 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 13806
/proc/meminfo: memFree=1330232/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=84440 CPUtime=119.93
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 98612 0 0 0 11957 36 0 0 25 0 1 0 189185806 86466560 20087 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 21110 20087 300 55 0 20002 0
Current children cumulated CPU time (s) 119.93
Current children cumulated vsize (Kb) 84440

[startup+130.081 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 13806
/proc/meminfo: memFree=1330168/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=84572 CPUtime=129.93
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 98641 0 0 0 12957 36 0 0 25 0 1 0 189185806 86601728 20116 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533852 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 21143 20116 300 55 0 20035 0
Current children cumulated CPU time (s) 129.93
Current children cumulated vsize (Kb) 84572

[startup+140.087 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 13806
/proc/meminfo: memFree=1329720/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=85100 CPUtime=139.94
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 98759 0 0 0 13957 37 0 0 25 0 1 0 189185806 87142400 20234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632964 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 21275 20234 300 55 0 20167 0
Current children cumulated CPU time (s) 139.94
Current children cumulated vsize (Kb) 85100

[startup+150.092 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 13806
/proc/meminfo: memFree=1329272/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=85496 CPUtime=149.94
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 98860 0 0 0 14957 37 0 0 25 0 1 0 189185806 87547904 20335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540653 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 21374 20335 300 55 0 20266 0
Current children cumulated CPU time (s) 149.94
Current children cumulated vsize (Kb) 85496

[startup+160.098 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 13806
/proc/meminfo: memFree=1329208/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=85628 CPUtime=159.94
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 98895 0 0 0 15957 37 0 0 25 0 1 0 189185806 87683072 20370 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524329 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 21407 20370 300 55 0 20299 0
Current children cumulated CPU time (s) 159.94
Current children cumulated vsize (Kb) 85628

[startup+170.104 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 13806
/proc/meminfo: memFree=1328888/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=85892 CPUtime=169.94
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 98969 0 0 0 16957 37 0 0 25 0 1 0 189185806 87953408 20444 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 21473 20444 300 55 0 20365 0
Current children cumulated CPU time (s) 169.94
Current children cumulated vsize (Kb) 85892

[startup+180.11 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 13806
/proc/meminfo: memFree=1328248/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=86544 CPUtime=179.95
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 99130 0 0 0 17957 38 0 0 25 0 1 0 189185806 88621056 20605 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534790 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 21636 20605 300 55 0 20528 0
Current children cumulated CPU time (s) 179.95
Current children cumulated vsize (Kb) 86544

[startup+190.116 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 13806
/proc/meminfo: memFree=1327928/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=86912 CPUtime=189.95
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 99212 0 0 0 18957 38 0 0 25 0 1 0 189185806 88997888 20687 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529139 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 21728 20687 300 55 0 20620 0
Current children cumulated CPU time (s) 189.95
Current children cumulated vsize (Kb) 86912

[startup+200.122 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 13806
/proc/meminfo: memFree=1327416/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=87440 CPUtime=199.95
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 99339 0 0 0 19957 38 0 0 25 0 1 0 189185806 89538560 20814 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 21860 20814 300 55 0 20752 0
Current children cumulated CPU time (s) 199.95
Current children cumulated vsize (Kb) 87440

[startup+210.128 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 13806
/proc/meminfo: memFree=1327416/2055920 swapFree=4181736/4192956

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

/proc/13611/statm: 23535 22516 300 55 0 22427 0
Current children cumulated CPU time (s) 380
Current children cumulated vsize (Kb) 94140

[startup+390.237 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 13806
/proc/meminfo: memFree=1319672/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=95064 CPUtime=389.99
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 101255 0 0 0 38956 43 0 0 25 0 1 0 189185806 97345536 22730 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 23766 22730 300 55 0 22658 0
Current children cumulated CPU time (s) 389.99
Current children cumulated vsize (Kb) 95064

[startup+400.244 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 13806
/proc/meminfo: memFree=1318904/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=95856 CPUtime=400
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 101451 0 0 0 39956 44 0 0 25 0 1 0 189185806 98156544 22926 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540567 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 23964 22926 300 55 0 22856 0
Current children cumulated CPU time (s) 400
Current children cumulated vsize (Kb) 95856

[startup+410.25 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 13806
/proc/meminfo: memFree=1318264/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=96508 CPUtime=410
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 101611 0 0 0 40955 45 0 0 25 0 1 0 189185806 98824192 23086 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718571 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 24127 23086 300 55 0 23019 0
Current children cumulated CPU time (s) 410
Current children cumulated vsize (Kb) 96508

[startup+420.256 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 13806
/proc/meminfo: memFree=1317944/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=96904 CPUtime=420
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 101702 0 0 0 41955 45 0 0 25 0 1 0 189185806 99229696 23177 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540647 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 24226 23177 300 55 0 23118 0
Current children cumulated CPU time (s) 420
Current children cumulated vsize (Kb) 96904

[startup+430.263 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 13806
/proc/meminfo: memFree=1317880/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=96904 CPUtime=430
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 101718 0 0 0 42955 45 0 0 25 0 1 0 189185806 99229696 23193 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541586 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 24226 23193 300 55 0 23118 0
Current children cumulated CPU time (s) 430
Current children cumulated vsize (Kb) 96904

[startup+440.269 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 13806
/proc/meminfo: memFree=1317560/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=97300 CPUtime=440
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 101811 0 0 0 43955 45 0 0 25 0 1 0 189185806 99635200 23286 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 24325 23286 300 55 0 23217 0
Current children cumulated CPU time (s) 440
Current children cumulated vsize (Kb) 97300

[startup+450.275 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 13806
/proc/meminfo: memFree=1317240/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=97564 CPUtime=450.01
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 101890 0 0 0 44955 46 0 0 25 0 1 0 189185806 99905536 23365 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 24391 23365 300 55 0 23283 0
Current children cumulated CPU time (s) 450.01
Current children cumulated vsize (Kb) 97564

[startup+460.281 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 13806
/proc/meminfo: memFree=1316856/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=98092 CPUtime=460.01
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 101998 0 0 0 45955 46 0 0 25 0 1 0 189185806 100446208 23473 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134599088 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 24523 23473 300 55 0 23415 0
Current children cumulated CPU time (s) 460.01
Current children cumulated vsize (Kb) 98092

[startup+470.287 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 13806
/proc/meminfo: memFree=1316792/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=98092 CPUtime=470.01
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 102001 0 0 0 46955 46 0 0 25 0 1 0 189185806 100446208 23476 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 24523 23476 300 55 0 23415 0
Current children cumulated CPU time (s) 470.01
Current children cumulated vsize (Kb) 98092

[startup+480.293 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 13806
/proc/meminfo: memFree=1316344/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=98488 CPUtime=480.02
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 102118 0 0 0 47955 47 0 0 25 0 1 0 189185806 100851712 23593 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 24622 23593 300 55 0 23514 0
Current children cumulated CPU time (s) 480.02
Current children cumulated vsize (Kb) 98488

[startup+490.299 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 13806
/proc/meminfo: memFree=1316280/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=98620 CPUtime=490.02
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 102137 0 0 0 48955 47 0 0 25 0 1 0 189185806 100986880 23612 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 24655 23612 300 55 0 23547 0
Current children cumulated CPU time (s) 490.02
Current children cumulated vsize (Kb) 98620

[startup+500.305 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 13806
/proc/meminfo: memFree=1316024/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=98752 CPUtime=500.03
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 102186 0 0 0 49956 47 0 0 25 0 1 0 189185806 101122048 23661 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541526 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 24688 23661 300 55 0 23580 0
Current children cumulated CPU time (s) 500.03
Current children cumulated vsize (Kb) 98752

[startup+510.311 s]
/proc/loadavg: 0.99 0.98 0.93 3/64 13806
/proc/meminfo: memFree=1315960/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=98884 CPUtime=510.02
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 102206 0 0 0 50955 47 0 0 25 0 1 0 189185806 101257216 23681 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 24721 23681 300 55 0 23613 0
Current children cumulated CPU time (s) 510.02
Current children cumulated vsize (Kb) 98884

[startup+520.317 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 13806
/proc/meminfo: memFree=1315960/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=98884 CPUtime=520.03
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 102218 0 0 0 51956 47 0 0 25 0 1 0 189185806 101257216 23693 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632832 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 24721 23693 300 55 0 23613 0
Current children cumulated CPU time (s) 520.03
Current children cumulated vsize (Kb) 98884

[startup+530.322 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 13806
/proc/meminfo: memFree=1315384/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=99412 CPUtime=530.03
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 102352 0 0 0 52956 47 0 0 25 0 1 0 189185806 101797888 23827 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632832 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 24853 23827 300 55 0 23745 0
Current children cumulated CPU time (s) 530.03
Current children cumulated vsize (Kb) 99412

[startup+540.328 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 13806
/proc/meminfo: memFree=1314808/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=100068 CPUtime=540.03
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 102496 0 0 0 53955 48 0 0 25 0 1 0 189185806 102469632 23971 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 25017 23971 300 55 0 23909 0
Current children cumulated CPU time (s) 540.03
Current children cumulated vsize (Kb) 100068

[startup+550.334 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 13806
/proc/meminfo: memFree=1314680/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=100200 CPUtime=550.03
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 102527 0 0 0 54955 48 0 0 25 0 1 0 189185806 102604800 24002 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718653 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 25050 24002 300 55 0 23942 0
Current children cumulated CPU time (s) 550.03
Current children cumulated vsize (Kb) 100200

[startup+560.34 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 13806
/proc/meminfo: memFree=1314104/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=100728 CPUtime=560.03
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 102679 0 0 0 55955 48 0 0 25 0 1 0 189185806 103145472 24154 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 25182 24154 300 55 0 24074 0
Current children cumulated CPU time (s) 560.03
Current children cumulated vsize (Kb) 100728

[startup+570.346 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 13806
/proc/meminfo: memFree=1313016/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=101776 CPUtime=570.03
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 102934 0 0 0 56955 48 0 0 25 0 1 0 189185806 104218624 24409 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541611 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 25444 24409 300 55 0 24336 0
Current children cumulated CPU time (s) 570.03
Current children cumulated vsize (Kb) 101776

[startup+580.352 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 13806
/proc/meminfo: memFree=1311928/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=102828 CPUtime=580.04
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 103207 0 0 0 57955 49 0 0 25 0 1 0 189185806 105295872 24682 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134595889 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 25707 24682 300 55 0 24599 0
Current children cumulated CPU time (s) 580.04
Current children cumulated vsize (Kb) 102828

[startup+590.358 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 13806
/proc/meminfo: memFree=1311416/2055920 swapFree=4181736/4192956
[pid=13611] ppid=13609 vsize=103352 CPUtime=590.04
/proc/13611/stat : 13611 (bsolo) R 13609 13611 13566 0 -1 0 103330 0 0 0 58955 49 0 0 25 0 1 0 189185806 105832448 24805 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718892 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13611/statm: 25838 24805 300 55 0 24730 0
Current children cumulated CPU time (s) 590.04
Current children cumulated vsize (Kb) 103352

Child status: 20
Real time (s): 595.098
CPU time (s): 594.786
CPU user time (s): 594.27
CPU system time (s): 0.515921
CPU usage (%): 99.9475
Max. virtual memory (cumulated for all children) (Kb): 103352

Launcher Data (download as text)

Begin job on node67 on Fri Jun  2 07:59:24 UTC 2006


FILE ID= 39701-1149235164

PBS_JOBID= 296858

BENCH NAME= ROOT/tmp/node67/39701-1149235164/instance-39701-1149235164.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node67/39701-1149235164/instance-39701-1149235164.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node67/watcher-39701-1149235164 -o ROOT/results/node67/solver-39701-1149235164 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node67/39701-1149235164/instance-39701-1149235164.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  bdfd22b57887b70e5df6236004ca174a

RANDOM SEED= 266445275


/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.264
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
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:       1409832 kB
Buffers:         37136 kB
Cached:         533876 kB
SwapCached:       2976 kB
Active:         115188 kB
Inactive:       464572 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1409832 kB
SwapTotal:     4192956 kB
SwapFree:      4181736 kB
Dirty:             188 kB
Writeback:           0 kB
Mapped:          14688 kB
Slab:            52308 kB
Committed_AS:   251428 kB
PageTables:       1468 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node67 on Fri Jun  2 08:09:19 UTC 2006