Trace number 40804

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 1050.08 1050.44

General information on the benchmark

Namenormalized-PB06/SATUNSAT-MEDINT/submitted-PB06/
manquiho/Aardal_1/normalized-cuww5.opb
MD5SUM2d610c35d7c8dd61a03deef28cf982c0
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 benchmark36.2755
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables86
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 constraint86
Maximum length of a constraint86
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 45094584
Number of bits of the biggest number in a constraint 26
Biggest sum of numbers in a constraint 553509859
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.02	c BIG Int formula...
0.02	c Initial problem consists of 86 variables and 2 constraints.
0.02	c Using non-optimization problem switches.
0.02	c No problem reductions applied in OPT. instance.
0.02	c	preprocess terminated. Elapsed time: 0.006
0.02	c After prepocess the problem consists of 86 variables and 2 constraints.
0.03	c Restart #1 #Var: 86 LB: 0 @ 0.015
0.05	c Restart #2 #Var: 86 LB: 0 @ 0.036
0.08	c Restart #3 #Var: 86 LB: 0 @ 0.073
0.13	c Restart #4 #Var: 86 LB: 0 @ 0.117
0.17	c Restart #5 #Var: 86 LB: 0 @ 0.164
0.24	c Restart #6 #Var: 86 LB: 0 @ 0.233
0.32	c Restart #7 #Var: 86 LB: 0 @ 0.309
0.41	c Restart #8 #Var: 86 LB: 0 @ 0.401
0.54	c Restart #9 #Var: 86 LB: 0 @ 0.526
0.72	c Restart #10 #Var: 86 LB: 0 @ 0.708
0.88	c Restart #11 #Var: 86 LB: 0 @ 0.872
1.20	c Restart #12 #Var: 86 LB: 0 @ 1.188
1.49	c Restart #13 #Var: 86 LB: 0 @ 1.481
1.86	c Restart #14 #Var: 86 LB: 0 @ 1.854
2.24	c Restart #15 #Var: 86 LB: 0 @ 2.232
2.81	c Restart #16 #Var: 86 LB: 0 @ 2.791
3.43	c Restart #17 #Var: 86 LB: 0 @ 3.417
4.10	c Restart #18 #Var: 86 LB: 0 @ 4.086
4.84	c Restart #19 #Var: 86 LB: 0 @ 4.821
5.82	c Restart #20 #Var: 86 LB: 0 @ 5.806
6.77	c Restart #21 #Var: 86 LB: 0 @ 6.752
7.91	c Restart #22 #Var: 86 LB: 0 @ 7.895
8.87	c Restart #23 #Var: 86 LB: 0 @ 8.853
10.36	c Restart #24 #Var: 86 LB: 0 @ 10.345
11.68	c Restart #25 #Var: 86 LB: 0 @ 11.659
13.08	c Restart #26 #Var: 86 LB: 0 @ 13.063
14.86	c Restart #27 #Var: 86 LB: 0 @ 14.845
16.45	c Restart #28 #Var: 86 LB: 0 @ 16.434
17.59	c Restart #29 #Var: 86 LB: 0 @ 17.574
19.77	c Restart #30 #Var: 86 LB: 0 @ 19.749
21.73	c Restart #31 #Var: 86 LB: 0 @ 21.712
24.73	c Restart #32 #Var: 86 LB: 0 @ 24.709
27.25	c Restart #33 #Var: 86 LB: 0 @ 27.226
30.29	c Restart #34 #Var: 86 LB: 0 @ 30.263
34.33	c Restart #35 #Var: 86 LB: 0 @ 34.309
36.83	c Restart #36 #Var: 86 LB: 0 @ 36.806
39.84	c Restart #37 #Var: 86 LB: 0 @ 39.818
42.91	c Restart #38 #Var: 86 LB: 0 @ 42.883
46.47	c Restart #39 #Var: 86 LB: 0 @ 46.443
50.62	c Restart #40 #Var: 86 LB: 0 @ 50.592
54.34	c Restart #41 #Var: 86 LB: 0 @ 54.311
58.03	c Restart #42 #Var: 86 LB: 0 @ 57.999
62.48	c Restart #43 #Var: 86 LB: 0 @ 62.446
69.65	c Restart #44 #Var: 86 LB: 0 @ 69.609
74.92	c Restart #45 #Var: 86 LB: 0 @ 74.885
79.84	c Restart #46 #Var: 86 LB: 0 @ 79.799
86.24	c Restart #47 #Var: 86 LB: 0 @ 86.195
93.99	c Restart #48 #Var: 86 LB: 0 @ 93.944
100.09	c Restart #49 #Var: 86 LB: 0 @ 100.04
109.94	c Restart #50 #Var: 86 LB: 0 @ 109.89
117.15	c Restart #51 #Var: 86 LB: 0 @ 117.09
124.57	c Restart #52 #Var: 86 LB: 0 @ 124.52
132.84	c Restart #53 #Var: 86 LB: 0 @ 132.78
139.41	c Restart #54 #Var: 86 LB: 0 @ 139.35
148.40	c Restart #55 #Var: 86 LB: 0 @ 148.34
156.51	c Restart #56 #Var: 86 LB: 0 @ 156.44
162.39	c Restart #57 #Var: 86 LB: 0 @ 162.32
174.19	c Restart #58 #Var: 86 LB: 0 @ 174.12
181.27	c Restart #59 #Var: 86 LB: 0 @ 181.2
191.24	c Restart #60 #Var: 86 LB: 0 @ 191.16
201.72	c Restart #61 #Var: 86 LB: 0 @ 201.64
210.48	c Restart #62 #Var: 86 LB: 0 @ 210.4
220.18	c Restart #63 #Var: 86 LB: 0 @ 220.09
232.84	c Restart #64 #Var: 86 LB: 0 @ 232.75
243.66	c Restart #65 #Var: 86 LB: 0 @ 243.57
255.85	c Restart #66 #Var: 86 LB: 0 @ 255.75
264.08	c Restart #67 #Var: 86 LB: 0 @ 263.98
276.73	c Restart #68 #Var: 86 LB: 0 @ 276.63
288.13	c Restart #69 #Var: 86 LB: 0 @ 288.02
296.15	c Restart #70 #Var: 86 LB: 0 @ 296.05
306.61	c Restart #71 #Var: 86 LB: 0 @ 306.5
315.19	c Restart #72 #Var: 86 LB: 0 @ 315.07
323.81	c Restart #73 #Var: 86 LB: 0 @ 323.7
335.17	c Restart #74 #Var: 86 LB: 0 @ 335.05
353.78	c Restart #75 #Var: 86 LB: 0 @ 353.65
360.67	c Restart #76 #Var: 86 LB: 0 @ 360.54
375.48	c Restart #77 #Var: 86 LB: 0 @ 375.34
397.93	c Restart #78 #Var: 86 LB: 0 @ 397.79
411.85	c Restart #79 #Var: 86 LB: 0 @ 411.71
425.84	c Restart #80 #Var: 86 LB: 0 @ 425.69
443.19	c Restart #81 #Var: 86 LB: 0 @ 443.04
455.66	c Restart #82 #Var: 86 LB: 0 @ 455.5
470.79	c Restart #83 #Var: 86 LB: 0 @ 470.62
484.92	c Restart #84 #Var: 86 LB: 0 @ 484.75
495.39	c Restart #85 #Var: 86 LB: 0 @ 495.22
510.32	c Restart #86 #Var: 86 LB: 0 @ 510.14
526.24	c Restart #87 #Var: 86 LB: 0 @ 526.06
539.14	c Restart #88 #Var: 86 LB: 0 @ 538.95
559.91	c Restart #89 #Var: 86 LB: 0 @ 559.71
573.00	c Restart #90 #Var: 86 LB: 0 @ 572.8
589.87	c Restart #91 #Var: 86 LB: 0 @ 589.66
599.90	c Restart #92 #Var: 86 LB: 0 @ 599.69
621.64	c Restart #93 #Var: 86 LB: 0 @ 621.42
640.98	c Restart #94 #Var: 86 LB: 0 @ 640.76
666.39	c Restart #95 #Var: 86 LB: 0 @ 666.17
691.49	c Restart #96 #Var: 86 LB: 0 @ 691.25
727.84	c Restart #97 #Var: 86 LB: 0 @ 727.59
751.12	c Restart #98 #Var: 86 LB: 0 @ 750.87
768.12	c Restart #99 #Var: 86 LB: 0 @ 767.87
779.41	c Restart #100 #Var: 86 LB: 0 @ 779.15
827.28	c Restart #101 #Var: 86 LB: 0 @ 827
842.40	c Restart #102 #Var: 86 LB: 0 @ 842.12
875.16	c Restart #103 #Var: 86 LB: 0 @ 874.87
903.34	c CHANGE Heuristic... 
903.35	c Restart #0 #Var: 86 LB: 0 @ 903.04
907.10	c Restart #1 #Var: 86 LB: 0 @ 906.8
912.74	c Restart #2 #Var: 86 LB: 0 @ 912.44
920.74	c Restart #3 #Var: 86 LB: 0 @ 920.44
925.97	c Restart #4 #Var: 86 LB: 0 @ 925.66
933.04	c Restart #5 #Var: 86 LB: 0 @ 932.73
942.00	c Restart #6 #Var: 86 LB: 0 @ 941.69
953.54	c Restart #7 #Var: 86 LB: 0 @ 953.22
963.46	c Restart #8 #Var: 86 LB: 0 @ 963.13
974.78	c Restart #9 #Var: 86 LB: 0 @ 974.46
985.43	c Restart #10 #Var: 86 LB: 0 @ 985.1
995.10	c Restart #11 #Var: 86 LB: 0 @ 994.77
1005.50	c Restart #12 #Var: 86 LB: 0 @ 1005.2
1019.99	c Restart #13 #Var: 86 LB: 0 @ 1019.6
1032.98	c Restart #14 #Var: 86 LB: 0 @ 1032.6
1048.31	c Restart #15 #Var: 86 LB: 0 @ 1048

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.99 2/64 19282
/proc/meminfo: memFree=1843680/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=3364 CPUtime=0
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 60 0 0 0 0 0 0 0 18 0 1 0 197614068 3444736 43 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4129700 0 0 4096 0 0 0 0 17 1 0 0
/proc/19282/statm: 859 47 34 55 0 42 0

