Trace number 40590

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 380.213 380.519

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-B1C1S1.opb
MD5SUMbb02029eb777c2a6ae8e192b29bcb9de
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...
16.06	c Initial problem consists of 107808 variables and 5184 constraints.
16.36	c No problem reductions applied in OPT. instance.
16.36	c	preprocess terminated. Elapsed time: 16.339
16.36	c After prepocess the problem consists of 68716 variables and 5184 constraints.
16.36	c Initial Lower Bound: 0
18.04	c Restart #1 #Var: 68716 LB: 0 @ 18.025
20.18	c Restart #2 #Var: 68716 LB: 0 @ 20.162
22.86	c Restart #3 #Var: 68716 LB: 0 @ 22.836
27.91	c Restart #4 #Var: 68716 LB: 0 @ 27.883
33.52	c Restart #5 #Var: 68716 LB: 0 @ 33.491
38.23	c Restart #6 #Var: 68716 LB: 0 @ 38.208
45.21	c Restart #7 #Var: 68716 LB: 0 @ 45.177
51.67	c Restart #8 #Var: 68716 LB: 0 @ 51.638
59.11	c Restart #9 #Var: 68716 LB: 0 @ 59.078
64.56	c Restart #10 #Var: 68716 LB: 0 @ 64.531
70.21	c Restart #11 #Var: 68716 LB: 0 @ 70.173
72.76	c Restart #12 #Var: 68716 LB: 0 @ 72.727
73.64	c Restart #13 #Var: 68716 LB: 0 @ 73.606
73.89	c Restart #14 #Var: 68716 LB: 0 @ 73.858
74.17	c Restart #15 #Var: 68716 LB: 0 @ 74.136
74.47	c Restart #16 #Var: 68716 LB: 0 @ 74.434
74.80	c Restart #17 #Var: 68716 LB: 0 @ 74.759
75.13	c Restart #18 #Var: 68716 LB: 0 @ 75.089
75.52	c Restart #19 #Var: 68716 LB: 0 @ 75.479
75.90	c Restart #20 #Var: 68716 LB: 0 @ 75.867
76.34	c Restart #21 #Var: 68716 LB: 0 @ 76.298
76.77	c Restart #22 #Var: 68716 LB: 0 @ 76.735
77.31	c Restart #23 #Var: 68716 LB: 0 @ 77.275
77.85	c Restart #24 #Var: 68716 LB: 0 @ 77.812
78.41	c Restart #25 #Var: 68716 LB: 0 @ 78.375
79.13	c Restart #26 #Var: 68716 LB: 0 @ 79.096
80.06	c Restart #27 #Var: 68716 LB: 0 @ 80.023
81.25	c Restart #28 #Var: 68716 LB: 0 @ 81.212
82.46	c Restart #29 #Var: 68716 LB: 0 @ 82.416
83.35	c Restart #30 #Var: 68716 LB: 0 @ 83.31
84.17	c Restart #31 #Var: 68716 LB: 0 @ 84.126
84.88	c Restart #32 #Var: 68716 LB: 0 @ 84.838
85.77	c Restart #33 #Var: 68716 LB: 0 @ 85.725
86.64	c Restart #34 #Var: 68716 LB: 0 @ 86.598
87.54	c Restart #35 #Var: 68716 LB: 0 @ 87.499
88.54	c Restart #36 #Var: 68716 LB: 0 @ 88.502
89.52	c Restart #37 #Var: 68716 LB: 0 @ 89.474
90.51	c Restart #38 #Var: 68716 LB: 0 @ 90.471
91.50	c Restart #39 #Var: 68716 LB: 0 @ 91.462
92.66	c Restart #40 #Var: 68716 LB: 0 @ 92.617
93.68	c Restart #41 #Var: 68716 LB: 0 @ 93.64
94.90	c Restart #42 #Var: 68716 LB: 0 @ 94.862
96.03	c Restart #43 #Var: 68716 LB: 0 @ 95.984
97.40	c Restart #44 #Var: 68716 LB: 0 @ 97.36
98.61	c Restart #45 #Var: 68716 LB: 0 @ 98.562
99.98	c Restart #46 #Var: 68716 LB: 0 @ 99.938
101.35	c Restart #47 #Var: 68716 LB: 0 @ 101.31
102.70	c Restart #48 #Var: 68716 LB: 0 @ 102.66
104.26	c Restart #49 #Var: 68716 LB: 0 @ 104.21
105.79	c Restart #50 #Var: 68716 LB: 0 @ 105.74
107.29	c Restart #51 #Var: 68716 LB: 0 @ 107.24
109.04	c Restart #52 #Var: 68716 LB: 0 @ 108.99
110.70	c Restart #53 #Var: 68716 LB: 0 @ 110.66
112.46	c Restart #54 #Var: 68716 LB: 0 @ 112.42
114.44	c Restart #55 #Var: 68716 LB: 0 @ 114.4
116.31	c Restart #56 #Var: 68716 LB: 0 @ 116.26
118.24	c Restart #57 #Var: 68716 LB: 0 @ 118.19
119.97	c Restart #58 #Var: 68716 LB: 0 @ 119.92
122.19	c Restart #59 #Var: 68716 LB: 0 @ 122.14
124.17	c Restart #60 #Var: 68716 LB: 0 @ 124.12
126.26	c Restart #61 #Var: 68716 LB: 0 @ 126.21
128.41	c Restart #62 #Var: 68716 LB: 0 @ 128.36
130.29	c Restart #63 #Var: 68716 LB: 0 @ 130.24
132.61	c Restart #64 #Var: 68716 LB: 0 @ 132.55
134.92	c Restart #65 #Var: 68716 LB: 0 @ 134.86
137.29	c Restart #66 #Var: 68716 LB: 0 @ 137.23
139.87	c Restart #67 #Var: 68716 LB: 0 @ 139.8
142.02	c Restart #68 #Var: 68716 LB: 0 @ 141.94
144.40	c Restart #69 #Var: 68716 LB: 0 @ 144.32
146.49	c Restart #70 #Var: 68716 LB: 0 @ 146.41
148.96	c Restart #71 #Var: 68716 LB: 0 @ 148.85
151.76	c Restart #72 #Var: 68716 LB: 0 @ 151.66
154.31	c Restart #73 #Var: 68716 LB: 0 @ 154.19
157.02	c Restart #74 #Var: 68716 LB: 0 @ 156.89
159.56	c Restart #75 #Var: 68716 LB: 0 @ 159.43
162.48	c Restart #76 #Var: 68716 LB: 0 @ 162.34
165.18	c Restart #77 #Var: 68716 LB: 0 @ 165.04
168.14	c Restart #78 #Var: 68716 LB: 0 @ 168
171.06	c Restart #79 #Var: 68716 LB: 0 @ 170.93
174.51	c Restart #80 #Var: 68716 LB: 0 @ 174.37
177.80	c Restart #81 #Var: 68716 LB: 0 @ 177.67
181.18	c Restart #82 #Var: 68716 LB: 0 @ 181.04
184.33	c Restart #83 #Var: 68716 LB: 0 @ 184.19
187.74	c Restart #84 #Var: 68716 LB: 0 @ 187.6
190.75	c Restart #85 #Var: 68716 LB: 0 @ 190.61
194.39	c Restart #86 #Var: 68716 LB: 0 @ 194.25
197.59	c Restart #87 #Var: 68716 LB: 0 @ 197.44
201.92	c Restart #88 #Var: 68716 LB: 0 @ 201.77
205.40	c Restart #89 #Var: 68716 LB: 0 @ 205.25
209.11	c Restart #90 #Var: 68716 LB: 0 @ 208.96
212.96	c Restart #91 #Var: 68716 LB: 0 @ 212.81
217.04	c Restart #92 #Var: 68716 LB: 0 @ 216.89
221.14	c Restart #93 #Var: 68716 LB: 0 @ 220.99
225.19	c Restart #94 #Var: 68716 LB: 0 @ 225.04
229.24	c Restart #95 #Var: 68716 LB: 0 @ 229.09
233.84	c Restart #96 #Var: 68716 LB: 0 @ 233.68
237.29	c Restart #97 #Var: 68716 LB: 0 @ 237.14
241.35	c Restart #98 #Var: 68716 LB: 0 @ 241.19
245.18	c Restart #99 #Var: 68716 LB: 0 @ 245.03
249.74	c Restart #100 #Var: 68716 LB: 0 @ 249.58
254.03	c Restart #101 #Var: 68716 LB: 0 @ 253.87
258.14	c Restart #102 #Var: 68716 LB: 0 @ 257.98
262.55	c Restart #103 #Var: 68716 LB: 0 @ 262.39
267.25	c Restart #104 #Var: 68716 LB: 0 @ 267.09
271.48	c Restart #105 #Var: 68716 LB: 0 @ 271.32
276.15	c Restart #106 #Var: 68716 LB: 0 @ 275.99
281.07	c Restart #107 #Var: 68716 LB: 0 @ 280.9
285.82	c Restart #108 #Var: 68716 LB: 0 @ 285.65
290.91	c Restart #109 #Var: 68716 LB: 0 @ 290.74
295.77	c Restart #110 #Var: 68716 LB: 0 @ 295.6
301.31	c Restart #111 #Var: 68716 LB: 0 @ 301.13
306.86	c Restart #112 #Var: 68716 LB: 0 @ 306.69
312.88	c Restart #113 #Var: 68716 LB: 0 @ 312.7
318.38	c Restart #114 #Var: 68716 LB: 0 @ 318.2
323.54	c Restart #115 #Var: 68716 LB: 0 @ 323.34
328.75	c Restart #116 #Var: 68716 LB: 0 @ 328.55
334.60	c Restart #117 #Var: 68716 LB: 0 @ 334.39
339.51	c Restart #118 #Var: 68716 LB: 0 @ 339.3
344.94	c Restart #119 #Var: 68716 LB: 0 @ 344.73
350.48	c Restart #120 #Var: 68716 LB: 0 @ 350.26
356.36	c Restart #121 #Var: 68716 LB: 0 @ 356.13
361.42	c Restart #122 #Var: 68716 LB: 0 @ 361.18
367.58	c Restart #123 #Var: 68716 LB: 0 @ 367.32
372.46	c Restart #124 #Var: 68716 LB: 0 @ 372.18
378.76	c Restart #125 #Var: 68716 LB: 0 @ 378.47

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.87 0.98 0.95 2/64 15588
/proc/meminfo: memFree=1524120/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=4928 CPUtime=0
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 334 0 0 0 0 0 0 0 19 0 1 0 196374708 5046272 298 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159471296 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 1232 300 202 55 0 124 0

