Trace number 50305

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 841.425 841.774

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_1.opb
MD5SUM487945ea0e229650aa78cf341d4ff673
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 constraint59
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 1488
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4465
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.02	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.024
0.06	c Restart #2 #Var: 60 LB: 0 @ 0.05
0.10	c Restart #3 #Var: 60 LB: 0 @ 0.092
0.16	c Restart #4 #Var: 60 LB: 0 @ 0.153
0.24	c Restart #5 #Var: 60 LB: 0 @ 0.229
0.32	c Restart #6 #Var: 60 LB: 0 @ 0.315
0.44	c Restart #7 #Var: 60 LB: 0 @ 0.431
0.57	c Restart #8 #Var: 60 LB: 0 @ 0.565
0.73	c Restart #9 #Var: 60 LB: 0 @ 0.727
0.96	c Restart #10 #Var: 60 LB: 0 @ 0.948
1.19	c Restart #11 #Var: 60 LB: 0 @ 1.185
1.39	c Restart #12 #Var: 60 LB: 0 @ 1.378
1.65	c Restart #13 #Var: 60 LB: 0 @ 1.643
2.00	c Restart #14 #Var: 60 LB: 0 @ 1.995
2.36	c Restart #15 #Var: 60 LB: 0 @ 2.356
2.72	c Restart #16 #Var: 60 LB: 0 @ 2.708
3.25	c Restart #17 #Var: 60 LB: 0 @ 3.244
4.07	c Restart #18 #Var: 60 LB: 0 @ 4.063
5.02	c Restart #19 #Var: 60 LB: 0 @ 5.005
6.49	c Restart #20 #Var: 60 LB: 0 @ 6.483
9.82	c Restart #21 #Var: 60 LB: 0 @ 9.807
11.45	c Restart #22 #Var: 60 LB: 0 @ 11.433
13.02	c Restart #23 #Var: 60 LB: 0 @ 13.007
15.82	c Restart #24 #Var: 60 LB: 0 @ 15.805
18.70	c Restart #25 #Var: 60 LB: 0 @ 18.676
21.32	c Restart #26 #Var: 60 LB: 0 @ 21.302
23.30	c Restart #27 #Var: 60 LB: 0 @ 23.274
26.09	c Restart #28 #Var: 60 LB: 0 @ 26.072
30.38	c Restart #29 #Var: 60 LB: 0 @ 30.356
31.48	c Restart #30 #Var: 60 LB: 0 @ 31.451
32.89	c Restart #31 #Var: 60 LB: 0 @ 32.864
34.99	c Restart #32 #Var: 60 LB: 0 @ 34.965
37.07	c Restart #33 #Var: 60 LB: 0 @ 37.043
38.76	c Restart #34 #Var: 60 LB: 0 @ 38.737
40.14	c Restart #35 #Var: 60 LB: 0 @ 40.111
42.58	c Restart #36 #Var: 60 LB: 0 @ 42.556
43.89	c Restart #37 #Var: 60 LB: 0 @ 43.863
45.29	c Restart #38 #Var: 60 LB: 0 @ 45.263
46.89	c Restart #39 #Var: 60 LB: 0 @ 46.862
48.96	c Restart #40 #Var: 60 LB: 0 @ 48.928
50.67	c Restart #41 #Var: 60 LB: 0 @ 50.639
52.11	c Restart #42 #Var: 60 LB: 0 @ 52.082
54.14	c Restart #43 #Var: 60 LB: 0 @ 54.107
56.76	c Restart #44 #Var: 60 LB: 0 @ 56.715
58.39	c Restart #45 #Var: 60 LB: 0 @ 58.347
60.53	c Restart #46 #Var: 60 LB: 0 @ 60.481
63.14	c Restart #47 #Var: 60 LB: 0 @ 63.081
65.43	c Restart #48 #Var: 60 LB: 0 @ 65.368
67.62	c Restart #49 #Var: 60 LB: 0 @ 67.554
70.65	c Restart #50 #Var: 60 LB: 0 @ 70.574
73.95	c Restart #51 #Var: 60 LB: 0 @ 73.867
77.33	c Restart #52 #Var: 60 LB: 0 @ 77.237
81.66	c Restart #53 #Var: 60 LB: 0 @ 81.562
86.05	c Restart #54 #Var: 60 LB: 0 @ 85.946
89.58	c Restart #55 #Var: 60 LB: 0 @ 89.472
93.46	c Restart #56 #Var: 60 LB: 0 @ 93.359
96.69	c Restart #57 #Var: 60 LB: 0 @ 96.583
100.98	c Restart #58 #Var: 60 LB: 0 @ 100.87
105.58	c Restart #59 #Var: 60 LB: 0 @ 105.47
109.78	c Restart #60 #Var: 60 LB: 0 @ 109.67
114.87	c Restart #61 #Var: 60 LB: 0 @ 114.76
121.01	c Restart #62 #Var: 60 LB: 0 @ 120.9
126.93	c Restart #63 #Var: 60 LB: 0 @ 126.81
131.88	c Restart #64 #Var: 60 LB: 0 @ 131.76
138.75	c Restart #65 #Var: 60 LB: 0 @ 138.63
146.01	c Restart #66 #Var: 60 LB: 0 @ 145.89
151.48	c Restart #67 #Var: 60 LB: 0 @ 151.36
158.19	c Restart #68 #Var: 60 LB: 0 @ 158.07
162.78	c Restart #69 #Var: 60 LB: 0 @ 162.66
168.61	c Restart #70 #Var: 60 LB: 0 @ 168.48
173.69	c Restart #71 #Var: 60 LB: 0 @ 173.56
179.02	c Restart #72 #Var: 60 LB: 0 @ 178.89
185.70	c Restart #73 #Var: 60 LB: 0 @ 185.56
194.26	c Restart #74 #Var: 60 LB: 0 @ 194.12
204.17	c Restart #75 #Var: 60 LB: 0 @ 204.03
209.55	c Restart #76 #Var: 60 LB: 0 @ 209.41
214.98	c Restart #77 #Var: 60 LB: 0 @ 214.84
220.92	c Restart #78 #Var: 60 LB: 0 @ 220.78
225.06	c Restart #79 #Var: 60 LB: 0 @ 224.91
230.25	c Restart #80 #Var: 60 LB: 0 @ 230.1
235.86	c Restart #81 #Var: 60 LB: 0 @ 235.71
241.01	c Restart #82 #Var: 60 LB: 0 @ 240.85
246.33	c Restart #83 #Var: 60 LB: 0 @ 246.18
251.41	c Restart #84 #Var: 60 LB: 0 @ 251.25
256.34	c Restart #85 #Var: 60 LB: 0 @ 256.18
261.63	c Restart #86 #Var: 60 LB: 0 @ 261.47
266.39	c Restart #87 #Var: 60 LB: 0 @ 266.23
271.96	c Restart #88 #Var: 60 LB: 0 @ 271.8
277.98	c Restart #89 #Var: 60 LB: 0 @ 277.81
283.35	c Restart #90 #Var: 60 LB: 0 @ 283.19
289.19	c Restart #91 #Var: 60 LB: 0 @ 289.03
294.70	c Restart #92 #Var: 60 LB: 0 @ 294.53
300.32	c Restart #93 #Var: 60 LB: 0 @ 300.15
306.94	c Restart #94 #Var: 60 LB: 0 @ 306.77
312.48	c Restart #95 #Var: 60 LB: 0 @ 312.3
318.11	c Restart #96 #Var: 60 LB: 0 @ 317.93
323.95	c Restart #97 #Var: 60 LB: 0 @ 323.77
329.60	c Restart #98 #Var: 60 LB: 0 @ 329.43
335.63	c Restart #99 #Var: 60 LB: 0 @ 335.44
341.11	c Restart #100 #Var: 60 LB: 0 @ 340.92
346.58	c Restart #101 #Var: 60 LB: 0 @ 346.39
351.48	c Restart #102 #Var: 60 LB: 0 @ 351.3
356.99	c Restart #103 #Var: 60 LB: 0 @ 356.8
363.05	c Restart #104 #Var: 60 LB: 0 @ 362.86
369.99	c Restart #105 #Var: 60 LB: 0 @ 369.8
376.13	c Restart #106 #Var: 60 LB: 0 @ 375.93
381.83	c Restart #107 #Var: 60 LB: 0 @ 381.64
387.68	c Restart #108 #Var: 60 LB: 0 @ 387.48
395.16	c Restart #109 #Var: 60 LB: 0 @ 394.95
403.48	c Restart #110 #Var: 60 LB: 0 @ 403.28
411.73	c Restart #111 #Var: 60 LB: 0 @ 411.53
419.15	c Restart #112 #Var: 60 LB: 0 @ 418.94
431.98	c Restart #113 #Var: 60 LB: 0 @ 431.76
442.90	c Restart #114 #Var: 60 LB: 0 @ 442.69
454.26	c Restart #115 #Var: 60 LB: 0 @ 454.04
462.45	c Restart #116 #Var: 60 LB: 0 @ 462.22
471.94	c Restart #117 #Var: 60 LB: 0 @ 471.72
481.62	c Restart #118 #Var: 60 LB: 0 @ 481.39
495.41	c Restart #119 #Var: 60 LB: 0 @ 495.17
517.35	c Restart #120 #Var: 60 LB: 0 @ 517.11
535.87	c Restart #121 #Var: 60 LB: 0 @ 535.62
552.37	c Restart #122 #Var: 60 LB: 0 @ 552.12
567.53	c Restart #123 #Var: 60 LB: 0 @ 567.27
583.80	c Restart #124 #Var: 60 LB: 0 @ 583.54
602.33	c Restart #125 #Var: 60 LB: 0 @ 602.06
633.51	c Restart #126 #Var: 60 LB: 0 @ 633.24
670.21	c Restart #127 #Var: 60 LB: 0 @ 669.92
720.09	c Restart #128 #Var: 60 LB: 0 @ 719.78
744.27	c Restart #129 #Var: 60 LB: 0 @ 743.96
772.07	c Restart #130 #Var: 60 LB: 0 @ 771.75
802.66	c Restart #131 #Var: 60 LB: 0 @ 802.33
831.72	c Restart #132 #Var: 60 LB: 0 @ 831.38

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/64 5868
/proc/meminfo: memFree=1905888/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=436 CPUtime=0
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 38 0 0 0 0 0 0 0 19 0 1 0 2809214 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6959908 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/5868/statm: 109 23 18 55 0 18 0

