Trace number 50314

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 707.02 707.304

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_3.opb
MD5SUM0cfcb152e5d64f6fbadc82a2b31230da
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 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 1901
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5704
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.04	c INFO: OSL Context initialized.
0.04	c Initial problem consists of 61 variables and 15 constraints.
0.04	c No problem reductions applied in OPT. instance.
0.04	c	preprocess terminated. Elapsed time: 0.009
0.04	c After prepocess the problem consists of 60 variables and 14 constraints.
0.04	c Initial Lower Bound: 0
0.05	c Restart #1 #Var: 60 LB: 0 @ 0.021
0.08	c Restart #2 #Var: 60 LB: 0 @ 0.049
0.12	c Restart #3 #Var: 60 LB: 0 @ 0.088
0.18	c Restart #4 #Var: 60 LB: 0 @ 0.144
0.25	c Restart #5 #Var: 60 LB: 0 @ 0.218
0.32	c Restart #6 #Var: 60 LB: 0 @ 0.284
0.40	c Restart #7 #Var: 60 LB: 0 @ 0.369
0.54	c Restart #8 #Var: 60 LB: 0 @ 0.503
0.76	c Restart #9 #Var: 60 LB: 0 @ 0.73
0.90	c Restart #10 #Var: 60 LB: 0 @ 0.864
1.05	c Restart #11 #Var: 60 LB: 0 @ 1.011
1.26	c Restart #12 #Var: 60 LB: 0 @ 1.231
1.54	c Restart #13 #Var: 60 LB: 0 @ 1.51
1.89	c Restart #14 #Var: 60 LB: 0 @ 1.855
2.24	c Restart #15 #Var: 60 LB: 0 @ 2.206
2.82	c Restart #16 #Var: 60 LB: 0 @ 2.786
3.33	c Restart #17 #Var: 60 LB: 0 @ 3.295
4.39	c Restart #18 #Var: 60 LB: 0 @ 4.355
5.99	c Restart #19 #Var: 60 LB: 0 @ 5.953
7.84	c Restart #20 #Var: 60 LB: 0 @ 7.806
9.19	c Restart #21 #Var: 60 LB: 0 @ 9.15
11.74	c Restart #22 #Var: 60 LB: 0 @ 11.698
14.89	c Restart #23 #Var: 60 LB: 0 @ 14.852
16.78	c Restart #24 #Var: 60 LB: 0 @ 16.739
18.15	c Restart #25 #Var: 60 LB: 0 @ 18.109
20.27	c Restart #26 #Var: 60 LB: 0 @ 20.227
24.58	c Restart #27 #Var: 60 LB: 0 @ 24.535
25.59	c Restart #28 #Var: 60 LB: 0 @ 25.545
26.61	c Restart #29 #Var: 60 LB: 0 @ 26.57
28.25	c Restart #30 #Var: 60 LB: 0 @ 28.202
29.43	c Restart #31 #Var: 60 LB: 0 @ 29.385
30.81	c Restart #32 #Var: 60 LB: 0 @ 30.77
32.49	c Restart #33 #Var: 60 LB: 0 @ 32.441
33.66	c Restart #34 #Var: 60 LB: 0 @ 33.612
35.40	c Restart #35 #Var: 60 LB: 0 @ 35.354
37.64	c Restart #36 #Var: 60 LB: 0 @ 37.592
38.98	c Restart #37 #Var: 60 LB: 0 @ 38.929
40.51	c Restart #38 #Var: 60 LB: 0 @ 40.459
42.11	c Restart #39 #Var: 60 LB: 0 @ 42.062
43.51	c Restart #40 #Var: 60 LB: 0 @ 43.465
45.24	c Restart #41 #Var: 60 LB: 0 @ 45.188
46.86	c Restart #42 #Var: 60 LB: 0 @ 46.809
48.73	c Restart #43 #Var: 60 LB: 0 @ 48.684
50.91	c Restart #44 #Var: 60 LB: 0 @ 50.861
52.51	c Restart #45 #Var: 60 LB: 0 @ 52.462
53.77	c Restart #46 #Var: 60 LB: 0 @ 53.716
55.23	c Restart #47 #Var: 60 LB: 0 @ 55.175
56.84	c Restart #48 #Var: 60 LB: 0 @ 56.791
58.25	c Restart #49 #Var: 60 LB: 0 @ 58.196
59.99	c Restart #50 #Var: 60 LB: 0 @ 59.936
61.76	c Restart #51 #Var: 60 LB: 0 @ 61.707
63.67	c Restart #52 #Var: 60 LB: 0 @ 63.616
65.50	c Restart #53 #Var: 60 LB: 0 @ 65.443
67.39	c Restart #54 #Var: 60 LB: 0 @ 67.331
69.44	c Restart #55 #Var: 60 LB: 0 @ 69.384
72.26	c Restart #56 #Var: 60 LB: 0 @ 72.21
76.64	c Restart #57 #Var: 60 LB: 0 @ 76.587
79.21	c Restart #58 #Var: 60 LB: 0 @ 79.152
81.74	c Restart #59 #Var: 60 LB: 0 @ 81.682
85.03	c Restart #60 #Var: 60 LB: 0 @ 84.974
88.61	c Restart #61 #Var: 60 LB: 0 @ 88.553
92.59	c Restart #62 #Var: 60 LB: 0 @ 92.535
98.40	c Restart #63 #Var: 60 LB: 0 @ 98.337
105.08	c Restart #64 #Var: 60 LB: 0 @ 105.02
111.68	c Restart #65 #Var: 60 LB: 0 @ 111.61
117.48	c Restart #66 #Var: 60 LB: 0 @ 117.42
123.51	c Restart #67 #Var: 60 LB: 0 @ 123.45
128.28	c Restart #68 #Var: 60 LB: 0 @ 128.21
132.02	c Restart #69 #Var: 60 LB: 0 @ 131.95
134.92	c Restart #70 #Var: 60 LB: 0 @ 134.85
138.88	c Restart #71 #Var: 60 LB: 0 @ 138.81
143.15	c Restart #72 #Var: 60 LB: 0 @ 143.08
146.67	c Restart #73 #Var: 60 LB: 0 @ 146.59
149.71	c Restart #74 #Var: 60 LB: 0 @ 149.64
152.56	c Restart #75 #Var: 60 LB: 0 @ 152.48
156.04	c Restart #76 #Var: 60 LB: 0 @ 155.97
159.35	c Restart #77 #Var: 60 LB: 0 @ 159.27
164.22	c Restart #78 #Var: 60 LB: 0 @ 164.14
167.54	c Restart #79 #Var: 60 LB: 0 @ 167.46
170.61	c Restart #80 #Var: 60 LB: 0 @ 170.53
173.62	c Restart #81 #Var: 60 LB: 0 @ 173.54
176.97	c Restart #82 #Var: 60 LB: 0 @ 176.89
182.21	c Restart #83 #Var: 60 LB: 0 @ 182.12
187.40	c Restart #84 #Var: 60 LB: 0 @ 187.31
193.74	c Restart #85 #Var: 60 LB: 0 @ 193.66
201.66	c Restart #86 #Var: 60 LB: 0 @ 201.57
207.23	c Restart #87 #Var: 60 LB: 0 @ 207.14
212.50	c Restart #88 #Var: 60 LB: 0 @ 212.41
217.13	c Restart #89 #Var: 60 LB: 0 @ 217.04
221.79	c Restart #90 #Var: 60 LB: 0 @ 221.7
227.52	c Restart #91 #Var: 60 LB: 0 @ 227.43
233.91	c Restart #92 #Var: 60 LB: 0 @ 233.82
239.04	c Restart #93 #Var: 60 LB: 0 @ 238.95
244.47	c Restart #94 #Var: 60 LB: 0 @ 244.37
249.52	c Restart #95 #Var: 60 LB: 0 @ 249.42
256.25	c Restart #96 #Var: 60 LB: 0 @ 256.15
263.93	c Restart #97 #Var: 60 LB: 0 @ 263.83
271.94	c Restart #98 #Var: 60 LB: 0 @ 271.84
278.23	c Restart #99 #Var: 60 LB: 0 @ 278.13
285.72	c Restart #100 #Var: 60 LB: 0 @ 285.61
293.24	c Restart #101 #Var: 60 LB: 0 @ 293.13
300.66	c Restart #102 #Var: 60 LB: 0 @ 300.55
309.06	c Restart #103 #Var: 60 LB: 0 @ 308.94
317.30	c Restart #104 #Var: 60 LB: 0 @ 317.19
325.71	c Restart #105 #Var: 60 LB: 0 @ 325.59
335.38	c Restart #106 #Var: 60 LB: 0 @ 335.26
345.96	c Restart #107 #Var: 60 LB: 0 @ 345.84
356.73	c Restart #108 #Var: 60 LB: 0 @ 356.61
366.58	c Restart #109 #Var: 60 LB: 0 @ 366.45
376.19	c Restart #110 #Var: 60 LB: 0 @ 376.06
385.14	c Restart #111 #Var: 60 LB: 0 @ 385.01
393.33	c Restart #112 #Var: 60 LB: 0 @ 393.19
402.93	c Restart #113 #Var: 60 LB: 0 @ 402.79
413.55	c Restart #114 #Var: 60 LB: 0 @ 413.41
427.86	c Restart #115 #Var: 60 LB: 0 @ 427.72
442.92	c Restart #116 #Var: 60 LB: 0 @ 442.78
455.89	c Restart #117 #Var: 60 LB: 0 @ 455.74
471.12	c Restart #118 #Var: 60 LB: 0 @ 470.97
486.72	c Restart #119 #Var: 60 LB: 0 @ 486.56
502.74	c Restart #120 #Var: 60 LB: 0 @ 502.58
516.10	c Restart #121 #Var: 60 LB: 0 @ 515.94
541.71	c Restart #122 #Var: 60 LB: 0 @ 541.54
564.35	c Restart #123 #Var: 60 LB: 0 @ 564.17
578.18	c Restart #124 #Var: 60 LB: 0 @ 578
591.86	c Restart #125 #Var: 60 LB: 0 @ 591.68
615.23	c Restart #126 #Var: 60 LB: 0 @ 615.04
636.25	c Restart #127 #Var: 60 LB: 0 @ 636.05
651.84	c Restart #128 #Var: 60 LB: 0 @ 651.65
662.92	c Restart #129 #Var: 60 LB: 0 @ 662.72
676.69	c Restart #130 #Var: 60 LB: 0 @ 676.48
693.36	c Restart #131 #Var: 60 LB: 0 @ 693.15

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=1844896/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=4664 CPUtime=0
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 256277258 4775936 149 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10352501 0 0 4096 0 0 0 0 17 1 0 0
/proc/26404/statm: 1166 151 112 55 0 46 0