[startup+10.0024 s]
/proc/loadavg: 0.89 0.98 0.95 2/64 15588
/proc/meminfo: memFree=1461400/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=67344 CPUtime=9.98
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 1767519 0 0 0 520 478 0 0 25 0 1 0 196374708 68960256 15864 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 16930 15872 281 55 0 15822 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 67344

[startup+20.0085 s]
/proc/loadavg: 0.91 0.98 0.95 2/64 15588
/proc/meminfo: memFree=1397784/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=134404 CPUtime=19.98
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 2981865 0 0 0 1181 817 0 0 25 0 1 0 196374708 137629696 31863 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 33601 31863 297 55 0 32493 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 134404

[startup+30.0155 s]
/proc/loadavg: 0.92 0.98 0.95 2/64 15588
/proc/meminfo: memFree=1397592/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=134776 CPUtime=29.98
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 2982013 0 0 0 2165 833 0 0 25 0 1 0 196374708 138010624 31949 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 33694 31949 297 55 0 32586 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 134776

[startup+40.0216 s]
/proc/loadavg: 0.93 0.98 0.95 2/64 15588
/proc/meminfo: memFree=1397464/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=134908 CPUtime=39.98
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 2982043 0 0 0 3144 854 0 0 25 0 1 0 196374708 138145792 31979 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 33727 31979 297 55 0 32619 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 134908

