Trace number 50322

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 772.582 772.956

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_4.opb
MD5SUMdc0116cc9dd2d87e5a6934d46be3ef43
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
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables61
Total number of constraints15
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 constraints14
Minimum length of a constraint1
Maximum length of a constraint60
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 1531
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4594
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 61 variables and 15 constraints.
0.02	c No problem reductions applied in OPT. instance.
0.02	c	preprocess terminated. Elapsed time: 0.012
0.02	c After prepocess the problem consists of 60 variables and 14 constraints.
0.02	c Initial Lower Bound: 0
0.03	c Restart #1 #Var: 60 LB: 0 @ 0.022
0.05	c Restart #2 #Var: 60 LB: 0 @ 0.046
0.09	c Restart #3 #Var: 60 LB: 0 @ 0.083
0.15	c Restart #4 #Var: 60 LB: 0 @ 0.139
0.21	c Restart #5 #Var: 60 LB: 0 @ 0.206
0.30	c Restart #6 #Var: 60 LB: 0 @ 0.293
0.38	c Restart #7 #Var: 60 LB: 0 @ 0.378
0.49	c Restart #8 #Var: 60 LB: 0 @ 0.48
0.64	c Restart #9 #Var: 60 LB: 0 @ 0.638
0.83	c Restart #10 #Var: 60 LB: 0 @ 0.826
1.14	c Restart #11 #Var: 60 LB: 0 @ 1.138
1.40	c Restart #12 #Var: 60 LB: 0 @ 1.396
1.74	c Restart #13 #Var: 60 LB: 0 @ 1.739
2.23	c Restart #14 #Var: 60 LB: 0 @ 2.225
2.58	c Restart #15 #Var: 60 LB: 0 @ 2.572
3.03	c Restart #16 #Var: 60 LB: 0 @ 3.026
3.45	c Restart #17 #Var: 60 LB: 0 @ 3.44
3.92	c Restart #18 #Var: 60 LB: 0 @ 3.912
4.60	c Restart #19 #Var: 60 LB: 0 @ 4.592
5.31	c Restart #20 #Var: 60 LB: 0 @ 5.299
5.97	c Restart #21 #Var: 60 LB: 0 @ 5.959
6.47	c Restart #22 #Var: 60 LB: 0 @ 6.458
7.10	c Restart #23 #Var: 60 LB: 0 @ 7.096
8.13	c Restart #24 #Var: 60 LB: 0 @ 8.118
9.05	c Restart #25 #Var: 60 LB: 0 @ 9.036
10.44	c Restart #26 #Var: 60 LB: 0 @ 10.43
11.62	c Restart #27 #Var: 60 LB: 0 @ 11.611
13.19	c Restart #28 #Var: 60 LB: 0 @ 13.175
15.39	c Restart #29 #Var: 60 LB: 0 @ 15.379
16.87	c Restart #30 #Var: 60 LB: 0 @ 16.855
18.30	c Restart #31 #Var: 60 LB: 0 @ 18.287
21.07	c Restart #32 #Var: 60 LB: 0 @ 21.051
24.97	c Restart #33 #Var: 60 LB: 0 @ 24.957
29.37	c Restart #34 #Var: 60 LB: 0 @ 29.354
35.05	c Restart #35 #Var: 60 LB: 0 @ 35.032
40.27	c Restart #36 #Var: 60 LB: 0 @ 40.245
46.72	c Restart #37 #Var: 60 LB: 0 @ 46.696
51.96	c Restart #38 #Var: 60 LB: 0 @ 51.938
58.77	c Restart #39 #Var: 60 LB: 0 @ 58.737
63.87	c Restart #40 #Var: 60 LB: 0 @ 63.839
67.15	c Restart #41 #Var: 60 LB: 0 @ 67.109
70.35	c Restart #42 #Var: 60 LB: 0 @ 70.286
74.62	c Restart #43 #Var: 60 LB: 0 @ 74.547
77.16	c Restart #44 #Var: 60 LB: 0 @ 77.082
81.14	c Restart #45 #Var: 60 LB: 0 @ 81.064
83.75	c Restart #46 #Var: 60 LB: 0 @ 83.659
86.54	c Restart #47 #Var: 60 LB: 0 @ 86.449
92.01	c Restart #48 #Var: 60 LB: 0 @ 91.919
96.34	c Restart #49 #Var: 60 LB: 0 @ 96.243
98.87	c Restart #50 #Var: 60 LB: 0 @ 98.777
101.53	c Restart #51 #Var: 60 LB: 0 @ 101.43
104.83	c Restart #52 #Var: 60 LB: 0 @ 104.74
108.79	c Restart #53 #Var: 60 LB: 0 @ 108.69
112.91	c Restart #54 #Var: 60 LB: 0 @ 112.81
119.04	c Restart #55 #Var: 60 LB: 0 @ 118.94
123.57	c Restart #56 #Var: 60 LB: 0 @ 123.47
126.60	c Restart #57 #Var: 60 LB: 0 @ 126.5
130.07	c Restart #58 #Var: 60 LB: 0 @ 129.96
134.77	c Restart #59 #Var: 60 LB: 0 @ 134.67
139.75	c Restart #60 #Var: 60 LB: 0 @ 139.64
145.62	c Restart #61 #Var: 60 LB: 0 @ 145.5
150.40	c Restart #62 #Var: 60 LB: 0 @ 150.29
154.55	c Restart #63 #Var: 60 LB: 0 @ 154.43
159.67	c Restart #64 #Var: 60 LB: 0 @ 159.55
168.93	c Restart #65 #Var: 60 LB: 0 @ 168.81
175.42	c Restart #66 #Var: 60 LB: 0 @ 175.3
182.63	c Restart #67 #Var: 60 LB: 0 @ 182.51
187.62	c Restart #68 #Var: 60 LB: 0 @ 187.5
194.08	c Restart #69 #Var: 60 LB: 0 @ 193.95
200.02	c Restart #70 #Var: 60 LB: 0 @ 199.89
205.45	c Restart #71 #Var: 60 LB: 0 @ 205.32
211.82	c Restart #72 #Var: 60 LB: 0 @ 211.68
216.21	c Restart #73 #Var: 60 LB: 0 @ 216.07
222.16	c Restart #74 #Var: 60 LB: 0 @ 222.02
227.99	c Restart #75 #Var: 60 LB: 0 @ 227.85
233.37	c Restart #76 #Var: 60 LB: 0 @ 233.23
240.09	c Restart #77 #Var: 60 LB: 0 @ 239.94
245.69	c Restart #78 #Var: 60 LB: 0 @ 245.54
253.23	c Restart #79 #Var: 60 LB: 0 @ 253.08
260.16	c Restart #80 #Var: 60 LB: 0 @ 260.01
265.61	c Restart #81 #Var: 60 LB: 0 @ 265.45
272.78	c Restart #82 #Var: 60 LB: 0 @ 272.62
278.77	c Restart #83 #Var: 60 LB: 0 @ 278.61
284.90	c Restart #84 #Var: 60 LB: 0 @ 284.74
291.48	c Restart #85 #Var: 60 LB: 0 @ 291.32
301.59	c Restart #86 #Var: 60 LB: 0 @ 301.43
313.06	c Restart #87 #Var: 60 LB: 0 @ 312.89
324.78	c Restart #88 #Var: 60 LB: 0 @ 324.61
337.24	c Restart #89 #Var: 60 LB: 0 @ 337.06
348.40	c Restart #90 #Var: 60 LB: 0 @ 348.22
355.94	c Restart #91 #Var: 60 LB: 0 @ 355.75
363.62	c Restart #92 #Var: 60 LB: 0 @ 363.43
371.18	c Restart #93 #Var: 60 LB: 0 @ 370.99
378.23	c Restart #94 #Var: 60 LB: 0 @ 378.04
385.34	c Restart #95 #Var: 60 LB: 0 @ 385.14
391.70	c Restart #96 #Var: 60 LB: 0 @ 391.5
398.35	c Restart #97 #Var: 60 LB: 0 @ 398.15
403.85	c Restart #98 #Var: 60 LB: 0 @ 403.65
410.02	c Restart #99 #Var: 60 LB: 0 @ 409.81
416.99	c Restart #100 #Var: 60 LB: 0 @ 416.78
426.54	c Restart #101 #Var: 60 LB: 0 @ 426.33
433.73	c Restart #102 #Var: 60 LB: 0 @ 433.52
442.98	c Restart #103 #Var: 60 LB: 0 @ 442.77
454.38	c Restart #104 #Var: 60 LB: 0 @ 454.16
463.88	c Restart #105 #Var: 60 LB: 0 @ 463.66
470.17	c Restart #106 #Var: 60 LB: 0 @ 469.94
477.05	c Restart #107 #Var: 60 LB: 0 @ 476.82
486.87	c Restart #108 #Var: 60 LB: 0 @ 486.64
494.26	c Restart #109 #Var: 60 LB: 0 @ 494.02
503.07	c Restart #110 #Var: 60 LB: 0 @ 502.83
513.52	c Restart #111 #Var: 60 LB: 0 @ 513.28
525.19	c Restart #112 #Var: 60 LB: 0 @ 524.95
537.67	c Restart #113 #Var: 60 LB: 0 @ 537.42
550.10	c Restart #114 #Var: 60 LB: 0 @ 549.84
565.17	c Restart #115 #Var: 60 LB: 0 @ 564.9
580.43	c Restart #116 #Var: 60 LB: 0 @ 580.14
591.09	c Restart #117 #Var: 60 LB: 0 @ 590.81
601.56	c Restart #118 #Var: 60 LB: 0 @ 601.27
612.26	c Restart #119 #Var: 60 LB: 0 @ 611.97
620.23	c Restart #120 #Var: 60 LB: 0 @ 619.94
628.60	c Restart #121 #Var: 60 LB: 0 @ 628.3
638.07	c Restart #122 #Var: 60 LB: 0 @ 637.77
647.79	c Restart #123 #Var: 60 LB: 0 @ 647.49
657.89	c Restart #124 #Var: 60 LB: 0 @ 657.58
669.72	c Restart #125 #Var: 60 LB: 0 @ 669.41
681.72	c Restart #126 #Var: 60 LB: 0 @ 681.4
694.07	c Restart #127 #Var: 60 LB: 0 @ 693.75
703.15	c Restart #128 #Var: 60 LB: 0 @ 702.83
713.29	c Restart #129 #Var: 60 LB: 0 @ 712.97
727.02	c Restart #130 #Var: 60 LB: 0 @ 726.69
754.13	c Restart #131 #Var: 60 LB: 0 @ 753.79
767.25	c Restart #132 #Var: 60 LB: 0 @ 766.9

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.37 0.82 0.87 2/68 23839
/proc/meminfo: memFree=1373464/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=4672 CPUtime=0
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 164 0 0 0 0 0 0 0 19 0 1 0 257918693 4784128 145 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9375041 0 0 4096 0 0 0 0 17 1 0 0
/proc/23839/statm: 1168 147 109 55 0 46 0

