Trace number 39684

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/05? 1800.16 1800.62

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga14_14_sat_pb.cnf.cr.opb
MD5SUM74c4eb11f12622eba961e655de7451bc
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.004998
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables294
Total number of constraints238
Number of constraints which are clauses210
Number of constraints which are cardinality constraints (but not clauses)28
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint7
Maximum length of a constraint14
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 15
Number of bits of the biggest sum of numbers4
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.01	c INFO: OSL Context initialized.
0.02	c Initial problem consists of 294 variables and 238 constraints.
0.03	c Using non-optimization problem switches.
0.03	c No problem reductions applied in OPT. instance.
0.03	c	preprocess terminated. Elapsed time: 0.011
0.03	c After prepocess the problem consists of 294 variables and 238 constraints.
0.04	c Restart #1 #Var: 294 LB: 0 @ 0.028
0.07	c Restart #2 #Var: 294 LB: 0 @ 0.056
0.12	c Restart #3 #Var: 294 LB: 0 @ 0.104
0.20	c Restart #4 #Var: 294 LB: 0 @ 0.183
0.29	c Restart #5 #Var: 294 LB: 0 @ 0.277
0.38	c Restart #6 #Var: 294 LB: 0 @ 0.369
0.56	c Restart #7 #Var: 294 LB: 0 @ 0.549
0.79	c Restart #8 #Var: 294 LB: 0 @ 0.78
1.14	c Restart #9 #Var: 294 LB: 0 @ 1.126
1.53	c Restart #10 #Var: 294 LB: 0 @ 1.515
2.01	c Restart #11 #Var: 294 LB: 0 @ 1.994
2.59	c Restart #12 #Var: 294 LB: 0 @ 2.577
3.24	c Restart #13 #Var: 294 LB: 0 @ 3.221
4.26	c Restart #14 #Var: 294 LB: 0 @ 4.237
5.33	c Restart #15 #Var: 294 LB: 0 @ 5.311
6.00	c Restart #16 #Var: 294 LB: 0 @ 5.98
8.36	c Restart #17 #Var: 294 LB: 0 @ 8.339
10.44	c Restart #18 #Var: 294 LB: 0 @ 10.416
12.93	c Restart #19 #Var: 294 LB: 0 @ 12.914
16.10	c Restart #20 #Var: 294 LB: 0 @ 16.076
20.19	c Restart #21 #Var: 294 LB: 0 @ 20.163
27.33	c Restart #22 #Var: 294 LB: 0 @ 27.302
33.36	c Restart #23 #Var: 294 LB: 0 @ 33.338
41.84	c Restart #24 #Var: 294 LB: 0 @ 41.816
51.48	c Restart #25 #Var: 294 LB: 0 @ 51.445
62.38	c Restart #26 #Var: 294 LB: 0 @ 62.345
69.17	c Restart #27 #Var: 294 LB: 0 @ 69.132
79.59	c Restart #28 #Var: 294 LB: 0 @ 79.549
91.16	c Restart #29 #Var: 294 LB: 0 @ 91.12
110.87	c Restart #30 #Var: 294 LB: 0 @ 110.83
128.60	c Restart #31 #Var: 294 LB: 0 @ 128.56
150.56	c Restart #32 #Var: 294 LB: 0 @ 150.51
176.66	c Restart #33 #Var: 294 LB: 0 @ 176.6
206.69	c Restart #34 #Var: 294 LB: 0 @ 206.62
230.26	c Restart #35 #Var: 294 LB: 0 @ 230.18
258.30	c Restart #36 #Var: 294 LB: 0 @ 258.22
291.04	c Restart #37 #Var: 294 LB: 0 @ 290.96
322.52	c Restart #38 #Var: 294 LB: 0 @ 322.42
343.55	c Restart #39 #Var: 294 LB: 0 @ 343.45
369.81	c Restart #40 #Var: 294 LB: 0 @ 369.7
401.51	c Restart #41 #Var: 294 LB: 0 @ 401.39
428.94	c Restart #42 #Var: 294 LB: 0 @ 428.81
458.94	c Restart #43 #Var: 294 LB: 0 @ 458.81
485.84	c Restart #44 #Var: 294 LB: 0 @ 485.7
524.60	c Restart #45 #Var: 294 LB: 0 @ 524.45
578.55	c Restart #46 #Var: 294 LB: 0 @ 578.39
619.23	c Restart #47 #Var: 294 LB: 0 @ 619.06
652.83	c Restart #48 #Var: 294 LB: 0 @ 652.65
705.26	c Restart #49 #Var: 294 LB: 0 @ 705.07
755.57	c Restart #50 #Var: 294 LB: 0 @ 755.37
809.97	c Restart #51 #Var: 294 LB: 0 @ 809.75
969.92	c CHANGE Heuristic... 
969.92	c Restart #0 #Var: 294 LB: 0 @ 969.66
973.45	c Restart #1 #Var: 294 LB: 0 @ 973.2
980.28	c Restart #2 #Var: 294 LB: 0 @ 980.02
988.90	c Restart #3 #Var: 294 LB: 0 @ 988.64
998.41	c Restart #4 #Var: 294 LB: 0 @ 998.15
1005.62	c Restart #5 #Var: 294 LB: 0 @ 1005.4
1012.74	c Restart #6 #Var: 294 LB: 0 @ 1012.5
1021.70	c Restart #7 #Var: 294 LB: 0 @ 1021.4
1035.74	c Restart #8 #Var: 294 LB: 0 @ 1035.5
1047.80	c Restart #9 #Var: 294 LB: 0 @ 1047.5
1072.20	c Restart #10 #Var: 294 LB: 0 @ 1071.9
1090.26	c Restart #11 #Var: 294 LB: 0 @ 1090
1114.07	c Restart #12 #Var: 294 LB: 0 @ 1113.8
1138.66	c Restart #13 #Var: 294 LB: 0 @ 1138.4
1166.67	c Restart #14 #Var: 294 LB: 0 @ 1166.4
1188.52	c Restart #15 #Var: 294 LB: 0 @ 1188.2
1217.90	c Restart #16 #Var: 294 LB: 0 @ 1217.6
1252.17	c Restart #17 #Var: 294 LB: 0 @ 1251.8
1279.18	c Restart #18 #Var: 294 LB: 0 @ 1278.8
1313.53	c Restart #19 #Var: 294 LB: 0 @ 1313.2
1353.10	c Restart #20 #Var: 294 LB: 0 @ 1352.7
1399.21	c Restart #21 #Var: 294 LB: 0 @ 1398.8
1444.16	c Restart #22 #Var: 294 LB: 0 @ 1443.8
1498.55	c Restart #23 #Var: 294 LB: 0 @ 1498.2
1551.22	c Restart #24 #Var: 294 LB: 0 @ 1550.8
1611.27	c Restart #25 #Var: 294 LB: 0 @ 1610.9
1678.15	c Restart #26 #Var: 294 LB: 0 @ 1677.7
1747.08	c Restart #27 #Var: 294 LB: 0 @ 1746.6
1800.55	s UNKNOWN
1800.55	c Exit Code: 0
1800.55	c Total time: 1800.1 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/node72/watcher-39684-1149232963 -o ROOT/results/node72/solver-39684-1149232963 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node72/39684-1149232963/instance-39684-1149232963.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 3/64 13297
/proc/meminfo: memFree=1579232/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=4748 CPUtime=0
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 231 0 0 0 0 0 0 0 18 0 1 0 188960682 4861952 202 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2958016 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 1187 211 153 55 0 79 0