[startup+50.0277 s]
/proc/loadavg: 0.94 0.98 0.95 2/64 15588
/proc/meminfo: memFree=1397400/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=134908 CPUtime=49.99
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 2982063 0 0 0 4128 871 0 0 25 0 1 0 196374708 138145792 31999 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540647 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 33727 31999 297 55 0 32619 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 134908

[startup+60.0337 s]
/proc/loadavg: 0.95 0.98 0.95 2/64 15588
/proc/meminfo: memFree=1397400/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=134908 CPUtime=59.99
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 2982069 0 0 0 5106 893 0 0 25 0 1 0 196374708 138145792 32005 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 33727 32005 297 55 0 32619 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 134908

[startup+70.0398 s]
/proc/loadavg: 0.96 0.98 0.95 2/64 15588
/proc/meminfo: memFree=1394968/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=137416 CPUtime=70
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 2982689 0 0 0 6073 927 0 0 25 0 1 0 196374708 140713984 32625 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 34354 32625 297 55 0 33246 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 137416

[startup+80.0458 s]
/proc/loadavg: 0.96 0.98 0.95 2/64 15588
/proc/meminfo: memFree=1326296/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=206112 CPUtime=80
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 2999810 0 0 0 7052 948 0 0 25 0 1 0 196374708 211058688 49734 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 51528 49734 297 55 0 50420 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 206112