[startup+10.0022 s]
/proc/loadavg: 0.47 0.83 0.88 2/68 23839
/proc/meminfo: memFree=1301144/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=76892 CPUtime=9.98
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 18419 0 0 0 988 10 0 0 25 0 1 0 257918693 78737408 18331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134633162 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 19223 18331 294 55 0 18114 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 76892

[startup+20.0081 s]
/proc/loadavg: 0.55 0.83 0.88 2/68 23839
/proc/meminfo: memFree=1265176/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=113044 CPUtime=19.98
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 27408 0 0 0 1982 16 0 0 25 0 1 0 257918693 115757056 27308 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529346 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 28261 27308 294 55 0 27152 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 113044

[startup+30.014 s]
/proc/loadavg: 0.62 0.84 0.88 2/68 23839
/proc/meminfo: memFree=1247128/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=131288 CPUtime=29.98
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 31929 0 0 0 2978 20 0 0 25 0 1 0 257918693 134438912 31812 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 32822 31812 294 55 0 31713 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 131288

[startup+40.0198 s]
/proc/loadavg: 0.68 0.84 0.88 2/68 23839
/proc/meminfo: memFree=1234392/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=143996 CPUtime=39.99
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 35105 0 0 0 3975 24 0 0 25 0 1 0 257918693 147451904 34984 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557739 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 35999 34984 294 55 0 34890 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 143996

