Trace number 50327

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 696.623 697.07

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_4.opb
MD5SUMd78f5121f87a7bad7fc74d5d3eacc32f
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 1881
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5644
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.02	c Time Limit set via PBTIMEOUT to 1800
0.04	c INFO: OSL Context initialized.
0.04	c Initial problem consists of 71 variables and 17 constraints.
0.04	c No problem reductions applied in OPT. instance.
0.04	c	preprocess terminated. Elapsed time: 0.017
0.04	c After prepocess the problem consists of 70 variables and 16 constraints.
0.04	c Initial Lower Bound: 0
0.06	c Restart #1 #Var: 70 LB: 0 @ 0.03
0.08	c Restart #2 #Var: 70 LB: 0 @ 0.058
0.13	c Restart #3 #Var: 70 LB: 0 @ 0.102
0.20	c Restart #4 #Var: 70 LB: 0 @ 0.171
0.27	c Restart #5 #Var: 70 LB: 0 @ 0.248
0.35	c Restart #6 #Var: 70 LB: 0 @ 0.323
0.44	c Restart #7 #Var: 70 LB: 0 @ 0.419
0.59	c Restart #8 #Var: 70 LB: 0 @ 0.562
0.76	c Restart #9 #Var: 70 LB: 0 @ 0.734
0.98	c Restart #10 #Var: 70 LB: 0 @ 0.954
1.40	c Restart #11 #Var: 70 LB: 0 @ 1.375
2.04	c Restart #12 #Var: 70 LB: 0 @ 2.013
2.91	c Restart #13 #Var: 70 LB: 0 @ 2.884
3.19	c Restart #14 #Var: 70 LB: 0 @ 3.162
3.48	c Restart #15 #Var: 70 LB: 0 @ 3.45
4.03	c Restart #16 #Var: 70 LB: 0 @ 4
4.72	c Restart #17 #Var: 70 LB: 0 @ 4.689
5.64	c Restart #18 #Var: 70 LB: 0 @ 5.61
6.13	c Restart #19 #Var: 70 LB: 0 @ 6.103
6.60	c Restart #20 #Var: 70 LB: 0 @ 6.576
7.02	c Restart #21 #Var: 70 LB: 0 @ 6.995
7.52	c Restart #22 #Var: 70 LB: 0 @ 7.488
8.20	c Restart #23 #Var: 70 LB: 0 @ 8.166
9.00	c Restart #24 #Var: 70 LB: 0 @ 8.973
9.56	c Restart #25 #Var: 70 LB: 0 @ 9.527
10.21	c Restart #26 #Var: 70 LB: 0 @ 10.18
11.21	c Restart #27 #Var: 70 LB: 0 @ 11.172
12.28	c Restart #28 #Var: 70 LB: 0 @ 12.25
13.87	c Restart #29 #Var: 70 LB: 0 @ 13.836
15.45	c Restart #30 #Var: 70 LB: 0 @ 15.41
17.28	c Restart #31 #Var: 70 LB: 0 @ 17.246
19.55	c Restart #32 #Var: 70 LB: 0 @ 19.512
21.09	c Restart #33 #Var: 70 LB: 0 @ 21.052
23.23	c Restart #34 #Var: 70 LB: 0 @ 23.194
26.22	c Restart #35 #Var: 70 LB: 0 @ 26.182
28.79	c Restart #36 #Var: 70 LB: 0 @ 28.75
30.86	c Restart #37 #Var: 70 LB: 0 @ 30.818
33.20	c Restart #38 #Var: 70 LB: 0 @ 33.159
34.55	c Restart #39 #Var: 70 LB: 0 @ 34.506
36.38	c Restart #40 #Var: 70 LB: 0 @ 36.341
38.45	c Restart #41 #Var: 70 LB: 0 @ 38.406
40.34	c Restart #42 #Var: 70 LB: 0 @ 40.298
42.03	c Restart #43 #Var: 70 LB: 0 @ 41.981
43.50	c Restart #44 #Var: 70 LB: 0 @ 43.458
45.57	c Restart #45 #Var: 70 LB: 0 @ 45.522
48.49	c Restart #46 #Var: 70 LB: 0 @ 48.444
50.88	c Restart #47 #Var: 70 LB: 0 @ 50.835
53.37	c Restart #48 #Var: 70 LB: 0 @ 53.319
56.12	c Restart #49 #Var: 70 LB: 0 @ 56.067
58.72	c Restart #50 #Var: 70 LB: 0 @ 58.674
60.84	c Restart #51 #Var: 70 LB: 0 @ 60.787
62.84	c Restart #52 #Var: 70 LB: 0 @ 62.784
65.33	c Restart #53 #Var: 70 LB: 0 @ 65.282
68.25	c Restart #54 #Var: 70 LB: 0 @ 68.194
72.07	c Restart #55 #Var: 70 LB: 0 @ 72.015
75.67	c Restart #56 #Var: 70 LB: 0 @ 75.617
80.14	c Restart #57 #Var: 70 LB: 0 @ 80.084
87.51	c Restart #58 #Var: 70 LB: 0 @ 87.447
91.09	c Restart #59 #Var: 70 LB: 0 @ 91.028
93.85	c Restart #60 #Var: 70 LB: 0 @ 93.791
96.80	c Restart #61 #Var: 70 LB: 0 @ 96.741
99.81	c Restart #62 #Var: 70 LB: 0 @ 99.749
103.54	c Restart #63 #Var: 70 LB: 0 @ 103.47
107.20	c Restart #64 #Var: 70 LB: 0 @ 107.13
111.26	c Restart #65 #Var: 70 LB: 0 @ 111.19
114.99	c Restart #66 #Var: 70 LB: 0 @ 114.92
119.14	c Restart #67 #Var: 70 LB: 0 @ 119.07
125.64	c Restart #68 #Var: 70 LB: 0 @ 125.57
131.94	c Restart #69 #Var: 70 LB: 0 @ 131.87
135.12	c Restart #70 #Var: 70 LB: 0 @ 135.05
140.93	c Restart #71 #Var: 70 LB: 0 @ 140.86
146.87	c Restart #72 #Var: 70 LB: 0 @ 146.79
153.42	c Restart #73 #Var: 70 LB: 0 @ 153.34
160.22	c Restart #74 #Var: 70 LB: 0 @ 160.13
167.25	c Restart #75 #Var: 70 LB: 0 @ 167.17
174.26	c Restart #76 #Var: 70 LB: 0 @ 174.17
180.48	c Restart #77 #Var: 70 LB: 0 @ 180.39
188.01	c Restart #78 #Var: 70 LB: 0 @ 187.91
196.86	c Restart #79 #Var: 70 LB: 0 @ 196.76
207.68	c Restart #80 #Var: 70 LB: 0 @ 207.59
220.96	c Restart #81 #Var: 70 LB: 0 @ 220.86
231.09	c Restart #82 #Var: 70 LB: 0 @ 230.99
238.74	c Restart #83 #Var: 70 LB: 0 @ 238.63
247.47	c Restart #84 #Var: 70 LB: 0 @ 247.36
256.72	c Restart #85 #Var: 70 LB: 0 @ 256.6
265.11	c Restart #86 #Var: 70 LB: 0 @ 265
272.68	c Restart #87 #Var: 70 LB: 0 @ 272.56
281.53	c Restart #88 #Var: 70 LB: 0 @ 281.4
292.76	c Restart #89 #Var: 70 LB: 0 @ 292.64
299.49	c Restart #90 #Var: 70 LB: 0 @ 299.36
308.24	c Restart #91 #Var: 70 LB: 0 @ 308.11
318.43	c Restart #92 #Var: 70 LB: 0 @ 318.3
326.15	c Restart #93 #Var: 70 LB: 0 @ 326.01
339.97	c Restart #94 #Var: 70 LB: 0 @ 339.83
355.54	c Restart #95 #Var: 70 LB: 0 @ 355.39
374.75	c Restart #96 #Var: 70 LB: 0 @ 374.6
389.34	c Restart #97 #Var: 70 LB: 0 @ 389.18
404.00	c Restart #98 #Var: 70 LB: 0 @ 403.84
418.71	c Restart #99 #Var: 70 LB: 0 @ 418.54
432.38	c Restart #100 #Var: 70 LB: 0 @ 432.21
443.78	c Restart #101 #Var: 70 LB: 0 @ 443.61
451.00	c Restart #102 #Var: 70 LB: 0 @ 450.82
457.88	c Restart #103 #Var: 70 LB: 0 @ 457.7
466.10	c Restart #104 #Var: 70 LB: 0 @ 465.92
474.67	c Restart #105 #Var: 70 LB: 0 @ 474.48
483.35	c Restart #106 #Var: 70 LB: 0 @ 483.16
491.44	c Restart #107 #Var: 70 LB: 0 @ 491.25
502.23	c Restart #108 #Var: 70 LB: 0 @ 502.04
515.11	c Restart #109 #Var: 70 LB: 0 @ 514.91
525.26	c Restart #110 #Var: 70 LB: 0 @ 525.06
534.71	c Restart #111 #Var: 70 LB: 0 @ 534.5
542.34	c Restart #112 #Var: 70 LB: 0 @ 542.13
551.43	c Restart #113 #Var: 70 LB: 0 @ 551.22
561.76	c Restart #114 #Var: 70 LB: 0 @ 561.54
571.04	c Restart #115 #Var: 70 LB: 0 @ 570.82
582.00	c Restart #116 #Var: 70 LB: 0 @ 581.77
594.77	c Restart #117 #Var: 70 LB: 0 @ 594.52
604.69	c Restart #118 #Var: 70 LB: 0 @ 604.42
614.95	c Restart #119 #Var: 70 LB: 0 @ 614.68
628.10	c Restart #120 #Var: 70 LB: 0 @ 627.8
642.82	c Restart #121 #Var: 70 LB: 0 @ 642.49
657.23	c Restart #122 #Var: 70 LB: 0 @ 656.86
676.00	c Restart #123 #Var: 70 LB: 0 @ 675.61

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.00 0.00 0.17 2/64 10628
/proc/meminfo: memFree=1587240/2055920 swapFree=4182328/4192956
[pid=10628] ppid=10626 vsize=436 CPUtime=0
/proc/10628/stat : 10628 (bsolo) D 10626 10628 10582 0 -1 0 38 0 0 0 0 0 0 0 19 0 1 0 258692598 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10515236 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/10628/statm: 109 23 18 55 0 18 0

