Trace number 40408

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 NameAnswerObjective functionCPU timeWall clock time
bsolo 2006/05? 1800.06 1800.77

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-2.opb
MD5SUM0b8531b64d2ca93b44d439b9cb9fcfaa
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6352
Total number of constraints13429
Number of constraints which are clauses13429
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 6352
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6352
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6352
Number of bits of the biggest sum of numbers13
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.02	c Time Limit set via PBTIMEOUT to 1800
0.12	c INFO: OSL Context initialized.
0.37	c Initial problem consists of 6352 variables and 13429 constraints.
0.41	c No problem reductions applied in OPT. instance.
0.41	c	preprocess terminated. Elapsed time: 0.29
0.41	c After prepocess the problem consists of 4784 variables and 9654 constraints.
0.41	c Initial Lower Bound: 784
1.15	c Restart #1 #Var: 4784 LB: 784 @ 1.024
2.64	c Restart #2 #Var: 4784 LB: 784 @ 2.52
4.34	c Restart #3 #Var: 4784 LB: 784 @ 4.216
6.90	c Restart #4 #Var: 4784 LB: 784 @ 6.773
9.96	c Restart #5 #Var: 4784 LB: 784 @ 9.839
13.49	c Restart #6 #Var: 4784 LB: 784 @ 13.356
17.70	c Restart #7 #Var: 4784 LB: 784 @ 17.57
22.37	c Restart #8 #Var: 4784 LB: 784 @ 22.236
27.39	c Restart #9 #Var: 4784 LB: 784 @ 27.258
33.48	c Restart #10 #Var: 4784 LB: 784 @ 33.348
40.47	c Restart #11 #Var: 4784 LB: 784 @ 40.331
48.20	c Restart #12 #Var: 4784 LB: 784 @ 48.06
56.58	c Restart #13 #Var: 4784 LB: 784 @ 56.435
66.70	c Restart #14 #Var: 4784 LB: 784 @ 66.556
77.61	c Restart #15 #Var: 4784 LB: 784 @ 77.458
88.79	c Restart #16 #Var: 4784 LB: 784 @ 88.616
100.30	c Restart #17 #Var: 4784 LB: 784 @ 100.08
112.28	c Restart #18 #Var: 4780 LB: 786 @ 112.06
125.87	c Restart #19 #Var: 4780 LB: 786 @ 125.64
138.69	c Restart #20 #Var: 4780 LB: 786 @ 138.46
152.04	c Restart #21 #Var: 4780 LB: 786 @ 151.8
167.10	c Restart #22 #Var: 4780 LB: 786 @ 166.86
182.05	c Restart #23 #Var: 4780 LB: 786 @ 181.8
198.05	c Restart #24 #Var: 4780 LB: 786 @ 197.81
214.37	c Restart #25 #Var: 4780 LB: 786 @ 214.12
246.37	c Restart #26 #Var: 4780 LB: 786 @ 246.11
280.61	c Restart #27 #Var: 4780 LB: 786 @ 280.34
303.36	c Restart #28 #Var: 4780 LB: 786 @ 303.09
326.14	c Restart #29 #Var: 4780 LB: 786 @ 325.85
349.96	c Restart #30 #Var: 4780 LB: 786 @ 349.67
376.28	c Restart #31 #Var: 4780 LB: 786 @ 375.99
405.41	c Restart #32 #Var: 4780 LB: 786 @ 405.1
437.81	c Restart #33 #Var: 4780 LB: 786 @ 437.5
470.11	c Restart #34 #Var: 4780 LB: 786 @ 469.78
505.30	c Restart #35 #Var: 4780 LB: 786 @ 504.97
543.02	c Restart #36 #Var: 4780 LB: 786 @ 542.68
580.96	c Restart #37 #Var: 4780 LB: 786 @ 580.6
620.24	c Restart #38 #Var: 4780 LB: 786 @ 619.87
664.07	c Restart #39 #Var: 4780 LB: 786 @ 663.69
713.07	c Restart #40 #Var: 4780 LB: 786 @ 712.68
760.41	c Restart #41 #Var: 4780 LB: 786 @ 760
815.13	c Restart #42 #Var: 4780 LB: 786 @ 814.71
869.28	c Restart #43 #Var: 4780 LB: 786 @ 868.84
926.59	c CHANGE Heuristic... 
926.59	c Restart #0 #Var: 4780 LB: 786 @ 926.14
927.19	c Restart #1 #Var: 4780 LB: 786 @ 926.74
929.84	c Restart #2 #Var: 4780 LB: 786 @ 929.39
932.04	c Restart #3 #Var: 4780 LB: 786 @ 931.59
934.87	c Restart #4 #Var: 4780 LB: 786 @ 934.41
938.07	c Restart #5 #Var: 4780 LB: 786 @ 937.62
942.11	c Restart #6 #Var: 4780 LB: 786 @ 941.65
947.15	c Restart #7 #Var: 4780 LB: 786 @ 946.69
952.48	c Restart #8 #Var: 4780 LB: 786 @ 952.02
958.85	c Restart #9 #Var: 4780 LB: 786 @ 958.39
965.77	c Restart #10 #Var: 4780 LB: 786 @ 965.3
973.48	c Restart #11 #Var: 4780 LB: 786 @ 973.02
983.51	c Restart #12 #Var: 4780 LB: 786 @ 983.04
994.53	c Restart #13 #Var: 4780 LB: 786 @ 994.05
1007.21	c Restart #14 #Var: 4780 LB: 786 @ 1006.7
1019.87	c Restart #15 #Var: 4780 LB: 786 @ 1019.4
1032.31	c Restart #16 #Var: 4780 LB: 786 @ 1031.8
1048.56	c Restart #17 #Var: 4780 LB: 786 @ 1048.1
1065.75	c Restart #18 #Var: 4780 LB: 786 @ 1065.3
1086.17	c Restart #19 #Var: 4780 LB: 786 @ 1085.7
1107.53	c Restart #20 #Var: 4780 LB: 786 @ 1107
1128.84	c Restart #21 #Var: 4780 LB: 786 @ 1128.3
1151.20	c Restart #22 #Var: 4780 LB: 786 @ 1150.7
1173.90	c Restart #23 #Var: 4780 LB: 786 @ 1173.4
1197.52	c Restart #24 #Var: 4780 LB: 786 @ 1197
1223.68	c Restart #25 #Var: 4780 LB: 786 @ 1223.1
1251.86	c Restart #26 #Var: 4780 LB: 786 @ 1251.3
1282.59	c Restart #27 #Var: 4780 LB: 786 @ 1282
1312.62	c Restart #28 #Var: 4780 LB: 786 @ 1312.1
1344.53	c Restart #29 #Var: 4780 LB: 786 @ 1344
1376.56	c Restart #30 #Var: 4780 LB: 786 @ 1376
1410.61	c Restart #31 #Var: 4780 LB: 786 @ 1410
1451.04	c Restart #32 #Var: 4780 LB: 786 @ 1450.4
1492.91	c Restart #33 #Var: 4780 LB: 786 @ 1492.3
1532.25	c Restart #34 #Var: 4780 LB: 786 @ 1531.6
1574.64	c Restart #35 #Var: 4780 LB: 786 @ 1574
1618.44	c Restart #36 #Var: 4780 LB: 786 @ 1617.8
1662.32	c Restart #37 #Var: 4780 LB: 786 @ 1661.7
1703.97	c Restart #38 #Var: 4780 LB: 786 @ 1703.3
1753.29	c Restart #39 #Var: 4780 LB: 786 @ 1752.6
1793.31	c Restart #40 #Var: 4780 LB: 786 @ 1792.6
1800.73	s UNKNOWN
1800.73	c Exit Code: 0
1800.73	c Total time: 1800 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/node84/watcher-40408-1149278378 -o ROOT/results/node84/solver-40408-1149278378 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node84/40408-1149278378/instance-40408-1149278378.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.00 0.18 0.57 2/67 18010
/proc/meminfo: memFree=1505896/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=18544 CPUtime=0
/proc/18010/stat : 18010 (runsolver) R 18008 18010 17964 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 193477103 18989056 278 18446744073709551615 4194304 4262084 548682069056 18446744073709551615 256103740439 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/18010/statm: 4636 278 242 16 0 2626 0