[startup+10.0014 s]
/proc/loadavg: 0.93 0.97 0.99 2/64 19282
/proc/meminfo: memFree=1747384/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=100696 CPUtime=9.97
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 24408 0 0 0 983 14 0 0 25 0 1 0 197614068 103112704 24320 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 25174 24320 296 55 0 24066 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 100696

[startup+20.0068 s]
/proc/loadavg: 0.94 0.97 0.99 2/64 19282
/proc/meminfo: memFree=1690552/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=157832 CPUtime=19.98
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 38601 0 0 0 1975 23 0 0 25 0 1 0 197614068 161619968 38493 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 39458 38493 296 55 0 38350 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 157832

[startup+30.0132 s]
/proc/loadavg: 0.95 0.97 0.99 2/64 19282
/proc/meminfo: memFree=1649912/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=198436 CPUtime=29.98
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 48740 0 0 0 2969 29 0 0 25 0 1 0 197614068 203198464 48630 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 49609 48630 296 55 0 48501 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 198436

[startup+40.0197 s]
/proc/loadavg: 0.95 0.97 0.99 2/64 19282
/proc/meminfo: memFree=1612920/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=235252 CPUtime=39.99
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 57984 0 0 0 3964 35 0 0 25 0 1 0 197614068 240898048 57874 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 58813 57874 296 55 0 57705 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 235252