[startup+10.0022 s]
/proc/loadavg: 0.15 0.03 0.18 2/64 10628
/proc/meminfo: memFree=1505272/2055920 swapFree=4182328/4192956
[pid=10628] ppid=10626 vsize=86480 CPUtime=9.96
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 20827 0 0 0 984 12 0 0 25 0 1 0 258692598 88555520 20737 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 21620 20737 297 55 0 20512 0
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 86480

[startup+20.0089 s]
/proc/loadavg: 0.28 0.06 0.19 2/64 10628
/proc/meminfo: memFree=1457784/2055920 swapFree=4182328/4192956
[pid=10628] ppid=10626 vsize=134324 CPUtime=19.96
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 32719 0 0 0 1974 22 0 0 25 0 1 0 258692598 137547776 32617 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 33581 32617 297 55 0 32473 0
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 134324

[startup+30.0146 s]
/proc/loadavg: 0.39 0.09 0.20 2/64 10628
/proc/meminfo: memFree=1424504/2055920 swapFree=4182328/4192956
[pid=10628] ppid=10626 vsize=167692 CPUtime=29.96
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 41024 0 0 0 2969 27 0 0 25 0 1 0 258692598 171716608 40912 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 41923 40912 297 55 0 40815 0
Current children cumulated CPU time (s) 29.96
Current children cumulated vsize (Kb) 167692

