Trace number 39830

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.05 1800.77

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos7.opb
MD5SUMa93c44578e8ffcb65ad1c65e578ef076
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark45
Best CPU time to get the best result obtained on this benchmark1782.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 45
Optimality of the best value was proved NO
Number of variables33010
Total number of constraints2154
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)142
Number of constraints which are nor clauses,nor cardinality constraints2012
Minimum length of a constraint2
Maximum length of a constraint441
Number of terms in the objective function 4506
Biggest coefficient in the objective function 7151
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 527624
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 527624
Number of bits of the biggest sum of numbers20
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.
0.70	c Initial problem consists of 33010 variables and 2624 constraints.
0.80	c No problem reductions applied in OPT. instance.
0.80	c	preprocess terminated. Elapsed time: 0.792
0.80	c After prepocess the problem consists of 19489 variables and 2479 constraints.
0.80	c Initial Lower Bound: 0
1.03	c Restart #1 #Var: 19489 LB: 0 @ 1.021
1.59	c Restart #2 #Var: 19489 LB: 0 @ 1.583
2.50	c Restart #3 #Var: 19489 LB: 0 @ 2.487
3.04	c Restart #4 #Var: 19489 LB: 0 @ 3.031
3.71	c Restart #5 #Var: 19489 LB: 0 @ 3.701
4.73	c Restart #6 #Var: 19489 LB: 0 @ 4.715
5.90	c Restart #7 #Var: 19489 LB: 0 @ 5.885
7.52	c Restart #8 #Var: 19489 LB: 0 @ 7.508
9.59	c Restart #9 #Var: 19489 LB: 0 @ 9.577
11.26	c Restart #10 #Var: 19487 LB: 0 @ 11.244
12.80	c Restart #11 #Var: 19485 LB: 0 @ 12.783
18.19	c Restart #12 #Var: 19485 LB: 0 @ 18.171
21.83	c Restart #13 #Var: 19483 LB: 0 @ 21.809
27.94	c Restart #14 #Var: 19473 LB: 0 @ 27.91
29.07	c Restart #15 #Var: 19469 LB: 0 @ 29.049
32.02	c Restart #16 #Var: 19459 LB: 0 @ 31.994
34.89	c Restart #17 #Var: 19453 LB: 0 @ 34.864
37.58	c Restart #18 #Var: 19449 LB: 0 @ 37.548
37.87	c Restart #19 #Var: 19449 LB: 0 @ 37.838
49.78	c Restart #20 #Var: 19445 LB: 0 @ 49.746
53.72	c Restart #21 #Var: 19437 LB: 0 @ 53.689
60.64	c Restart #22 #Var: 19435 LB: 0 @ 60.605
66.97	c Restart #23 #Var: 19427 LB: 0 @ 66.934
76.64	c Restart #24 #Var: 19421 LB: 0 @ 76.602
78.72	c Restart #25 #Var: 19421 LB: 0 @ 78.674
86.35	c Restart #26 #Var: 19414 LB: 0 @ 86.299
94.54	c Restart #27 #Var: 19414 LB: 0 @ 94.491
121.86	c Restart #28 #Var: 19405 LB: 0 @ 121.8
147.88	c Restart #29 #Var: 19401 LB: 0 @ 147.81
159.23	c Restart #30 #Var: 19399 LB: 0 @ 159.15
167.45	c Restart #31 #Var: 19397 LB: 0 @ 167.38
175.86	c Restart #32 #Var: 19397 LB: 0 @ 175.78
196.70	c Restart #33 #Var: 19392 LB: 0 @ 196.62
218.45	c Restart #34 #Var: 19392 LB: 0 @ 218.36
228.46	c Restart #35 #Var: 19390 LB: 0 @ 228.36
245.76	c Restart #36 #Var: 19384 LB: 0 @ 245.65
271.84	c Restart #37 #Var: 19382 LB: 0 @ 271.73
294.14	c Restart #38 #Var: 19379 LB: 0 @ 294.02
323.39	c Restart #39 #Var: 19379 LB: 0 @ 323.25
344.35	c Restart #40 #Var: 19376 LB: 0 @ 344.21
364.77	c Restart #41 #Var: 19371 LB: 0 @ 364.62
382.97	c Restart #42 #Var: 19370 LB: 0 @ 382.81
407.54	c Restart #43 #Var: 19366 LB: 0 @ 407.38
431.02	c Restart #44 #Var: 19360 LB: 0 @ 430.84
442.55	c Restart #45 #Var: 19360 LB: 0 @ 442.37
482.57	c Restart #46 #Var: 19352 LB: 0 @ 482.37
508.18	c Restart #47 #Var: 19349 LB: 0 @ 507.98
531.50	c Restart #48 #Var: 19349 LB: 0 @ 531.26
557.69	c Restart #49 #Var: 19347 LB: 0 @ 557.43
587.38	c Restart #50 #Var: 19341 LB: 0 @ 587.12
627.41	c Restart #51 #Var: 19338 LB: 0 @ 627.13
662.89	c Restart #52 #Var: 19336 LB: 0 @ 662.6
678.98	c Restart #53 #Var: 19336 LB: 0 @ 678.69
725.98	c Restart #54 #Var: 19330 LB: 0 @ 725.67
775.33	c Restart #55 #Var: 19328 LB: 0 @ 775
803.04	c Restart #56 #Var: 19324 LB: 0 @ 802.69
869.53	c Restart #57 #Var: 19322 LB: 0 @ 869.16
895.73	c Restart #58 #Var: 19322 LB: 0 @ 895.35
970.19	c CHANGE Heuristic... 
970.19	c Restart #0 #Var: 19322 LB: 0 @ 969.79
970.35	c Restart #1 #Var: 19313 LB: 0 @ 969.94
973.42	c Restart #2 #Var: 19277 LB: 0 @ 973.01
977.90	c Restart #3 #Var: 19270 LB: 0 @ 977.49
980.60	c Restart #4 #Var: 19268 LB: 0 @ 980.2
991.15	c Restart #5 #Var: 19264 LB: 0 @ 990.74
1002.33	c Restart #6 #Var: 19258 LB: 0 @ 1001.9
1012.99	c Restart #7 #Var: 19256 LB: 0 @ 1012.6
1026.51	c Restart #8 #Var: 19256 LB: 0 @ 1026.1
1036.66	c Restart #9 #Var: 19256 LB: 0 @ 1036.2
1059.81	c Restart #10 #Var: 19256 LB: 0 @ 1059.4
1068.83	c Restart #11 #Var: 19256 LB: 0 @ 1068.4
1078.36	c Restart #12 #Var: 19256 LB: 0 @ 1077.9
1097.19	c Restart #13 #Var: 19252 LB: 0 @ 1096.7
1104.32	c Restart #14 #Var: 19252 LB: 0 @ 1103.9
1119.78	c Restart #15 #Var: 19252 LB: 0 @ 1119.3
1136.69	c Restart #16 #Var: 19252 LB: 0 @ 1136.2
1152.16	c Restart #17 #Var: 19250 LB: 0 @ 1151.7
1170.64	c Restart #18 #Var: 19250 LB: 0 @ 1170.2
1181.28	c Restart #19 #Var: 19250 LB: 0 @ 1180.8
1202.82	c Restart #20 #Var: 19245 LB: 0 @ 1202.3
1232.40	c Restart #21 #Var: 19242 LB: 0 @ 1231.9
1245.40	c Restart #22 #Var: 19242 LB: 0 @ 1244.9
1270.00	c Restart #23 #Var: 19242 LB: 0 @ 1269.5
1297.73	c Restart #24 #Var: 19240 LB: 0 @ 1297.2
1339.18	c Restart #25 #Var: 19232 LB: 0 @ 1338.6
1358.85	c Restart #26 #Var: 19231 LB: 0 @ 1358.3
1386.97	c Restart #27 #Var: 19231 LB: 0 @ 1386.4
1429.14	c Restart #28 #Var: 19231 LB: 0 @ 1428.6
1473.72	c Restart #29 #Var: 19231 LB: 0 @ 1473.1
1518.85	c Restart #30 #Var: 19231 LB: 0 @ 1518.2
1558.87	c Restart #31 #Var: 19229 LB: 0 @ 1558.2
1595.27	c Restart #32 #Var: 19227 LB: 0 @ 1594.6
1635.62	c Restart #33 #Var: 19225 LB: 0 @ 1635
1671.83	c Restart #34 #Var: 19225 LB: 0 @ 1671.2
1718.20	c Restart #35 #Var: 19223 LB: 0 @ 1717.5
1779.22	c Restart #36 #Var: 19222 LB: 0 @ 1778.5
1800.72	s UNKNOWN
1800.72	c Exit Code: 0
1800.72	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/node73/watcher-39830-1149256354 -o ROOT/results/node73/solver-39830-1149256354 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node73/39830-1149256354/instance-39830-1149256354.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.84 0.94 0.91 2/64 15756
/proc/meminfo: memFree=1427288/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=436 CPUtime=0
/proc/15756/stat : 15756 (bsolo) D 15754 15756 15710 0 -1 0 38 0 0 0 0 0 0 0 19 0 1 0 191300140 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7709476 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/15756/statm: 109 23 18 55 0 18 0