[startup+50.0257 s]
/proc/loadavg: 0.72 0.85 0.88 2/68 23839
/proc/meminfo: memFree=1221144/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=157280 CPUtime=49.99
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 38417 0 0 0 4971 28 0 0 25 0 1 0 257918693 161054720 38294 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 39320 38294 294 55 0 38211 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 157280

[startup+60.0326 s]
/proc/loadavg: 0.77 0.85 0.88 2/68 23839
/proc/meminfo: memFree=1208536/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=170016 CPUtime=59.99
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 41573 0 0 0 5969 30 0 0 25 0 1 0 257918693 174096384 41439 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 42504 41439 294 55 0 41395 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 170016

[startup+70.0394 s]
/proc/loadavg: 0.80 0.86 0.88 2/74 23894
/proc/meminfo: memFree=1185960/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=191580 CPUtime=69.98
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 46902 0 0 0 6961 37 0 0 25 0 1 0 257918693 196177920 46753 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 47895 46753 294 55 0 46786 0
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 191580

[startup+80.0473 s]
/proc/loadavg: 0.83 0.86 0.88 2/74 23960
/proc/meminfo: memFree=1161128/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=216508 CPUtime=79.96
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 53096 0 0 0 7955 41 0 0 25 0 1 0 257918693 221704192 52936 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 54127 52936 294 55 0 53018 0
Current children cumulated CPU time (s) 79.96
Current children cumulated vsize (Kb) 216508