[startup+90.0519 s]
/proc/loadavg: 0.97 0.98 0.95 2/64 15588
/proc/meminfo: memFree=1251672/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=281068 CPUtime=90
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3018461 0 0 0 8039 961 0 0 25 0 1 0 196374708 287813632 68356 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 70267 68356 297 55 0 69159 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 281068

[startup+100.058 s]
/proc/loadavg: 0.97 0.98 0.95 2/64 15588
/proc/meminfo: memFree=1173976/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=359564 CPUtime=100
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3037983 0 0 0 9027 973 0 0 25 0 1 0 196374708 368193536 87750 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 89891 87750 297 55 0 88783 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 359564

[startup+110.064 s]
/proc/loadavg: 0.98 0.98 0.95 2/64 15588
/proc/meminfo: memFree=1102936/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=430752 CPUtime=110
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3055894 0 0 0 10015 985 0 0 25 0 1 0 196374708 441090048 105487 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 107688 105487 297 55 0 106580 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 430752

[startup+120.07 s]
/proc/loadavg: 0.98 0.98 0.95 2/64 15588
/proc/meminfo: memFree=1037464/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=496844 CPUtime=120.01
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3072570 0 0 0 11006 995 0 0 25 0 1 0 196374708 508768256 121815 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 124211 121815 297 55 0 123103 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 496844

[startup+130.076 s]
/proc/loadavg: 0.98 0.98 0.95 2/64 15588
/proc/meminfo: memFree=971352/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=563208 CPUtime=130.01
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3089380 0 0 0 11995 1006 0 0 25 0 1 0 196374708 576724992 138299 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 140802 138299 297 55 0 139694 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 563208

[startup+140.082 s]
/proc/loadavg: 0.98 0.98 0.95 2/70 15643
/proc/meminfo: memFree=912936/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=621056 CPUtime=140
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3103968 0 0 0 12982 1018 0 0 25 0 1 0 196374708 635961344 152536 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 155264 152536 297 55 0 154156 0
Current children cumulated CPU time (s) 140
Current children cumulated vsize (Kb) 621056

[startup+150.089 s]
/proc/loadavg: 0.99 0.98 0.95 2/70 15701
/proc/meminfo: memFree=848680/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=685604 CPUtime=149.97
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3120111 0 0 0 13968 1029 0 0 25 0 1 0 196374708 702058496 168583 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 171401 168583 297 55 0 170293 0
Current children cumulated CPU time (s) 149.97
Current children cumulated vsize (Kb) 685604

