Trace number 40805

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 NameAnswerCPU timeWall clock time
bsolo 2006/05Signal 881.262 881.612

General information on the benchmark

Namenormalized-PB06/SATUNSAT-MEDINT/submitted-PB06/
manquiho/Aardal_1/normalized-cuww3.opb
MD5SUMc67056006c43da82eed6e7cbb40287a1
Bench CategorySATUNSAT-MEDINT (no optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark16.6965
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables68
Total number of constraints2
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint68
Maximum length of a constraint68
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 58925135
Number of bits of the biggest number in a constraint 26
Biggest sum of numbers in a constraint 568217345
Number of bits of the biggest sum of numbers30
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Time Limit set via PBTIMEOUT to 1800
0.01	c INFO: OSL Context initialized.
0.01	c BIG Int formula...
0.01	c Initial problem consists of 68 variables and 2 constraints.
0.01	c Using non-optimization problem switches.
0.01	c No problem reductions applied in OPT. instance.
0.01	c	preprocess terminated. Elapsed time: 0.003
0.01	c After prepocess the problem consists of 68 variables and 2 constraints.
0.02	c Restart #1 #Var: 68 LB: 0 @ 0.01
0.04	c Restart #2 #Var: 68 LB: 0 @ 0.026
0.06	c Restart #3 #Var: 68 LB: 0 @ 0.054
0.10	c Restart #4 #Var: 68 LB: 0 @ 0.093
0.15	c Restart #5 #Var: 68 LB: 0 @ 0.141
0.20	c Restart #6 #Var: 68 LB: 0 @ 0.188
0.26	c Restart #7 #Var: 68 LB: 0 @ 0.247
0.34	c Restart #8 #Var: 68 LB: 0 @ 0.333
0.45	c Restart #9 #Var: 68 LB: 0 @ 0.436
0.57	c Restart #10 #Var: 68 LB: 0 @ 0.563
0.71	c Restart #11 #Var: 68 LB: 0 @ 0.702
0.90	c Restart #12 #Var: 68 LB: 0 @ 0.892
1.10	c Restart #13 #Var: 68 LB: 0 @ 1.092
1.34	c Restart #14 #Var: 68 LB: 0 @ 1.334
1.65	c Restart #15 #Var: 68 LB: 0 @ 1.64
2.01	c Restart #16 #Var: 68 LB: 0 @ 2.001
2.36	c Restart #17 #Var: 68 LB: 0 @ 2.349
2.78	c Restart #18 #Var: 68 LB: 0 @ 2.771
3.37	c Restart #19 #Var: 68 LB: 0 @ 3.357
3.99	c Restart #20 #Var: 68 LB: 0 @ 3.97
4.57	c Restart #21 #Var: 68 LB: 0 @ 4.558
5.46	c Restart #22 #Var: 68 LB: 0 @ 5.443
6.50	c Restart #23 #Var: 68 LB: 0 @ 6.48
7.36	c Restart #24 #Var: 68 LB: 0 @ 7.346
8.47	c Restart #25 #Var: 68 LB: 0 @ 8.453
9.72	c Restart #26 #Var: 68 LB: 0 @ 9.702
11.10	c Restart #27 #Var: 68 LB: 0 @ 11.078
12.21	c Restart #28 #Var: 68 LB: 0 @ 12.193
13.31	c Restart #29 #Var: 68 LB: 0 @ 13.289
14.47	c Restart #30 #Var: 68 LB: 0 @ 14.444
16.06	c Restart #31 #Var: 68 LB: 0 @ 16.037
17.05	c Restart #32 #Var: 68 LB: 0 @ 17.031
18.80	c Restart #33 #Var: 68 LB: 0 @ 18.78
20.46	c Restart #34 #Var: 68 LB: 0 @ 20.434
22.17	c Restart #35 #Var: 68 LB: 0 @ 22.144
24.46	c Restart #36 #Var: 68 LB: 0 @ 24.439
27.09	c Restart #37 #Var: 68 LB: 0 @ 27.061
29.65	c Restart #38 #Var: 68 LB: 0 @ 29.623
32.44	c Restart #39 #Var: 68 LB: 0 @ 32.412
35.13	c Restart #40 #Var: 68 LB: 0 @ 35.097
37.03	c Restart #41 #Var: 68 LB: 0 @ 36.996
41.29	c Restart #42 #Var: 68 LB: 0 @ 41.254
44.88	c Restart #43 #Var: 68 LB: 0 @ 44.844
49.54	c Restart #44 #Var: 68 LB: 0 @ 49.503
52.41	c Restart #45 #Var: 68 LB: 0 @ 52.376
56.47	c Restart #46 #Var: 68 LB: 0 @ 56.437
61.77	c Restart #47 #Var: 68 LB: 0 @ 61.727
65.79	c Restart #48 #Var: 68 LB: 0 @ 65.752
70.01	c Restart #49 #Var: 68 LB: 0 @ 69.972
75.12	c Restart #50 #Var: 68 LB: 0 @ 75.08
79.73	c Restart #51 #Var: 68 LB: 0 @ 79.683
83.03	c Restart #52 #Var: 68 LB: 0 @ 82.988
87.06	c Restart #53 #Var: 68 LB: 0 @ 87.007
91.29	c Restart #54 #Var: 68 LB: 0 @ 91.237
96.36	c Restart #55 #Var: 68 LB: 0 @ 96.303
104.19	c Restart #56 #Var: 68 LB: 0 @ 104.14
108.42	c Restart #57 #Var: 68 LB: 0 @ 108.37
114.81	c Restart #58 #Var: 68 LB: 0 @ 114.75
120.53	c Restart #59 #Var: 68 LB: 0 @ 120.47
126.41	c Restart #60 #Var: 68 LB: 0 @ 126.35
131.26	c Restart #61 #Var: 68 LB: 0 @ 131.19
141.29	c Restart #62 #Var: 68 LB: 0 @ 141.23
149.21	c Restart #63 #Var: 68 LB: 0 @ 149.14
155.64	c Restart #64 #Var: 68 LB: 0 @ 155.56
159.91	c Restart #65 #Var: 68 LB: 0 @ 159.83
164.47	c Restart #66 #Var: 68 LB: 0 @ 164.39
170.50	c Restart #67 #Var: 68 LB: 0 @ 170.42
177.12	c Restart #68 #Var: 68 LB: 0 @ 177.04
184.62	c Restart #69 #Var: 68 LB: 0 @ 184.53
193.19	c Restart #70 #Var: 68 LB: 0 @ 193.1
199.18	c Restart #71 #Var: 68 LB: 0 @ 199.09
204.70	c Restart #72 #Var: 68 LB: 0 @ 204.61
210.00	c Restart #73 #Var: 68 LB: 0 @ 209.91
218.23	c Restart #74 #Var: 68 LB: 0 @ 218.13
225.51	c Restart #75 #Var: 68 LB: 0 @ 225.41
232.45	c Restart #76 #Var: 68 LB: 0 @ 232.34
244.28	c Restart #77 #Var: 68 LB: 0 @ 244.18
254.88	c Restart #78 #Var: 68 LB: 0 @ 254.77
266.21	c Restart #79 #Var: 68 LB: 0 @ 266.1
277.29	c Restart #80 #Var: 68 LB: 0 @ 277.17
291.13	c Restart #81 #Var: 68 LB: 0 @ 291
299.38	c Restart #82 #Var: 68 LB: 0 @ 299.25
318.44	c Restart #83 #Var: 68 LB: 0 @ 318.31
331.95	c Restart #84 #Var: 68 LB: 0 @ 331.81
353.97	c Restart #85 #Var: 68 LB: 0 @ 353.82
374.82	c Restart #86 #Var: 68 LB: 0 @ 374.67
399.07	c Restart #87 #Var: 68 LB: 0 @ 398.91
409.13	c Restart #88 #Var: 68 LB: 0 @ 408.96
418.73	c Restart #89 #Var: 68 LB: 0 @ 418.56
426.04	c Restart #90 #Var: 68 LB: 0 @ 425.86
435.92	c Restart #91 #Var: 68 LB: 0 @ 435.74
449.47	c Restart #92 #Var: 68 LB: 0 @ 449.28
460.04	c Restart #93 #Var: 68 LB: 0 @ 459.85
467.70	c Restart #94 #Var: 68 LB: 0 @ 467.51
479.78	c Restart #95 #Var: 68 LB: 0 @ 479.58
500.94	c Restart #96 #Var: 68 LB: 0 @ 500.74
525.58	c Restart #97 #Var: 68 LB: 0 @ 525.36
539.36	c Restart #98 #Var: 68 LB: 0 @ 539.14
556.66	c Restart #99 #Var: 68 LB: 0 @ 556.43
568.79	c Restart #100 #Var: 68 LB: 0 @ 568.56
580.06	c Restart #101 #Var: 68 LB: 0 @ 579.82
590.78	c Restart #102 #Var: 68 LB: 0 @ 590.54
600.37	c Restart #103 #Var: 68 LB: 0 @ 600.13
618.42	c Restart #104 #Var: 68 LB: 0 @ 618.17
634.83	c Restart #105 #Var: 68 LB: 0 @ 634.57
650.95	c Restart #106 #Var: 68 LB: 0 @ 650.69
671.61	c Restart #107 #Var: 68 LB: 0 @ 671.34
697.87	c Restart #108 #Var: 68 LB: 0 @ 697.59
712.44	c Restart #109 #Var: 68 LB: 0 @ 712.15
726.62	c Restart #110 #Var: 68 LB: 0 @ 726.34
737.60	c Restart #111 #Var: 68 LB: 0 @ 737.31
748.07	c Restart #112 #Var: 68 LB: 0 @ 747.77
757.44	c Restart #113 #Var: 68 LB: 0 @ 757.14
769.02	c Restart #114 #Var: 68 LB: 0 @ 768.72
779.02	c Restart #115 #Var: 68 LB: 0 @ 778.71
791.88	c Restart #116 #Var: 68 LB: 0 @ 791.57
803.28	c Restart #117 #Var: 68 LB: 0 @ 802.96
817.56	c Restart #118 #Var: 68 LB: 0 @ 817.24
830.54	c Restart #119 #Var: 68 LB: 0 @ 830.21
847.67	c Restart #120 #Var: 68 LB: 0 @ 847.33

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
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node75/watcher-40805-1149319688 -o ROOT/results/node75/solver-40805-1149319688 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node75/40805-1149319688/instance-40805-1149319688.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.99 3/64 23796
/proc/meminfo: memFree=1736376/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=4964 CPUtime=0
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 368 0 0 0 0 0 0 0 18 0 1 0 197632176 5083136 332 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159451475 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 1233 331 227 55 0 125 0

[startup+10.0029 s]
/proc/loadavg: 0.93 0.97 0.99 2/64 23796
/proc/meminfo: memFree=1648256/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=92600 CPUtime=9.98
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 22365 0 0 0 983 15 0 0 25 0 1 0 197632176 94822400 22274 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 23150 22274 296 55 0 22042 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 92600

[startup+20.0099 s]
/proc/loadavg: 0.94 0.97 0.99 2/64 23796
/proc/meminfo: memFree=1592576/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=148656 CPUtime=19.98
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 36300 0 0 0 1973 25 0 0 25 0 1 0 197632176 152223744 36189 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 37164 36189 296 55 0 36056 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 148656

[startup+30.0168 s]
/proc/loadavg: 0.95 0.97 0.99 2/64 23796
/proc/meminfo: memFree=1552064/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=189220 CPUtime=29.98
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 46406 0 0 0 2967 31 0 0 25 0 1 0 197632176 193761280 46287 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 47305 46287 296 55 0 46197 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 189220

[startup+40.0228 s]
/proc/loadavg: 0.95 0.97 0.99 2/64 23796
/proc/meminfo: memFree=1516928/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=224552 CPUtime=39.99
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 55196 0 0 0 3963 36 0 0 25 0 1 0 197632176 229941248 55056 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 56138 55056 296 55 0 55030 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 224552

[startup+50.0378 s]
/proc/loadavg: 0.96 0.97 0.99 2/64 23796
/proc/meminfo: memFree=1490496/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=250976 CPUtime=50
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 61801 0 0 0 4959 41 0 0 25 0 1 0 197632176 256999424 61650 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 62744 61650 296 55 0 61636 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 250976

[startup+60.0438 s]
/proc/loadavg: 0.97 0.97 0.99 2/64 23796
/proc/meminfo: memFree=1459584/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=282044 CPUtime=59.99
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 69522 0 0 0 5954 45 0 0 25 0 1 0 197632176 288813056 69358 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 70511 69358 296 55 0 69403 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 282044

[startup+70.0508 s]
/proc/loadavg: 0.97 0.97 0.99 2/64 23796
/proc/meminfo: memFree=1432640/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=309388 CPUtime=70
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 76262 0 0 0 6950 50 0 0 25 0 1 0 197632176 316813312 76087 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 77347 76087 296 55 0 76239 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 309388

[startup+80.0578 s]
/proc/loadavg: 0.98 0.97 0.99 2/64 23796
/proc/meminfo: memFree=1407552/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=334420 CPUtime=80.01
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 82533 0 0 0 7948 53 0 0 25 0 1 0 197632176 342446080 82353 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 83605 82353 296 55 0 82497 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 334420

[startup+90.0638 s]
/proc/loadavg: 0.98 0.97 0.99 2/64 23796
/proc/meminfo: memFree=1372736/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=369140 CPUtime=90.01
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 91238 0 0 0 8942 59 0 0 25 0 1 0 197632176 377999360 91058 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7169659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 92285 91058 296 55 0 91177 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 369140

[startup+100.07 s]
/proc/loadavg: 0.98 0.97 0.99 2/64 23796
/proc/meminfo: memFree=1349632/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=392464 CPUtime=100
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 96997 0 0 0 9938 62 0 0 25 0 1 0 197632176 401883136 96803 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 98116 96803 296 55 0 97008 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 392464

[startup+110.077 s]
/proc/loadavg: 0.98 0.97 0.99 2/64 23796
/proc/meminfo: memFree=1325440/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=416668 CPUtime=110.02
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 103050 0 0 0 10936 66 0 0 25 0 1 0 197632176 426668032 102856 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 104167 102856 296 55 0 103059 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 416668

[startup+120.083 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 23796
/proc/meminfo: memFree=1300096/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=442112 CPUtime=120.02
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 109458 0 0 0 11932 70 0 0 25 0 1 0 197632176 452722688 109181 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7169659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 110528 109182 296 55 0 109420 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 442112

[startup+130.089 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 23796
/proc/meminfo: memFree=1273920/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=468448 CPUtime=130.02
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 116053 0 0 0 12927 75 0 0 25 0 1 0 197632176 479690752 115687 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 117112 115687 296 55 0 116004 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 468448

[startup+140.095 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 23796
/proc/meminfo: memFree=1254912/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=487412 CPUtime=140.01
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 120793 0 0 0 13924 77 0 0 25 0 1 0 197632176 499109888 120424 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 121853 120424 296 55 0 120745 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 487412

[startup+150.101 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 23796
/proc/meminfo: memFree=1236800/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=505788 CPUtime=150.02
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 125331 0 0 0 14923 79 0 0 25 0 1 0 197632176 517926912 124946 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 126447 124946 296 55 0 125339 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 505788

[startup+160.107 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 23796
/proc/meminfo: memFree=1205120/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=537496 CPUtime=160.02
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 133245 0 0 0 15918 84 0 0 25 0 1 0 197632176 550395904 132851 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 134374 132851 296 55 0 133266 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 537496

[startup+170.113 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 23796
/proc/meminfo: memFree=1172736/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=569648 CPUtime=170.03
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 141330 0 0 0 16913 90 0 0 25 0 1 0 197632176 583319552 140935 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7169659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 142412 140935 296 55 0 141304 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 569648

[startup+180.119 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 23796
/proc/meminfo: memFree=1149504/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=593124 CPUtime=180.03
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 147288 0 0 0 17910 93 0 0 25 0 1 0 197632176 607358976 146729 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 148281 146729 296 55 0 147173 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 593124

[startup+190.125 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 23796
/proc/meminfo: memFree=1129920/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=612980 CPUtime=190.03
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 152264 0 0 0 18907 96 0 0 25 0 1 0 197632176 627691520 151615 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 153245 151615 296 55 0 152137 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 612980

[startup+200.131 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 23796
/proc/meminfo: memFree=1102592/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=640880 CPUtime=200.03
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 159278 0 0 0 19903 100 0 0 25 0 1 0 197632176 656261120 158455 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 160220 158455 296 55 0 159112 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 640880

[startup+210.137 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 23796
/proc/meminfo: memFree=1067264/2055920 swapFree=4182500/4192956

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

Current children cumulated CPU time (s) 670.15
Current children cumulated vsize (Kb) 1441768

[startup+680.429 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 23798
/proc/meminfo: memFree=292864/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=1454044 CPUtime=680.15
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 364302 0 0 0 67779 236 0 0 25 0 1 0 197632176 1488941056 360450 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 363511 360450 296 55 0 362403 0
Current children cumulated CPU time (s) 680.15
Current children cumulated vsize (Kb) 1454044

[startup+690.436 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 23798
/proc/meminfo: memFree=288064/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=1458800 CPUtime=690.15
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 365503 0 0 0 68778 237 0 0 25 0 1 0 197632176 1493811200 361651 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 364700 361651 296 55 0 363592 0
Current children cumulated CPU time (s) 690.15
Current children cumulated vsize (Kb) 1458800

[startup+700.442 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 23798
/proc/meminfo: memFree=273920/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=1472820 CPUtime=700.15
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 369034 0 0 0 69776 239 0 0 25 0 1 0 197632176 1508167680 365182 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 368205 365182 296 55 0 367097 0
Current children cumulated CPU time (s) 700.15
Current children cumulated vsize (Kb) 1472820

[startup+710.447 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 23798
/proc/meminfo: memFree=252800/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=1493872 CPUtime=710.16
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 374300 0 0 0 70774 242 0 0 25 0 1 0 197632176 1529724928 370440 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 373468 370440 296 55 0 372360 0
Current children cumulated CPU time (s) 710.16
Current children cumulated vsize (Kb) 1493872

[startup+720.455 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 23798
/proc/meminfo: memFree=238272/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=1508956 CPUtime=720.16
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 378168 0 0 0 71771 245 0 0 25 0 1 0 197632176 1545170944 374064 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534947 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 377239 374064 296 55 0 376131 0
Current children cumulated CPU time (s) 720.16
Current children cumulated vsize (Kb) 1508956

[startup+730.461 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 23798
/proc/meminfo: memFree=219392/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=1527572 CPUtime=730.16
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 382879 0 0 0 72768 248 0 0 25 0 1 0 197632176 1564233728 378775 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 381893 378775 296 55 0 380785 0
Current children cumulated CPU time (s) 730.16
Current children cumulated vsize (Kb) 1527572

[startup+740.466 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 23798
/proc/meminfo: memFree=191104/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=1555932 CPUtime=740.17
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 390099 0 0 0 73762 255 0 0 25 0 1 0 197632176 1593274368 385833 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 388983 385833 296 55 0 387875 0
Current children cumulated CPU time (s) 740.17
Current children cumulated vsize (Kb) 1555932

[startup+750.472 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 23798
/proc/meminfo: memFree=162176/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=1585284 CPUtime=750.16
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 397475 0 0 0 74758 258 0 0 25 0 1 0 197632176 1623330816 393043 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 396321 393043 296 55 0 395213 0
Current children cumulated CPU time (s) 750.16
Current children cumulated vsize (Kb) 1585284

[startup+760.479 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 23798
/proc/meminfo: memFree=134208/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=1613524 CPUtime=760.16
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 404629 0 0 0 75752 264 0 0 25 0 1 0 197632176 1652248576 400035 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7169659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 403381 400035 296 55 0 402273 0
Current children cumulated CPU time (s) 760.16
Current children cumulated vsize (Kb) 1613524

[startup+770.484 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 23798
/proc/meminfo: memFree=109824/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=1637548 CPUtime=770.17
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 410701 0 0 0 76748 269 0 0 25 0 1 0 197632176 1676849152 406107 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 409387 406107 296 55 0 408279 0
Current children cumulated CPU time (s) 770.17
Current children cumulated vsize (Kb) 1637548

[startup+780.49 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 23798
/proc/meminfo: memFree=81984/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=1665512 CPUtime=780.17
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 417816 0 0 0 77744 273 0 0 25 0 1 0 197632176 1705484288 413060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 416378 413060 296 55 0 415270 0
Current children cumulated CPU time (s) 780.17
Current children cumulated vsize (Kb) 1665512

[startup+790.496 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 23798
/proc/meminfo: memFree=56384/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=1690988 CPUtime=790.18
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 424210 0 0 0 78740 278 0 0 25 0 1 0 197632176 1731571712 419454 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 422747 419454 296 55 0 421639 0
Current children cumulated CPU time (s) 790.18
Current children cumulated vsize (Kb) 1690988

[startup+800.502 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 23798
/proc/meminfo: memFree=30976/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=1717780 CPUtime=800.18
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 431112 0 0 0 79735 283 0 0 25 0 1 0 197632176 1759006720 425790 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 429445 425790 296 55 0 428337 0
Current children cumulated CPU time (s) 800.18
Current children cumulated vsize (Kb) 1717780

[startup+810.508 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 23798
/proc/meminfo: memFree=16000/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=1735780 CPUtime=810.18
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 435649 0 0 0 80731 287 0 0 25 0 1 0 197632176 1777438720 430327 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529381 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 433945 430327 296 55 0 432837 0
Current children cumulated CPU time (s) 810.18
Current children cumulated vsize (Kb) 1735780

[startup+820.515 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 23798
/proc/meminfo: memFree=15936/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=1759896 CPUtime=820.19
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 441836 0 0 0 81728 291 0 0 25 0 1 0 197632176 1802133504 436192 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534863 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 439974 436192 296 55 0 438866 0
Current children cumulated CPU time (s) 820.19
Current children cumulated vsize (Kb) 1759896

[startup+830.521 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 23798
/proc/meminfo: memFree=14976/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=1784052 CPUtime=830.18
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 447904 0 0 0 82723 295 0 0 25 0 1 0 197632176 1826869248 442260 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 446013 442260 296 55 0 444905 0
Current children cumulated CPU time (s) 830.18
Current children cumulated vsize (Kb) 1784052

[startup+840.527 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 23798
/proc/meminfo: memFree=16256/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=1798712 CPUtime=840.19
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 451631 0 0 0 83721 298 0 0 25 0 1 0 197632176 1841881088 445987 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 449678 445987 296 55 0 448570 0
Current children cumulated CPU time (s) 840.19
Current children cumulated vsize (Kb) 1798712

[startup+850.533 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 23798
/proc/meminfo: memFree=15360/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=1815200 CPUtime=850.19
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 455846 0 0 0 84718 301 0 0 25 0 1 0 197632176 1858764800 450118 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 453800 450118 296 55 0 452692 0
Current children cumulated CPU time (s) 850.19
Current children cumulated vsize (Kb) 1815200

[startup+860.539 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 23798
/proc/meminfo: memFree=15104/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=1823384 CPUtime=860.19
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 457924 0 0 0 85717 302 0 0 25 0 1 0 197632176 1867145216 452196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 455846 452196 296 55 0 454738 0
Current children cumulated CPU time (s) 860.19
Current children cumulated vsize (Kb) 1823384

[startup+870.545 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 23798
/proc/meminfo: memFree=14912/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=1832756 CPUtime=870.19
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 460337 0 0 0 86715 304 0 0 25 0 1 0 197632176 1876742144 454609 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 458189 454609 296 55 0 457081 0
Current children cumulated CPU time (s) 870.19
Current children cumulated vsize (Kb) 1832756

[startup+880.551 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 23798
/proc/meminfo: memFree=16256/2055920 swapFree=4182500/4192956
[pid=23796] ppid=23794 vsize=1841956 CPUtime=880.2
/proc/23796/stat : 23796 (bsolo) R 23794 23796 23750 0 -1 0 462698 0 0 0 87713 307 0 0 25 0 1 0 197632176 1886162944 456648 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23796/statm: 460489 456648 296 55 0 459381 0
Current children cumulated CPU time (s) 880.2
Current children cumulated vsize (Kb) 1841956

Child ended because it received signal 11 (SIGSEGV)
Real time (s): 881.612
CPU time (s): 881.262
CPU user time (s): 877.924
CPU system time (s): 3.33849
CPU usage (%): 99.9603
Max. virtual memory (cumulated for all children) (Kb): 1841956
The end

Launcher Data (download as text)

Begin job on node75 on Sat Jun  3 07:28:08 UTC 2006


FILE ID= 40805-1149319688

PBS_JOBID= 308548

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-cuww3.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node75/40805-1149319688/instance-40805-1149319688.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node75/watcher-40805-1149319688 -o ROOT/results/node75/solver-40805-1149319688 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node75/40805-1149319688/instance-40805-1149319688.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  c67056006c43da82eed6e7cbb40287a1

RANDOM SEED= 532745438


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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1736584 kB
Buffers:         30416 kB
Cached:         219452 kB
SwapCached:       2072 kB
Active:          77016 kB
Inactive:       181460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1736584 kB
SwapTotal:     4192956 kB
SwapFree:      4182500 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          16032 kB
Slab:            46824 kB
Committed_AS:   330696 kB
PageTables:       1448 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node75 on Sat Jun  3 07:42:50 UTC 2006