[startup+90.0541 s]
/proc/loadavg: 0.86 0.86 0.88 2/68 24034
/proc/meminfo: memFree=1132760/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=246068 CPUtime=89.95
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 60446 0 0 0 8950 45 0 0 25 0 1 0 257918693 251973632 60277 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 61517 60277 294 55 0 60408 0
Current children cumulated CPU time (s) 89.95
Current children cumulated vsize (Kb) 246068

[startup+100.061 s]
/proc/loadavg: 0.88 0.87 0.88 2/68 24034
/proc/meminfo: memFree=1104024/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=275024 CPUtime=99.96
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 67636 0 0 0 9946 50 0 0 25 0 1 0 257918693 281624576 67457 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 68756 67457 294 55 0 67647 0
Current children cumulated CPU time (s) 99.96
Current children cumulated vsize (Kb) 275024

[startup+110.068 s]
/proc/loadavg: 0.90 0.87 0.89 2/68 24034
/proc/meminfo: memFree=1073496/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=305520 CPUtime=109.97
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 75264 0 0 0 10941 56 0 0 25 0 1 0 257918693 312852480 75079 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 76380 75079 294 55 0 75271 0
Current children cumulated CPU time (s) 109.97
Current children cumulated vsize (Kb) 305520

[startup+120.074 s]
/proc/loadavg: 0.91 0.87 0.89 2/68 24034
/proc/meminfo: memFree=1051928/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=327260 CPUtime=119.96
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 80655 0 0 0 11937 59 0 0 25 0 1 0 257918693 335114240 80450 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 81815 80450 294 55 0 80706 0
Current children cumulated CPU time (s) 119.96
Current children cumulated vsize (Kb) 327260

[startup+130.08 s]
/proc/loadavg: 0.93 0.88 0.89 2/68 24034
/proc/meminfo: memFree=1018392/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=361180 CPUtime=129.96
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 89039 0 0 0 12932 64 0 0 25 0 1 0 257918693 369848320 88818 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 90295 88818 294 55 0 89186 0
Current children cumulated CPU time (s) 129.96
Current children cumulated vsize (Kb) 361180

[startup+140.086 s]
/proc/loadavg: 0.94 0.88 0.89 2/68 24034
/proc/meminfo: memFree=993624/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=386080 CPUtime=139.97
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 95236 0 0 0 13928 69 0 0 25 0 1 0 257918693 395345920 95002 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 96520 95002 294 55 0 95411 0
Current children cumulated CPU time (s) 139.97
Current children cumulated vsize (Kb) 386080