[startup+10.0029 s]
/proc/loadavg: 0.15 0.20 0.57 2/67 18010
/proc/meminfo: memFree=1491624/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=18984 CPUtime=9.87
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 3956 0 0 0 985 2 0 0 25 0 1 0 193477103 19439616 3872 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 4746 3872 293 55 0 3637 0
Current children cumulated CPU time (s) 9.87
Current children cumulated vsize (Kb) 18984

[startup+20.0089 s]
/proc/loadavg: 0.28 0.23 0.57 2/67 18010
/proc/meminfo: memFree=1489448/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=21096 CPUtime=19.87
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 4492 0 0 0 1984 3 0 0 25 0 1 0 193477103 21602304 4408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540702 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 5274 4408 293 55 0 4165 0
Current children cumulated CPU time (s) 19.87
Current children cumulated vsize (Kb) 21096

[startup+30.015 s]
/proc/loadavg: 0.39 0.25 0.58 2/67 18010
/proc/meminfo: memFree=1486952/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=23736 CPUtime=29.87
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 5124 0 0 0 2983 4 0 0 25 0 1 0 193477103 24305664 5040 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134595889 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 5934 5040 293 55 0 4825 0
Current children cumulated CPU time (s) 29.87
Current children cumulated vsize (Kb) 23736