[startup+10.003 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=1794736/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=54792 CPUtime=9.96
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 12924 0 0 0 987 9 0 0 25 0 1 0 256277258 56107008 12836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134606453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 13698 12836 297 55 0 12590 0
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 54792

[startup+20.009 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=1773304/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=76364 CPUtime=19.96
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 18280 0 0 0 1982 14 0 0 25 0 1 0 256277258 78196736 18188 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10819195 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 19091 18188 297 55 0 17983 0
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 76364

[startup+30.0149 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=1739896/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=109928 CPUtime=29.96
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 26620 0 0 0 2976 20 0 0 25 0 1 0 256277258 112566272 26514 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 27482 26514 297 55 0 26374 0
Current children cumulated CPU time (s) 29.96
Current children cumulated vsize (Kb) 109928

[startup+40.0209 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=1693880/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=156172 CPUtime=39.96
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 38126 0 0 0 3965 31 0 0 25 0 1 0 256277258 159920128 38010 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548183 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 39043 38010 297 55 0 37935 0
Current children cumulated CPU time (s) 39.96
Current children cumulated vsize (Kb) 156172

[startup+50.0269 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=1643576/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=206660 CPUtime=49.97
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 50713 0 0 0 4956 41 0 0 25 0 1 0 256277258 211619840 50570 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 51665 50570 297 55 0 50557 0
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 206660

[startup+60.0328 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=1579512/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=270876 CPUtime=59.97
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 66690 0 0 0 5946 51 0 0 25 0 1 0 256277258 277377024 66524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 67719 66524 297 55 0 66611 0
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 270876

[startup+70.0398 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=1519800/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=330872 CPUtime=69.98
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 81629 0 0 0 6935 63 0 0 25 0 1 0 256277258 338812928 81431 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548692 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 82718 81431 297 55 0 81610 0
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 330872

[startup+80.0458 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=1482360/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=368740 CPUtime=79.97
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 91000 0 0 0 7929 68 0 0 25 0 1 0 256277258 377589760 90773 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 92185 90773 297 55 0 91077 0
Current children cumulated CPU time (s) 79.97
Current children cumulated vsize (Kb) 368740

[startup+90.0517 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=1442104/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=408916 CPUtime=89.98
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 101055 0 0 0 8923 75 0 0 25 0 1 0 256277258 418729984 100828 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 102229 100828 297 55 0 101121 0
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 408916

[startup+100.058 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=1419960/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=431300 CPUtime=99.98
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 106671 0 0 0 9919 79 0 0 25 0 1 0 256277258 441651200 106340 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 107825 106340 297 55 0 106717 0
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 431300

[startup+110.064 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=1400760/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=450384 CPUtime=109.99
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 111463 0 0 0 10915 84 0 0 25 0 1 0 256277258 461193216 111132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 112596 111132 297 55 0 111488 0
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 450384

[startup+120.07 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=1375544/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=475592 CPUtime=119.99
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 117755 0 0 0 11910 89 0 0 25 0 1 0 256277258 487006208 117410 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 118898 117411 297 55 0 117790 0
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 475592

[startup+130.076 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=1345464/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=505624 CPUtime=129.99
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 125280 0 0 0 12904 95 0 0 25 0 1 0 256277258 517758976 124928 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10819195 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 126406 124928 297 55 0 125298 0
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 505624

[startup+140.082 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=1307192/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=544508 CPUtime=140
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 134999 0 0 0 13898 102 0 0 25 0 1 0 256277258 557576192 134468 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 136127 134468 297 55 0 135019 0
Current children cumulated CPU time (s) 140
Current children cumulated vsize (Kb) 544508

[startup+150.088 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=1263096/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=588500 CPUtime=150
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 146021 0 0 0 14891 109 0 0 25 0 1 0 256277258 602624000 145474 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534060 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 147125 145474 297 55 0 146017 0
Current children cumulated CPU time (s) 150
Current children cumulated vsize (Kb) 588500

[startup+160.094 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=1212344/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=639252 CPUtime=160
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 158717 0 0 0 15881 119 0 0 25 0 1 0 256277258 654594048 158143 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10819195 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 159813 158143 297 55 0 158705 0
Current children cumulated CPU time (s) 160
Current children cumulated vsize (Kb) 639252

[startup+170.099 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=1165240/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=686128 CPUtime=170.01
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 170474 0 0 0 16872 129 0 0 25 0 1 0 256277258 702595072 169893 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 171532 169893 297 55 0 170424 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 686128

[startup+180.105 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=1117240/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=734288 CPUtime=180.02
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 182602 0 0 0 17863 139 0 0 25 0 1 0 256277258 751910912 181859 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 183572 181859 297 55 0 182464 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 734288

[startup+190.11 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=1084920/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=766300 CPUtime=190.01
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 190666 0 0 0 18856 145 0 0 25 0 1 0 256277258 784691200 189917 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533818 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 191575 189917 297 55 0 190467 0
Current children cumulated CPU time (s) 190.01
Current children cumulated vsize (Kb) 766300

[startup+200.116 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=1060472/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=791208 CPUtime=200.02
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 196855 0 0 0 19852 150 0 0 25 0 1 0 256277258 810196992 196019 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548512 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 197802 196019 297 55 0 196694 0
Current children cumulated CPU time (s) 200.02
Current children cumulated vsize (Kb) 791208

[startup+210.122 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404

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

Current children cumulated CPU time (s) 490.12
Current children cumulated vsize (Kb) 1518244

[startup+500.292 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=322232/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=1533084 CPUtime=500.13
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 383406 0 0 0 49718 295 0 0 25 0 1 0 256277258 1569878016 380195 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 383271 380195 297 55 0 382163 0
Current children cumulated CPU time (s) 500.13
Current children cumulated vsize (Kb) 1533084

[startup+510.298 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=302072/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=1553564 CPUtime=510.13
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 388520 0 0 0 50714 299 0 0 25 0 1 0 256277258 1590849536 385224 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 388391 385224 297 55 0 387283 0
Current children cumulated CPU time (s) 510.13
Current children cumulated vsize (Kb) 1553564

[startup+520.304 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=284152/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=1571628 CPUtime=520.13
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 393153 0 0 0 51711 302 0 0 25 0 1 0 256277258 1609347072 389695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 392907 389695 297 55 0 391799 0
Current children cumulated CPU time (s) 520.13
Current children cumulated vsize (Kb) 1571628

[startup+530.31 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=278904/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=1576776 CPUtime=530.13
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 394467 0 0 0 52710 303 0 0 25 0 1 0 256277258 1614618624 391009 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 394194 391009 297 55 0 393086 0
Current children cumulated CPU time (s) 530.13
Current children cumulated vsize (Kb) 1576776

[startup+540.316 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=268536/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=1587336 CPUtime=540.14
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 397101 0 0 0 53707 307 0 0 25 0 1 0 256277258 1625432064 393598 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718465 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 396834 393598 297 55 0 395726 0
Current children cumulated CPU time (s) 540.14
Current children cumulated vsize (Kb) 1587336

[startup+550.321 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=255352/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=1600912 CPUtime=550.14
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 400548 0 0 0 54704 310 0 0 25 0 1 0 256277258 1639333888 396881 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 400228 396881 297 55 0 399120 0
Current children cumulated CPU time (s) 550.14
Current children cumulated vsize (Kb) 1600912

[startup+560.327 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=250104/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=1606060 CPUtime=560.14
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 401857 0 0 0 55702 312 0 0 25 0 1 0 256277258 1644605440 398190 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 401515 398190 297 55 0 400407 0
Current children cumulated CPU time (s) 560.14
Current children cumulated vsize (Kb) 1606060

[startup+570.333 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=227384/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=1628640 CPUtime=570.15
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 407518 0 0 0 56698 317 0 0 25 0 1 0 256277258 1667727360 403851 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 407160 403851 297 55 0 406052 0
Current children cumulated CPU time (s) 570.15
Current children cumulated vsize (Kb) 1628640

[startup+580.339 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=213112/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=1642764 CPUtime=580.15
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 411091 0 0 0 57695 320 0 0 25 0 1 0 256277258 1682190336 407424 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 410691 407424 297 55 0 409583 0
Current children cumulated CPU time (s) 580.15
Current children cumulated vsize (Kb) 1642764

[startup+590.345 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=190456/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=1666196 CPUtime=590.15
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 416984 0 0 0 58690 325 0 0 25 0 1 0 256277258 1706184704 413069 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 416549 413069 297 55 0 415441 0
Current children cumulated CPU time (s) 590.15
Current children cumulated vsize (Kb) 1666196

[startup+600.351 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=177208/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=1679620 CPUtime=600.16
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 420369 0 0 0 59687 329 0 0 25 0 1 0 256277258 1719930880 416370 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 419905 416370 297 55 0 418797 0
Current children cumulated CPU time (s) 600.16
Current children cumulated vsize (Kb) 1679620

[startup+610.357 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=169400/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=1687276 CPUtime=610.16
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 422306 0 0 0 60686 330 0 0 25 0 1 0 256277258 1727770624 418307 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 421819 418307 297 55 0 420711 0
Current children cumulated CPU time (s) 610.16
Current children cumulated vsize (Kb) 1687276

[startup+620.363 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=154872/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=1702204 CPUtime=620.16
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 426056 0 0 0 61683 333 0 0 25 0 1 0 256277258 1743056896 421934 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 425551 421934 297 55 0 424443 0
Current children cumulated CPU time (s) 620.16
Current children cumulated vsize (Kb) 1702204

[startup+630.369 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=142648/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=1714540 CPUtime=630.16
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 429118 0 0 0 62680 336 0 0 25 0 1 0 256277258 1755688960 424996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 428635 424996 297 55 0 427527 0
Current children cumulated CPU time (s) 630.16
Current children cumulated vsize (Kb) 1714540

[startup+640.375 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=131512/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=1726008 CPUtime=640.16
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 432043 0 0 0 63678 338 0 0 25 0 1 0 256277258 1767432192 427757 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 431502 427757 297 55 0 430394 0
Current children cumulated CPU time (s) 640.16
Current children cumulated vsize (Kb) 1726008

[startup+650.381 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=111160/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=1746596 CPUtime=650.17
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 437155 0 0 0 64673 344 0 0 25 0 1 0 256277258 1788514304 432851 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 436649 432851 297 55 0 435541 0
Current children cumulated CPU time (s) 650.17
Current children cumulated vsize (Kb) 1746596

[startup+660.387 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=90808/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=1766660 CPUtime=660.18
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 442230 0 0 0 65670 348 0 0 25 0 1 0 256277258 1809059840 437926 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 441665 437926 297 55 0 440557 0
Current children cumulated CPU time (s) 660.18
Current children cumulated vsize (Kb) 1766660

[startup+670.392 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=67384/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=1789892 CPUtime=670.18
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 448059 0 0 0 66665 353 0 0 25 0 1 0 256277258 1832849408 443755 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 447473 443755 297 55 0 446365 0
Current children cumulated CPU time (s) 670.18
Current children cumulated vsize (Kb) 1789892

[startup+680.398 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=47992/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=1809032 CPUtime=680.18
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 452912 0 0 0 67661 357 0 0 25 0 1 0 256277258 1852448768 448608 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529265 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 452258 448608 297 55 0 451150 0
Current children cumulated CPU time (s) 680.18
Current children cumulated vsize (Kb) 1809032

[startup+690.404 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=32568/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=1824344 CPUtime=690.19
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 456756 0 0 0 68659 360 0 0 25 0 1 0 256277258 1868128256 452452 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 456086 452452 297 55 0 454978 0
Current children cumulated CPU time (s) 690.19
Current children cumulated vsize (Kb) 1824344

[startup+700.41 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 26404
/proc/meminfo: memFree=22520/2055920 swapFree=4180924/4192956
[pid=26404] ppid=26402 vsize=1834752 CPUtime=700.19
/proc/26404/stat : 26404 (bsolo) R 26402 26404 26358 0 -1 0 459436 0 0 0 69656 363 0 0 25 0 1 0 256277258 1878786048 454970 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26404/statm: 458688 454970 297 55 0 457580 0
Current children cumulated CPU time (s) 700.19
Current children cumulated vsize (Kb) 1834752

Child ended because it received signal 11 (SIGSEGV)
Real time (s): 707.304
CPU time (s): 707.02
CPU user time (s): 703.084
CPU system time (s): 3.9364
CPU usage (%): 99.9599
Max. virtual memory (cumulated for all children) (Kb): 1834752
The end

Launcher Data (download as text)

Begin job on node61 on Sat Jun 10 02:21:34 UTC 2006


FILE ID= 50314-1149906094

PBS_JOBID= 385331

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  0cfcb152e5d64f6fbadc82a2b31230da

RANDOM SEED= 837580864


/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:       1845104 kB
Buffers:         22832 kB
Cached:         117144 kB
SwapCached:       3708 kB
Active:          30136 kB
Inactive:       118568 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1845104 kB
SwapTotal:     4192956 kB
SwapFree:      4180924 kB
Dirty:             148 kB
Writeback:           0 kB
Mapped:          14728 kB
Slab:            48224 kB
Committed_AS:   600536 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 02:33:21 UTC 2006