[startup+150.092 s]
/proc/loadavg: 0.95 0.89 0.89 2/68 24034
/proc/meminfo: memFree=968792/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=410996 CPUtime=149.97
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 101466 0 0 0 14922 75 0 0 25 0 1 0 257918693 420859904 101220 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 102749 101220 294 55 0 101640 0
Current children cumulated CPU time (s) 149.97
Current children cumulated vsize (Kb) 410996

[startup+160.098 s]
/proc/loadavg: 0.95 0.89 0.89 2/68 24034
/proc/meminfo: memFree=941656/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=438136 CPUtime=159.97
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 108245 0 0 0 15918 79 0 0 25 0 1 0 257918693 448651264 107993 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9840683 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 109534 107993 294 55 0 108425 0
Current children cumulated CPU time (s) 159.97
Current children cumulated vsize (Kb) 438136

[startup+170.104 s]
/proc/loadavg: 0.96 0.89 0.89 2/68 24034
/proc/meminfo: memFree=925912/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=453812 CPUtime=169.97
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 112157 0 0 0 16915 82 0 0 25 0 1 0 257918693 464703488 111903 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 113453 111903 294 55 0 112344 0
Current children cumulated CPU time (s) 169.97
Current children cumulated vsize (Kb) 453812

[startup+180.11 s]
/proc/loadavg: 0.97 0.89 0.89 2/68 24034
/proc/meminfo: memFree=908184/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=471596 CPUtime=179.98
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 116599 0 0 0 17913 85 0 0 25 0 1 0 257918693 482914304 116338 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 117899 116338 294 55 0 116790 0
Current children cumulated CPU time (s) 179.98
Current children cumulated vsize (Kb) 471596

[startup+190.116 s]
/proc/loadavg: 0.97 0.90 0.89 2/68 24034
/proc/meminfo: memFree=880728/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=499188 CPUtime=189.98
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 123468 0 0 0 18908 90 0 0 25 0 1 0 257918693 511168512 123197 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9840683 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 124797 123197 294 55 0 123688 0
Current children cumulated CPU time (s) 189.98
Current children cumulated vsize (Kb) 499188

[startup+200.122 s]
/proc/loadavg: 0.97 0.90 0.89 2/68 24034
/proc/meminfo: memFree=859224/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=520636 CPUtime=199.99
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 128823 0 0 0 19904 95 0 0 25 0 1 0 257918693 533131264 128549 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 130159 128549 294 55 0 129050 0
Current children cumulated CPU time (s) 199.99
Current children cumulated vsize (Kb) 520636

[startup+210.128 s]
/proc/loadavg: 0.98 0.90 0.89 2/68 24034

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

Current children cumulated CPU time (s) 560.07
Current children cumulated vsize (Kb) 1386124

[startup+570.344 s]
/proc/loadavg: 0.99 0.96 0.91 2/68 24034
/proc/meminfo: memFree=16088/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=1401904 CPUtime=570.06
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 350322 0 0 0 56746 260 0 0 25 0 1 0 257918693 1435549696 347339 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 350476 347339 294 55 0 349367 0
Current children cumulated CPU time (s) 570.06
Current children cumulated vsize (Kb) 1401904

[startup+580.35 s]
/proc/loadavg: 0.99 0.96 0.91 2/68 24034
/proc/meminfo: memFree=15768/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=1417544 CPUtime=580.06
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 354231 0 0 0 57742 264 0 0 25 0 1 0 257918693 1451565056 351239 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 354386 351239 294 55 0 353277 0
Current children cumulated CPU time (s) 580.06
Current children cumulated vsize (Kb) 1417544

[startup+590.356 s]
/proc/loadavg: 0.99 0.96 0.91 2/68 24034
/proc/meminfo: memFree=15960/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=1441756 CPUtime=590.06
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 360393 0 0 0 58738 268 0 0 25 0 1 0 257918693 1476358144 357319 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 360439 357319 294 55 0 359330 0
Current children cumulated CPU time (s) 590.06
Current children cumulated vsize (Kb) 1441756

