Trace number 40620

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/05Signal 377.072 377.469

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb
MD5SUMa5c62cef1e86c64304fd5ef232ab5991
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables107808
Total number of constraints3904
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3904
Minimum length of a constraint31
Maximum length of a constraint1440
Number of terms in the objective function 38688
Biggest coefficient in the objective function 348966092800
Number of bits for the biggest coefficient in the objective function 39
Sum of the numbers in the objective function 299074813804544
Number of bits of the sum of numbers in the objective function 49
Biggest number in a constraint 348966092800
Number of bits of the biggest number in a constraint 39
Biggest sum of numbers in a constraint 299074813804544
Number of bits of the biggest sum of numbers49
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.01	c BIG Int formula...
15.71	c Initial problem consists of 107808 variables and 5184 constraints.
16.00	c No problem reductions applied in OPT. instance.
16.00	c	preprocess terminated. Elapsed time: 15.975
16.00	c After prepocess the problem consists of 68716 variables and 5184 constraints.
16.00	c Initial Lower Bound: 0
17.74	c Restart #1 #Var: 68716 LB: 0 @ 17.709
19.73	c Restart #2 #Var: 68716 LB: 0 @ 19.708
23.51	c Restart #3 #Var: 68716 LB: 0 @ 23.485
27.53	c Restart #4 #Var: 68716 LB: 0 @ 27.505
32.91	c Restart #5 #Var: 68716 LB: 0 @ 32.878
39.93	c Restart #6 #Var: 68716 LB: 0 @ 39.894
46.03	c Restart #7 #Var: 68716 LB: 0 @ 45.992
52.84	c Restart #8 #Var: 68716 LB: 0 @ 52.798
60.58	c Restart #9 #Var: 68716 LB: 0 @ 60.536
65.76	c Restart #10 #Var: 68716 LB: 0 @ 65.718
69.12	c Restart #11 #Var: 68716 LB: 0 @ 69.072
71.69	c Restart #12 #Var: 68716 LB: 0 @ 71.643
72.51	c Restart #13 #Var: 68716 LB: 0 @ 72.464
72.78	c Restart #14 #Var: 68716 LB: 0 @ 72.731
73.05	c Restart #15 #Var: 68716 LB: 0 @ 73.004
73.37	c Restart #16 #Var: 68716 LB: 0 @ 73.322
73.71	c Restart #17 #Var: 68716 LB: 0 @ 73.661
74.06	c Restart #18 #Var: 68716 LB: 0 @ 74.012
74.47	c Restart #19 #Var: 68716 LB: 0 @ 74.426
74.88	c Restart #20 #Var: 68716 LB: 0 @ 74.836
75.69	c Restart #21 #Var: 68716 LB: 0 @ 75.644
76.08	c Restart #22 #Var: 68716 LB: 0 @ 76.036
76.51	c Restart #23 #Var: 68716 LB: 0 @ 76.466
76.96	c Restart #24 #Var: 68716 LB: 0 @ 76.916
77.48	c Restart #25 #Var: 68716 LB: 0 @ 77.435
78.05	c Restart #26 #Var: 68716 LB: 0 @ 78.006
78.93	c Restart #27 #Var: 68716 LB: 0 @ 78.884
80.15	c Restart #28 #Var: 68716 LB: 0 @ 80.106
81.28	c Restart #29 #Var: 68716 LB: 0 @ 81.234
82.10	c Restart #30 #Var: 68716 LB: 0 @ 82.051
82.81	c Restart #31 #Var: 68716 LB: 0 @ 82.76
83.58	c Restart #32 #Var: 68716 LB: 0 @ 83.527
84.37	c Restart #33 #Var: 68716 LB: 0 @ 84.32
85.42	c Restart #34 #Var: 68716 LB: 0 @ 85.37
86.46	c Restart #35 #Var: 68716 LB: 0 @ 86.407
87.26	c Restart #36 #Var: 68716 LB: 0 @ 87.213
88.32	c Restart #37 #Var: 68716 LB: 0 @ 88.267
89.23	c Restart #38 #Var: 68716 LB: 0 @ 89.177
90.34	c Restart #39 #Var: 68716 LB: 0 @ 90.29
91.33	c Restart #40 #Var: 68716 LB: 0 @ 91.274
92.50	c Restart #41 #Var: 68716 LB: 0 @ 92.449
93.56	c Restart #42 #Var: 68716 LB: 0 @ 93.509
94.75	c Restart #43 #Var: 68716 LB: 0 @ 94.699
95.97	c Restart #44 #Var: 68716 LB: 0 @ 95.915
97.06	c Restart #45 #Var: 68716 LB: 0 @ 97.001
98.42	c Restart #46 #Var: 68716 LB: 0 @ 98.358
99.74	c Restart #47 #Var: 68716 LB: 0 @ 99.684
101.10	c Restart #48 #Var: 68716 LB: 0 @ 101.05
102.50	c Restart #49 #Var: 68716 LB: 0 @ 102.44
104.09	c Restart #50 #Var: 68716 LB: 0 @ 104.03
105.36	c Restart #51 #Var: 68716 LB: 0 @ 105.3
107.03	c Restart #52 #Var: 68716 LB: 0 @ 106.97
108.61	c Restart #53 #Var: 68716 LB: 0 @ 108.55
110.11	c Restart #54 #Var: 68716 LB: 0 @ 110.05
111.77	c Restart #55 #Var: 68716 LB: 0 @ 111.71
113.55	c Restart #56 #Var: 68716 LB: 0 @ 113.49
115.03	c Restart #57 #Var: 68716 LB: 0 @ 114.97
116.86	c Restart #58 #Var: 68716 LB: 0 @ 116.8
118.62	c Restart #59 #Var: 68716 LB: 0 @ 118.56
120.57	c Restart #60 #Var: 68716 LB: 0 @ 120.51
122.22	c Restart #61 #Var: 68716 LB: 0 @ 122.15
124.18	c Restart #62 #Var: 68716 LB: 0 @ 124.11
125.92	c Restart #63 #Var: 68716 LB: 0 @ 125.85
127.94	c Restart #64 #Var: 68716 LB: 0 @ 127.87
130.19	c Restart #65 #Var: 68716 LB: 0 @ 130.12
132.26	c Restart #66 #Var: 68716 LB: 0 @ 132.19
134.51	c Restart #67 #Var: 68716 LB: 0 @ 134.44
136.96	c Restart #68 #Var: 68716 LB: 0 @ 136.89
139.47	c Restart #69 #Var: 68716 LB: 0 @ 139.39
142.09	c Restart #70 #Var: 68716 LB: 0 @ 142.01
145.30	c Restart #71 #Var: 68716 LB: 0 @ 145.23
147.71	c Restart #72 #Var: 68716 LB: 0 @ 147.64
150.10	c Restart #73 #Var: 68716 LB: 0 @ 150.02
152.63	c Restart #74 #Var: 68716 LB: 0 @ 152.55
154.96	c Restart #75 #Var: 68716 LB: 0 @ 154.88
157.82	c Restart #76 #Var: 68716 LB: 0 @ 157.74
160.68	c Restart #77 #Var: 68716 LB: 0 @ 160.6
163.95	c Restart #78 #Var: 68716 LB: 0 @ 163.87
167.11	c Restart #79 #Var: 68716 LB: 0 @ 167.02
169.82	c Restart #80 #Var: 68716 LB: 0 @ 169.74
172.92	c Restart #81 #Var: 68716 LB: 0 @ 172.84
176.14	c Restart #82 #Var: 68716 LB: 0 @ 176.06
179.53	c Restart #83 #Var: 68716 LB: 0 @ 179.44
182.83	c Restart #84 #Var: 68716 LB: 0 @ 182.74
186.91	c Restart #85 #Var: 68716 LB: 0 @ 186.82
190.24	c Restart #86 #Var: 68716 LB: 0 @ 190.15
193.98	c Restart #87 #Var: 68716 LB: 0 @ 193.88
197.06	c Restart #88 #Var: 68716 LB: 0 @ 196.97
200.56	c Restart #89 #Var: 68716 LB: 0 @ 200.46
204.21	c Restart #90 #Var: 68716 LB: 0 @ 204.12
207.92	c Restart #91 #Var: 68716 LB: 0 @ 207.82
211.24	c Restart #92 #Var: 68716 LB: 0 @ 211.13
214.94	c Restart #93 #Var: 68716 LB: 0 @ 214.84
218.69	c Restart #94 #Var: 68716 LB: 0 @ 218.58
222.79	c Restart #95 #Var: 68716 LB: 0 @ 222.69
226.36	c Restart #96 #Var: 68716 LB: 0 @ 226.25
230.48	c Restart #97 #Var: 68716 LB: 0 @ 230.38
234.38	c Restart #98 #Var: 68716 LB: 0 @ 234.27
239.04	c Restart #99 #Var: 68716 LB: 0 @ 238.93
243.05	c Restart #100 #Var: 68716 LB: 0 @ 242.94
247.15	c Restart #101 #Var: 68716 LB: 0 @ 247.04
251.06	c Restart #102 #Var: 68716 LB: 0 @ 250.95
256.29	c Restart #103 #Var: 68716 LB: 0 @ 256.17
260.19	c Restart #104 #Var: 68716 LB: 0 @ 260.07
264.83	c Restart #105 #Var: 68716 LB: 0 @ 264.71
268.75	c Restart #106 #Var: 68716 LB: 0 @ 268.63
274.02	c Restart #107 #Var: 68716 LB: 0 @ 273.89
278.41	c Restart #108 #Var: 68716 LB: 0 @ 278.28
282.84	c Restart #109 #Var: 68716 LB: 0 @ 282.71
290.59	c Restart #110 #Var: 68709 LB: 0 @ 290.46
294.51	c Restart #111 #Var: 68709 LB: 0 @ 294.38
298.55	c Restart #112 #Var: 68709 LB: 0 @ 298.42
304.92	c Restart #113 #Var: 68708 LB: 0 @ 304.78
310.99	c Restart #114 #Var: 68707 LB: 0 @ 310.86
315.86	c Restart #115 #Var: 68707 LB: 0 @ 315.72
321.26	c Restart #116 #Var: 68707 LB: 0 @ 321.12
325.86	c Restart #117 #Var: 68707 LB: 0 @ 325.71
331.03	c Restart #118 #Var: 68707 LB: 0 @ 330.88
335.65	c Restart #119 #Var: 68707 LB: 0 @ 335.49
340.91	c Restart #120 #Var: 68707 LB: 0 @ 340.71
350.85	c Restart #121 #Var: 68690 LB: 0 @ 350.62
356.45	c Restart #122 #Var: 68690 LB: 0 @ 356.19
361.67	c Restart #123 #Var: 68690 LB: 0 @ 361.37
367.54	c Restart #124 #Var: 68690 LB: 0 @ 367.21
372.84	c Restart #125 #Var: 68690 LB: 0 @ 372.48

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/node80/watcher-40620-1149309136 -o ROOT/results/node80/solver-40620-1149309136 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node80/40620-1149309136/instance-40620-1149309136.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/67 4955
/proc/meminfo: memFree=1641288/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=4672 CPUtime=0
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 141 0 0 0 0 0 0 0 19 0 1 0 196552159 4784128 123 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11410340 0 0 4096 0 0 0 0 17 1 0 0
/proc/4955/statm: 1168 123 102 55 0 46 0

