Trace number 46250

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.03 1800.57

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-25-20.opb
MD5SUMa69e1395b1a03cfd48605e1acc7227e4
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.003998
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables500
Total number of constraints45
Number of constraints which are clauses25
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint25
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 26
Number of bits of the biggest sum of numbers5
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.03	c Time Limit set via PBTIMEOUT to 1800
0.06	c INFO: OSL Context initialized.
0.06	c Initial problem consists of 500 variables and 45 constraints.
0.06	c Using non-optimization problem switches.
0.06	c No problem reductions applied in OPT. instance.
0.06	c	preprocess terminated. Elapsed time: 0.009
0.06	c After prepocess the problem consists of 500 variables and 45 constraints.
0.08	c Restart #1 #Var: 500 LB: 0 @ 0.027
0.11	c Restart #2 #Var: 500 LB: 0 @ 0.053
0.16	c Restart #3 #Var: 500 LB: 0 @ 0.104
0.25	c Restart #4 #Var: 500 LB: 0 @ 0.194
0.40	c Restart #5 #Var: 500 LB: 0 @ 0.35
0.59	c Restart #6 #Var: 500 LB: 0 @ 0.537
0.88	c Restart #7 #Var: 500 LB: 0 @ 0.823
1.22	c Restart #8 #Var: 500 LB: 0 @ 1.166
1.62	c Restart #9 #Var: 500 LB: 0 @ 1.567
2.00	c Restart #10 #Var: 500 LB: 0 @ 1.947
2.72	c Restart #11 #Var: 500 LB: 0 @ 2.666
3.50	c Restart #12 #Var: 500 LB: 0 @ 3.448
4.54	c Restart #13 #Var: 500 LB: 0 @ 4.491
5.41	c Restart #14 #Var: 500 LB: 0 @ 5.356
6.53	c Restart #15 #Var: 500 LB: 0 @ 6.481
7.70	c Restart #16 #Var: 500 LB: 0 @ 7.65
9.05	c Restart #17 #Var: 500 LB: 0 @ 8.993
10.59	c Restart #18 #Var: 500 LB: 0 @ 10.535
12.40	c Restart #19 #Var: 500 LB: 0 @ 12.342
13.93	c Restart #20 #Var: 500 LB: 0 @ 13.868
15.80	c Restart #21 #Var: 500 LB: 0 @ 15.743
17.53	c Restart #22 #Var: 500 LB: 0 @ 17.475
19.47	c Restart #23 #Var: 500 LB: 0 @ 19.407
21.63	c Restart #24 #Var: 500 LB: 0 @ 21.569
23.86	c Restart #25 #Var: 500 LB: 0 @ 23.798
26.55	c Restart #26 #Var: 500 LB: 0 @ 26.489
29.82	c Restart #27 #Var: 500 LB: 0 @ 29.754
33.11	c Restart #28 #Var: 500 LB: 0 @ 33.047
36.14	c Restart #29 #Var: 500 LB: 0 @ 36.076
39.98	c Restart #30 #Var: 500 LB: 0 @ 39.919
43.77	c Restart #31 #Var: 500 LB: 0 @ 43.708
47.68	c Restart #32 #Var: 500 LB: 0 @ 47.614
52.02	c Restart #33 #Var: 500 LB: 0 @ 51.956
55.94	c Restart #34 #Var: 500 LB: 0 @ 55.876
60.74	c Restart #35 #Var: 500 LB: 0 @ 60.671
65.33	c Restart #36 #Var: 500 LB: 0 @ 65.256
70.62	c Restart #37 #Var: 500 LB: 0 @ 70.546
76.65	c Restart #38 #Var: 500 LB: 0 @ 76.582
81.82	c Restart #39 #Var: 500 LB: 0 @ 81.744
88.27	c Restart #40 #Var: 500 LB: 0 @ 88.195
95.06	c Restart #41 #Var: 500 LB: 0 @ 94.979
100.55	c Restart #42 #Var: 500 LB: 0 @ 100.47
107.11	c Restart #43 #Var: 500 LB: 0 @ 107.03
113.61	c Restart #44 #Var: 500 LB: 0 @ 113.53
120.62	c Restart #45 #Var: 500 LB: 0 @ 120.53
128.34	c Restart #46 #Var: 500 LB: 0 @ 128.26
136.99	c Restart #47 #Var: 500 LB: 0 @ 136.9
144.69	c Restart #48 #Var: 500 LB: 0 @ 144.6
152.49	c Restart #49 #Var: 500 LB: 0 @ 152.4
160.78	c Restart #50 #Var: 500 LB: 0 @ 160.69
168.03	c Restart #51 #Var: 500 LB: 0 @ 167.94
176.39	c Restart #52 #Var: 500 LB: 0 @ 176.29
186.69	c Restart #53 #Var: 500 LB: 0 @ 186.59
195.58	c Restart #54 #Var: 500 LB: 0 @ 195.48
204.51	c Restart #55 #Var: 500 LB: 0 @ 204.41
214.15	c Restart #56 #Var: 500 LB: 0 @ 214.05
224.52	c Restart #57 #Var: 500 LB: 0 @ 224.41
238.17	c Restart #58 #Var: 500 LB: 0 @ 238.06
249.09	c Restart #59 #Var: 500 LB: 0 @ 248.97
262.26	c Restart #60 #Var: 500 LB: 0 @ 262.14
277.70	c Restart #61 #Var: 500 LB: 0 @ 277.58
291.77	c Restart #62 #Var: 500 LB: 0 @ 291.65
307.30	c Restart #63 #Var: 500 LB: 0 @ 307.17
323.15	c Restart #64 #Var: 500 LB: 0 @ 323.02
340.22	c Restart #65 #Var: 500 LB: 0 @ 340.09
357.76	c Restart #66 #Var: 500 LB: 0 @ 357.62
375.89	c Restart #67 #Var: 500 LB: 0 @ 375.75
394.75	c Restart #68 #Var: 500 LB: 0 @ 394.6
413.86	c Restart #69 #Var: 500 LB: 0 @ 413.71
435.10	c Restart #70 #Var: 500 LB: 0 @ 434.94
456.62	c Restart #71 #Var: 500 LB: 0 @ 456.45
481.25	c Restart #72 #Var: 500 LB: 0 @ 481.08
502.75	c Restart #73 #Var: 500 LB: 0 @ 502.58
525.87	c Restart #74 #Var: 500 LB: 0 @ 525.69
548.62	c Restart #75 #Var: 500 LB: 0 @ 548.44
573.12	c Restart #76 #Var: 500 LB: 0 @ 572.93
598.08	c Restart #77 #Var: 500 LB: 0 @ 597.88
623.51	c Restart #78 #Var: 500 LB: 0 @ 623.31
649.06	c Restart #79 #Var: 500 LB: 0 @ 648.85
678.08	c Restart #80 #Var: 500 LB: 0 @ 677.86
709.89	c Restart #81 #Var: 500 LB: 0 @ 709.66
739.28	c Restart #82 #Var: 500 LB: 0 @ 739.04
768.76	c Restart #83 #Var: 500 LB: 0 @ 768.52
799.09	c Restart #84 #Var: 500 LB: 0 @ 798.84
830.27	c Restart #85 #Var: 500 LB: 0 @ 830.02
861.63	c Restart #86 #Var: 500 LB: 0 @ 861.36
897.15	c Restart #87 #Var: 500 LB: 0 @ 896.88
931.01	c CHANGE Heuristic... 
931.01	c Restart #0 #Var: 500 LB: 0 @ 930.73
931.17	c Restart #1 #Var: 500 LB: 0 @ 930.89
931.70	c Restart #2 #Var: 500 LB: 0 @ 931.42
932.37	c Restart #3 #Var: 500 LB: 0 @ 932.09
933.51	c Restart #4 #Var: 500 LB: 0 @ 933.23
935.11	c Restart #5 #Var: 500 LB: 0 @ 934.83
935.58	c Restart #6 #Var: 500 LB: 0 @ 935.3
936.77	c Restart #7 #Var: 500 LB: 0 @ 936.49
938.47	c Restart #8 #Var: 500 LB: 0 @ 938.18
940.53	c Restart #9 #Var: 500 LB: 0 @ 940.25
942.88	c Restart #10 #Var: 500 LB: 0 @ 942.59
945.43	c Restart #11 #Var: 500 LB: 0 @ 945.15
947.55	c Restart #12 #Var: 500 LB: 0 @ 947.27
950.37	c Restart #13 #Var: 500 LB: 0 @ 950.09
953.91	c Restart #14 #Var: 500 LB: 0 @ 953.62
956.28	c Restart #15 #Var: 500 LB: 0 @ 956
959.66	c Restart #16 #Var: 500 LB: 0 @ 959.37
962.27	c Restart #17 #Var: 500 LB: 0 @ 961.98
965.84	c Restart #18 #Var: 500 LB: 0 @ 965.55
970.47	c Restart #19 #Var: 500 LB: 0 @ 970.18
974.29	c Restart #20 #Var: 500 LB: 0 @ 974
978.04	c Restart #21 #Var: 500 LB: 0 @ 977.75
982.84	c Restart #22 #Var: 500 LB: 0 @ 982.55
987.08	c Restart #23 #Var: 500 LB: 0 @ 986.79
991.30	c Restart #24 #Var: 500 LB: 0 @ 991.01
995.64	c Restart #25 #Var: 500 LB: 0 @ 995.34
1000.44	c Restart #26 #Var: 500 LB: 0 @ 1000.1
1005.37	c Restart #27 #Var: 500 LB: 0 @ 1005.1
1010.12	c Restart #28 #Var: 500 LB: 0 @ 1009.8
1015.77	c Restart #29 #Var: 500 LB: 0 @ 1015.5
1021.58	c Restart #30 #Var: 500 LB: 0 @ 1021.3
1028.78	c Restart #31 #Var: 500 LB: 0 @ 1028.5
1035.56	c Restart #32 #Var: 500 LB: 0 @ 1035.3
1044.07	c Restart #33 #Var: 500 LB: 0 @ 1043.8
1051.34	c Restart #34 #Var: 500 LB: 0 @ 1051
1059.82	c Restart #35 #Var: 500 LB: 0 @ 1059.5
1067.18	c Restart #36 #Var: 500 LB: 0 @ 1066.9
1074.56	c Restart #37 #Var: 500 LB: 0 @ 1074.2
1082.73	c Restart #38 #Var: 500 LB: 0 @ 1082.4
1091.20	c Restart #39 #Var: 500 LB: 0 @ 1090.9
1099.72	c Restart #40 #Var: 500 LB: 0 @ 1099.4
1108.34	c Restart #41 #Var: 500 LB: 0 @ 1108
1120.82	c Restart #42 #Var: 500 LB: 0 @ 1120.5
1130.48	c Restart #43 #Var: 500 LB: 0 @ 1130.2
1142.93	c Restart #44 #Var: 500 LB: 0 @ 1142.6
1158.45	c Restart #45 #Var: 500 LB: 0 @ 1158.1
1168.75	c Restart #46 #Var: 500 LB: 0 @ 1168.4
1183.11	c Restart #47 #Var: 500 LB: 0 @ 1182.8
1193.91	c Restart #48 #Var: 500 LB: 0 @ 1193.6
1206.82	c Restart #49 #Var: 500 LB: 0 @ 1206.5
1219.64	c Restart #50 #Var: 500 LB: 0 @ 1219.3
1232.53	c Restart #51 #Var: 500 LB: 0 @ 1232.2
1245.60	c Restart #52 #Var: 500 LB: 0 @ 1245.2
1260.78	c Restart #53 #Var: 500 LB: 0 @ 1260.4
1275.72	c Restart #54 #Var: 500 LB: 0 @ 1275.4
1289.93	c Restart #55 #Var: 500 LB: 0 @ 1289.6
1308.16	c Restart #56 #Var: 500 LB: 0 @ 1307.8
1325.99	c Restart #57 #Var: 500 LB: 0 @ 1325.6
1344.38	c Restart #58 #Var: 500 LB: 0 @ 1344
1361.54	c Restart #59 #Var: 500 LB: 0 @ 1361.1
1378.15	c Restart #60 #Var: 500 LB: 0 @ 1377.7
1396.05	c Restart #61 #Var: 500 LB: 0 @ 1395.6
1412.53	c Restart #62 #Var: 500 LB: 0 @ 1412.1
1431.25	c Restart #63 #Var: 500 LB: 0 @ 1430.8
1448.81	c Restart #64 #Var: 500 LB: 0 @ 1448.4
1468.60	c Restart #65 #Var: 500 LB: 0 @ 1468.1
1487.05	c Restart #66 #Var: 500 LB: 0 @ 1486.6
1505.69	c Restart #67 #Var: 500 LB: 0 @ 1505.2
1528.85	c Restart #68 #Var: 500 LB: 0 @ 1528.4
1553.06	c Restart #69 #Var: 500 LB: 0 @ 1552.6
1582.89	c Restart #70 #Var: 500 LB: 0 @ 1582.4
1608.45	c Restart #71 #Var: 500 LB: 0 @ 1608
1630.15	c Restart #72 #Var: 500 LB: 0 @ 1629.7
1656.04	c Restart #73 #Var: 500 LB: 0 @ 1655.5
1680.87	c Restart #74 #Var: 500 LB: 0 @ 1680.4
1708.27	c Restart #75 #Var: 500 LB: 0 @ 1707.8
1732.12	c Restart #76 #Var: 500 LB: 0 @ 1731.6
1764.65	c Restart #77 #Var: 500 LB: 0 @ 1764.1
1794.87	c Restart #78 #Var: 500 LB: 0 @ 1794.3
1800.54	s UNKNOWN
1800.54	c Exit Code: 0
1800.54	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

runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node25/watcher-46250-1154054330 -o ROOT/results/node25/solver-46250-1154054330 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node25/46250-1154054330/instance-46250-1154054330.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/64 26904
/proc/meminfo: memFree=1274120/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=2948 CPUtime=0
/proc/26904/stat : 26904 (bsolo) D 26902 26904 26855 0 -1 0 50 0 1 0 0 0 0 0 18 0 1 0 152307885 3018752 34 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 3765028 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/26904/statm: 737 34 26 55 0 38 0

[startup+10.0024 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 26904
/proc/meminfo: memFree=1263248/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=12996 CPUtime=9.94
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 2510 0 10 0 991 3 0 0 25 0 1 0 152307885 13307904 2434 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 3249 2434 296 55 0 2141 0
Current children cumulated CPU time (s) 9.94
Current children cumulated vsize (Kb) 12996

[startup+20.0083 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 26904
/proc/meminfo: memFree=1262288/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=14052 CPUtime=19.95
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 2754 0 10 0 1990 5 0 0 25 0 1 0 152307885 14389248 2678 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 3513 2678 296 55 0 2405 0
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 14052

[startup+30.0142 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 26904
/proc/meminfo: memFree=1260112/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=16280 CPUtime=29.94
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 3313 0 10 0 2988 6 0 0 25 0 1 0 152307885 16670720 3237 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 4070 3237 296 55 0 2962 0
Current children cumulated CPU time (s) 29.94
Current children cumulated vsize (Kb) 16280

[startup+40.0201 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 26904
/proc/meminfo: memFree=1258256/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=18120 CPUtime=39.95
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 3790 0 10 0 3987 8 0 0 25 0 1 0 152307885 18554880 3714 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550548 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 4530 3714 296 55 0 3422 0
Current children cumulated CPU time (s) 39.95
Current children cumulated vsize (Kb) 18120

[startup+50.027 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 26904
/proc/meminfo: memFree=1257488/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=18852 CPUtime=49.96
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 3971 0 10 0 4986 10 0 0 25 0 1 0 152307885 19304448 3895 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 4713 3895 296 55 0 3605 0
Current children cumulated CPU time (s) 49.96
Current children cumulated vsize (Kb) 18852

[startup+60.0319 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 26904
/proc/meminfo: memFree=1256400/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=20040 CPUtime=59.96
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 4251 0 10 0 5985 11 0 0 25 0 1 0 152307885 20520960 4175 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 5010 4175 296 55 0 3902 0
Current children cumulated CPU time (s) 59.96
Current children cumulated vsize (Kb) 20040

[startup+70.0378 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 26904
/proc/meminfo: memFree=1255760/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=20688 CPUtime=69.96
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 4410 0 10 0 6984 12 0 0 25 0 1 0 152307885 21184512 4334 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 5172 4334 296 55 0 4064 0
Current children cumulated CPU time (s) 69.96
Current children cumulated vsize (Kb) 20688

[startup+80.0437 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 26904
/proc/meminfo: memFree=1255312/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=21076 CPUtime=79.97
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 4515 0 10 0 7983 14 0 0 25 0 1 0 152307885 21581824 4439 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 5269 4439 296 55 0 4161 0
Current children cumulated CPU time (s) 79.97
Current children cumulated vsize (Kb) 21076

[startup+90.0496 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 26904
/proc/meminfo: memFree=1254864/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=21472 CPUtime=89.97
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 4628 0 10 0 8982 15 0 0 25 0 1 0 152307885 21987328 4552 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 5368 4552 296 55 0 4260 0
Current children cumulated CPU time (s) 89.97
Current children cumulated vsize (Kb) 21472

[startup+100.055 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 26904
/proc/meminfo: memFree=1253968/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=22484 CPUtime=99.97
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 4857 0 10 0 9980 17 0 0 25 0 1 0 152307885 23023616 4781 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 5621 4781 296 55 0 4513 0
Current children cumulated CPU time (s) 99.97
Current children cumulated vsize (Kb) 22484

[startup+110.062 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 26904
/proc/meminfo: memFree=1252176/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=24328 CPUtime=109.97
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 5312 0 10 0 10978 19 0 0 25 0 1 0 152307885 24911872 5236 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 6082 5236 296 55 0 4974 0
Current children cumulated CPU time (s) 109.97
Current children cumulated vsize (Kb) 24328

[startup+120.067 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 26904
/proc/meminfo: memFree=1251408/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=25108 CPUtime=119.98
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 5508 0 10 0 11977 21 0 0 25 0 1 0 152307885 25710592 5432 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 6277 5432 296 55 0 5169 0
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (Kb) 25108

[startup+130.073 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 26904
/proc/meminfo: memFree=1250576/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=25856 CPUtime=129.99
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 5704 0 10 0 12976 23 0 0 25 0 1 0 152307885 26476544 5628 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 6464 5628 296 55 0 5356 0
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 25856

[startup+140.079 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 26904
/proc/meminfo: memFree=1250128/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=26252 CPUtime=139.98
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 5818 0 10 0 13975 23 0 0 25 0 1 0 152307885 26882048 5742 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548580 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 6563 5742 296 55 0 5455 0
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 26252

[startup+150.085 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 26904
/proc/meminfo: memFree=1249488/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=26892 CPUtime=149.99
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 5974 0 10 0 14974 25 0 0 25 0 1 0 152307885 27537408 5898 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 6723 5898 296 55 0 5615 0
Current children cumulated CPU time (s) 149.99
Current children cumulated vsize (Kb) 26892

[startup+160.091 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 26904
/proc/meminfo: memFree=1248400/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=28040 CPUtime=159.99
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 6248 0 10 0 15973 26 0 0 25 0 1 0 152307885 28712960 6172 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 7010 6172 296 55 0 5902 0
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 28040

[startup+170.097 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 26904
/proc/meminfo: memFree=1247248/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=29172 CPUtime=169.99
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 6528 0 10 0 16972 27 0 0 25 0 1 0 152307885 29872128 6452 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534947 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 7293 6452 296 55 0 6185 0
Current children cumulated CPU time (s) 169.99
Current children cumulated vsize (Kb) 29172

[startup+180.103 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 26904
/proc/meminfo: memFree=1246160/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=30204 CPUtime=180
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 6805 0 10 0 17971 29 0 0 25 0 1 0 152307885 30928896 6729 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 7551 6729 296 55 0 6443 0
Current children cumulated CPU time (s) 180
Current children cumulated vsize (Kb) 30204

[startup+190.109 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 26904
/proc/meminfo: memFree=1245648/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=30716 CPUtime=190
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 6932 0 10 0 18970 30 0 0 25 0 1 0 152307885 31453184 6856 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548563 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 7679 6856 296 55 0 6571 0
Current children cumulated CPU time (s) 190
Current children cumulated vsize (Kb) 30716

[startup+200.114 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 26904
/proc/meminfo: memFree=1243856/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=32520 CPUtime=200.01
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 7377 0 10 0 19969 32 0 0 25 0 1 0 152307885 33300480 7301 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 8130 7301 296 55 0 7022 0
Current children cumulated CPU time (s) 200.01
Current children cumulated vsize (Kb) 32520

[startup+210.12 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 26904

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

Current children cumulated CPU time (s) 1760.51
Current children cumulated vsize (Kb) 114932

[startup+1771.05 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27102
/proc/meminfo: memFree=1161552/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=115232 CPUtime=1770.51
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 27898 0 10 0 176856 195 0 0 25 0 1 0 152307885 117997568 27816 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4206309 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 28808 27816 296 55 0 27700 0
Current children cumulated CPU time (s) 1770.51
Current children cumulated vsize (Kb) 115232

[startup+1781.05 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27102
/proc/meminfo: memFree=1161232/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=115496 CPUtime=1780.52
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 27975 0 10 0 177856 196 0 0 25 0 1 0 152307885 118267904 27893 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 28874 27893 296 55 0 27766 0
Current children cumulated CPU time (s) 1780.52
Current children cumulated vsize (Kb) 115496

[startup+1782.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27102
/proc/meminfo: memFree=1161232/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=115496 CPUtime=1781.53
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 27975 0 10 0 177957 196 0 0 25 0 1 0 152307885 118267904 27893 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548612 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 28874 27893 296 55 0 27766 0
Current children cumulated CPU time (s) 1781.53
Current children cumulated vsize (Kb) 115496

[startup+1783.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27102
/proc/meminfo: memFree=1161168/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=115496 CPUtime=1782.53
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 27982 0 10 0 178057 196 0 0 25 0 1 0 152307885 118267904 27900 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 28874 27900 296 55 0 27766 0
Current children cumulated CPU time (s) 1782.53
Current children cumulated vsize (Kb) 115496

[startup+1784.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27102
/proc/meminfo: memFree=1161168/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=115496 CPUtime=1783.53
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 27987 0 10 0 178157 196 0 0 25 0 1 0 152307885 118267904 27905 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 28874 27905 296 55 0 27766 0
Current children cumulated CPU time (s) 1783.53
Current children cumulated vsize (Kb) 115496

[startup+1785.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27102
/proc/meminfo: memFree=1161168/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=115496 CPUtime=1784.54
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 27987 0 10 0 178258 196 0 0 25 0 1 0 152307885 118267904 27905 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 28874 27905 296 55 0 27766 0
Current children cumulated CPU time (s) 1784.54
Current children cumulated vsize (Kb) 115496

[startup+1786.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27102
/proc/meminfo: memFree=1161168/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=115496 CPUtime=1785.54
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 27987 0 10 0 178358 196 0 0 25 0 1 0 152307885 118267904 27905 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4198487 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 28874 27905 296 55 0 27766 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (Kb) 115496

[startup+1787.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27102
/proc/meminfo: memFree=1161168/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=115496 CPUtime=1786.55
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 27993 0 10 0 178459 196 0 0 25 0 1 0 152307885 118267904 27911 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 28874 27911 296 55 0 27766 0
Current children cumulated CPU time (s) 1786.55
Current children cumulated vsize (Kb) 115496

[startup+1788.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27102
/proc/meminfo: memFree=1161104/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=115628 CPUtime=1787.55
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 28007 0 10 0 178559 196 0 0 25 0 1 0 152307885 118403072 27925 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 28907 27925 296 55 0 27799 0
Current children cumulated CPU time (s) 1787.55
Current children cumulated vsize (Kb) 115628

[startup+1789.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27102
/proc/meminfo: memFree=1161040/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=115628 CPUtime=1788.56
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 28019 0 10 0 178659 197 0 0 25 0 1 0 152307885 118403072 27937 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 28907 27937 296 55 0 27799 0
Current children cumulated CPU time (s) 1788.56
Current children cumulated vsize (Kb) 115628

[startup+1790.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27102
/proc/meminfo: memFree=1161040/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=115628 CPUtime=1789.57
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 28020 0 10 0 178760 197 0 0 25 0 1 0 152307885 118403072 27938 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 28907 27938 296 55 0 27799 0
Current children cumulated CPU time (s) 1789.57
Current children cumulated vsize (Kb) 115628

[startup+1791.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27102
/proc/meminfo: memFree=1161040/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=115628 CPUtime=1790.57
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 28025 0 10 0 178860 197 0 0 25 0 1 0 152307885 118403072 27943 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134633157 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 28907 27943 296 55 0 27799 0
Current children cumulated CPU time (s) 1790.57
Current children cumulated vsize (Kb) 115628

[startup+1792.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27102
/proc/meminfo: memFree=1160976/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=115628 CPUtime=1791.57
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 28034 0 10 0 178960 197 0 0 25 0 1 0 152307885 118403072 27952 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 28907 27952 296 55 0 27799 0
Current children cumulated CPU time (s) 1791.57
Current children cumulated vsize (Kb) 115628

[startup+1793.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27102
/proc/meminfo: memFree=1160912/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=115752 CPUtime=1792.58
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 28047 0 10 0 179061 197 0 0 25 0 1 0 152307885 118530048 27965 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 28938 27965 296 55 0 27830 0
Current children cumulated CPU time (s) 1792.58
Current children cumulated vsize (Kb) 115752

[startup+1794.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27102
/proc/meminfo: memFree=1160912/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=115752 CPUtime=1793.58
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 28047 0 10 0 179161 197 0 0 25 0 1 0 152307885 118530048 27965 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 28938 27965 296 55 0 27830 0
Current children cumulated CPU time (s) 1793.58
Current children cumulated vsize (Kb) 115752

[startup+1795.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27102
/proc/meminfo: memFree=1160912/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=115752 CPUtime=1794.59
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 28048 0 10 0 179262 197 0 0 25 0 1 0 152307885 118530048 27966 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 28938 27966 296 55 0 27830 0
Current children cumulated CPU time (s) 1794.59
Current children cumulated vsize (Kb) 115752

[startup+1796.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27102
/proc/meminfo: memFree=1160912/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=115752 CPUtime=1795.59
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 28048 0 10 0 179362 197 0 0 25 0 1 0 152307885 118530048 27966 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548637 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 28938 27966 296 55 0 27830 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (Kb) 115752

[startup+1797.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27102
/proc/meminfo: memFree=1160912/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=115752 CPUtime=1796.59
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 28048 0 10 0 179462 197 0 0 25 0 1 0 152307885 118530048 27966 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 28938 27966 296 55 0 27830 0
Current children cumulated CPU time (s) 1796.59
Current children cumulated vsize (Kb) 115752

[startup+1798.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27102
/proc/meminfo: memFree=1160912/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=115752 CPUtime=1797.6
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 28048 0 10 0 179563 197 0 0 25 0 1 0 152307885 118530048 27966 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134718272 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 28938 27966 296 55 0 27830 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (Kb) 115752

[startup+1799.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27102
/proc/meminfo: memFree=1160912/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=115752 CPUtime=1798.6
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 28048 0 10 0 179663 197 0 0 25 0 1 0 152307885 118530048 27966 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 28938 27966 296 55 0 27830 0
Current children cumulated CPU time (s) 1798.6
Current children cumulated vsize (Kb) 115752

[startup+1800.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27102
/proc/meminfo: memFree=1160912/2055920 swapFree=4183100/4192956
[pid=26904] ppid=26902 vsize=115752 CPUtime=1799.6
/proc/26904/stat : 26904 (bsolo) R 26902 26904 26855 0 -1 0 28048 0 10 0 179763 197 0 0 25 0 1 0 152307885 118530048 27966 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548612 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26904/statm: 28938 27966 296 55 0 27830 0
Current children cumulated CPU time (s) 1799.6
Current children cumulated vsize (Kb) 115752

Child status: 0
Real time (s): 1800.57
CPU time (s): 1800.03
CPU user time (s): 1798.03
CPU system time (s): 2.00169
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (Kb): 115752
The end

Launcher Data (download as text)

Begin job on node25 on Fri Jul 28 02:38:50 UTC 2006


FILE ID= 46250-1154054330

PBS_JOBID= 881977

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-25-20.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node25/46250-1154054330/instance-46250-1154054330.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-46250-1154054330 -o ROOT/results/node25/solver-46250-1154054330 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node25/46250-1154054330/instance-46250-1154054330.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  a69e1395b1a03cfd48605e1acc7227e4

RANDOM SEED= 315422286

TIMEOUT= 1800 seconds


/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.209
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.209
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:       1274328 kB
Buffers:         37076 kB
Cached:         661564 kB
SwapCached:       3800 kB
Active:          91720 kB
Inactive:       615676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1274328 kB
SwapTotal:     4192956 kB
SwapFree:      4183100 kB
Dirty:             180 kB
Writeback:           0 kB
Mapped:          14700 kB
Slab:            60196 kB
Committed_AS:   669432 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node25 on Fri Jul 28 03:08:50 UTC 2006