[startup+600.361 s]
/proc/loadavg: 0.99 0.96 0.91 2/68 24034
/proc/meminfo: memFree=15128/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=1466156 CPUtime=600.07
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 366508 0 0 0 59734 273 0 0 25 0 1 0 257918693 1501343744 363272 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 366539 363272 294 55 0 365430 0
Current children cumulated CPU time (s) 600.07
Current children cumulated vsize (Kb) 1466156

[startup+610.367 s]
/proc/loadavg: 0.99 0.96 0.91 2/68 24034
/proc/meminfo: memFree=15320/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=1488160 CPUtime=610.07
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 372173 0 0 0 60729 278 0 0 25 0 1 0 257918693 1523875840 368612 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 372040 368612 294 55 0 370931 0
Current children cumulated CPU time (s) 610.07
Current children cumulated vsize (Kb) 1488160

[startup+620.373 s]
/proc/loadavg: 0.99 0.96 0.91 2/68 24034
/proc/meminfo: memFree=16088/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=1516820 CPUtime=620.07
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 379341 0 0 0 61724 283 0 0 25 0 1 0 257918693 1553223680 375779 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 379205 375779 294 55 0 378096 0
Current children cumulated CPU time (s) 620.07
Current children cumulated vsize (Kb) 1516820

[startup+630.379 s]
/proc/loadavg: 0.99 0.96 0.91 2/68 24034
/proc/meminfo: memFree=15384/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=1544240 CPUtime=630.07
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 386215 0 0 0 62720 287 0 0 25 0 1 0 257918693 1581301760 382555 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 386060 382555 294 55 0 384951 0
Current children cumulated CPU time (s) 630.07
Current children cumulated vsize (Kb) 1544240

