Trace number 39743

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 1148.6 1148.94

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
MD5SUM2b5564b5f03b34138f988fcf164c2fb6
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 benchmark20.5579
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables87751
Total number of constraints254772
Number of constraints which are clauses247060
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints7712
Minimum length of a constraint1
Maximum length of a constraint15
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 130
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 512
Number of bits of the biggest sum of numbers10
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.02	c INFO: OSL Context initialized.
21.29	c Initial problem consists of 87751 variables and 254772 constraints.
35.06	c Using non-optimization problem switches.
35.06	c No problem reductions applied in OPT. instance.
35.06	c	preprocess terminated. Elapsed time: 35.028
35.06	c After prepocess the problem consists of 83898 variables and 246000 constraints.
44.43	c Restart #1 #Var: 83895 LB: 0 @ 44.394
60.75	c Restart #2 #Var: 83895 LB: 0 @ 60.714
78.24	c Restart #3 #Var: 83895 LB: 0 @ 78.197
98.17	c Restart #4 #Var: 83895 LB: 0 @ 98.119
116.23	c Restart #5 #Var: 83895 LB: 0 @ 116.17
137.40	c Restart #6 #Var: 83892 LB: 0 @ 137.34
145.37	c Restart #7 #Var: 83891 LB: 0 @ 145.31
153.89	c Restart #8 #Var: 83891 LB: 0 @ 153.83
159.91	c Restart #9 #Var: 83891 LB: 0 @ 159.84
163.12	c Restart #10 #Var: 83891 LB: 0 @ 163.06
231.49	c Restart #11 #Var: 83881 LB: 0 @ 231.41
255.65	c Restart #12 #Var: 83881 LB: 0 @ 255.56
333.16	c Restart #13 #Var: 83865 LB: 0 @ 333.05
368.24	c Restart #14 #Var: 83865 LB: 0 @ 368.11
390.05	c Restart #15 #Var: 83863 LB: 0 @ 389.92
391.54	c Restart #16 #Var: 83863 LB: 0 @ 391.4
477.21	c Restart #17 #Var: 83863 LB: 0 @ 477.06
509.32	c Restart #18 #Var: 83863 LB: 0 @ 509.16
567.17	c Restart #19 #Var: 83852 LB: 0 @ 566.99
654.86	c Restart #20 #Var: 83852 LB: 0 @ 654.66
747.52	c Restart #21 #Var: 83852 LB: 0 @ 747.29
778.59	c Restart #22 #Var: 83852 LB: 0 @ 778.35
893.30	c Restart #23 #Var: 83796 LB: 0 @ 893.03
977.20	c CHANGE Heuristic... 
977.20	c Restart #0 #Var: 83741 LB: 0 @ 976.91
983.47	c Restart #1 #Var: 83705 LB: 0 @ 983.18
994.80	c Restart #2 #Var: 83705 LB: 0 @ 994.5
1010.61	c Restart #3 #Var: 83705 LB: 0 @ 1010.3
1035.87	c Restart #4 #Var: 83704 LB: 0 @ 1035.6
1052.24	c Restart #5 #Var: 83704 LB: 0 @ 1051.9
1101.92	c Restart #6 #Var: 83703 LB: 0 @ 1101.6
1142.38	c Restart #7 #Var: 76532 LB: 0 @ 1142
1148.90	s UNSATISFIABLE
1148.90	c Exit Code: 20
1148.90	c Total time: 1148.6 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/node87/watcher-39743-1149240447 -o ROOT/results/node87/solver-39743-1149240447 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node87/39743-1149240447/instance-39743-1149240447.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.96 2/67 21229
/proc/meminfo: memFree=1680608/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=2900 CPUtime=0
/proc/21229/stat : 21229 (bsolo) D 21227 21229 21184 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 189683896 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11240372 0 2147483391 4096 0 18446744072099917094 0 0 17 1 0 0
/proc/21229/statm: 725 27 19 55 0 38 0

[startup+10.0019 s]
/proc/loadavg: 0.93 0.97 0.96 2/67 21229
/proc/meminfo: memFree=1587640/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=97880 CPUtime=9.97
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 1363162 0 0 0 636 361 0 0 25 0 1 0 189683896 100229120 23558 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 0 0 0
/proc/21229/statm: 24470 23558 278 55 0 23361 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 97880

[startup+20.0081 s]
/proc/loadavg: 0.94 0.97 0.96 2/67 21229
/proc/meminfo: memFree=1545784/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=140288 CPUtime=19.97
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 3236284 0 0 0 1147 850 0 0 25 0 1 0 189683896 143654912 34034 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 35072 34042 278 55 0 33963 0
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 140288