[startup+40.0204 s]
/proc/loadavg: 0.49 0.12 0.20 2/64 10628
/proc/meminfo: memFree=1374392/2055920 swapFree=4182328/4192956
[pid=10628] ppid=10626 vsize=217932 CPUtime=39.97
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 53546 0 0 0 3961 36 0 0 25 0 1 0 258692598 223162368 53422 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 54483 53422 297 55 0 53375 0
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 217932

[startup+50.0261 s]
/proc/loadavg: 0.56 0.15 0.21 2/64 10628
/proc/meminfo: memFree=1323640/2055920 swapFree=4182328/4192956
[pid=10628] ppid=10626 vsize=268732 CPUtime=49.96
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 66223 0 0 0 4950 46 0 0 25 0 1 0 258692598 275181568 66083 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 67183 66083 297 55 0 66075 0
Current children cumulated CPU time (s) 49.96
Current children cumulated vsize (Kb) 268732

[startup+60.0318 s]
/proc/loadavg: 0.63 0.18 0.22 2/64 10628
/proc/meminfo: memFree=1276920/2055920 swapFree=4182328/4192956
[pid=10628] ppid=10626 vsize=315572 CPUtime=59.97
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 77889 0 0 0 5944 53 0 0 25 0 1 0 258692598 323145728 77734 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529152 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 78893 77734 297 55 0 77785 0
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 315572

