Trace number 50303

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 727.18 727.385

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_2.opb
MD5SUMccdf85c0efcf9b688264aa74ef25462f
Bench CategoryOPT-SMALLINT (optimisation, small 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 variables71
Total number of constraints17
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint1
Maximum length of a constraint70
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1943
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5830
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Time Limit set via PBTIMEOUT to 1800
0.01	c INFO: OSL Context initialized.
0.02	c Initial problem consists of 71 variables and 17 constraints.
0.02	c No problem reductions applied in OPT. instance.
0.02	c	preprocess terminated. Elapsed time: 0.008
0.02	c After prepocess the problem consists of 70 variables and 16 constraints.
0.02	c Initial Lower Bound: 0
0.03	c Restart #1 #Var: 70 LB: 0 @ 0.023
0.07	c Restart #2 #Var: 70 LB: 0 @ 0.057
0.12	c Restart #3 #Var: 70 LB: 0 @ 0.11
0.19	c Restart #4 #Var: 70 LB: 0 @ 0.176
0.28	c Restart #5 #Var: 70 LB: 0 @ 0.274
0.47	c Restart #6 #Var: 70 LB: 0 @ 0.458
0.56	c Restart #7 #Var: 70 LB: 0 @ 0.548
0.68	c Restart #8 #Var: 70 LB: 0 @ 0.667
0.91	c Restart #9 #Var: 70 LB: 0 @ 0.896
1.17	c Restart #10 #Var: 70 LB: 0 @ 1.157
1.63	c Restart #11 #Var: 70 LB: 0 @ 1.618
2.18	c Restart #12 #Var: 70 LB: 0 @ 2.169
2.90	c Restart #13 #Var: 70 LB: 0 @ 2.887
3.56	c Restart #14 #Var: 70 LB: 0 @ 3.554
4.39	c Restart #15 #Var: 70 LB: 0 @ 4.376
5.08	c Restart #16 #Var: 70 LB: 0 @ 5.071
5.85	c Restart #17 #Var: 70 LB: 0 @ 5.845
7.80	c Restart #18 #Var: 70 LB: 0 @ 7.785
10.71	c Restart #19 #Var: 70 LB: 0 @ 10.698
13.36	c Restart #20 #Var: 70 LB: 0 @ 13.349
14.39	c Restart #21 #Var: 70 LB: 0 @ 14.38
15.44	c Restart #22 #Var: 70 LB: 0 @ 15.423
16.44	c Restart #23 #Var: 70 LB: 0 @ 16.428
17.42	c Restart #24 #Var: 70 LB: 0 @ 17.407
19.42	c Restart #25 #Var: 70 LB: 0 @ 19.406
21.57	c Restart #26 #Var: 70 LB: 0 @ 21.556
23.98	c Restart #27 #Var: 70 LB: 0 @ 23.96
25.42	c Restart #28 #Var: 70 LB: 0 @ 25.399
27.06	c Restart #29 #Var: 70 LB: 0 @ 27.046
29.41	c Restart #30 #Var: 70 LB: 0 @ 29.388
32.78	c Restart #31 #Var: 70 LB: 0 @ 32.762
33.93	c Restart #32 #Var: 70 LB: 0 @ 33.906
35.32	c Restart #33 #Var: 70 LB: 0 @ 35.302
36.72	c Restart #34 #Var: 70 LB: 0 @ 36.699
38.21	c Restart #35 #Var: 70 LB: 0 @ 38.191
39.76	c Restart #36 #Var: 70 LB: 0 @ 39.736
41.40	c Restart #37 #Var: 70 LB: 0 @ 41.377
43.62	c Restart #38 #Var: 70 LB: 0 @ 43.6
46.22	c Restart #39 #Var: 70 LB: 0 @ 46.196
48.71	c Restart #40 #Var: 70 LB: 0 @ 48.683
51.19	c Restart #41 #Var: 70 LB: 0 @ 51.168
53.57	c Restart #42 #Var: 70 LB: 0 @ 53.541
55.57	c Restart #43 #Var: 70 LB: 0 @ 55.545
57.71	c Restart #44 #Var: 70 LB: 0 @ 57.69
60.34	c Restart #45 #Var: 70 LB: 0 @ 60.31
62.30	c Restart #46 #Var: 70 LB: 0 @ 62.271
64.48	c Restart #47 #Var: 70 LB: 0 @ 64.451
66.48	c Restart #48 #Var: 70 LB: 0 @ 66.456
68.25	c Restart #49 #Var: 70 LB: 0 @ 68.217
70.39	c Restart #50 #Var: 70 LB: 0 @ 70.364
73.12	c Restart #51 #Var: 70 LB: 0 @ 73.095
75.90	c Restart #52 #Var: 70 LB: 0 @ 75.872
78.48	c Restart #53 #Var: 70 LB: 0 @ 78.45
81.05	c Restart #54 #Var: 70 LB: 0 @ 81.022
84.24	c Restart #55 #Var: 70 LB: 0 @ 84.207
87.00	c Restart #56 #Var: 70 LB: 0 @ 86.966
90.32	c Restart #57 #Var: 70 LB: 0 @ 90.285
93.08	c Restart #58 #Var: 70 LB: 0 @ 93.046
95.84	c Restart #59 #Var: 70 LB: 0 @ 95.804
98.48	c Restart #60 #Var: 70 LB: 0 @ 98.447
101.54	c Restart #61 #Var: 70 LB: 0 @ 101.51
104.18	c Restart #62 #Var: 70 LB: 0 @ 104.14
107.28	c Restart #63 #Var: 70 LB: 0 @ 107.24
111.06	c Restart #64 #Var: 70 LB: 0 @ 111.03
115.29	c Restart #65 #Var: 70 LB: 0 @ 115.25
119.55	c Restart #66 #Var: 70 LB: 0 @ 119.51
124.31	c Restart #67 #Var: 70 LB: 0 @ 124.27
127.87	c Restart #68 #Var: 70 LB: 0 @ 127.82
132.02	c Restart #69 #Var: 70 LB: 0 @ 131.98
137.44	c Restart #70 #Var: 70 LB: 0 @ 137.39
144.08	c Restart #71 #Var: 70 LB: 0 @ 144.03
148.84	c Restart #72 #Var: 70 LB: 0 @ 148.8
153.90	c Restart #73 #Var: 70 LB: 0 @ 153.85
159.00	c Restart #74 #Var: 70 LB: 0 @ 158.95
163.33	c Restart #75 #Var: 70 LB: 0 @ 163.28
167.39	c Restart #76 #Var: 70 LB: 0 @ 167.34
172.19	c Restart #77 #Var: 70 LB: 0 @ 172.14
177.16	c Restart #78 #Var: 70 LB: 0 @ 177.11
181.04	c Restart #79 #Var: 70 LB: 0 @ 180.99
185.20	c Restart #80 #Var: 70 LB: 0 @ 185.15
189.35	c Restart #81 #Var: 70 LB: 0 @ 189.3
194.27	c Restart #82 #Var: 70 LB: 0 @ 194.21
198.94	c Restart #83 #Var: 70 LB: 0 @ 198.88
203.59	c Restart #84 #Var: 70 LB: 0 @ 203.53
208.68	c Restart #85 #Var: 70 LB: 0 @ 208.62
214.11	c Restart #86 #Var: 70 LB: 0 @ 214.04
219.94	c Restart #87 #Var: 70 LB: 0 @ 219.88
225.92	c Restart #88 #Var: 70 LB: 0 @ 225.85
231.64	c Restart #89 #Var: 70 LB: 0 @ 231.58
242.76	c Restart #90 #Var: 70 LB: 0 @ 242.69
255.97	c Restart #91 #Var: 70 LB: 0 @ 255.89
266.15	c Restart #92 #Var: 70 LB: 0 @ 266.08
273.77	c Restart #93 #Var: 70 LB: 0 @ 273.69
283.29	c Restart #94 #Var: 70 LB: 0 @ 283.2
292.31	c Restart #95 #Var: 70 LB: 0 @ 292.23
302.27	c Restart #96 #Var: 70 LB: 0 @ 302.18
317.39	c Restart #97 #Var: 70 LB: 0 @ 317.3
325.81	c Restart #98 #Var: 70 LB: 0 @ 325.72
332.73	c Restart #99 #Var: 70 LB: 0 @ 332.63
347.27	c Restart #100 #Var: 70 LB: 0 @ 347.18
359.44	c Restart #101 #Var: 70 LB: 0 @ 359.34
367.21	c Restart #102 #Var: 70 LB: 0 @ 367.11
374.41	c Restart #103 #Var: 70 LB: 0 @ 374.3
381.68	c Restart #104 #Var: 70 LB: 0 @ 381.58
387.78	c Restart #105 #Var: 70 LB: 0 @ 387.68
394.45	c Restart #106 #Var: 70 LB: 0 @ 394.34
406.58	c Restart #107 #Var: 70 LB: 0 @ 406.47
418.13	c Restart #108 #Var: 70 LB: 0 @ 418.01
435.82	c Restart #109 #Var: 70 LB: 0 @ 435.7
455.35	c Restart #110 #Var: 70 LB: 0 @ 455.23
473.30	c Restart #111 #Var: 70 LB: 0 @ 473.18
504.69	c Restart #112 #Var: 70 LB: 0 @ 504.56
529.14	c Restart #113 #Var: 70 LB: 0 @ 529
545.43	c Restart #114 #Var: 70 LB: 0 @ 545.28
563.67	c Restart #115 #Var: 70 LB: 0 @ 563.52
589.63	c Restart #116 #Var: 70 LB: 0 @ 589.48
616.27	c Restart #117 #Var: 70 LB: 0 @ 616.1
637.39	c Restart #118 #Var: 70 LB: 0 @ 637.22
652.27	c Restart #119 #Var: 70 LB: 0 @ 652.1
663.78	c Restart #120 #Var: 70 LB: 0 @ 663.6
677.57	c Restart #121 #Var: 70 LB: 0 @ 677.39
692.34	c Restart #122 #Var: 70 LB: 0 @ 692.16
710.04	c Restart #123 #Var: 70 LB: 0 @ 709.85

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.1 (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/node61/watcher-50303-1149899949 -o ROOT/results/node61/solver-50303-1149899949 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node61/50303-1149899949/instance-50303-1149899949.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=1782040/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=4932 CPUtime=0
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 369 0 0 0 0 0 0 0 18 0 1 0 255662810 5050368 331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 1233 331 227 55 0 125 0

[startup+10.0024 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=1738416/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=48168 CPUtime=9.98
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 11274 0 0 0 991 7 0 0 25 0 1 0 255662810 49324032 11188 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 12042 11188 297 55 0 10934 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 48168

[startup+20.0094 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=1702832/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=83896 CPUtime=19.98
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 20163 0 0 0 1984 14 0 0 25 0 1 0 255662810 85909504 20067 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551610 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 20974 20067 297 55 0 19866 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 83896

[startup+30.0153 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=1670768/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=115960 CPUtime=29.98
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 28168 0 0 0 2978 20 0 0 25 0 1 0 255662810 118743040 28069 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 28990 28069 297 55 0 27882 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 115960

[startup+40.0213 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=1623984/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=162784 CPUtime=39.99
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 39856 0 0 0 3969 30 0 0 25 0 1 0 255662810 166690816 39748 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 40696 39748 297 55 0 39588 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 162784

[startup+50.0273 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=1582896/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=204084 CPUtime=50
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 50135 0 0 0 4962 38 0 0 25 0 1 0 255662810 208982016 50006 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 51021 50006 297 55 0 49913 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 204084

[startup+60.0332 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=1538864/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=248176 CPUtime=60
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 61124 0 0 0 5954 46 0 0 25 0 1 0 255662810 254132224 60983 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 62044 60983 297 55 0 60936 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 248176

[startup+70.0402 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=1482736/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=304404 CPUtime=70
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 75159 0 0 0 6944 56 0 0 25 0 1 0 255662810 311709696 74999 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 76101 75000 297 55 0 74993 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 304404

[startup+80.0472 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=1434928/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=352372 CPUtime=80.01
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 87084 0 0 0 7937 64 0 0 25 0 1 0 255662810 360828928 86909 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 88093 86909 297 55 0 86985 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 352372

[startup+90.0531 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=1390576/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=396716 CPUtime=90.01
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 98175 0 0 0 8929 72 0 0 25 0 1 0 255662810 406237184 97985 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10819195 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 99179 97985 297 55 0 98071 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 396716

[startup+100.059 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=1341168/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=446260 CPUtime=100.01
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 110544 0 0 0 9922 79 0 0 25 0 1 0 255662810 456970240 110327 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 111565 110327 297 55 0 110457 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 446260

[startup+110.065 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=1289584/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=497992 CPUtime=110.02
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 123411 0 0 0 10914 88 0 0 25 0 1 0 255662810 509943808 123178 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 124498 123178 297 55 0 123390 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 497992

[startup+120.071 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=1255472/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=532560 CPUtime=120.02
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 132012 0 0 0 11909 93 0 0 25 0 1 0 255662810 545341440 131691 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10819195 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 133140 131691 297 55 0 132032 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 532560

[startup+130.077 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=1215088/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=573416 CPUtime=130.02
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 142182 0 0 0 12902 100 0 0 25 0 1 0 255662810 587177984 141762 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 143354 141762 297 55 0 142246 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 573416

[startup+140.083 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=1184560/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=604148 CPUtime=140.02
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 149892 0 0 0 13897 105 0 0 25 0 1 0 255662810 618647552 149381 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 151037 149381 297 55 0 149929 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 604148

[startup+150.089 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=1153392/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=635444 CPUtime=150.03
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 157682 0 0 0 14893 110 0 0 25 0 1 0 255662810 650694656 157161 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 158861 157161 297 55 0 157753 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 635444

[startup+160.095 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=1118320/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=670592 CPUtime=160.04
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 166429 0 0 0 15887 117 0 0 25 0 1 0 255662810 686686208 165906 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 167648 165906 297 55 0 166540 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 670592

[startup+170.101 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=1072816/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=716036 CPUtime=170.04
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 177785 0 0 0 16879 125 0 0 25 0 1 0 255662810 733220864 177250 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 179009 177250 297 55 0 177901 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 716036

[startup+180.107 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=1033840/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=755340 CPUtime=180.04
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 187625 0 0 0 17872 132 0 0 25 0 1 0 255662810 773468160 186998 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 188835 186998 297 55 0 187727 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 755340

[startup+190.113 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=989680/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=799376 CPUtime=190.05
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 198644 0 0 0 18866 139 0 0 25 0 1 0 255662810 818561024 198012 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 199844 198012 297 55 0 198736 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 799376

[startup+200.119 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=944496/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=844720 CPUtime=200.05
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 210020 0 0 0 19858 147 0 0 25 0 1 0 255662810 864993280 209297 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 211180 209297 297 55 0 210072 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 844720

[startup+210.125 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293

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

Current children cumulated CPU time (s) 510.16
Current children cumulated vsize (Kb) 1527060

[startup+520.308 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=259376/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=1532924 CPUtime=520.16
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 382617 0 0 0 51734 282 0 0 25 0 1 0 255662810 1569714176 380212 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528770 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 383231 380212 297 55 0 382123 0
Current children cumulated CPU time (s) 520.16
Current children cumulated vsize (Kb) 1532924

[startup+530.314 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=246576/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=1545980 CPUtime=530.16
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 385897 0 0 0 52730 286 0 0 25 0 1 0 255662810 1583083520 383407 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10819195 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 386495 383407 297 55 0 385387 0
Current children cumulated CPU time (s) 530.16
Current children cumulated vsize (Kb) 1545980

[startup+540.32 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=226544/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=1565912 CPUtime=540.16
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 390883 0 0 0 53726 290 0 0 25 0 1 0 255662810 1603493888 388393 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 391478 388393 297 55 0 390370 0
Current children cumulated CPU time (s) 540.16
Current children cumulated vsize (Kb) 1565912

[startup+550.327 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=213872/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=1578648 CPUtime=550.17
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 394123 0 0 0 54724 293 0 0 25 0 1 0 255662810 1616535552 391551 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548445 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 394662 391551 297 55 0 393554 0
Current children cumulated CPU time (s) 550.17
Current children cumulated vsize (Kb) 1578648

[startup+560.332 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=197104/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=1595476 CPUtime=560.17
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 398314 0 0 0 55721 296 0 0 25 0 1 0 255662810 1633767424 395733 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 398869 395733 297 55 0 397761 0
Current children cumulated CPU time (s) 560.17
Current children cumulated vsize (Kb) 1595476

[startup+570.338 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=184560/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=1607888 CPUtime=570.18
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 401464 0 0 0 56719 299 0 0 25 0 1 0 255662810 1646477312 398883 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 401972 398883 297 55 0 400864 0
Current children cumulated CPU time (s) 570.18
Current children cumulated vsize (Kb) 1607888

[startup+580.344 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=171440/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=1620956 CPUtime=580.18
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 404735 0 0 0 57717 301 0 0 25 0 1 0 255662810 1659858944 402154 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 405239 402154 297 55 0 404131 0
Current children cumulated CPU time (s) 580.18
Current children cumulated vsize (Kb) 1620956

[startup+590.35 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=166320/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=1626104 CPUtime=590.18
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 406010 0 0 0 58716 302 0 0 25 0 1 0 255662810 1665130496 403429 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 406526 403429 297 55 0 405418 0
Current children cumulated CPU time (s) 590.18
Current children cumulated vsize (Kb) 1626104

[startup+600.356 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=157552/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=1634684 CPUtime=600.18
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 408196 0 0 0 59714 304 0 0 25 0 1 0 255662810 1673916416 405615 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 408671 405615 297 55 0 407563 0
Current children cumulated CPU time (s) 600.18
Current children cumulated vsize (Kb) 1634684

[startup+610.361 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=144944/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=1647424 CPUtime=610.19
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 411355 0 0 0 60711 308 0 0 25 0 1 0 255662810 1686962176 408768 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 411856 408768 297 55 0 410748 0
Current children cumulated CPU time (s) 610.19
Current children cumulated vsize (Kb) 1647424

[startup+620.367 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=136560/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=1655608 CPUtime=620.19
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 413436 0 0 0 61709 310 0 0 25 0 1 0 255662810 1695342592 410849 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 413902 410850 297 55 0 412794 0
Current children cumulated CPU time (s) 620.19
Current children cumulated vsize (Kb) 1655608

[startup+630.373 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=124528/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=1667620 CPUtime=630.19
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 416444 0 0 0 62706 313 0 0 25 0 1 0 255662810 1707642880 413857 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534051 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 416905 413857 297 55 0 415797 0
Current children cumulated CPU time (s) 630.19
Current children cumulated vsize (Kb) 1667620

[startup+640.379 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=104432/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=1688248 CPUtime=640.2
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 421696 0 0 0 63702 318 0 0 25 0 1 0 255662810 1728765952 418865 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 422062 418865 297 55 0 420954 0
Current children cumulated CPU time (s) 640.2
Current children cumulated vsize (Kb) 1688248

[startup+650.385 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=86704/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=1706256 CPUtime=650.2
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 426203 0 0 0 64699 321 0 0 25 0 1 0 255662810 1747206144 423290 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 426564 423291 297 55 0 425456 0
Current children cumulated CPU time (s) 650.2
Current children cumulated vsize (Kb) 1706256

[startup+660.391 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=61424/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=1731336 CPUtime=660.21
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 432513 0 0 0 65695 326 0 0 25 0 1 0 255662810 1772888064 429600 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 432834 429600 297 55 0 431726 0
Current children cumulated CPU time (s) 660.21
Current children cumulated vsize (Kb) 1731336

[startup+670.397 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=42224/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=1750720 CPUtime=670.21
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 437458 0 0 0 66691 330 0 0 25 0 1 0 255662810 1792737280 434383 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 437680 434383 297 55 0 436572 0
Current children cumulated CPU time (s) 670.21
Current children cumulated vsize (Kb) 1750720

[startup+680.403 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=20976/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=1772584 CPUtime=680.22
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 442922 0 0 0 67688 334 0 0 25 0 1 0 255662810 1815126016 439681 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 443146 439681 297 55 0 442038 0
Current children cumulated CPU time (s) 680.22
Current children cumulated vsize (Kb) 1772584

[startup+690.409 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=15280/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=1792060 CPUtime=690.22
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 447776 0 0 0 68684 338 0 0 25 0 1 0 255662810 1835069440 444530 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 448015 444530 297 55 0 446907 0
Current children cumulated CPU time (s) 690.22
Current children cumulated vsize (Kb) 1792060

[startup+700.415 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=16304/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=1813192 CPUtime=700.23
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 453083 0 0 0 69680 343 0 0 25 0 1 0 255662810 1856708608 449835 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 453298 449835 297 55 0 452190 0
Current children cumulated CPU time (s) 700.23
Current children cumulated vsize (Kb) 1813192

[startup+710.421 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=15472/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=1823224 CPUtime=710.23
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 455584 0 0 0 70678 345 0 0 25 0 1 0 255662810 1866981376 452336 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 455806 452336 297 55 0 454698 0
Current children cumulated CPU time (s) 710.23
Current children cumulated vsize (Kb) 1823224

[startup+720.428 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 25293
/proc/meminfo: memFree=15152/2055920 swapFree=4180924/4192956
[pid=25293] ppid=25291 vsize=1839372 CPUtime=720.23
/proc/25293/stat : 25293 (bsolo) R 25291 25293 25247 0 -1 0 459643 0 0 0 71675 348 0 0 25 0 1 0 255662810 1883516928 456272 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25293/statm: 459843 456272 297 55 0 458735 0
Current children cumulated CPU time (s) 720.23
Current children cumulated vsize (Kb) 1839372

Child ended because it received signal 6 (SIGABRT)
Real time (s): 727.385
CPU time (s): 727.18
CPU user time (s): 723.423
CPU system time (s): 3.75743
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (Kb): 1839372
The end

Launcher Data (download as text)

Begin job on node61 on Sat Jun 10 00:39:09 UTC 2006


FILE ID= 50303-1149899949

PBS_JOBID= 385188

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_2.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node61/50303-1149899949/instance-50303-1149899949.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node61/watcher-50303-1149899949 -o ROOT/results/node61/solver-50303-1149899949 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node61/50303-1149899949/instance-50303-1149899949.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  ccdf85c0efcf9b688264aa74ef25462f

RANDOM SEED= 584017072


/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:       1782248 kB
Buffers:         36736 kB
Cached:         166000 kB
SwapCached:       3780 kB
Active:          80456 kB
Inactive:       131084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1782248 kB
SwapTotal:     4192956 kB
SwapFree:      4180924 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:          14728 kB
Slab:            48208 kB
Committed_AS:   600188 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node61 on Sat Jun 10 00:51:17 UTC 2006