[startup+40.02 s]
/proc/loadavg: 0.49 0.28 0.58 2/67 18010
/proc/meminfo: memFree=1485160/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=25452 CPUtime=39.87
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 5566 0 0 0 3982 5 0 0 25 0 1 0 193477103 26062848 5482 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542241 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 6363 5482 293 55 0 5254 0
Current children cumulated CPU time (s) 39.87
Current children cumulated vsize (Kb) 25452

[startup+50.0261 s]
/proc/loadavg: 0.56 0.30 0.58 2/67 18010
/proc/meminfo: memFree=1483176/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=27432 CPUtime=49.88
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 6058 0 0 0 4982 6 0 0 25 0 1 0 193477103 28090368 5974 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542145 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 6858 5974 293 55 0 5749 0
Current children cumulated CPU time (s) 49.88
Current children cumulated vsize (Kb) 27432

[startup+60.0322 s]
/proc/loadavg: 0.63 0.32 0.59 2/67 18010
/proc/meminfo: memFree=1481128/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=29412 CPUtime=59.88
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 6568 0 0 0 5981 7 0 0 25 0 1 0 193477103 30117888 6484 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529520 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 7353 6484 293 55 0 6244 0
Current children cumulated CPU time (s) 59.88
Current children cumulated vsize (Kb) 29412

[startup+70.0382 s]
/proc/loadavg: 0.69 0.34 0.59 2/67 18010
/proc/meminfo: memFree=1480168/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=30332 CPUtime=69.88
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 6800 0 0 0 6981 7 0 0 25 0 1 0 193477103 31059968 6716 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 7583 6716 293 55 0 6474 0
Current children cumulated CPU time (s) 69.88
Current children cumulated vsize (Kb) 30332

[startup+80.0443 s]
/proc/loadavg: 0.73 0.37 0.60 2/67 18010
/proc/meminfo: memFree=1478696/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=31784 CPUtime=79.88
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 7167 0 0 0 7981 7 0 0 25 0 1 0 193477103 32546816 7083 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528674 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 7946 7083 293 55 0 6837 0
Current children cumulated CPU time (s) 79.88
Current children cumulated vsize (Kb) 31784