[startup+70.0375 s]
/proc/loadavg: 0.69 0.21 0.23 2/64 10628
/proc/meminfo: memFree=1228856/2055920 swapFree=4182328/4192956
[pid=10628] ppid=10626 vsize=363960 CPUtime=69.98
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 89922 0 0 0 6936 62 0 0 25 0 1 0 258692598 372695040 89737 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 90990 89737 297 55 0 89882 0
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 363960

[startup+80.0432 s]
/proc/loadavg: 0.73 0.23 0.23 2/64 10628
/proc/meminfo: memFree=1194232/2055920 swapFree=4182328/4192956
[pid=10628] ppid=10626 vsize=398748 CPUtime=79.98
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 98567 0 0 0 7930 68 0 0 25 0 1 0 258692598 408317952 98361 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 99687 98361 297 55 0 98579 0
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 398748

[startup+90.0489 s]
/proc/loadavg: 0.77 0.26 0.24 2/64 10628
/proc/meminfo: memFree=1170424/2055920 swapFree=4182328/4192956
[pid=10628] ppid=10626 vsize=422584 CPUtime=89.98
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 104520 0 0 0 8926 72 0 0 25 0 1 0 258692598 432726016 104306 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 105646 104306 297 55 0 104538 0
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 422584

[startup+100.055 s]
/proc/loadavg: 0.81 0.28 0.25 2/64 10628
/proc/meminfo: memFree=1122488/2055920 swapFree=4182328/4192956
[pid=10628] ppid=10626 vsize=470432 CPUtime=99.98
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 116476 0 0 0 9918 80 0 0 25 0 1 0 258692598 481722368 116253 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 117608 116253 297 55 0 116500 0
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 470432

[startup+110.06 s]
/proc/loadavg: 0.84 0.30 0.26 2/64 10628
/proc/meminfo: memFree=1081464/2055920 swapFree=4182328/4192956
[pid=10628] ppid=10626 vsize=511620 CPUtime=109.98
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 126724 0 0 0 10913 85 0 0 25 0 1 0 258692598 523898880 126497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 127905 126497 297 55 0 126797 0
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 511620

[startup+120.066 s]
/proc/loadavg: 0.86 0.33 0.27 2/64 10628
/proc/meminfo: memFree=1042232/2055920 swapFree=4182328/4192956
[pid=10628] ppid=10626 vsize=551292 CPUtime=119.99
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 136548 0 0 0 11907 92 0 0 25 0 1 0 258692598 564523008 136283 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 137823 136283 297 55 0 136715 0
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 551292