[startup+10.0026 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 5868
/proc/meminfo: memFree=1856696/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=53952 CPUtime=9.98
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 12679 0 0 0 989 9 0 0 25 0 1 0 2809214 55246848 12590 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 13488 12590 297 55 0 12380 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 53952

[startup+20.0093 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 5868
/proc/meminfo: memFree=1835832/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=74956 CPUtime=19.98
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 17908 0 0 0 1984 14 0 0 25 0 1 0 2809214 76754944 17816 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7393865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 18739 17816 297 55 0 17631 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 74956

[startup+30.0159 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 5868
/proc/meminfo: memFree=1815480/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=95352 CPUtime=29.99
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 22999 0 0 0 2981 18 0 0 25 0 1 0 2809214 97640448 22906 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 23838 22906 297 55 0 22730 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 95352

[startup+40.0216 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 5868
/proc/meminfo: memFree=1774648/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=136472 CPUtime=39.98
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 33199 0 0 0 3974 24 0 0 25 0 1 0 2809214 139747328 33097 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 34118 33097 297 55 0 33010 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 136472

[startup+50.0283 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 5868
/proc/meminfo: memFree=1730040/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=181176 CPUtime=49.99
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 44352 0 0 0 4967 32 0 0 25 0 1 0 2809214 185524224 44242 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7394939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 45294 44242 297 55 0 44186 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 181176

[startup+60.034 s]
/proc/loadavg: 0.97 0.98 0.99 2/70 5923
/proc/meminfo: memFree=1681536/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=228568 CPUtime=59.97
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 56179 0 0 0 5952 45 0 0 25 0 1 0 2809214 234053632 56053 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 57142 56053 297 55 0 56034 0
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 228568

[startup+70.0406 s]
/proc/loadavg: 0.97 0.98 0.99 2/70 5981
/proc/meminfo: memFree=1640512/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=269532 CPUtime=69.95
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 66385 0 0 0 6942 53 0 0 25 0 1 0 2809214 276000768 66248 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 67383 66248 297 55 0 66275 0
Current children cumulated CPU time (s) 69.95
Current children cumulated vsize (Kb) 269532

[startup+80.0473 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 6063
/proc/meminfo: memFree=1611576/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=299464 CPUtime=79.94
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 73854 0 0 0 7934 60 0 0 25 0 1 0 2809214 306651136 73700 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 74866 73700 297 55 0 73758 0
Current children cumulated CPU time (s) 79.94
Current children cumulated vsize (Kb) 299464

[startup+90.054 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 6063
/proc/meminfo: memFree=1583544/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=327876 CPUtime=89.94
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 80916 0 0 0 8928 66 0 0 25 0 1 0 2809214 335745024 80751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7394939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 81969 80751 297 55 0 80861 0
Current children cumulated CPU time (s) 89.94
Current children cumulated vsize (Kb) 327876

[startup+100.06 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 6063
/proc/meminfo: memFree=1551672/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=360120 CPUtime=99.95
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 88887 0 0 0 9922 73 0 0 25 0 1 0 2809214 368762880 88690 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7394939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 90030 88690 297 55 0 88922 0
Current children cumulated CPU time (s) 99.95
Current children cumulated vsize (Kb) 360120

[startup+110.065 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 6063
/proc/meminfo: memFree=1524536/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=387628 CPUtime=109.95
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 95684 0 0 0 10916 79 0 0 25 0 1 0 2809214 396931072 95464 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 96907 95464 297 55 0 95799 0
Current children cumulated CPU time (s) 109.95
Current children cumulated vsize (Kb) 387628

[startup+120.071 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6063
/proc/meminfo: memFree=1501368/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=410628 CPUtime=119.95
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 101466 0 0 0 11912 83 0 0 25 0 1 0 2809214 420483072 101244 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 102657 101244 297 55 0 101549 0
Current children cumulated CPU time (s) 119.95
Current children cumulated vsize (Kb) 410628

[startup+130.077 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6063
/proc/meminfo: memFree=1477432/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=434488 CPUtime=129.95
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 107433 0 0 0 12909 86 0 0 25 0 1 0 2809214 444915712 107208 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 108622 107208 297 55 0 107514 0
Current children cumulated CPU time (s) 129.95
Current children cumulated vsize (Kb) 434488

[startup+140.082 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6063
/proc/meminfo: memFree=1458680/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=453156 CPUtime=139.95
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 112122 0 0 0 13905 90 0 0 25 0 1 0 2809214 464031744 111894 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 113289 111894 297 55 0 112181 0
Current children cumulated CPU time (s) 139.95
Current children cumulated vsize (Kb) 453156

[startup+150.088 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6063
/proc/meminfo: memFree=1436216/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=475944 CPUtime=149.95
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 117742 0 0 0 14900 95 0 0 25 0 1 0 2809214 487366656 117497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 118986 117497 297 55 0 117878 0
Current children cumulated CPU time (s) 149.95
Current children cumulated vsize (Kb) 475944

[startup+160.094 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6063
/proc/meminfo: memFree=1412024/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=500312 CPUtime=159.96
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 123781 0 0 0 15895 101 0 0 25 0 1 0 2809214 512319488 123524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 125078 123524 297 55 0 123970 0
Current children cumulated CPU time (s) 159.96
Current children cumulated vsize (Kb) 500312

[startup+170.099 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6063
/proc/meminfo: memFree=1387256/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=525492 CPUtime=169.96
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 130048 0 0 0 16890 106 0 0 25 0 1 0 2809214 538103808 129695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 131373 129695 297 55 0 130265 0
Current children cumulated CPU time (s) 169.96
Current children cumulated vsize (Kb) 525492

[startup+180.105 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6063
/proc/meminfo: memFree=1357944/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=554948 CPUtime=179.96
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 137460 0 0 0 17885 111 0 0 25 0 1 0 2809214 568266752 137015 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 138737 137015 297 55 0 137629 0
Current children cumulated CPU time (s) 179.96
Current children cumulated vsize (Kb) 554948

[startup+190.111 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6063
/proc/meminfo: memFree=1335160/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=577720 CPUtime=189.96
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 143142 0 0 0 18881 115 0 0 25 0 1 0 2809214 591585280 142688 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 144430 142688 297 55 0 143322 0
Current children cumulated CPU time (s) 189.96
Current children cumulated vsize (Kb) 577720

[startup+200.116 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6063
/proc/meminfo: memFree=1326264/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=587048 CPUtime=199.97
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 145398 0 0 0 19880 117 0 0 25 0 1 0 2809214 601137152 144944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533445 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 146762 144950 297 55 0 145654 0
Current children cumulated CPU time (s) 199.97
Current children cumulated vsize (Kb) 587048

[startup+210.122 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6063

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

Current children cumulated CPU time (s) 630.08
Current children cumulated vsize (Kb) 1674944

[startup+640.374 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6063
/proc/meminfo: memFree=238272/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=1679884 CPUtime=640.08
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 420294 0 0 0 63685 323 0 0 25 0 1 0 2809214 1720201216 416382 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529509 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 419971 416382 297 55 0 418863 0
Current children cumulated CPU time (s) 640.08
Current children cumulated vsize (Kb) 1679884

[startup+650.381 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6063
/proc/meminfo: memFree=229632/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=1688464 CPUtime=650.09
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 422450 0 0 0 64684 325 0 0 25 0 1 0 2809214 1728987136 418538 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 422116 418538 297 55 0 421008 0
Current children cumulated CPU time (s) 650.09
Current children cumulated vsize (Kb) 1688464

[startup+660.387 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6063
/proc/meminfo: memFree=218944/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=1699344 CPUtime=660.09
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 425204 0 0 0 65681 328 0 0 25 0 1 0 2809214 1740128256 421210 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 424836 421210 297 55 0 423728 0
Current children cumulated CPU time (s) 660.09
Current children cumulated vsize (Kb) 1699344

[startup+670.394 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6063
/proc/meminfo: memFree=215168/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=1702908 CPUtime=670.1
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 426137 0 0 0 66681 329 0 0 25 0 1 0 2809214 1743777792 422143 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 425727 422143 297 55 0 424619 0
Current children cumulated CPU time (s) 670.1
Current children cumulated vsize (Kb) 1702908

[startup+680.4 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6063
/proc/meminfo: memFree=211840/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=1706076 CPUtime=680.1
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 426969 0 0 0 67680 330 0 0 25 0 1 0 2809214 1747021824 422975 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7394939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 426519 422975 297 55 0 425411 0
Current children cumulated CPU time (s) 680.1
Current children cumulated vsize (Kb) 1706076

[startup+690.405 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6063
/proc/meminfo: memFree=206656/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=1711224 CPUtime=690.1
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 428264 0 0 0 68678 332 0 0 25 0 1 0 2809214 1752293376 424270 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 427806 424270 297 55 0 426698 0
Current children cumulated CPU time (s) 690.1
Current children cumulated vsize (Kb) 1711224

[startup+700.412 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6063
/proc/meminfo: memFree=203648/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=1714128 CPUtime=700.1
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 429009 0 0 0 69677 333 0 0 25 0 1 0 2809214 1755267072 425015 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548721 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 428532 425015 297 55 0 427424 0
Current children cumulated CPU time (s) 700.1
Current children cumulated vsize (Kb) 1714128

[startup+710.418 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6063
/proc/meminfo: memFree=198336/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=1719408 CPUtime=710.1
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 430336 0 0 0 70675 335 0 0 25 0 1 0 2809214 1760673792 426342 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7394939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 429852 426342 297 55 0 428744 0
Current children cumulated CPU time (s) 710.1
Current children cumulated vsize (Kb) 1719408

[startup+720.423 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6063
/proc/meminfo: memFree=188352/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=1729552 CPUtime=720.1
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 432945 0 0 0 71673 337 0 0 25 0 1 0 2809214 1771061248 428789 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 432388 428789 297 55 0 431280 0
Current children cumulated CPU time (s) 720.1
Current children cumulated vsize (Kb) 1729552

[startup+730.429 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6063
/proc/meminfo: memFree=182272/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=1735492 CPUtime=730.11
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 434493 0 0 0 72672 339 0 0 25 0 1 0 2809214 1777143808 430337 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 433873 430337 297 55 0 432765 0
Current children cumulated CPU time (s) 730.11
Current children cumulated vsize (Kb) 1735492

[startup+740.435 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6063
/proc/meminfo: memFree=166848/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=1750936 CPUtime=740.12
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 438361 0 0 0 73669 343 0 0 25 0 1 0 2809214 1792958464 434205 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 437734 434205 297 55 0 436626 0
Current children cumulated CPU time (s) 740.12
Current children cumulated vsize (Kb) 1750936

[startup+750.44 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6063
/proc/meminfo: memFree=155776/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=1762588 CPUtime=750.11
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 441365 0 0 0 74666 345 0 0 25 0 1 0 2809214 1804890112 436965 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533949 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 440647 436965 297 55 0 439539 0
Current children cumulated CPU time (s) 750.11
Current children cumulated vsize (Kb) 1762588

[startup+760.447 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6063
/proc/meminfo: memFree=147264/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=1771168 CPUtime=760.12
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 443495 0 0 0 75664 348 0 0 25 0 1 0 2809214 1813676032 439095 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 442792 439095 297 55 0 441684 0
Current children cumulated CPU time (s) 760.12
Current children cumulated vsize (Kb) 1771168

[startup+770.453 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6063
/proc/meminfo: memFree=135872/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=1782520 CPUtime=770.12
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 446330 0 0 0 76661 351 0 0 25 0 1 0 2809214 1825300480 441930 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 445630 441930 297 55 0 444522 0
Current children cumulated CPU time (s) 770.12
Current children cumulated vsize (Kb) 1782520

[startup+780.458 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6065
/proc/meminfo: memFree=129344/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=1790060 CPUtime=780.12
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 448344 0 0 0 77660 352 0 0 25 0 1 0 2809214 1833021440 443538 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 447515 443538 297 55 0 446407 0
Current children cumulated CPU time (s) 780.12
Current children cumulated vsize (Kb) 1790060

[startup+790.465 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6065
/proc/meminfo: memFree=119424/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=1800092 CPUtime=790.12
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 450831 0 0 0 78657 355 0 0 25 0 1 0 2809214 1843294208 446025 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 450023 446025 297 55 0 448915 0
Current children cumulated CPU time (s) 790.12
Current children cumulated vsize (Kb) 1800092

[startup+800.471 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6065
/proc/meminfo: memFree=109696/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=1809732 CPUtime=800.13
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 453266 0 0 0 79654 359 0 0 25 0 1 0 2809214 1853165568 448460 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 452433 448460 297 55 0 451325 0
Current children cumulated CPU time (s) 800.13
Current children cumulated vsize (Kb) 1809732

[startup+810.476 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6065
/proc/meminfo: memFree=100800/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=1818708 CPUtime=810.14
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 455493 0 0 0 80652 362 0 0 25 0 1 0 2809214 1862356992 450678 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 454677 450678 297 55 0 453569 0
Current children cumulated CPU time (s) 810.14
Current children cumulated vsize (Kb) 1818708

[startup+820.482 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6065
/proc/meminfo: memFree=87616/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=1831972 CPUtime=820.13
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 458790 0 0 0 81648 365 0 0 25 0 1 0 2809214 1875939328 453966 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 457993 453966 297 55 0 456885 0
Current children cumulated CPU time (s) 820.13
Current children cumulated vsize (Kb) 1831972

[startup+830.488 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6065
/proc/meminfo: memFree=80768/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=1838704 CPUtime=830.13
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 460486 0 0 0 82647 366 0 0 25 0 1 0 2809214 1882832896 455662 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 459676 455662 297 55 0 458568 0
Current children cumulated CPU time (s) 830.13
Current children cumulated vsize (Kb) 1838704

[startup+840.493 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6065
/proc/meminfo: memFree=76736/2055920 swapFree=4192956/4192956
[pid=5868] ppid=5866 vsize=1842728 CPUtime=840.14
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 461497 0 0 0 83646 368 0 0 25 0 1 0 2809214 1886953472 456672 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 460682 456672 297 55 0 459574 0
Current children cumulated CPU time (s) 840.14
Current children cumulated vsize (Kb) 1842728

Child ended because it received signal 11 (SIGSEGV)
Real time (s): 841.774
CPU time (s): 841.425
CPU user time (s): 837.466
CPU system time (s): 3.9594
CPU usage (%): 99.9586
Max. virtual memory (cumulated for all children) (Kb): 1842728
The end

Launcher Data (download as text)

Begin job on node64 on Sat Jun 10 01:00:05 UTC 2006


FILE ID= 50305-1149901205

PBS_JOBID= 385214

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  487945ea0e229650aa78cf341d4ff673

RANDOM SEED= 494695192


/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.263
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.263
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:       1906160 kB
Buffers:         21400 kB
Cached:          84680 kB
SwapCached:          0 kB
Active:          66592 kB
Inactive:        53928 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1906160 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:             188 kB
Writeback:           0 kB
Mapped:          24788 kB
Slab:            15292 kB
Committed_AS:    80140 kB
PageTables:       1476 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node64 on Sat Jun 10 01:14:06 UTC 2006