[startup+160.096 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 15783
/proc/meminfo: memFree=789976/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=745124 CPUtime=159.96
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3135182 0 0 0 14956 1040 0 0 25 0 1 0 196374708 763006976 183490 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15588/statm: 186281 183490 297 55 0 185173 0
Current children cumulated CPU time (s) 159.96
Current children cumulated vsize (Kb) 745124

[startup+170.102 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 15783
/proc/meminfo: memFree=728600/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=807124 CPUtime=169.96
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3150867 0 0 0 15947 1049 0 0 25 0 1 0 196374708 826494976 198851 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 201781 198851 297 55 0 200673 0
Current children cumulated CPU time (s) 169.96
Current children cumulated vsize (Kb) 807124

[startup+180.108 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 15783
/proc/meminfo: memFree=676312/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=860268 CPUtime=179.96
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3164333 0 0 0 16938 1058 0 0 25 0 1 0 196374708 880914432 211902 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 215067 211902 297 55 0 213959 0
Current children cumulated CPU time (s) 179.96
Current children cumulated vsize (Kb) 860268

[startup+190.114 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 15783
/proc/meminfo: memFree=616984/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=921424 CPUtime=189.96
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3179940 0 0 0 17927 1069 0 0 25 0 1 0 196374708 943538176 226697 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 230356 226697 297 55 0 229248 0
Current children cumulated CPU time (s) 189.96
Current children cumulated vsize (Kb) 921424

[startup+200.12 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 15783
/proc/meminfo: memFree=565208/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=972864 CPUtime=199.97
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3192881 0 0 0 18919 1078 0 0 25 0 1 0 196374708 996212736 239626 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 243216 239626 297 55 0 242108 0
Current children cumulated CPU time (s) 199.97
Current children cumulated vsize (Kb) 972864

[startup+210.127 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 15783
/proc/meminfo: memFree=517656/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=1020752 CPUtime=209.97
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3204992 0 0 0 19913 1084 0 0 25 0 1 0 196374708 1045250048 251484 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 255188 251484 297 55 0 254080 0
Current children cumulated CPU time (s) 209.97
Current children cumulated vsize (Kb) 1020752

[startup+220.134 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 15783
/proc/meminfo: memFree=462872/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=1075904 CPUtime=219.98
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3218982 0 0 0 20905 1093 0 0 25 0 1 0 196374708 1101725696 265148 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 268976 265148 297 55 0 267868 0
Current children cumulated CPU time (s) 219.98
Current children cumulated vsize (Kb) 1075904

[startup+230.139 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 15783
/proc/meminfo: memFree=418264/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=1120512 CPUtime=229.97
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3230266 0 0 0 21897 1100 0 0 25 0 1 0 196374708 1147404288 276270 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 280128 276270 297 55 0 279020 0
Current children cumulated CPU time (s) 229.97
Current children cumulated vsize (Kb) 1120512

[startup+240.145 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 15783
/proc/meminfo: memFree=361112/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=1177592 CPUtime=239.98
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3244559 0 0 0 22888 1110 0 0 25 0 1 0 196374708 1205854208 290541 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 294398 290541 297 55 0 293290 0
Current children cumulated CPU time (s) 239.98
Current children cumulated vsize (Kb) 1177592

[startup+250.151 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 15783
/proc/meminfo: memFree=313688/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=1224584 CPUtime=249.99
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3256379 0 0 0 23879 1120 0 0 25 0 1 0 196374708 1253974016 302361 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 306146 302361 297 55 0 305038 0
Current children cumulated CPU time (s) 249.99
Current children cumulated vsize (Kb) 1224584

[startup+260.157 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 15783
/proc/meminfo: memFree=260440/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=1277712 CPUtime=259.98
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3269754 0 0 0 24870 1128 0 0 25 0 1 0 196374708 1308377088 315654 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 319428 315654 297 55 0 318320 0
Current children cumulated CPU time (s) 259.98
Current children cumulated vsize (Kb) 1277712

[startup+270.163 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 15783
/proc/meminfo: memFree=208792/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=1328932 CPUtime=269.99
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3282641 0 0 0 25862 1137 0 0 25 0 1 0 196374708 1360826368 328541 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550888 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 332233 328541 297 55 0 331125 0
Current children cumulated CPU time (s) 269.99
Current children cumulated vsize (Kb) 1328932

[startup+280.17 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 15783
/proc/meminfo: memFree=159000/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=1378948 CPUtime=280
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3295231 0 0 0 26855 1145 0 0 25 0 1 0 196374708 1412042752 340969 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 344737 340969 297 55 0 343629 0
Current children cumulated CPU time (s) 280
Current children cumulated vsize (Kb) 1378948

[startup+290.175 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 15783
/proc/meminfo: memFree=110296/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=1427968 CPUtime=289.99
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3307611 0 0 0 27847 1152 0 0 25 0 1 0 196374708 1462239232 353105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 356992 353105 297 55 0 355884 0
Current children cumulated CPU time (s) 289.99
Current children cumulated vsize (Kb) 1427968

[startup+300.181 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 15783
/proc/meminfo: memFree=64664/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=1473624 CPUtime=300
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3319157 0 0 0 28841 1159 0 0 25 0 1 0 196374708 1508990976 364489 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 368406 364489 297 55 0 367298 0
Current children cumulated CPU time (s) 300
Current children cumulated vsize (Kb) 1473624

[startup+310.187 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 15783
/proc/meminfo: memFree=26136/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=1512204 CPUtime=310
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3329020 0 0 0 29835 1165 0 0 25 0 1 0 196374708 1548496896 374108 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 378051 374109 297 55 0 376943 0
Current children cumulated CPU time (s) 310
Current children cumulated vsize (Kb) 1512204

[startup+320.193 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 15783
/proc/meminfo: memFree=15128/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=1557004 CPUtime=320
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3340505 0 0 0 30829 1171 0 0 25 0 1 0 196374708 1594372096 384947 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 389251 384947 297 55 0 388143 0
Current children cumulated CPU time (s) 320
Current children cumulated vsize (Kb) 1557004

[startup+330.199 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 15783
/proc/meminfo: memFree=14808/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=1602948 CPUtime=329.98
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3352177 0 0 0 31821 1177 0 0 25 0 1 0 196374708 1641418752 396619 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534863 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 400737 396619 297 55 0 399629 0
Current children cumulated CPU time (s) 329.98
Current children cumulated vsize (Kb) 1602948

[startup+340.206 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 15783
/proc/meminfo: memFree=15512/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=1656256 CPUtime=339.98
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3365940 0 0 0 32813 1185 0 0 25 0 1 0 196374708 1696006144 409096 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548645 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 414064 409096 297 55 0 412956 0
Current children cumulated CPU time (s) 339.98
Current children cumulated vsize (Kb) 1656256

[startup+350.212 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 15783
/proc/meminfo: memFree=15832/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=1707340 CPUtime=349.98
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3378793 0 0 0 33804 1194 0 0 25 0 1 0 196374708 1748316160 421949 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 426835 421949 297 55 0 425727 0
Current children cumulated CPU time (s) 349.98
Current children cumulated vsize (Kb) 1707340

[startup+360.218 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 15783
/proc/meminfo: memFree=15704/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=1759312 CPUtime=359.98
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3391989 0 0 0 34795 1203 0 0 25 0 1 0 196374708 1801535488 434823 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10850883 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15588/statm: 439828 434823 297 55 0 438720 0
Current children cumulated CPU time (s) 359.98
Current children cumulated vsize (Kb) 1759312

[startup+370.224 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 15783
/proc/meminfo: memFree=16024/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=1802192 CPUtime=369.95
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 0 3402990 0 0 0 35785 1210 0 0 25 0 1 0 196374708 1845444608 445662 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542124 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 450548 445662 297 55 0 449440 0
Current children cumulated CPU time (s) 369.95
Current children cumulated vsize (Kb) 1802192

[startup+380.23 s]
/proc/loadavg: 0.99 0.98 0.95 1/64 15783
/proc/meminfo: memFree=15832/2055920 swapFree=4181500/4192956
[pid=15588] ppid=15586 vsize=0 CPUtime=379.92
/proc/15588/stat : 15588 (bsolo) R 15586 15588 15542 0 -1 1028 3413397 0 1 0 36775 1217 0 0 24 0 1 0 196374708 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15588/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 379.92
Current children cumulated vsize (Kb) 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 380.519
CPU time (s): 380.213
CPU user time (s): 367.752
CPU system time (s): 12.4611
CPU usage (%): 99.9196
Max. virtual memory (cumulated for all children) (Kb): 1802192
The end

Launcher Data (download as text)

Begin job on node7 on Sat Jun  3 03:58:45 UTC 2006


FILE ID= 40590-1149307125

PBS_JOBID= 307675

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-B1C1S1.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node7/40590-1149307125/instance-40590-1149307125.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-40590-1149307125 -o ROOT/results/node7/solver-40590-1149307125 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node7/40590-1149307125/instance-40590-1149307125.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  bb02029eb777c2a6ae8e192b29bcb9de

RANDOM SEED= 21765250


/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.232
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.232
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:       1524328 kB
Buffers:         27392 kB
Cached:         431712 kB
SwapCached:       3432 kB
Active:          39516 kB
Inactive:       428604 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1524328 kB
SwapTotal:     4192956 kB
SwapFree:      4181500 kB
Dirty:             184 kB
Writeback:           0 kB
Mapped:          14972 kB
Slab:            49488 kB
Committed_AS:   282988 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node7 on Sat Jun  3 04:05:06 UTC 2006