[startup+130.072 s]
/proc/loadavg: 0.88 0.35 0.27 2/64 10628
/proc/meminfo: memFree=1016888/2055920 swapFree=4182328/4192956
[pid=10628] ppid=10626 vsize=576704 CPUtime=129.99
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 142874 0 0 0 12904 95 0 0 25 0 1 0 258692598 590544896 142605 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 144176 142605 297 55 0 143068 0
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 576704

[startup+140.078 s]
/proc/loadavg: 0.90 0.37 0.28 2/64 10628
/proc/meminfo: memFree=981880/2055920 swapFree=4182328/4192956
[pid=10628] ppid=10626 vsize=611472 CPUtime=139.99
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 151615 0 0 0 13897 102 0 0 25 0 1 0 258692598 626147328 151344 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 152868 151344 297 55 0 151760 0
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (Kb) 611472

[startup+150.083 s]
/proc/loadavg: 0.92 0.39 0.29 2/64 10628
/proc/meminfo: memFree=950712/2055920 swapFree=4182328/4192956
[pid=10628] ppid=10626 vsize=643460 CPUtime=150
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 159640 0 0 0 14891 109 0 0 25 0 1 0 258692598 658903040 159106 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 160865 159106 297 55 0 159757 0
Current children cumulated CPU time (s) 150
Current children cumulated vsize (Kb) 643460

[startup+160.089 s]
/proc/loadavg: 0.93 0.41 0.29 2/64 10628
/proc/meminfo: memFree=926840/2055920 swapFree=4182328/4192956
[pid=10628] ppid=10626 vsize=667248 CPUtime=160
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 165595 0 0 0 15886 114 0 0 25 0 1 0 258692598 683261952 165061 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 166812 165061 297 55 0 165704 0
Current children cumulated CPU time (s) 160
Current children cumulated vsize (Kb) 667248

[startup+170.095 s]
/proc/loadavg: 0.94 0.43 0.30 2/64 10628
/proc/meminfo: memFree=903032/2055920 swapFree=4182328/4192956
[pid=10628] ppid=10626 vsize=691072 CPUtime=170
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 171559 0 0 0 16881 119 0 0 25 0 1 0 258692598 707657728 171021 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 172768 171021 297 55 0 171660 0
Current children cumulated CPU time (s) 170
Current children cumulated vsize (Kb) 691072

[startup+180.1 s]
/proc/loadavg: 0.95 0.45 0.31 2/64 10628
/proc/meminfo: memFree=873848/2055920 swapFree=4182328/4192956
[pid=10628] ppid=10626 vsize=720112 CPUtime=180
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 178841 0 0 0 17874 126 0 0 25 0 1 0 258692598 737394688 178303 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 180028 178303 297 55 0 178920 0
Current children cumulated CPU time (s) 180
Current children cumulated vsize (Kb) 720112

[startup+190.106 s]
/proc/loadavg: 0.95 0.46 0.31 2/64 10628
/proc/meminfo: memFree=850808/2055920 swapFree=4182328/4192956
[pid=10628] ppid=10626 vsize=743604 CPUtime=190
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 184699 0 0 0 18870 130 0 0 25 0 1 0 258692598 761450496 184070 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 185901 184070 297 55 0 184793 0
Current children cumulated CPU time (s) 190
Current children cumulated vsize (Kb) 743604

[startup+200.112 s]
/proc/loadavg: 0.96 0.48 0.32 2/64 10628
/proc/meminfo: memFree=829688/2055920 swapFree=4182328/4192956
[pid=10628] ppid=10626 vsize=764788 CPUtime=200
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 189986 0 0 0 19866 134 0 0 25 0 1 0 258692598 783142912 189349 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540710 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 191197 189349 297 55 0 190089 0
Current children cumulated CPU time (s) 200
Current children cumulated vsize (Kb) 764788

[startup+210.118 s]
/proc/loadavg: 0.97 0.50 0.33 2/64 10628

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

Current children cumulated CPU time (s) 480.07
Current children cumulated vsize (Kb) 1342512