[startup+90.0504 s]
/proc/loadavg: 0.77 0.39 0.60 2/73 18081
/proc/meminfo: memFree=1475384/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=33896 CPUtime=89.87
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 7695 0 0 0 8978 9 0 0 25 0 1 0 193477103 34709504 7611 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 8474 7611 293 55 0 7365 0
Current children cumulated CPU time (s) 89.87
Current children cumulated vsize (Kb) 33896

[startup+100.056 s]
/proc/loadavg: 0.81 0.41 0.60 2/67 18205
/proc/meminfo: memFree=1474088/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=36008 CPUtime=99.83
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 8216 0 0 0 9973 10 0 0 25 0 1 0 193477103 36872192 8132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 9002 8132 293 55 0 7893 0
Current children cumulated CPU time (s) 99.83
Current children cumulated vsize (Kb) 36008

[startup+110.062 s]
/proc/loadavg: 0.84 0.42 0.61 2/67 18205
/proc/meminfo: memFree=1472296/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=37984 CPUtime=109.84
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 8697 0 0 0 10973 11 0 0 25 0 1 0 193477103 38895616 8613 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 9496 8613 293 55 0 8387 0
Current children cumulated CPU time (s) 109.84
Current children cumulated vsize (Kb) 37984

[startup+120.069 s]
/proc/loadavg: 0.86 0.44 0.61 2/67 18205
/proc/meminfo: memFree=1470312/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=39964 CPUtime=119.84
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 9209 0 0 0 11972 12 0 0 25 0 1 0 193477103 40923136 9125 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534760 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 9991 9125 293 55 0 8882 0
Current children cumulated CPU time (s) 119.84
Current children cumulated vsize (Kb) 39964

[startup+130.075 s]
/proc/loadavg: 0.88 0.46 0.62 2/67 18205
/proc/meminfo: memFree=1468392/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=42076 CPUtime=129.83
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 9709 0 0 0 12971 12 0 0 25 0 1 0 193477103 43085824 9625 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719609 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 10519 9625 293 55 0 9410 0
Current children cumulated CPU time (s) 129.83
Current children cumulated vsize (Kb) 42076

[startup+140.081 s]
/proc/loadavg: 0.90 0.48 0.62 2/67 18205
/proc/meminfo: memFree=1465896/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=44452 CPUtime=139.84
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 10314 0 0 0 13970 14 0 0 25 0 1 0 193477103 45518848 10230 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 11113 10230 293 55 0 10004 0
Current children cumulated CPU time (s) 139.84
Current children cumulated vsize (Kb) 44452

[startup+150.088 s]
/proc/loadavg: 0.92 0.50 0.62 2/67 18205
/proc/meminfo: memFree=1463272/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=47088 CPUtime=149.85
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 10967 0 0 0 14970 15 0 0 25 0 1 0 193477103 48218112 10883 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 11772 10883 293 55 0 10663 0
Current children cumulated CPU time (s) 149.85
Current children cumulated vsize (Kb) 47088

[startup+160.093 s]
/proc/loadavg: 0.93 0.51 0.63 2/67 18205
/proc/meminfo: memFree=1461032/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=49332 CPUtime=159.85
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 11548 0 0 0 15969 16 0 0 25 0 1 0 193477103 50515968 11464 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 12333 11464 293 55 0 11224 0
Current children cumulated CPU time (s) 159.85
Current children cumulated vsize (Kb) 49332

[startup+170.099 s]
/proc/loadavg: 0.94 0.53 0.63 2/67 18205
/proc/meminfo: memFree=1459176/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=51180 CPUtime=169.85
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 12001 0 0 0 16968 17 0 0 25 0 1 0 193477103 52408320 11917 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529158 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 12795 11917 293 55 0 11686 0
Current children cumulated CPU time (s) 169.85
Current children cumulated vsize (Kb) 51180