[startup+10.0016 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 4955
/proc/meminfo: memFree=1578768/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=67996 CPUtime=9.97
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 1827622 0 0 0 513 484 0 0 25 0 1 0 196552159 69627904 15983 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4955/statm: 16999 15983 278 55 0 15890 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 67996

[startup+20.0087 s]
/proc/loadavg: 0.94 0.98 0.99 2/67 4955
/proc/meminfo: memFree=1515152/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=134416 CPUtime=19.97
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 2981867 0 0 0 1197 800 0 0 25 0 1 0 196552159 137641984 31866 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 33604 31866 294 55 0 32495 0
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 134416

[startup+30.0148 s]
/proc/loadavg: 0.95 0.98 0.99 2/67 4955
/proc/meminfo: memFree=1514960/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=134676 CPUtime=29.97
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 2981965 0 0 0 2177 820 0 0 25 0 1 0 196552159 137908224 31931 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 33669 31931 294 55 0 32560 0
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 134676

[startup+40.0208 s]
/proc/loadavg: 0.96 0.98 0.99 2/67 4955
/proc/meminfo: memFree=1515024/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=134676 CPUtime=39.98
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 2981969 0 0 0 3159 839 0 0 25 0 1 0 196552159 137908224 31935 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 33669 31935 294 55 0 32560 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 134676

[startup+50.0279 s]
/proc/loadavg: 0.96 0.98 0.99 2/67 4955
/proc/meminfo: memFree=1514832/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=134808 CPUtime=49.98
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 2982004 0 0 0 4144 854 0 0 25 0 1 0 196552159 138043392 31970 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 33702 31970 294 55 0 32593 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 134808

[startup+60.034 s]
/proc/loadavg: 0.97 0.98 0.99 2/67 4955
/proc/meminfo: memFree=1514832/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=134808 CPUtime=59.98
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 2982010 0 0 0 5120 878 0 0 25 0 1 0 196552159 138043392 31976 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 33702 31976 294 55 0 32593 0
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 134808

[startup+70.0401 s]
/proc/loadavg: 0.97 0.98 0.99 2/67 4955
/proc/meminfo: memFree=1510864/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=138772 CPUtime=69.99
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 2982995 0 0 0 6093 906 0 0 25 0 1 0 196552159 142102528 32961 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 34693 32961 294 55 0 33584 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 138772

[startup+80.0461 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 4955
/proc/meminfo: memFree=1438736/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=211088 CPUtime=79.99
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3001018 0 0 0 7073 926 0 0 25 0 1 0 196552159 216154112 50974 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11843627 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 52772 50974 294 55 0 51663 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 211088

[startup+90.0522 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 4955
/proc/meminfo: memFree=1360656/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=289536 CPUtime=89.99
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3020538 0 0 0 8062 937 0 0 25 0 1 0 196552159 296484864 70453 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11843627 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 72384 70453 294 55 0 71275 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 289536

[startup+100.058 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 4955
/proc/meminfo: memFree=1282704/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=368068 CPUtime=99.99
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3040107 0 0 0 9049 950 0 0 25 0 1 0 196552159 376901632 89903 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 92017 89903 294 55 0 90908 0
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 368068

[startup+110.064 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 4955
/proc/meminfo: memFree=1208080/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=442372 CPUtime=109.99
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3058721 0 0 0 10039 960 0 0 25 0 1 0 196552159 452988928 108502 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 110593 108502 294 55 0 109484 0
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 442372

[startup+120.07 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 4955
/proc/meminfo: memFree=1137296/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=513936 CPUtime=120
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3076654 0 0 0 11028 972 0 0 25 0 1 0 196552159 526270464 126160 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11843627 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 128484 126160 294 55 0 127375 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 513936

[startup+130.077 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 4955
/proc/meminfo: memFree=1067408/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=584644 CPUtime=130
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3094409 0 0 0 12019 981 0 0 25 0 1 0 196552159 598675456 143625 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 146161 143625 294 55 0 145052 0
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 584644

[startup+140.083 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 4955
/proc/meminfo: memFree=1007952/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=644548 CPUtime=140
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3109538 0 0 0 13010 990 0 0 25 0 1 0 196552159 660017152 158464 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 161137 158464 294 55 0 160028 0
Current children cumulated CPU time (s) 140
Current children cumulated vsize (Kb) 644548

[startup+150.089 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 4955
/proc/meminfo: memFree=948240/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=703480 CPUtime=150.01
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3124500 0 0 0 14002 999 0 0 25 0 1 0 196552159 720363520 173344 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 175870 173344 294 55 0 174761 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 703480

[startup+160.095 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 4955
/proc/meminfo: memFree=885712/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=766360 CPUtime=160.01
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3140521 0 0 0 14994 1007 0 0 25 0 1 0 196552159 784752640 188955 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11843627 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 191590 188955 294 55 0 190481 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 766360

[startup+170.101 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 4955
/proc/meminfo: memFree=831952/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=821012 CPUtime=170.01
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3154379 0 0 0 15986 1015 0 0 25 0 1 0 196552159 840716288 202309 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 205253 202309 294 55 0 204144 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 821012

[startup+180.107 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 4955
/proc/meminfo: memFree=778768/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=875024 CPUtime=180.01
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3168096 0 0 0 16978 1023 0 0 25 0 1 0 196552159 896024576 215616 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 218756 215616 294 55 0 217647 0
Current children cumulated CPU time (s) 180.01
Current children cumulated vsize (Kb) 875024

[startup+190.113 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 4955
/proc/meminfo: memFree=725136/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=928860 CPUtime=190.01
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3181648 0 0 0 17969 1032 0 0 25 0 1 0 196552159 951152640 229006 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 232215 229006 294 55 0 231106 0
Current children cumulated CPU time (s) 190.01
Current children cumulated vsize (Kb) 928860

[startup+200.119 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 4955
/proc/meminfo: memFree=668368/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=987188 CPUtime=200.01
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3196530 0 0 0 18961 1040 0 0 25 0 1 0 196552159 1010880512 243160 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 246797 243160 294 55 0 245688 0
Current children cumulated CPU time (s) 200.01
Current children cumulated vsize (Kb) 987188

[startup+210.125 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 4955
/proc/meminfo: memFree=616784/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=1038280 CPUtime=210.01
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3209411 0 0 0 19954 1047 0 0 25 0 1 0 196552159 1063198720 256041 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 259570 256041 294 55 0 258461 0
Current children cumulated CPU time (s) 210.01
Current children cumulated vsize (Kb) 1038280

[startup+220.131 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 4955
/proc/meminfo: memFree=565904/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=1088880 CPUtime=220.02
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3222245 0 0 0 20947 1055 0 0 25 0 1 0 196552159 1115013120 268780 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 272220 268780 294 55 0 271111 0
Current children cumulated CPU time (s) 220.02
Current children cumulated vsize (Kb) 1088880

[startup+230.137 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 4955
/proc/meminfo: memFree=508240/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=1145828 CPUtime=230.02
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3236674 0 0 0 21939 1063 0 0 25 0 1 0 196552159 1173327872 283117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 286457 283117 294 55 0 285348 0
Current children cumulated CPU time (s) 230.02
Current children cumulated vsize (Kb) 1145828

[startup+240.143 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 4955
/proc/meminfo: memFree=462096/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=1192072 CPUtime=240.03
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3248367 0 0 0 22934 1069 0 0 25 0 1 0 196552159 1220681728 294641 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 298018 294641 294 55 0 296909 0
Current children cumulated CPU time (s) 240.03
Current children cumulated vsize (Kb) 1192072

[startup+250.149 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 4955
/proc/meminfo: memFree=403728/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=1249560 CPUtime=250.02
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3262955 0 0 0 23924 1078 0 0 25 0 1 0 196552159 1279549440 309223 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537563 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 312390 309223 294 55 0 311281 0
Current children cumulated CPU time (s) 250.02
Current children cumulated vsize (Kb) 1249560

[startup+260.155 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 4955
/proc/meminfo: memFree=357008/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=1297096 CPUtime=260.03
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3274995 0 0 0 24919 1084 0 0 25 0 1 0 196552159 1328226304 320859 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551574 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 324274 320859 294 55 0 323165 0
Current children cumulated CPU time (s) 260.03
Current children cumulated vsize (Kb) 1297096

[startup+270.162 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 4955
/proc/meminfo: memFree=309328/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=1344700 CPUtime=270.03
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3287000 0 0 0 25910 1093 0 0 25 0 1 0 196552159 1376972800 332768 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 336175 332768 294 55 0 335066 0
Current children cumulated CPU time (s) 270.03
Current children cumulated vsize (Kb) 1344700

[startup+280.168 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 4955
/proc/meminfo: memFree=259216/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=1394656 CPUtime=280.04
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3299588 0 0 0 26903 1101 0 0 25 0 1 0 196552159 1428127744 345274 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11843627 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 348664 345274 294 55 0 347555 0
Current children cumulated CPU time (s) 280.04
Current children cumulated vsize (Kb) 1394656

[startup+290.174 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 4955
/proc/meminfo: memFree=219408/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=1434180 CPUtime=290.03
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3309581 0 0 0 27896 1107 0 0 25 0 1 0 196552159 1468600320 355185 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 358545 355185 294 55 0 357436 0
Current children cumulated CPU time (s) 290.03
Current children cumulated vsize (Kb) 1434180

[startup+300.18 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 4955
/proc/meminfo: memFree=167056/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=1488324 CPUtime=300.03
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3323295 0 0 0 28888 1115 0 0 25 0 1 0 196552159 1524043776 368244 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 372081 368244 294 55 0 370972 0
Current children cumulated CPU time (s) 300.03
Current children cumulated vsize (Kb) 1488324

[startup+310.186 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 4955
/proc/meminfo: memFree=123856/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=1531296 CPUtime=310.04
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3334097 0 0 0 29883 1121 0 0 25 0 1 0 196552159 1568047104 379043 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 382824 379043 294 55 0 381715 0
Current children cumulated CPU time (s) 310.04
Current children cumulated vsize (Kb) 1531296

[startup+320.192 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 4955
/proc/meminfo: memFree=76944/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=1577632 CPUtime=320.04
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3345795 0 0 0 30875 1129 0 0 25 0 1 0 196552159 1615495168 390741 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11843627 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 394408 390742 294 55 0 393299 0
Current children cumulated CPU time (s) 320.04
Current children cumulated vsize (Kb) 1577632

[startup+330.198 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 4955
/proc/meminfo: memFree=23888/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=1630924 CPUtime=330.04
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3359353 0 0 0 31868 1136 0 0 25 0 1 0 196552159 1670066176 403975 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 407731 403975 294 55 0 406622 0
Current children cumulated CPU time (s) 330.04
Current children cumulated vsize (Kb) 1630924

[startup+340.204 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 4955
/proc/meminfo: memFree=16272/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=1683916 CPUtime=340
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3372794 0 0 0 32855 1145 0 0 25 0 1 0 196552159 1724329984 416770 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 420979 416770 294 55 0 419870 0
Current children cumulated CPU time (s) 340
Current children cumulated vsize (Kb) 1683916

[startup+350.211 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 4955
/proc/meminfo: memFree=15952/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=1712648 CPUtime=349.97
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3380353 0 0 0 33849 1148 0 0 25 0 1 0 196552159 1753751552 423523 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 428162 423523 294 55 0 427053 0
Current children cumulated CPU time (s) 349.97
Current children cumulated vsize (Kb) 1712648

[startup+360.218 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 4955
/proc/meminfo: memFree=15824/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=1759444 CPUtime=359.92
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3392111 0 0 0 34836 1156 0 0 25 0 1 0 196552159 1801670656 435278 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 439861 435278 294 55 0 438752 0
Current children cumulated CPU time (s) 359.92
Current children cumulated vsize (Kb) 1759444

[startup+370.225 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 4955
/proc/meminfo: memFree=15056/2055888 swapFree=4085432/4096564
[pid=4955] ppid=4953 vsize=1807608 CPUtime=369.87
/proc/4955/stat : 4955 (bsolo) R 4953 4955 4909 0 -1 0 3404383 0 0 0 35822 1165 0 0 25 0 1 0 196552159 1850990592 446902 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11843627 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4955/statm: 451902 446902 294 55 0 450793 0
Current children cumulated CPU time (s) 369.87
Current children cumulated vsize (Kb) 1807608

Child ended because it received signal 11 (SIGSEGV)
Real time (s): 377.469
CPU time (s): 377.072
CPU user time (s): 365.104
CPU system time (s): 11.9672
CPU usage (%): 99.8948
Max. virtual memory (cumulated for all children) (Kb): 1807608
The end

Launcher Data (download as text)

Begin job on node80 on Sat Jun  3 04:32:16 UTC 2006


FILE ID= 40620-1149309136

PBS_JOBID= 307793

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node80/40620-1149309136/instance-40620-1149309136.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node80/watcher-40620-1149309136 -o ROOT/results/node80/solver-40620-1149309136 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node80/40620-1149309136/instance-40620-1149309136.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  a5c62cef1e86c64304fd5ef232ab5991

RANDOM SEED= 656749674


/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.264
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6006.16
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.264
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1641688 kB
Buffers:         27948 kB
Cached:         317856 kB
SwapCached:       2356 kB
Active:          39632 kB
Inactive:       314852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1641688 kB
SwapTotal:     4096564 kB
SwapFree:      4085432 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          16588 kB
Slab:            46388 kB
Committed_AS:   344188 kB
PageTables:       1276 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node80 on Sat Jun  3 04:38:34 UTC 2006