[startup+640.385 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 24034
/proc/meminfo: memFree=16280/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=1571284 CPUtime=640.08
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 393006 0 0 0 63715 293 0 0 25 0 1 0 257918693 1608994816 389260 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533947 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 392821 389260 294 55 0 391712 0
Current children cumulated CPU time (s) 640.08
Current children cumulated vsize (Kb) 1571284

[startup+650.391 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 24034
/proc/meminfo: memFree=16280/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=1597672 CPUtime=650.08
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 399618 0 0 0 64711 297 0 0 25 0 1 0 257918693 1636016128 395789 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134600235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 399418 395789 294 55 0 398309 0
Current children cumulated CPU time (s) 650.08
Current children cumulated vsize (Kb) 1597672

[startup+660.397 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 24034
/proc/meminfo: memFree=16152/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=1622920 CPUtime=660.08
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 406042 0 0 0 65707 301 0 0 25 0 1 0 257918693 1661870080 401969 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 405730 401969 294 55 0 404621 0
Current children cumulated CPU time (s) 660.08
Current children cumulated vsize (Kb) 1622920

[startup+670.402 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 24034
/proc/meminfo: memFree=15320/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=1645100 CPUtime=670.08
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 411606 0 0 0 66704 304 0 0 25 0 1 0 257918693 1684582400 407533 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 411275 407533 294 55 0 410166 0
Current children cumulated CPU time (s) 670.08
Current children cumulated vsize (Kb) 1645100

[startup+680.408 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 24034
/proc/meminfo: memFree=16216/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=1670500 CPUtime=680.08
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 418003 0 0 0 67699 309 0 0 25 0 1 0 257918693 1710592000 413848 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533653 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 417625 413848 294 55 0 416516 0
Current children cumulated CPU time (s) 680.08
Current children cumulated vsize (Kb) 1670500

[startup+690.414 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 24034
/proc/meminfo: memFree=14936/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=1689292 CPUtime=690.09
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 422734 0 0 0 68696 313 0 0 25 0 1 0 257918693 1729835008 418411 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 422323 418411 294 55 0 421214 0
Current children cumulated CPU time (s) 690.09
Current children cumulated vsize (Kb) 1689292

[startup+700.42 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 24034
/proc/meminfo: memFree=15256/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=1718200 CPUtime=700.09
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 430013 0 0 0 69691 318 0 0 25 0 1 0 257918693 1759436800 425690 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 429550 425690 294 55 0 428441 0
Current children cumulated CPU time (s) 700.09
Current children cumulated vsize (Kb) 1718200

[startup+710.426 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 24034
/proc/meminfo: memFree=15640/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=1744008 CPUtime=710.09
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 436500 0 0 0 70687 322 0 0 25 0 1 0 257918693 1785864192 432171 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 436002 432171 294 55 0 434893 0
Current children cumulated CPU time (s) 710.09
Current children cumulated vsize (Kb) 1744008

[startup+720.433 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 24034
/proc/meminfo: memFree=15064/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=1769652 CPUtime=720.1
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 443048 0 0 0 71683 327 0 0 25 0 1 0 257918693 1812123648 438475 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 442413 438475 294 55 0 441304 0
Current children cumulated CPU time (s) 720.1
Current children cumulated vsize (Kb) 1769652

[startup+730.44 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 24034
/proc/meminfo: memFree=15960/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=1781200 CPUtime=730.09
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 445903 0 0 0 72680 329 0 0 25 0 1 0 257918693 1823948800 441329 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 445300 441329 294 55 0 444191 0
Current children cumulated CPU time (s) 730.09
Current children cumulated vsize (Kb) 1781200

[startup+740.446 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 24034
/proc/meminfo: memFree=15960/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=1787272 CPUtime=740.11
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 447445 0 0 0 73679 332 0 0 25 0 1 0 257918693 1830166528 442871 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 446818 442871 294 55 0 445709 0
Current children cumulated CPU time (s) 740.11
Current children cumulated vsize (Kb) 1787272

[startup+750.453 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 24034
/proc/meminfo: memFree=15896/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=1798096 CPUtime=750.11
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 450153 0 0 0 74677 334 0 0 25 0 1 0 257918693 1841250304 445579 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 449524 445579 294 55 0 448415 0
Current children cumulated CPU time (s) 750.11
Current children cumulated vsize (Kb) 1798096

[startup+760.46 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 24034
/proc/meminfo: memFree=15064/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=1819060 CPUtime=760.11
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 455447 0 0 0 75673 338 0 0 25 0 1 0 257918693 1862717440 450790 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 454765 450790 294 55 0 453656 0
Current children cumulated CPU time (s) 760.11
Current children cumulated vsize (Kb) 1819060

[startup+770.474 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 24034
/proc/meminfo: memFree=16280/2055892 swapFree=4085328/4096564
[pid=23839] ppid=23837 vsize=1836088 CPUtime=770.12
/proc/23839/stat : 23839 (bsolo) R 23837 23839 23793 0 -1 0 459735 0 0 0 76672 340 0 0 25 0 1 0 257918693 1880154112 455078 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23839/statm: 459022 455078 294 55 0 457913 0
Current children cumulated CPU time (s) 770.12
Current children cumulated vsize (Kb) 1836088

Child ended because it received signal 6 (SIGABRT)
Real time (s): 772.956
CPU time (s): 772.582
CPU user time (s): 768.899
CPU system time (s): 3.68244
CPU usage (%): 99.9516
Max. virtual memory (cumulated for all children) (Kb): 1836088
The end

Launcher Data (download as text)

Begin job on node89 on Sat Jun 10 06:59:56 UTC 2006


FILE ID= 50322-1149922796

PBS_JOBID= 385435

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  dc0116cc9dd2d87e5a6934d46be3ef43

RANDOM SEED= 713604834


/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.265
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.265
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.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1373672 kB
Buffers:         43212 kB
Cached:         565928 kB
SwapCached:       2384 kB
Active:          98996 kB
Inactive:       518812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1373672 kB
SwapTotal:     4096564 kB
SwapFree:      4085328 kB
Dirty:             148 kB
Writeback:           0 kB
Mapped:          16504 kB
Slab:            50964 kB
Committed_AS:   665484 kB
PageTables:       1300 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node89 on Sat Jun 10 07:12:49 UTC 2006