[startup+490.282 s]
/proc/loadavg: 0.99 0.79 0.49 2/64 10628
/proc/meminfo: memFree=221688/2055920 swapFree=4182328/4192956
[pid=10628] ppid=10626 vsize=1374500 CPUtime=490.08
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 342861 0 0 0 48756 252 0 0 25 0 1 0 258692598 1407488000 341029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 343625 341029 297 55 0 342517 0
Current children cumulated CPU time (s) 490.08
Current children cumulated vsize (Kb) 1374500

[startup+500.287 s]
/proc/loadavg: 0.99 0.80 0.50 2/64 10628
/proc/meminfo: memFree=197688/2055920 swapFree=4182328/4192956
[pid=10628] ppid=10626 vsize=1398768 CPUtime=500.09
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 349011 0 0 0 49752 257 0 0 25 0 1 0 258692598 1432338432 347017 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 349692 347017 297 55 0 348584 0
Current children cumulated CPU time (s) 500.09
Current children cumulated vsize (Kb) 1398768

[startup+510.293 s]
/proc/loadavg: 0.99 0.81 0.50 2/64 10628
/proc/meminfo: memFree=177784/2055920 swapFree=4182328/4192956
[pid=10628] ppid=10626 vsize=1418704 CPUtime=510.09
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 353981 0 0 0 50749 260 0 0 25 0 1 0 258692598 1452752896 351987 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 354676 351987 297 55 0 353568 0
Current children cumulated CPU time (s) 510.09
Current children cumulated vsize (Kb) 1418704

[startup+520.299 s]
/proc/loadavg: 0.99 0.81 0.51 2/64 10628
/proc/meminfo: memFree=155000/2055920 swapFree=4182328/4192956
[pid=10628] ppid=10626 vsize=1441320 CPUtime=520.09
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 359662 0 0 0 51746 263 0 0 25 0 1 0 258692598 1475911680 357663 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 360330 357663 297 55 0 359222 0
Current children cumulated CPU time (s) 520.09
Current children cumulated vsize (Kb) 1441320

[startup+530.304 s]
/proc/loadavg: 0.99 0.82 0.51 2/64 10628
/proc/meminfo: memFree=125240/2055920 swapFree=4182328/4192956
[pid=10628] ppid=10626 vsize=1471064 CPUtime=530.1
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 367098 0 0 0 52741 269 0 0 25 0 1 0 258692598 1506369536 365099 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 367766 365099 297 55 0 366658 0
Current children cumulated CPU time (s) 530.1
Current children cumulated vsize (Kb) 1471064

[startup+540.31 s]
/proc/loadavg: 0.99 0.82 0.52 2/64 10628
/proc/meminfo: memFree=93688/2055920 swapFree=4182328/4192956
[pid=10628] ppid=10626 vsize=1502348 CPUtime=540.09
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 374967 0 0 0 53735 274 0 0 25 0 1 0 258692598 1538404352 372968 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 375587 372968 297 55 0 374479 0
Current children cumulated CPU time (s) 540.09
Current children cumulated vsize (Kb) 1502348

[startup+550.316 s]
/proc/loadavg: 0.99 0.83 0.52 2/64 10628
/proc/meminfo: memFree=62328/2055920 swapFree=4182328/4192956
[pid=10628] ppid=10626 vsize=1533688 CPUtime=550.09
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 382881 0 0 0 54730 279 0 0 25 0 1 0 258692598 1570496512 380800 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 383422 380800 297 55 0 382314 0
Current children cumulated CPU time (s) 550.09
Current children cumulated vsize (Kb) 1533688

[startup+560.323 s]
/proc/loadavg: 0.99 0.83 0.53 2/64 10628
/proc/meminfo: memFree=35256/2055920 swapFree=4182328/4192956
[pid=10628] ppid=10626 vsize=1561128 CPUtime=560.1
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 389790 0 0 0 55726 284 0 0 25 0 1 0 258692598 1598595072 387547 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 390282 387547 297 55 0 389174 0
Current children cumulated CPU time (s) 560.1
Current children cumulated vsize (Kb) 1561128