[startup+10.0019 s]
/proc/loadavg: 0.87 0.94 0.91 2/64 15756
/proc/meminfo: memFree=1385576/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=47824 CPUtime=9.97
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 16823 0 0 0 964 33 0 0 25 0 1 0 191300140 48971776 10777 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 11956 10777 299 55 0 10848 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 47824

[startup+20.0078 s]
/proc/loadavg: 0.89 0.94 0.91 2/64 15756
/proc/meminfo: memFree=1380136/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=53348 CPUtime=19.98
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 18177 0 0 0 1956 42 0 0 25 0 1 0 191300140 54628352 12131 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542170 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 13337 12131 299 55 0 12229 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 53348

[startup+30.0148 s]
/proc/loadavg: 0.90 0.94 0.91 2/64 15756
/proc/meminfo: memFree=1373864/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=59548 CPUtime=29.98
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 19740 0 0 0 2950 48 0 0 25 0 1 0 191300140 60977152 13694 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 14887 13694 299 55 0 13779 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 59548

[startup+40.0218 s]
/proc/loadavg: 0.92 0.94 0.91 2/64 15756
/proc/meminfo: memFree=1363752/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=69720 CPUtime=39.98
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 22272 0 0 0 3945 53 0 0 25 0 1 0 191300140 71393280 16226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 17430 16226 299 55 0 16322 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 69720