[startup+30.0143 s]
/proc/loadavg: 0.95 0.97 0.96 2/67 21229
/proc/meminfo: memFree=1485240/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=202532 CPUtime=29.98
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 3836119 0 0 0 1951 1047 0 0 25 0 1 0 189683896 207392768 49126 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134641129 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 50633 49126 288 55 0 49524 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 202532

[startup+40.0204 s]
/proc/loadavg: 0.95 0.97 0.96 2/67 21229
/proc/meminfo: memFree=1468792/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=219980 CPUtime=39.97
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4375622 0 0 0 2762 1235 0 0 25 0 1 0 189683896 225259520 53306 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 54995 53306 297 55 0 53886 0
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 219980

[startup+50.0266 s]
/proc/loadavg: 0.96 0.97 0.96 2/67 21229
/proc/meminfo: memFree=1468664/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=220112 CPUtime=49.98
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4375653 0 0 0 3762 1236 0 0 25 0 1 0 189683896 225394688 53337 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 55028 53337 297 55 0 53919 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 220112

[startup+60.0318 s]
/proc/loadavg: 0.97 0.97 0.96 2/67 21229
/proc/meminfo: memFree=1468600/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=220112 CPUtime=59.98
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4375682 0 0 0 4762 1236 0 0 25 0 1 0 189683896 225394688 53366 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 55028 53366 297 55 0 53919 0
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 220112

[startup+70.0379 s]
/proc/loadavg: 0.97 0.97 0.96 2/67 21229
/proc/meminfo: memFree=1468472/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=220244 CPUtime=69.99
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4375711 0 0 0 5762 1237 0 0 25 0 1 0 189683896 225529856 53395 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542145 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 55061 53395 297 55 0 53952 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 220244

[startup+80.0441 s]
/proc/loadavg: 0.98 0.97 0.96 2/67 21229
/proc/meminfo: memFree=1468280/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=220376 CPUtime=79.99
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4375747 0 0 0 6762 1237 0 0 25 0 1 0 189683896 225665024 53431 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 55094 53431 297 55 0 53985 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 220376

[startup+90.0503 s]
/proc/loadavg: 0.98 0.97 0.96 2/67 21229
/proc/meminfo: memFree=1468152/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=220640 CPUtime=89.99
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4375787 0 0 0 7761 1238 0 0 25 0 1 0 189683896 225935360 53471 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 55160 53471 297 55 0 54051 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 220640

[startup+100.056 s]
/proc/loadavg: 0.98 0.97 0.96 2/67 21229
/proc/meminfo: memFree=1467960/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=220772 CPUtime=100
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4375826 0 0 0 8761 1239 0 0 25 0 1 0 189683896 226070528 53510 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 55193 53510 297 55 0 54084 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 220772

[startup+110.063 s]
/proc/loadavg: 0.98 0.97 0.96 2/67 21229
/proc/meminfo: memFree=1467704/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=221036 CPUtime=110
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4375889 0 0 0 9760 1240 0 0 25 0 1 0 189683896 226340864 53573 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 55259 53573 297 55 0 54150 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 221036