[startup+570.329 s]
/proc/loadavg: 0.99 0.84 0.53 2/64 10628
/proc/meminfo: memFree=15096/2055920 swapFree=4182328/4192956
[pid=10628] ppid=10626 vsize=1589772 CPUtime=570.1
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 396970 0 0 0 56723 287 0 0 25 0 1 0 258692598 1627926528 394513 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 397443 394513 297 55 0 396335 0
Current children cumulated CPU time (s) 570.1
Current children cumulated vsize (Kb) 1589772

[startup+580.336 s]
/proc/loadavg: 0.99 0.84 0.54 2/64 10628
/proc/meminfo: memFree=16056/2055920 swapFree=4182328/4192956
[pid=10628] ppid=10626 vsize=1615584 CPUtime=580.1
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 403501 0 0 0 57717 293 0 0 25 0 1 0 258692598 1654358016 400876 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 403896 400876 297 55 0 402788 0
Current children cumulated CPU time (s) 580.1
Current children cumulated vsize (Kb) 1615584

[startup+590.343 s]
/proc/loadavg: 0.99 0.85 0.54 2/64 10628
/proc/meminfo: memFree=15480/2055920 swapFree=4182316/4192956
[pid=10628] ppid=10626 vsize=1638156 CPUtime=590.1
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 409076 0 0 0 58714 296 0 0 25 0 1 0 258692598 1677471744 406410 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10628/statm: 409539 406410 297 55 0 408431 0
Current children cumulated CPU time (s) 590.1
Current children cumulated vsize (Kb) 1638156

[startup+600.35 s]
/proc/loadavg: 0.99 0.85 0.54 2/64 10628
/proc/meminfo: memFree=15864/2055920 swapFree=4182316/4192956
[pid=10628] ppid=10626 vsize=1661568 CPUtime=600.09
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 414955 0 0 0 59708 301 0 0 25 0 1 0 258692598 1701445632 412122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 415392 412122 297 55 0 414284 0
Current children cumulated CPU time (s) 600.09
Current children cumulated vsize (Kb) 1661568

[startup+610.356 s]
/proc/loadavg: 0.99 0.86 0.55 2/64 10628
/proc/meminfo: memFree=15160/2055920 swapFree=4182316/4192956
[pid=10628] ppid=10626 vsize=1691404 CPUtime=610.08
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 422444 0 0 0 60702 306 0 0 25 0 1 0 258692598 1731997696 419611 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 422851 419611 297 55 0 421743 0
Current children cumulated CPU time (s) 610.08
Current children cumulated vsize (Kb) 1691404

[startup+620.363 s]
/proc/loadavg: 0.99 0.86 0.55 2/64 10628
/proc/meminfo: memFree=16056/2055920 swapFree=4182316/4192956
[pid=10628] ppid=10626 vsize=1711928 CPUtime=620.07
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 427616 0 0 0 61697 310 0 0 25 0 1 0 258692598 1753014272 424782 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 427982 424782 297 55 0 426874 0
Current children cumulated CPU time (s) 620.07
Current children cumulated vsize (Kb) 1711928

[startup+630.37 s]
/proc/loadavg: 0.99 0.86 0.56 2/64 10628
/proc/meminfo: memFree=15864/2055920 swapFree=4182316/4192956
[pid=10628] ppid=10626 vsize=1733952 CPUtime=630.06
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 433202 0 0 0 62691 315 0 0 25 0 1 0 258692598 1775566848 430204 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 433488 430204 297 55 0 432380 0
Current children cumulated CPU time (s) 630.06
Current children cumulated vsize (Kb) 1733952

[startup+640.376 s]
/proc/loadavg: 0.99 0.87 0.56 2/64 10628
/proc/meminfo: memFree=15096/2055920 swapFree=4182316/4192956
[pid=10628] ppid=10626 vsize=1753760 CPUtime=640.05
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 438201 0 0 0 63687 318 0 0 25 0 1 0 258692598 1795850240 435039 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10628/statm: 438440 435039 297 55 0 437332 0
Current children cumulated CPU time (s) 640.05
Current children cumulated vsize (Kb) 1753760