[startup+50.0287 s]
/proc/loadavg: 0.93 0.94 0.91 2/64 15756
/proc/meminfo: memFree=1362088/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=71276 CPUtime=49.99
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 22686 0 0 0 4942 57 0 0 25 0 1 0 191300140 72986624 16640 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 17819 16640 299 55 0 16711 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 71276

[startup+60.0357 s]
/proc/loadavg: 0.94 0.95 0.91 2/64 15756
/proc/meminfo: memFree=1357928/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=75496 CPUtime=59.99
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 23716 0 0 0 5935 64 0 0 25 0 1 0 191300140 77307904 17670 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529300 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 18874 17670 299 55 0 17766 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 75496

[startup+70.0427 s]
/proc/loadavg: 0.95 0.95 0.91 2/64 15756
/proc/meminfo: memFree=1351528/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=81828 CPUtime=69.99
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 25313 0 0 0 6929 70 0 0 25 0 1 0 191300140 83791872 19267 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 20457 19267 299 55 0 19349 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 81828

[startup+80.0496 s]
/proc/loadavg: 0.96 0.95 0.91 2/64 15756
/proc/meminfo: memFree=1347560/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=85764 CPUtime=80
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 26309 0 0 0 7925 75 0 0 25 0 1 0 191300140 87822336 20263 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 21441 20263 299 55 0 20333 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 85764

[startup+90.0566 s]
/proc/loadavg: 0.96 0.95 0.91 2/64 15756
/proc/meminfo: memFree=1343336/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=89988 CPUtime=90
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 27355 0 0 0 8923 77 0 0 25 0 1 0 191300140 92147712 21309 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 22497 21309 299 55 0 21389 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 89988