[startup+180.105 s]
/proc/loadavg: 0.95 0.54 0.64 2/67 18205
/proc/meminfo: memFree=1457128/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=53304 CPUtime=179.86
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 12512 0 0 0 17968 18 0 0 25 0 1 0 193477103 54583296 12428 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 13326 12428 293 55 0 12217 0
Current children cumulated CPU time (s) 179.86
Current children cumulated vsize (Kb) 53304

[startup+190.111 s]
/proc/loadavg: 0.95 0.56 0.64 2/67 18205
/proc/meminfo: memFree=1455272/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=55144 CPUtime=189.86
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 12977 0 0 0 18967 19 0 0 25 0 1 0 193477103 56467456 12893 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 13786 12893 293 55 0 12677 0
Current children cumulated CPU time (s) 189.86
Current children cumulated vsize (Kb) 55144

[startup+200.117 s]
/proc/loadavg: 0.96 0.57 0.64 2/67 18205
/proc/meminfo: memFree=1453352/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=56992 CPUtime=199.86
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 13447 0 0 0 19966 20 0 0 25 0 1 0 193477103 58359808 13363 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548612 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 14248 13363 293 55 0 13139 0
Current children cumulated CPU time (s) 199.86
Current children cumulated vsize (Kb) 56992

[startup+210.123 s]
/proc/loadavg: 0.97 0.58 0.64 2/67 18205
/proc/meminfo: memFree=1451240/2055892 swapFree=4085292/4096564

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

/proc/18010/statm: 43430 42495 293 55 0 42321 0
Current children cumulated CPU time (s) 1760.34
Current children cumulated vsize (Kb) 173720

[startup+1771.05 s]
/proc/loadavg: 1.01 0.99 0.90 2/67 18205
/proc/meminfo: memFree=1335336/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=174776 CPUtime=1770.35
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 42866 0 0 0 176944 91 0 0 25 0 1 0 193477103 178970624 42782 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 43694 42782 293 55 0 42585 0
Current children cumulated CPU time (s) 1770.35
Current children cumulated vsize (Kb) 174776

[startup+1781.06 s]
/proc/loadavg: 1.01 0.99 0.90 2/67 18205
/proc/meminfo: memFree=1334312/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=175832 CPUtime=1780.35
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43113 0 0 0 177944 91 0 0 25 0 1 0 193477103 180051968 43029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 43958 43029 293 55 0 42849 0
Current children cumulated CPU time (s) 1780.35
Current children cumulated vsize (Kb) 175832

[startup+1782.06 s]
/proc/loadavg: 1.01 0.99 0.90 2/67 18205
/proc/meminfo: memFree=1334184/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=175964 CPUtime=1781.35
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43140 0 0 0 178044 91 0 0 25 0 1 0 193477103 180187136 43056 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540688 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 43991 43056 293 55 0 42882 0
Current children cumulated CPU time (s) 1781.35
Current children cumulated vsize (Kb) 175964

[startup+1783.07 s]
/proc/loadavg: 1.01 0.99 0.90 2/67 18205
/proc/meminfo: memFree=1334184/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=175964 CPUtime=1782.36
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43140 0 0 0 178144 92 0 0 25 0 1 0 193477103 180187136 43056 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 43991 43056 293 55 0 42882 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (Kb) 175964

[startup+1784.07 s]
/proc/loadavg: 1.01 0.99 0.90 2/67 18205
/proc/meminfo: memFree=1334184/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=175964 CPUtime=1783.37
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43140 0 0 0 178245 92 0 0 25 0 1 0 193477103 180187136 43056 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 43991 43056 293 55 0 42882 0
Current children cumulated CPU time (s) 1783.37
Current children cumulated vsize (Kb) 175964