[startup+650.383 s]
/proc/loadavg: 0.99 0.87 0.56 3/64 10628
/proc/meminfo: memFree=15288/2055920 swapFree=4182316/4192956
[pid=10628] ppid=10626 vsize=1775412 CPUtime=650.02
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 443638 0 0 0 64681 321 0 0 25 0 1 0 258692598 1818021888 440476 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550537 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 443853 440476 297 55 0 442745 0
Current children cumulated CPU time (s) 650.02
Current children cumulated vsize (Kb) 1775412

[startup+660.39 s]
/proc/loadavg: 0.99 0.88 0.57 2/64 10628
/proc/meminfo: memFree=16120/2055920 swapFree=4182316/4192956
[pid=10628] ppid=10626 vsize=1791176 CPUtime=660.01
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 447638 0 0 0 65676 325 0 0 25 0 1 0 258692598 1834164224 444394 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 447794 444394 297 55 0 446686 0
Current children cumulated CPU time (s) 660.01
Current children cumulated vsize (Kb) 1791176

[startup+670.395 s]
/proc/loadavg: 0.99 0.88 0.57 2/64 10628
/proc/meminfo: memFree=15352/2055920 swapFree=4182316/4192956
[pid=10628] ppid=10626 vsize=1812768 CPUtime=670.01
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 453099 0 0 0 66670 331 0 0 25 0 1 0 258692598 1856274432 449610 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 453192 449610 297 55 0 452084 0
Current children cumulated CPU time (s) 670.01
Current children cumulated vsize (Kb) 1812768

[startup+680.401 s]
/proc/loadavg: 0.99 0.88 0.58 2/64 10628
/proc/meminfo: memFree=15544/2055920 swapFree=4182316/4192956
[pid=10628] ppid=10626 vsize=1821744 CPUtime=680
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 455397 0 0 0 67667 333 0 0 25 0 1 0 258692598 1865465856 451908 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10628/statm: 455436 451908 297 55 0 454328 0
Current children cumulated CPU time (s) 680
Current children cumulated vsize (Kb) 1821744

[startup+690.407 s]
/proc/loadavg: 0.99 0.89 0.58 2/64 10628
/proc/meminfo: memFree=15736/2055920 swapFree=4182316/4192956
[pid=10628] ppid=10626 vsize=1829136 CPUtime=689.99
/proc/10628/stat : 10628 (bsolo) R 10626 10628 10582 0 -1 0 457274 0 0 0 68664 335 0 0 25 0 1 0 258692598 1873035264 453785 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10628/statm: 457284 453785 297 55 0 456176 0
Current children cumulated CPU time (s) 689.99
Current children cumulated vsize (Kb) 1829136

Child ended because it received signal 6 (SIGABRT)
Real time (s): 697.07
CPU time (s): 696.623
CPU user time (s): 692.969
CPU system time (s): 3.65444
CPU usage (%): 99.9359
Max. virtual memory (cumulated for all children) (Kb): 1829136
The end

Launcher Data (download as text)

Begin job on node68 on Sat Jun 10 09:03:51 UTC 2006


FILE ID= 50327-1149930231

PBS_JOBID= 385500

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  d78f5121f87a7bad7fc74d5d3eacc32f

RANDOM SEED= 239628269


/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.279
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.279
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:       1587448 kB
Buffers:         42692 kB
Cached:         349800 kB
SwapCached:       2384 kB
Active:         106692 kB
Inactive:       294604 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1587448 kB
SwapTotal:     4192956 kB
SwapFree:      4182328 kB
Dirty:             120 kB
Writeback:           0 kB
Mapped:          15560 kB
Slab:            53252 kB
Committed_AS:   652304 kB
PageTables:       1400 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node68 on Sat Jun 10 09:15:28 UTC 2006