[startup+10.0027 s]
/proc/loadavg: 0.93 0.95 0.90 2/64 13297
/proc/meminfo: memFree=1545440/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=38284 CPUtime=9.98
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 8811 0 0 0 990 8 0 0 25 0 1 0 188960682 39202816 8725 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 9571 8725 297 55 0 8463 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 38284

[startup+20.0086 s]
/proc/loadavg: 0.94 0.96 0.91 2/64 13297
/proc/meminfo: memFree=1530912/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=52868 CPUtime=19.98
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 12443 0 0 0 1986 12 0 0 25 0 1 0 188960682 54136832 12355 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 13217 12355 297 55 0 12109 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 52868

[startup+30.0145 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 13297
/proc/meminfo: memFree=1522336/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=61488 CPUtime=29.98
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 14572 0 0 0 2984 14 0 0 25 0 1 0 188960682 62963712 14481 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 15372 14481 297 55 0 14264 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 61488

[startup+40.0204 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 13297
/proc/meminfo: memFree=1515872/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=68168 CPUtime=39.98
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 16193 0 0 0 3982 16 0 0 25 0 1 0 188960682 69804032 16102 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534060 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 17042 16102 297 55 0 15934 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 68168

[startup+50.0263 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 13297
/proc/meminfo: memFree=1510496/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=73580 CPUtime=49.99
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 17527 0 0 0 4981 18 0 0 25 0 1 0 188960682 75345920 17435 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 18395 17435 297 55 0 17287 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 73580

[startup+60.0322 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 13297
/proc/meminfo: memFree=1504096/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=79964 CPUtime=59.99
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 19121 0 0 0 5979 20 0 0 25 0 1 0 188960682 81883136 19028 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 19991 19028 297 55 0 18883 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 79964

[startup+70.0391 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 13297
/proc/meminfo: memFree=1496096/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=88044 CPUtime=70
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 21130 0 0 0 6978 22 0 0 25 0 1 0 188960682 90157056 21033 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528741 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 22011 21033 297 55 0 20903 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 88044

[startup+80.045 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 13297
/proc/meminfo: memFree=1490080/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=94064 CPUtime=80
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 22635 0 0 0 7975 25 0 0 25 0 1 0 188960682 96321536 22535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 23516 22535 297 55 0 22408 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 94064

[startup+90.0509 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 13297
/proc/meminfo: memFree=1484576/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=99660 CPUtime=90.01
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 24015 0 0 0 8974 27 0 0 25 0 1 0 188960682 102051840 23910 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 24915 23910 297 55 0 23807 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 99660

[startup+100.057 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 13297
/proc/meminfo: memFree=1479712/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=104684 CPUtime=100.01
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 25221 0 0 0 9973 28 0 0 25 0 1 0 188960682 107196416 25112 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 26171 25112 297 55 0 25063 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 104684

[startup+110.063 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 13297
/proc/meminfo: memFree=1476960/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=107472 CPUtime=110.01
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 25901 0 0 0 10971 30 0 0 25 0 1 0 188960682 110051328 25792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548421 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 26868 25792 297 55 0 25760 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 107472

[startup+120.069 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13297
/proc/meminfo: memFree=1472608/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=111796 CPUtime=120.01
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 26992 0 0 0 11970 31 0 0 25 0 1 0 188960682 114479104 26881 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534828 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 27949 26881 297 55 0 26841 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 111796

[startup+130.075 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13297
/proc/meminfo: memFree=1468768/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=115748 CPUtime=130.02
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 27969 0 0 0 12969 33 0 0 25 0 1 0 188960682 118525952 27853 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134558015 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 28937 27853 297 55 0 27829 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 115748

[startup+140.079 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13297
/proc/meminfo: memFree=1465376/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=119196 CPUtime=140.02
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 28824 0 0 0 13968 34 0 0 25 0 1 0 188960682 122056704 28707 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 29799 28707 297 55 0 28691 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 119196

[startup+150.085 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13297
/proc/meminfo: memFree=1462176/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=122392 CPUtime=150.02
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 29619 0 0 0 14967 35 0 0 25 0 1 0 188960682 125329408 29502 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 30598 29502 297 55 0 29490 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 122392

[startup+160.091 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13297
/proc/meminfo: memFree=1458528/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=125988 CPUtime=160.03
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 30529 0 0 0 15966 37 0 0 25 0 1 0 188960682 129011712 30412 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 31497 30412 297 55 0 30389 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 125988

[startup+170.097 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13297
/proc/meminfo: memFree=1455584/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=129044 CPUtime=170.04
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 31268 0 0 0 16966 38 0 0 25 0 1 0 188960682 132141056 31149 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 32261 31149 297 55 0 31153 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 129044

[startup+180.108 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13297
/proc/meminfo: memFree=1453216/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=131448 CPUtime=180.04
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 31855 0 0 0 17965 39 0 0 25 0 1 0 188960682 134602752 31736 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534825 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 32862 31736 297 55 0 31754 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 131448

[startup+190.114 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13297
/proc/meminfo: memFree=1450464/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=134100 CPUtime=190.04
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 32538 0 0 0 18964 40 0 0 25 0 1 0 188960682 137318400 32416 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 33525 32416 297 55 0 32417 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 134100

[startup+200.119 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13297
/proc/meminfo: memFree=1447520/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=137160 CPUtime=200.04
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 33268 0 0 0 19963 41 0 0 25 0 1 0 188960682 140451840 33143 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 34290 33143 297 55 0 33182 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 137160

[startup+210.125 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13297
/proc/meminfo: memFree=1444832/2055920 swapFree=4182504/4192956

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

/proc/13297/statm: 105374 102208 297 55 0 104266 0
Current children cumulated CPU time (s) 1760.59
Current children cumulated vsize (Kb) 421496

[startup+1771.05 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13299
/proc/meminfo: memFree=1169824/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=422352 CPUtime=1770.6
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 103851 0 0 0 176905 155 0 0 25 0 1 0 188960682 432488448 102379 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 105588 102379 297 55 0 104480 0
Current children cumulated CPU time (s) 1770.6
Current children cumulated vsize (Kb) 422352

[startup+1781.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13299
/proc/meminfo: memFree=1169120/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=423012 CPUtime=1780.6
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 104034 0 0 0 177905 155 0 0 25 0 1 0 188960682 433164288 102562 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 105753 102562 297 55 0 104645 0
Current children cumulated CPU time (s) 1780.6
Current children cumulated vsize (Kb) 423012

[startup+1782.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13299
/proc/meminfo: memFree=1169056/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=423144 CPUtime=1781.6
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 104055 0 0 0 178005 155 0 0 25 0 1 0 188960682 433299456 102583 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 105786 102583 297 55 0 104678 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (Kb) 423144

[startup+1783.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13299
/proc/meminfo: memFree=1168800/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=423472 CPUtime=1782.6
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 104118 0 0 0 178105 155 0 0 25 0 1 0 188960682 433635328 102642 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 105868 102642 297 55 0 104760 0
Current children cumulated CPU time (s) 1782.6
Current children cumulated vsize (Kb) 423472

[startup+1784.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13299
/proc/meminfo: memFree=1168800/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=423472 CPUtime=1783.61
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 104118 0 0 0 178206 155 0 0 25 0 1 0 188960682 433635328 102642 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 105868 102642 297 55 0 104760 0
Current children cumulated CPU time (s) 1783.61
Current children cumulated vsize (Kb) 423472

[startup+1785.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13299
/proc/meminfo: memFree=1168736/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=423604 CPUtime=1784.61
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 104135 0 0 0 178306 155 0 0 25 0 1 0 188960682 433770496 102659 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 105901 102659 297 55 0 104793 0
Current children cumulated CPU time (s) 1784.61
Current children cumulated vsize (Kb) 423604

[startup+1786.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13299
/proc/meminfo: memFree=1168672/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=423604 CPUtime=1785.62
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 104155 0 0 0 178407 155 0 0 25 0 1 0 188960682 433770496 102679 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548721 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 105901 102679 297 55 0 104793 0
Current children cumulated CPU time (s) 1785.62
Current children cumulated vsize (Kb) 423604

[startup+1787.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13299
/proc/meminfo: memFree=1168544/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=423736 CPUtime=1786.62
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 104176 0 0 0 178507 155 0 0 25 0 1 0 188960682 433905664 102700 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 105934 102700 297 55 0 104826 0
Current children cumulated CPU time (s) 1786.62
Current children cumulated vsize (Kb) 423736

[startup+1788.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13299
/proc/meminfo: memFree=1168544/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=423736 CPUtime=1787.63
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 104187 0 0 0 178608 155 0 0 25 0 1 0 188960682 433905664 102711 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 105934 102711 297 55 0 104826 0
Current children cumulated CPU time (s) 1787.63
Current children cumulated vsize (Kb) 423736

[startup+1789.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13299
/proc/meminfo: memFree=1168480/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=423868 CPUtime=1788.63
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 104206 0 0 0 178708 155 0 0 25 0 1 0 188960682 434040832 102730 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548503 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 105967 102730 297 55 0 104859 0
Current children cumulated CPU time (s) 1788.63
Current children cumulated vsize (Kb) 423868

[startup+1790.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13299
/proc/meminfo: memFree=1168416/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=423868 CPUtime=1789.64
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 104215 0 0 0 178809 155 0 0 25 0 1 0 188960682 434040832 102739 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533791 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 105967 102739 297 55 0 104859 0
Current children cumulated CPU time (s) 1789.64
Current children cumulated vsize (Kb) 423868

[startup+1791.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13299
/proc/meminfo: memFree=1168352/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=423868 CPUtime=1790.64
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 104231 0 0 0 178909 155 0 0 25 0 1 0 188960682 434040832 102755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 105967 102755 297 55 0 104859 0
Current children cumulated CPU time (s) 1790.64
Current children cumulated vsize (Kb) 423868

[startup+1792.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13299
/proc/meminfo: memFree=1168288/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=424000 CPUtime=1791.65
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 104242 0 0 0 179009 156 0 0 25 0 1 0 188960682 434176000 102766 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 106000 102766 297 55 0 104892 0
Current children cumulated CPU time (s) 1791.65
Current children cumulated vsize (Kb) 424000

[startup+1793.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13299
/proc/meminfo: memFree=1168288/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=424000 CPUtime=1792.66
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 104253 0 0 0 179110 156 0 0 25 0 1 0 188960682 434176000 102777 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548439 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 106000 102777 297 55 0 104892 0
Current children cumulated CPU time (s) 1792.66
Current children cumulated vsize (Kb) 424000

[startup+1794.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13299
/proc/meminfo: memFree=1168224/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=424000 CPUtime=1793.66
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 104268 0 0 0 179210 156 0 0 25 0 1 0 188960682 434176000 102792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 106000 102792 297 55 0 104892 0
Current children cumulated CPU time (s) 1793.66
Current children cumulated vsize (Kb) 424000

[startup+1795.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13299
/proc/meminfo: memFree=1168032/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=424328 CPUtime=1794.67
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 104320 0 0 0 179311 156 0 0 25 0 1 0 188960682 434511872 102840 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 106082 102840 297 55 0 104974 0
Current children cumulated CPU time (s) 1794.67
Current children cumulated vsize (Kb) 424328

[startup+1796.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13299
/proc/meminfo: memFree=1167968/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=424328 CPUtime=1795.67
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 104321 0 0 0 179411 156 0 0 25 0 1 0 188960682 434511872 102841 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 106082 102841 297 55 0 104974 0
Current children cumulated CPU time (s) 1795.67
Current children cumulated vsize (Kb) 424328

[startup+1797.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13299
/proc/meminfo: memFree=1167968/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=424328 CPUtime=1796.68
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 104321 0 0 0 179512 156 0 0 25 0 1 0 188960682 434511872 102841 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 106082 102841 297 55 0 104974 0
Current children cumulated CPU time (s) 1796.68
Current children cumulated vsize (Kb) 424328

[startup+1798.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13299
/proc/meminfo: memFree=1167968/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=424460 CPUtime=1797.68
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 104332 0 0 0 179612 156 0 0 25 0 1 0 188960682 434647040 102852 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 106115 102852 297 55 0 105007 0
Current children cumulated CPU time (s) 1797.68
Current children cumulated vsize (Kb) 424460

[startup+1799.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13299
/proc/meminfo: memFree=1167904/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=424460 CPUtime=1798.69
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 104344 0 0 0 179713 156 0 0 25 0 1 0 188960682 434647040 102864 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 106115 102864 297 55 0 105007 0
Current children cumulated CPU time (s) 1798.69
Current children cumulated vsize (Kb) 424460

[startup+1800.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 13299
/proc/meminfo: memFree=1167840/2055920 swapFree=4182504/4192956
[pid=13297] ppid=13295 vsize=424460 CPUtime=1799.69
/proc/13297/stat : 13297 (bsolo) R 13295 13297 13252 0 -1 0 104357 0 0 0 179813 156 0 0 25 0 1 0 188960682 434647040 102877 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13297/statm: 106115 102877 297 55 0 105007 0
Current children cumulated CPU time (s) 1799.69
Current children cumulated vsize (Kb) 424460

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.16
CPU user time (s): 1798.54
CPU system time (s): 1.62575
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (Kb): 424460

Launcher Data (download as text)

Begin job on node72 on Fri Jun  2 07:22:43 UTC 2006


FILE ID= 39684-1149232963

PBS_JOBID= 296639

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  74c4eb11f12622eba961e655de7451bc

RANDOM SEED= 655650343


/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.227
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	: 5914.62
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.227
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:       1579440 kB
Buffers:         36572 kB
Cached:         363288 kB
SwapCached:       2428 kB
Active:         103716 kB
Inactive:       305072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1579440 kB
SwapTotal:     4192956 kB
SwapFree:      4182504 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          16020 kB
Slab:            53740 kB
Committed_AS:   223484 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node72 on Fri Jun  2 07:52:43 UTC 2006