[startup+1785.08 s]
/proc/loadavg: 1.01 0.99 0.90 2/67 18205
/proc/meminfo: memFree=1334184/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=175964 CPUtime=1784.37
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43143 0 0 0 178345 92 0 0 25 0 1 0 193477103 180187136 43059 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548612 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 43991 43059 293 55 0 42882 0
Current children cumulated CPU time (s) 1784.37
Current children cumulated vsize (Kb) 175964

[startup+1786.08 s]
/proc/loadavg: 1.01 0.99 0.91 2/67 18205
/proc/meminfo: memFree=1334056/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=176096 CPUtime=1785.37
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43182 0 0 0 178445 92 0 0 25 0 1 0 193477103 180322304 43098 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 44024 43098 293 55 0 42915 0
Current children cumulated CPU time (s) 1785.37
Current children cumulated vsize (Kb) 176096

[startup+1787.09 s]
/proc/loadavg: 1.01 0.99 0.91 2/67 18205
/proc/meminfo: memFree=1333992/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=176096 CPUtime=1786.38
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43186 0 0 0 178546 92 0 0 25 0 1 0 193477103 180322304 43102 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 44024 43102 293 55 0 42915 0
Current children cumulated CPU time (s) 1786.38
Current children cumulated vsize (Kb) 176096

[startup+1788.09 s]
/proc/loadavg: 1.01 0.99 0.91 2/67 18205
/proc/meminfo: memFree=1333800/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=176360 CPUtime=1787.38
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43236 0 0 0 178646 92 0 0 25 0 1 0 193477103 180592640 43152 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134633166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 44090 43152 293 55 0 42981 0
Current children cumulated CPU time (s) 1787.38
Current children cumulated vsize (Kb) 176360

[startup+1789.1 s]
/proc/loadavg: 1.01 0.99 0.91 2/67 18205
/proc/meminfo: memFree=1333672/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=176492 CPUtime=1788.39
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43266 0 0 0 178747 92 0 0 25 0 1 0 193477103 180727808 43182 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 44123 43182 293 55 0 43014 0
Current children cumulated CPU time (s) 1788.39
Current children cumulated vsize (Kb) 176492

[startup+1790.1 s]
/proc/loadavg: 1.01 0.99 0.91 2/67 18205
/proc/meminfo: memFree=1333544/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=176492 CPUtime=1789.39
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43296 0 0 0 178847 92 0 0 25 0 1 0 193477103 180727808 43212 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 44123 43212 293 55 0 43014 0
Current children cumulated CPU time (s) 1789.39
Current children cumulated vsize (Kb) 176492

[startup+1791.11 s]
/proc/loadavg: 1.01 0.99 0.91 2/67 18205
/proc/meminfo: memFree=1333416/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=176624 CPUtime=1790.4
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43331 0 0 0 178948 92 0 0 25 0 1 0 193477103 180862976 43247 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 44156 43247 293 55 0 43047 0
Current children cumulated CPU time (s) 1790.4
Current children cumulated vsize (Kb) 176624

[startup+1792.11 s]
/proc/loadavg: 1.01 0.99 0.91 2/67 18205
/proc/meminfo: memFree=1333416/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=176756 CPUtime=1791.4
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43337 0 0 0 179048 92 0 0 25 0 1 0 193477103 180998144 43253 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 44189 43253 293 55 0 43080 0
Current children cumulated CPU time (s) 1791.4
Current children cumulated vsize (Kb) 176756

[startup+1793.11 s]
/proc/loadavg: 1.01 0.99 0.91 2/67 18205
/proc/meminfo: memFree=1333416/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=176756 CPUtime=1792.4
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43339 0 0 0 179148 92 0 0 25 0 1 0 193477103 180998144 43255 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528656 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 44189 43255 293 55 0 43080 0
Current children cumulated CPU time (s) 1792.4
Current children cumulated vsize (Kb) 176756

[startup+1794.12 s]
/proc/loadavg: 1.01 0.99 0.91 2/67 18205
/proc/meminfo: memFree=1333352/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=176756 CPUtime=1793.41
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43348 0 0 0 179249 92 0 0 25 0 1 0 193477103 180998144 43264 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 44189 43264 293 55 0 43080 0
Current children cumulated CPU time (s) 1793.41
Current children cumulated vsize (Kb) 176756