[startup+50.0261 s]
/proc/loadavg: 0.96 0.97 0.99 2/64 19282
/proc/meminfo: memFree=1576504/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=271928 CPUtime=49.99
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 67105 0 0 0 4958 41 0 0 25 0 1 0 197614068 278454272 66978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 67982 66978 296 55 0 66874 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 271928

[startup+60.0315 s]
/proc/loadavg: 0.97 0.97 0.99 2/64 19282
/proc/meminfo: memFree=1543416/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=305444 CPUtime=59.99
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 75379 0 0 0 5952 47 0 0 25 0 1 0 197614068 312774656 75237 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 76361 75237 296 55 0 75253 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 305444

[startup+70.0379 s]
/proc/loadavg: 0.97 0.97 0.99 2/64 19282
/proc/meminfo: memFree=1518520/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=330408 CPUtime=70
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 81592 0 0 0 6949 51 0 0 25 0 1 0 197614068 338337792 81438 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 82602 81438 296 55 0 81494 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 330408

[startup+80.0443 s]
/proc/loadavg: 0.98 0.97 0.99 2/64 19282
/proc/meminfo: memFree=1488952/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=359944 CPUtime=80
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 88975 0 0 0 7944 56 0 0 25 0 1 0 197614068 368582656 88821 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 89986 88821 296 55 0 88878 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 359944