[startup+120.068 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21229
/proc/meminfo: memFree=1467512/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=221168 CPUtime=120.01
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4375938 0 0 0 10760 1241 0 0 25 0 1 0 189683896 226476032 53622 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718606 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 55292 53622 297 55 0 54183 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 221168

[startup+130.074 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21229
/proc/meminfo: memFree=1467320/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=221432 CPUtime=130.01
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4375984 0 0 0 11760 1241 0 0 25 0 1 0 189683896 226746368 53668 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540759 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 55358 53668 297 55 0 54249 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 221432

[startup+140.08 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21229
/proc/meminfo: memFree=1467064/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=221696 CPUtime=140.01
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4376057 0 0 0 12759 1242 0 0 25 0 1 0 189683896 227016704 53741 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541145 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 55424 53741 297 55 0 54315 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 221696

[startup+150.086 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21229
/proc/meminfo: memFree=1466296/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=222356 CPUtime=150.02
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4376239 0 0 0 13759 1243 0 0 25 0 1 0 189683896 227692544 53923 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 55589 53923 297 55 0 54480 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 222356

[startup+160.092 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21229
/proc/meminfo: memFree=1465208/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=223412 CPUtime=160.02
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4376506 0 0 0 14758 1244 0 0 25 0 1 0 189683896 228773888 54190 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 55853 54190 297 55 0 54744 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 223412

[startup+170.098 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21229
/proc/meminfo: memFree=1464696/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=223940 CPUtime=170.02
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4376639 0 0 0 15758 1244 0 0 25 0 1 0 189683896 229314560 54323 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542147 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 55985 54323 297 55 0 54876 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 223940

[startup+180.104 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21229
/proc/meminfo: memFree=1464504/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=224204 CPUtime=180.03
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4376682 0 0 0 16759 1244 0 0 25 0 1 0 189683896 229584896 54366 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718917 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 56051 54366 297 55 0 54942 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 224204

[startup+190.11 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21229
/proc/meminfo: memFree=1464376/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=224336 CPUtime=190.03
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4376725 0 0 0 17759 1244 0 0 25 0 1 0 189683896 229720064 54409 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541404 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 56084 54409 297 55 0 54975 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 224336

[startup+200.116 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21229
/proc/meminfo: memFree=1464184/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=224468 CPUtime=200.03
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4376766 0 0 0 18759 1244 0 0 25 0 1 0 189683896 229855232 54450 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718606 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 56117 54450 297 55 0 55008 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 224468

[startup+210.122 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21229
/proc/meminfo: memFree=1463992/2055888 swapFree=4085412/4096564

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

/proc/21229/statm: 61436 59749 297 55 0 60327 0
Current children cumulated CPU time (s) 930.28
Current children cumulated vsize (Kb) 245744

[startup+940.564 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21231
/proc/meminfo: memFree=1442488/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=246136 CPUtime=940.27
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4382166 0 0 0 92769 1258 0 0 25 0 1 0 189683896 252043264 59850 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134599108 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 61534 59850 297 55 0 60425 0
Current children cumulated CPU time (s) 940.27
Current children cumulated vsize (Kb) 246136

[startup+950.57 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21231
/proc/meminfo: memFree=1442232/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=246400 CPUtime=950.28
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4382221 0 0 0 93770 1258 0 0 25 0 1 0 189683896 252313600 59905 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540688 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 61600 59905 297 55 0 60491 0
Current children cumulated CPU time (s) 950.28
Current children cumulated vsize (Kb) 246400

[startup+960.576 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21231
/proc/meminfo: memFree=1441976/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=246664 CPUtime=960.28
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4382285 0 0 0 94770 1258 0 0 25 0 1 0 189683896 252583936 59969 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 61666 59969 297 55 0 60557 0
Current children cumulated CPU time (s) 960.28
Current children cumulated vsize (Kb) 246664

[startup+970.582 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21231
/proc/meminfo: memFree=1441720/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=246928 CPUtime=970.28
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4382353 0 0 0 95770 1258 0 0 25 0 1 0 189683896 252854272 60037 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718653 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 61732 60037 297 55 0 60623 0
Current children cumulated CPU time (s) 970.28
Current children cumulated vsize (Kb) 246928

[startup+980.588 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21231
/proc/meminfo: memFree=1441208/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=247456 CPUtime=980.28
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4382816 0 0 0 96770 1258 0 0 25 0 1 0 189683896 253394944 60164 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 61864 60164 297 55 0 60755 0
Current children cumulated CPU time (s) 980.28
Current children cumulated vsize (Kb) 247456

[startup+990.593 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21231
/proc/meminfo: memFree=1440952/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=247720 CPUtime=990.29
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4382885 0 0 0 97770 1259 0 0 25 0 1 0 189683896 253665280 60233 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534088 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 61930 60233 297 55 0 60821 0
Current children cumulated CPU time (s) 990.29
Current children cumulated vsize (Kb) 247720

[startup+1000.6 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21231
/proc/meminfo: memFree=1440440/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=248116 CPUtime=1000.29
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4382999 0 0 0 98770 1259 0 0 25 0 1 0 189683896 254070784 60347 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 62029 60347 297 55 0 60920 0
Current children cumulated CPU time (s) 1000.29
Current children cumulated vsize (Kb) 248116

[startup+1010.6 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21231
/proc/meminfo: memFree=1440312/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=248248 CPUtime=1010.3
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4383041 0 0 0 99771 1259 0 0 25 0 1 0 189683896 254205952 60389 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 62062 60389 297 55 0 60953 0
Current children cumulated CPU time (s) 1010.3
Current children cumulated vsize (Kb) 248248

[startup+1020.61 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21231
/proc/meminfo: memFree=1440120/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=248512 CPUtime=1020.3
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4383087 0 0 0 100771 1259 0 0 25 0 1 0 189683896 254476288 60435 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 62128 60435 297 55 0 61019 0
Current children cumulated CPU time (s) 1020.3
Current children cumulated vsize (Kb) 248512

[startup+1030.62 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21231
/proc/meminfo: memFree=1439992/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=248644 CPUtime=1030.31
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4383125 0 0 0 101771 1260 0 0 25 0 1 0 189683896 254611456 60473 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 62161 60473 297 55 0 61052 0
Current children cumulated CPU time (s) 1030.31
Current children cumulated vsize (Kb) 248644

[startup+1040.62 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21231
/proc/meminfo: memFree=1439800/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=248776 CPUtime=1040.31
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4383160 0 0 0 102771 1260 0 0 25 0 1 0 189683896 254746624 60508 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528844 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 62194 60508 297 55 0 61085 0
Current children cumulated CPU time (s) 1040.31
Current children cumulated vsize (Kb) 248776

[startup+1050.63 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21231
/proc/meminfo: memFree=1439608/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=249040 CPUtime=1050.31
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4383218 0 0 0 103771 1260 0 0 25 0 1 0 189683896 255016960 60566 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537607 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 62260 60566 297 55 0 61151 0
Current children cumulated CPU time (s) 1050.31
Current children cumulated vsize (Kb) 249040

[startup+1060.63 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21231
/proc/meminfo: memFree=1439288/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=249304 CPUtime=1060.31
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4383286 0 0 0 104770 1261 0 0 25 0 1 0 189683896 255287296 60634 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134595889 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 62326 60634 297 55 0 61217 0
Current children cumulated CPU time (s) 1060.31
Current children cumulated vsize (Kb) 249304

[startup+1070.64 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21231
/proc/meminfo: memFree=1439160/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=249436 CPUtime=1070.32
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4383320 0 0 0 105771 1261 0 0 25 0 1 0 189683896 255422464 60668 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718653 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 62359 60668 297 55 0 61250 0
Current children cumulated CPU time (s) 1070.32
Current children cumulated vsize (Kb) 249436

[startup+1080.65 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21231
/proc/meminfo: memFree=1439032/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=249568 CPUtime=1080.32
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4383354 0 0 0 106771 1261 0 0 25 0 1 0 189683896 255557632 60702 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134633165 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 62392 60702 297 55 0 61283 0
Current children cumulated CPU time (s) 1080.32
Current children cumulated vsize (Kb) 249568

[startup+1090.65 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21231
/proc/meminfo: memFree=1438904/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=249700 CPUtime=1090.32
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4383393 0 0 0 107771 1261 0 0 25 0 1 0 189683896 255692800 60741 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 62425 60741 297 55 0 61316 0
Current children cumulated CPU time (s) 1090.32
Current children cumulated vsize (Kb) 249700

[startup+1100.66 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21231
/proc/meminfo: memFree=1438712/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=249832 CPUtime=1100.33
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4383431 0 0 0 108771 1262 0 0 25 0 1 0 189683896 255827968 60779 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 62458 60779 297 55 0 61349 0
Current children cumulated CPU time (s) 1100.33
Current children cumulated vsize (Kb) 249832

[startup+1110.66 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21231
/proc/meminfo: memFree=1438520/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=250096 CPUtime=1110.33
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4383476 0 0 0 109771 1262 0 0 25 0 1 0 189683896 256098304 60824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 62524 60824 297 55 0 61415 0
Current children cumulated CPU time (s) 1110.33
Current children cumulated vsize (Kb) 250096

[startup+1120.67 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21231
/proc/meminfo: memFree=1438328/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=250228 CPUtime=1120.33
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4383524 0 0 0 110771 1262 0 0 25 0 1 0 189683896 256233472 60872 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541544 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 62557 60872 297 55 0 61448 0
Current children cumulated CPU time (s) 1120.33
Current children cumulated vsize (Kb) 250228

[startup+1130.68 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21231
/proc/meminfo: memFree=1438072/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=250492 CPUtime=1130.34
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4383593 0 0 0 111772 1262 0 0 25 0 1 0 189683896 256503808 60941 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 62623 60941 297 55 0 61514 0
Current children cumulated CPU time (s) 1130.34
Current children cumulated vsize (Kb) 250492

[startup+1140.68 s]
/proc/loadavg: 0.99 0.97 0.96 2/67 21231
/proc/meminfo: memFree=1437880/2055888 swapFree=4085412/4096564
[pid=21229] ppid=21227 vsize=250624 CPUtime=1140.34
/proc/21229/stat : 21229 (bsolo) R 21227 21229 21184 0 -1 0 4383641 0 0 0 112772 1262 0 0 25 0 1 0 189683896 256638976 60989 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528880 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21229/statm: 62656 60989 297 55 0 61547 0
Current children cumulated CPU time (s) 1140.34
Current children cumulated vsize (Kb) 250624

Child status: 20
Real time (s): 1148.94
CPU time (s): 1148.6
CPU user time (s): 1135.94
CPU system time (s): 12.6651
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (Kb): 250624

Launcher Data (download as text)

Begin job on node87 on Fri Jun  2 09:27:28 UTC 2006


FILE ID= 39743-1149240447

PBS_JOBID= 297406

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  2b5564b5f03b34138f988fcf164c2fb6

RANDOM SEED= 357594793


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


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1681008 kB
Buffers:         29380 kB
Cached:         271048 kB
SwapCached:       2512 kB
Active:          99808 kB
Inactive:       209464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1681008 kB
SwapTotal:     4096564 kB
SwapFree:      4085412 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          16792 kB
Slab:            52248 kB
Committed_AS:   212832 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 node87 on Fri Jun  2 09:46:37 UTC 2006