[startup+1795.12 s]
/proc/loadavg: 1.01 0.99 0.91 2/67 18205
/proc/meminfo: memFree=1333352/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=176756 CPUtime=1794.41
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43348 0 0 0 179349 92 0 0 25 0 1 0 193477103 180998144 43264 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 44189 43264 293 55 0 43080 0
Current children cumulated CPU time (s) 1794.41
Current children cumulated vsize (Kb) 176756

[startup+1796.13 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 18205
/proc/meminfo: memFree=1333352/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=176756 CPUtime=1795.41
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43353 0 0 0 179449 92 0 0 25 0 1 0 193477103 180998144 43269 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540723 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 44189 43269 293 55 0 43080 0
Current children cumulated CPU time (s) 1795.41
Current children cumulated vsize (Kb) 176756

[startup+1797.13 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 18205
/proc/meminfo: memFree=1333224/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=176888 CPUtime=1796.42
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43373 0 0 0 179550 92 0 0 25 0 1 0 193477103 181133312 43289 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 44222 43289 293 55 0 43113 0
Current children cumulated CPU time (s) 1796.42
Current children cumulated vsize (Kb) 176888

[startup+1798.14 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 18205
/proc/meminfo: memFree=1333224/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=176888 CPUtime=1797.42
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43386 0 0 0 179650 92 0 0 25 0 1 0 193477103 181133312 43302 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718252 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 44222 43302 293 55 0 43113 0
Current children cumulated CPU time (s) 1797.42
Current children cumulated vsize (Kb) 176888

[startup+1799.14 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 18205
/proc/meminfo: memFree=1333096/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=177020 CPUtime=1798.43
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43415 0 0 0 179751 92 0 0 25 0 1 0 193477103 181268480 43331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718653 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 44255 43331 293 55 0 43146 0
Current children cumulated CPU time (s) 1798.43
Current children cumulated vsize (Kb) 177020

[startup+1800.15 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 18205
/proc/meminfo: memFree=1332968/2055892 swapFree=4085292/4096564
[pid=18010] ppid=18008 vsize=177152 CPUtime=1799.43
/proc/18010/stat : 18010 (bsolo) R 18008 18010 17964 0 -1 0 43438 0 0 0 179851 92 0 0 25 0 1 0 193477103 181403648 43354 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18010/statm: 44288 43354 293 55 0 43179 0
Current children cumulated CPU time (s) 1799.43
Current children cumulated vsize (Kb) 177152

Child status: 0
Real time (s): 1800.77
CPU time (s): 1800.06
CPU user time (s): 1799.1
CPU system time (s): 0.956854
CPU usage (%): 99.9607
Max. virtual memory (cumulated for all children) (Kb): 177152

Launcher Data (download as text)

Begin job on node84 on Fri Jun  2 19:59:38 UTC 2006


FILE ID= 40408-1149278378

PBS_JOBID= 305917

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-2.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node84/40408-1149278378/instance-40408-1149278378.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node84/watcher-40408-1149278378 -o ROOT/results/node84/solver-40408-1149278378 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node84/40408-1149278378/instance-40408-1149278378.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  0b8531b64d2ca93b44d439b9cb9fcfaa

RANDOM SEED= 116281235


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


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1506104 kB
Buffers:         29904 kB
Cached:         448880 kB
SwapCached:       2520 kB
Active:         123724 kB
Inactive:       363800 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1506104 kB
SwapTotal:     4096564 kB
SwapFree:      4085292 kB
Dirty:             268 kB
Writeback:           0 kB
Mapped:          16424 kB
Slab:            48908 kB
Committed_AS:   321492 kB
PageTables:       1272 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node84 on Fri Jun  2 20:29:39 UTC 2006