[startup+90.0498 s]
/proc/loadavg: 0.98 0.97 0.99 2/64 19282
/proc/meminfo: memFree=1463672/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=385044 CPUtime=89.99
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 95286 0 0 0 8940 59 0 0 25 0 1 0 197614068 394285056 95129 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 96261 95129 296 55 0 95153 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 385044

[startup+100.055 s]
/proc/loadavg: 0.98 0.97 0.99 2/64 19282
/proc/meminfo: memFree=1441912/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=406820 CPUtime=100
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 100714 0 0 0 9937 63 0 0 25 0 1 0 197614068 416583680 100557 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 101705 100557 296 55 0 100597 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 406820

[startup+110.061 s]
/proc/loadavg: 0.98 0.97 0.99 2/64 19282
/proc/meminfo: memFree=1425400/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=423260 CPUtime=110
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 104818 0 0 0 10935 65 0 0 25 0 1 0 197614068 433418240 104661 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 105815 104661 296 55 0 104707 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 423260

[startup+120.066 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 19282
/proc/meminfo: memFree=1405880/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=442808 CPUtime=120
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 109701 0 0 0 11931 69 0 0 25 0 1 0 197614068 453435392 109544 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 110702 109544 296 55 0 109594 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 442808

[startup+130.071 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 19282
/proc/meminfo: memFree=1382648/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=466084 CPUtime=130.01
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 115498 0 0 0 12928 73 0 0 25 0 1 0 197614068 477270016 115340 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 116521 115340 296 55 0 115413 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 466084

[startup+140.077 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 19282
/proc/meminfo: memFree=1356664/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=491996 CPUtime=140.01
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 121976 0 0 0 13925 76 0 0 25 0 1 0 197614068 503803904 121814 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 122999 121814 296 55 0 121891 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 491996

[startup+150.082 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 19282
/proc/meminfo: memFree=1337848/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=511164 CPUtime=150.01
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 126756 0 0 0 14922 79 0 0 25 0 1 0 197614068 523431936 126512 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 127791 126512 296 55 0 126683 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 511164

[startup+160.088 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 19282
/proc/meminfo: memFree=1310392/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=538692 CPUtime=160.01
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 133620 0 0 0 15917 84 0 0 25 0 1 0 197614068 551620608 133375 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 134673 133375 296 55 0 133565 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 538692

[startup+170.093 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 19282
/proc/meminfo: memFree=1289784/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=559300 CPUtime=170.01
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 138765 0 0 0 16912 89 0 0 25 0 1 0 197614068 572723200 138510 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 139825 138510 296 55 0 138717 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 559300

[startup+180.099 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 19282
/proc/meminfo: memFree=1269240/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=579756 CPUtime=180.02
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 143882 0 0 0 17910 92 0 0 25 0 1 0 197614068 593670144 143627 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 144939 143627 296 55 0 143831 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 579756

[startup+190.104 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 19282
/proc/meminfo: memFree=1247672/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=601592 CPUtime=190.02
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 149363 0 0 0 18906 96 0 0 25 0 1 0 197614068 616030208 149017 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528766 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 150398 149017 296 55 0 149290 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 601592

[startup+200.109 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 19282
/proc/meminfo: memFree=1229304/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=619996 CPUtime=200.02
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 153940 0 0 0 19903 99 0 0 25 0 1 0 197614068 634875904 153589 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 154999 153589 296 55 0 153891 0
Current children cumulated CPU time (s) 200.02
Current children cumulated vsize (Kb) 619996

[startup+210.115 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 19282
/proc/meminfo: memFree=1205624/2055920 swapFree=4181376/4192956

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

Current children cumulated CPU time (s) 830.17
Current children cumulated vsize (Kb) 1704432

[startup+840.467 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 19284
/proc/meminfo: memFree=124608/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=1728836 CPUtime=840.18
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 432441 0 0 0 83730 288 0 0 25 0 1 0 197614068 1770328064 429230 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 432209 429230 296 55 0 431101 0
Current children cumulated CPU time (s) 840.18
Current children cumulated vsize (Kb) 1728836

[startup+850.472 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 19284
/proc/meminfo: memFree=111360/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=1742076 CPUtime=850.18
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 435712 0 0 0 84728 290 0 0 25 0 1 0 197614068 1783885824 432501 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 435519 432501 296 55 0 434411 0
Current children cumulated CPU time (s) 850.18
Current children cumulated vsize (Kb) 1742076

[startup+860.478 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 19284
/proc/meminfo: memFree=99904/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=1753416 CPUtime=860.18
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 438577 0 0 0 85726 292 0 0 25 0 1 0 197614068 1795497984 435366 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 438354 435366 296 55 0 437246 0
Current children cumulated CPU time (s) 860.18
Current children cumulated vsize (Kb) 1753416

[startup+870.483 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 19284
/proc/meminfo: memFree=90944/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=1762248 CPUtime=870.18
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 440803 0 0 0 86726 292 0 0 25 0 1 0 197614068 1804541952 437592 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 440562 437592 296 55 0 439454 0
Current children cumulated CPU time (s) 870.18
Current children cumulated vsize (Kb) 1762248

[startup+880.489 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 19284
/proc/meminfo: memFree=75072/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=1777952 CPUtime=880.18
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 444762 0 0 0 87723 295 0 0 25 0 1 0 197614068 1820622848 441551 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 444488 441551 296 55 0 443380 0
Current children cumulated CPU time (s) 880.18
Current children cumulated vsize (Kb) 1777952

[startup+890.494 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 19284
/proc/meminfo: memFree=69696/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=1783224 CPUtime=890.18
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 446095 0 0 0 88722 296 0 0 25 0 1 0 197614068 1826021376 442884 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 445806 442884 296 55 0 444698 0
Current children cumulated CPU time (s) 890.18
Current children cumulated vsize (Kb) 1783224

[startup+900.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 19284
/proc/meminfo: memFree=54912/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=1798116 CPUtime=900.19
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 449792 0 0 0 89721 298 0 0 25 0 1 0 197614068 1841270784 446581 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 449529 446581 296 55 0 448421 0
Current children cumulated CPU time (s) 900.19
Current children cumulated vsize (Kb) 1798116

[startup+910.505 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 19284
/proc/meminfo: memFree=48896/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=1803784 CPUtime=910.19
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 451292 0 0 0 90720 299 0 0 25 0 1 0 197614068 1847074816 448081 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 450946 448081 296 55 0 449838 0
Current children cumulated CPU time (s) 910.19
Current children cumulated vsize (Kb) 1803784

[startup+920.51 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 19284
/proc/meminfo: memFree=47104/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=1806004 CPUtime=920.2
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 451914 0 0 0 91720 300 0 0 25 0 1 0 197614068 1849348096 448539 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 451501 448539 296 55 0 450393 0
Current children cumulated CPU time (s) 920.2
Current children cumulated vsize (Kb) 1806004

[startup+930.516 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 19284
/proc/meminfo: memFree=45056/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=1807976 CPUtime=930.2
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 452424 0 0 0 92719 301 0 0 25 0 1 0 197614068 1851367424 449049 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 451994 449049 296 55 0 450886 0
Current children cumulated CPU time (s) 930.2
Current children cumulated vsize (Kb) 1807976

[startup+940.521 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 19284
/proc/meminfo: memFree=43072/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=1809956 CPUtime=940.19
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 452914 0 0 0 93718 301 0 0 25 0 1 0 197614068 1853394944 449539 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 452489 449539 296 55 0 451381 0
Current children cumulated CPU time (s) 940.19
Current children cumulated vsize (Kb) 1809956

[startup+950.527 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 19284
/proc/meminfo: memFree=40192/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=1812720 CPUtime=950.2
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 453627 0 0 0 94718 302 0 0 25 0 1 0 197614068 1856225280 450252 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 453180 450252 296 55 0 452072 0
Current children cumulated CPU time (s) 950.2
Current children cumulated vsize (Kb) 1812720

[startup+960.532 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 19284
/proc/meminfo: memFree=38272/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=1814704 CPUtime=960.2
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 454101 0 0 0 95718 302 0 0 25 0 1 0 197614068 1858256896 450726 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534929 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 453676 450726 296 55 0 452568 0
Current children cumulated CPU time (s) 960.2
Current children cumulated vsize (Kb) 1814704

[startup+970.538 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 19284
/proc/meminfo: memFree=36224/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=1816828 CPUtime=970.21
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 454622 0 0 0 96718 303 0 0 25 0 1 0 197614068 1860431872 451247 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 454207 451247 296 55 0 453099 0
Current children cumulated CPU time (s) 970.21
Current children cumulated vsize (Kb) 1816828

[startup+980.543 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 19284
/proc/meminfo: memFree=33536/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=1819472 CPUtime=980.21
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 455279 0 0 0 97717 304 0 0 25 0 1 0 197614068 1863139328 451904 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 454868 451904 296 55 0 453760 0
Current children cumulated CPU time (s) 980.21
Current children cumulated vsize (Kb) 1819472

[startup+990.548 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 19284
/proc/meminfo: memFree=29504/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=1823428 CPUtime=990.21
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 456287 0 0 0 98716 305 0 0 25 0 1 0 197614068 1867190272 452912 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 455857 452912 296 55 0 454749 0
Current children cumulated CPU time (s) 990.21
Current children cumulated vsize (Kb) 1823428

[startup+1000.55 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 19284
/proc/meminfo: memFree=25920/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=1826988 CPUtime=1000.21
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 457180 0 0 0 99716 305 0 0 25 0 1 0 197614068 1870835712 453805 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 456747 453805 296 55 0 455639 0
Current children cumulated CPU time (s) 1000.21
Current children cumulated vsize (Kb) 1826988

[startup+1010.56 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 19284
/proc/meminfo: memFree=23040/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=1829884 CPUtime=1010.22
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 457905 0 0 0 100716 306 0 0 25 0 1 0 197614068 1873801216 454530 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 457471 454530 296 55 0 456363 0
Current children cumulated CPU time (s) 1010.22
Current children cumulated vsize (Kb) 1829884

[startup+1020.57 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 19284
/proc/meminfo: memFree=19328/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=1833604 CPUtime=1020.22
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 458819 0 0 0 101715 307 0 0 25 0 1 0 197614068 1877610496 455444 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 458401 455444 296 55 0 457293 0
Current children cumulated CPU time (s) 1020.22
Current children cumulated vsize (Kb) 1833604

[startup+1030.57 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 19284
/proc/meminfo: memFree=16192/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=1836768 CPUtime=1030.22
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 459609 0 0 0 102714 308 0 0 25 0 1 0 197614068 1880850432 456234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 459192 456234 296 55 0 458084 0
Current children cumulated CPU time (s) 1030.22
Current children cumulated vsize (Kb) 1836768

[startup+1040.58 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 19284
/proc/meminfo: memFree=15488/2055920 swapFree=4181376/4192956
[pid=19282] ppid=19280 vsize=1839008 CPUtime=1040.21
/proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 460194 0 0 0 103713 308 0 0 25 0 1 0 197614068 1883144192 456819 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19282/statm: 459752 456819 296 55 0 458644 0
Current children cumulated CPU time (s) 1040.21
Current children cumulated vsize (Kb) 1839008

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1050.44
CPU time (s): 1050.08
CPU user time (s): 1046.72
CPU system time (s): 3.35949
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (Kb): 1839008
The end

Launcher Data (download as text)

Begin job on node29 on Sat Jun  3 07:25:05 UTC 2006


FILE ID= 40804-1149319505

PBS_JOBID= 308540

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  2d610c35d7c8dd61a03deef28cf982c0

RANDOM SEED= 749529212


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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1843888 kB
Buffers:         19504 kB
Cached:         129784 kB
SwapCached:       3236 kB
Active:          34732 kB
Inactive:       123180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1843888 kB
SwapTotal:     4192956 kB
SwapFree:      4181376 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          14716 kB
Slab:            40168 kB
Committed_AS:   337616 kB
PageTables:       1504 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node29 on Sat Jun  3 07:42:35 UTC 2006