[startup+100.064 s]
/proc/loadavg: 0.97 0.95 0.91 2/64 15756
/proc/meminfo: memFree=1340904/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=92468 CPUtime=100
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 27965 0 0 0 9920 80 0 0 25 0 1 0 191300140 94687232 21919 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718468 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 23117 21919 299 55 0 22009 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 92468

[startup+110.071 s]
/proc/loadavg: 0.97 0.95 0.91 2/64 15756
/proc/meminfo: memFree=1339688/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=93656 CPUtime=110.01
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 28260 0 0 0 10918 83 0 0 25 0 1 0 191300140 95903744 22214 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719430 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 23414 22214 299 55 0 22306 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 93656

[startup+120.077 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 15756
/proc/meminfo: memFree=1338728/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=94576 CPUtime=120.01
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 28501 0 0 0 11917 84 0 0 25 0 1 0 191300140 96845824 22455 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 23644 22455 299 55 0 22536 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 94576

[startup+130.082 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 15756
/proc/meminfo: memFree=1337960/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=95368 CPUtime=130.01
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 28694 0 0 0 12916 85 0 0 25 0 1 0 191300140 97656832 22648 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534835 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 23842 22648 299 55 0 22734 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 95368

[startup+140.089 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 15756
/proc/meminfo: memFree=1336808/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=96556 CPUtime=140.02
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 28980 0 0 0 13915 87 0 0 25 0 1 0 191300140 98873344 22934 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 24139 22934 299 55 0 23031 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 96556

[startup+150.096 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 15756
/proc/meminfo: memFree=1335592/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=97740 CPUtime=150.02
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 29284 0 0 0 14914 88 0 0 25 0 1 0 191300140 100085760 23238 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535142 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 24435 23238 299 55 0 23327 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 97740

[startup+160.102 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 15756
/proc/meminfo: memFree=1331688/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=101564 CPUtime=160.02
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 30250 0 0 0 15911 91 0 0 25 0 1 0 191300140 104001536 24204 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 25391 24204 299 55 0 24283 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 101564

[startup+170.108 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 15756
/proc/meminfo: memFree=1329064/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=104200 CPUtime=170.02
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 30896 0 0 0 16908 94 0 0 25 0 1 0 191300140 106700800 24850 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548534 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 26050 24850 299 55 0 24942 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 104200

[startup+180.115 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 15756
/proc/meminfo: memFree=1326888/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=106288 CPUtime=180.02
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 31432 0 0 0 17906 96 0 0 25 0 1 0 191300140 108838912 25386 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 26572 25386 299 55 0 25464 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 106288

[startup+190.121 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 15756
/proc/meminfo: memFree=1325352/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=107936 CPUtime=190.03
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 31831 0 0 0 18903 100 0 0 25 0 1 0 191300140 110526464 25785 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134595889 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 26984 25785 299 55 0 25876 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 107936

[startup+200.127 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 15756
/proc/meminfo: memFree=1324520/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=108728 CPUtime=200.03
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 32047 0 0 0 19901 102 0 0 25 0 1 0 191300140 111337472 26001 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134633165 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 27182 26001 299 55 0 26074 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 108728

[startup+210.133 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 15756
/proc/meminfo: memFree=1323304/2055920 swapFree=4182220/4192956

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

/proc/15756/statm: 68874 67689 299 55 0 67766 0
Current children cumulated CPU time (s) 1760.41
Current children cumulated vsize (Kb) 275496

[startup+1771.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 15951
/proc/meminfo: memFree=1156648/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=276024 CPUtime=1770.41
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74100 0 0 0 176705 336 0 0 25 0 1 0 191300140 282648576 67815 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 69006 67815 299 55 0 67898 0
Current children cumulated CPU time (s) 1770.41
Current children cumulated vsize (Kb) 276024

[startup+1781.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 15951
/proc/meminfo: memFree=1155880/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=276816 CPUtime=1780.41
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74291 0 0 0 177703 338 0 0 25 0 1 0 191300140 283459584 68006 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 69204 68006 299 55 0 68096 0
Current children cumulated CPU time (s) 1780.41
Current children cumulated vsize (Kb) 276816

[startup+1782.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 15951
/proc/meminfo: memFree=1155880/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=276816 CPUtime=1781.41
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74294 0 0 0 177803 338 0 0 25 0 1 0 191300140 283459584 68009 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 69204 68009 299 55 0 68096 0
Current children cumulated CPU time (s) 1781.41
Current children cumulated vsize (Kb) 276816

[startup+1783.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 15951
/proc/meminfo: memFree=1155880/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=276816 CPUtime=1782.43
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74297 0 0 0 177904 339 0 0 25 0 1 0 191300140 283459584 68012 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533966 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 69204 68012 299 55 0 68096 0
Current children cumulated CPU time (s) 1782.43
Current children cumulated vsize (Kb) 276816

[startup+1784.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 15951
/proc/meminfo: memFree=1155816/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=276816 CPUtime=1783.43
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74303 0 0 0 178004 339 0 0 25 0 1 0 191300140 283459584 68018 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 69204 68018 299 55 0 68096 0
Current children cumulated CPU time (s) 1783.43
Current children cumulated vsize (Kb) 276816

[startup+1785.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 15951
/proc/meminfo: memFree=1155816/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=276816 CPUtime=1784.43
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74308 0 0 0 178104 339 0 0 25 0 1 0 191300140 283459584 68023 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540560 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 69204 68023 299 55 0 68096 0
Current children cumulated CPU time (s) 1784.43
Current children cumulated vsize (Kb) 276816

[startup+1786.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 15951
/proc/meminfo: memFree=1155752/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=276948 CPUtime=1785.44
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74319 0 0 0 178205 339 0 0 25 0 1 0 191300140 283594752 68034 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 69237 68034 299 55 0 68129 0
Current children cumulated CPU time (s) 1785.44
Current children cumulated vsize (Kb) 276948

[startup+1787.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 15951
/proc/meminfo: memFree=1155688/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=276948 CPUtime=1786.44
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74339 0 0 0 178305 339 0 0 25 0 1 0 191300140 283594752 68054 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528681 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 69237 68054 299 55 0 68129 0
Current children cumulated CPU time (s) 1786.44
Current children cumulated vsize (Kb) 276948

[startup+1788.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 15951
/proc/meminfo: memFree=1155624/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=277080 CPUtime=1787.44
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74348 0 0 0 178405 339 0 0 25 0 1 0 191300140 283729920 68063 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718653 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 69270 68063 299 55 0 68162 0
Current children cumulated CPU time (s) 1787.44
Current children cumulated vsize (Kb) 277080

[startup+1789.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 15951
/proc/meminfo: memFree=1155624/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=277080 CPUtime=1788.46
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74355 0 0 0 178506 340 0 0 25 0 1 0 191300140 283729920 68070 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 69270 68070 299 55 0 68162 0
Current children cumulated CPU time (s) 1788.46
Current children cumulated vsize (Kb) 277080

[startup+1790.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 15951
/proc/meminfo: memFree=1155560/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=277080 CPUtime=1789.46
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74367 0 0 0 178606 340 0 0 25 0 1 0 191300140 283729920 68082 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718465 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 69270 68082 299 55 0 68162 0
Current children cumulated CPU time (s) 1789.46
Current children cumulated vsize (Kb) 277080

[startup+1791.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 15951
/proc/meminfo: memFree=1155560/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=277080 CPUtime=1790.46
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74372 0 0 0 178706 340 0 0 25 0 1 0 191300140 283729920 68087 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 69270 68087 299 55 0 68162 0
Current children cumulated CPU time (s) 1790.46
Current children cumulated vsize (Kb) 277080

[startup+1792.19 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 15951
/proc/meminfo: memFree=1155496/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=277212 CPUtime=1791.47
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74387 0 0 0 178807 340 0 0 25 0 1 0 191300140 283865088 68102 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534834 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 69303 68102 299 55 0 68195 0
Current children cumulated CPU time (s) 1791.47
Current children cumulated vsize (Kb) 277212

[startup+1793.19 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 15951
/proc/meminfo: memFree=1155496/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=277212 CPUtime=1792.47
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74390 0 0 0 178907 340 0 0 25 0 1 0 191300140 283865088 68105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 69303 68105 299 55 0 68195 0
Current children cumulated CPU time (s) 1792.47
Current children cumulated vsize (Kb) 277212

[startup+1794.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 15951
/proc/meminfo: memFree=1155432/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=277212 CPUtime=1793.47
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74405 0 0 0 179007 340 0 0 25 0 1 0 191300140 283865088 68120 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 69303 68120 299 55 0 68195 0
Current children cumulated CPU time (s) 1793.47
Current children cumulated vsize (Kb) 277212

[startup+1795.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 15951
/proc/meminfo: memFree=1155368/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=277344 CPUtime=1794.48
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74421 0 0 0 179108 340 0 0 25 0 1 0 191300140 284000256 68136 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528729 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 69336 68136 299 55 0 68228 0
Current children cumulated CPU time (s) 1794.48
Current children cumulated vsize (Kb) 277344

[startup+1796.21 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 15951
/proc/meminfo: memFree=1154984/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=277608 CPUtime=1795.49
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74508 0 0 0 179208 341 0 0 25 0 1 0 191300140 284270592 68223 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 69402 68223 299 55 0 68294 0
Current children cumulated CPU time (s) 1795.49
Current children cumulated vsize (Kb) 277608

[startup+1797.21 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 15951
/proc/meminfo: memFree=1154984/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=277608 CPUtime=1796.49
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74508 0 0 0 179308 341 0 0 25 0 1 0 191300140 284270592 68223 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 69402 68223 299 55 0 68294 0
Current children cumulated CPU time (s) 1796.49
Current children cumulated vsize (Kb) 277608

[startup+1798.22 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 15951
/proc/meminfo: memFree=1154984/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=277608 CPUtime=1797.5
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74508 0 0 0 179409 341 0 0 25 0 1 0 191300140 284270592 68223 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 69402 68223 299 55 0 68294 0
Current children cumulated CPU time (s) 1797.5
Current children cumulated vsize (Kb) 277608

[startup+1799.22 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 15951
/proc/meminfo: memFree=1154984/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=277608 CPUtime=1798.5
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74508 0 0 0 179509 341 0 0 25 0 1 0 191300140 284270592 68223 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 69402 68223 299 55 0 68294 0
Current children cumulated CPU time (s) 1798.5
Current children cumulated vsize (Kb) 277608

[startup+1800.23 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 15951
/proc/meminfo: memFree=1154984/2055920 swapFree=4182220/4192956
[pid=15756] ppid=15754 vsize=277608 CPUtime=1799.5
/proc/15756/stat : 15756 (bsolo) R 15754 15756 15710 0 -1 0 74508 0 0 0 179609 341 0 0 25 0 1 0 191300140 284270592 68223 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542206 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15756/statm: 69402 68223 299 55 0 68294 0
Current children cumulated CPU time (s) 1799.5
Current children cumulated vsize (Kb) 277608

Child status: 0
Real time (s): 1800.77
CPU time (s): 1800.05
CPU user time (s): 1796.59
CPU system time (s): 3.45847
CPU usage (%): 99.96
Max. virtual memory (cumulated for all children) (Kb): 277608

Launcher Data (download as text)

Begin job on node73 on Fri Jun  2 13:52:34 UTC 2006


FILE ID= 39830-1149256354

PBS_JOBID= 298401

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  a93c44578e8ffcb65ad1c65e578ef076

RANDOM SEED= 754552146


/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.261
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.261
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:       1427496 kB
Buffers:         38228 kB
Cached:         517680 kB
SwapCached:       2508 kB
Active:         112628 kB
Inactive:       452032 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1427496 kB
SwapTotal:     4192956 kB
SwapFree:      4182220 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          15120 kB
Slab:            49844 kB
Committed_AS:   209504 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node73 on Fri Jun  2 14:22:35 UTC 2006