Trace number 39601

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/05? 1800.07 1800.62

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900551864.opb
MD5SUM733d8edd6a6cbfe19e20f4970079db5a
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark111.863
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables231
Total number of constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
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 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 687
Number of bits of the biggest sum of numbers10
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.06	c Initial problem consists of 231 variables and 2707 constraints.
0.08	c Using non-optimization problem switches.
0.08	c No problem reductions applied in OPT. instance.
0.08	c	preprocess terminated. Elapsed time: 0.068
0.08	c After prepocess the problem consists of 231 variables and 2586 constraints.
0.11	c Restart #1 #Var: 231 LB: 0 @ 0.106
0.24	c Restart #2 #Var: 231 LB: 0 @ 0.23
0.39	c Restart #3 #Var: 231 LB: 0 @ 0.386
0.59	c Restart #4 #Var: 231 LB: 0 @ 0.585
0.80	c Restart #5 #Var: 231 LB: 0 @ 0.795
1.03	c Restart #6 #Var: 231 LB: 0 @ 1.02
1.35	c Restart #7 #Var: 231 LB: 0 @ 1.34
1.68	c Restart #8 #Var: 231 LB: 0 @ 1.67
2.12	c Restart #9 #Var: 231 LB: 0 @ 2.113
2.59	c Restart #10 #Var: 231 LB: 0 @ 2.582
3.16	c Restart #11 #Var: 231 LB: 0 @ 3.155
3.69	c Restart #12 #Var: 231 LB: 0 @ 3.684
4.37	c Restart #13 #Var: 231 LB: 0 @ 4.363
5.18	c Restart #14 #Var: 231 LB: 0 @ 5.175
6.40	c Restart #15 #Var: 231 LB: 0 @ 6.392
7.49	c Restart #16 #Var: 231 LB: 0 @ 7.476
9.03	c Restart #17 #Var: 231 LB: 0 @ 9.025
10.34	c Restart #18 #Var: 231 LB: 0 @ 10.325
12.99	c Restart #19 #Var: 231 LB: 0 @ 12.982
15.18	c Restart #20 #Var: 231 LB: 0 @ 15.17
17.82	c Restart #21 #Var: 231 LB: 0 @ 17.801
20.97	c Restart #22 #Var: 231 LB: 0 @ 20.953
27.99	c Restart #23 #Var: 231 LB: 0 @ 27.973
31.60	c Restart #24 #Var: 231 LB: 0 @ 31.581
39.90	c Restart #25 #Var: 231 LB: 0 @ 39.877
45.28	c Restart #26 #Var: 231 LB: 0 @ 45.261
49.89	c Restart #27 #Var: 231 LB: 0 @ 49.863
55.35	c Restart #28 #Var: 231 LB: 0 @ 55.33
61.85	c Restart #29 #Var: 231 LB: 0 @ 61.828
67.81	c Restart #30 #Var: 231 LB: 0 @ 67.785
76.24	c Restart #31 #Var: 231 LB: 0 @ 76.207
84.13	c Restart #32 #Var: 231 LB: 0 @ 84.103
93.96	c Restart #33 #Var: 231 LB: 0 @ 93.93
102.61	c Restart #34 #Var: 231 LB: 0 @ 102.58
112.46	c Restart #35 #Var: 231 LB: 0 @ 112.42
126.70	c Restart #36 #Var: 231 LB: 0 @ 126.66
138.74	c Restart #37 #Var: 231 LB: 0 @ 138.7
151.65	c Restart #38 #Var: 231 LB: 0 @ 151.6
166.32	c Restart #39 #Var: 231 LB: 0 @ 166.27
180.65	c Restart #40 #Var: 231 LB: 0 @ 180.59
197.44	c Restart #41 #Var: 231 LB: 0 @ 197.38
214.16	c Restart #42 #Var: 231 LB: 0 @ 214.1
232.43	c Restart #43 #Var: 231 LB: 0 @ 232.36
252.20	c Restart #44 #Var: 231 LB: 0 @ 252.12
271.26	c Restart #45 #Var: 231 LB: 0 @ 271.18
300.53	c Restart #46 #Var: 231 LB: 0 @ 300.45
321.85	c Restart #47 #Var: 231 LB: 0 @ 321.76
337.53	c Restart #48 #Var: 231 LB: 0 @ 337.44
365.49	c Restart #49 #Var: 231 LB: 0 @ 365.39
405.41	c Restart #50 #Var: 231 LB: 0 @ 405.3
433.16	c Restart #51 #Var: 231 LB: 0 @ 433.04
459.69	c Restart #52 #Var: 231 LB: 0 @ 459.57
502.54	c Restart #53 #Var: 231 LB: 0 @ 502.41
529.41	c Restart #54 #Var: 231 LB: 0 @ 529.26
555.92	c Restart #55 #Var: 231 LB: 0 @ 555.77
591.60	c Restart #56 #Var: 231 LB: 0 @ 591.45
632.73	c Restart #57 #Var: 231 LB: 0 @ 632.56
676.87	c Restart #58 #Var: 231 LB: 0 @ 676.68
714.99	c Restart #59 #Var: 231 LB: 0 @ 714.8
753.63	c Restart #60 #Var: 231 LB: 0 @ 753.43
795.77	c Restart #61 #Var: 231 LB: 0 @ 795.56
845.35	c Restart #62 #Var: 231 LB: 0 @ 845.13
887.74	c Restart #63 #Var: 231 LB: 0 @ 887.51
936.10	c CHANGE Heuristic... 
936.10	c Restart #0 #Var: 231 LB: 0 @ 935.86
946.18	c Restart #1 #Var: 231 LB: 0 @ 945.93
951.40	c Restart #2 #Var: 231 LB: 0 @ 951.15
956.17	c Restart #3 #Var: 231 LB: 0 @ 955.92
962.82	c Restart #4 #Var: 231 LB: 0 @ 962.57
973.72	c Restart #5 #Var: 231 LB: 0 @ 973.47
981.01	c Restart #6 #Var: 231 LB: 0 @ 980.75
992.58	c Restart #7 #Var: 231 LB: 0 @ 992.32
1002.53	c Restart #8 #Var: 231 LB: 0 @ 1002.3
1013.89	c Restart #9 #Var: 231 LB: 0 @ 1013.6
1028.31	c Restart #10 #Var: 231 LB: 0 @ 1028
1040.02	c Restart #11 #Var: 231 LB: 0 @ 1039.8
1052.49	c Restart #12 #Var: 231 LB: 0 @ 1052.2
1061.62	c Restart #13 #Var: 231 LB: 0 @ 1061.3
1079.38	c Restart #14 #Var: 231 LB: 0 @ 1079.1
1093.69	c Restart #15 #Var: 231 LB: 0 @ 1093.4
1104.71	c Restart #16 #Var: 231 LB: 0 @ 1104.4
1118.48	c Restart #17 #Var: 231 LB: 0 @ 1118.2
1138.49	c Restart #18 #Var: 231 LB: 0 @ 1138.2
1154.85	c Restart #19 #Var: 231 LB: 0 @ 1154.6
1185.45	c Restart #20 #Var: 231 LB: 0 @ 1185.1
1206.39	c Restart #21 #Var: 231 LB: 0 @ 1206.1
1224.78	c Restart #22 #Var: 231 LB: 0 @ 1224.5
1253.92	c Restart #23 #Var: 231 LB: 0 @ 1253.6
1276.02	c Restart #24 #Var: 231 LB: 0 @ 1275.7
1295.24	c Restart #25 #Var: 231 LB: 0 @ 1294.9
1320.90	c Restart #26 #Var: 231 LB: 0 @ 1320.6
1348.51	c Restart #27 #Var: 231 LB: 0 @ 1348.2
1367.56	c Restart #28 #Var: 231 LB: 0 @ 1367.2
1398.02	c Restart #29 #Var: 231 LB: 0 @ 1397.7
1427.27	c Restart #30 #Var: 231 LB: 0 @ 1426.9
1454.26	c Restart #31 #Var: 231 LB: 0 @ 1453.9
1492.09	c Restart #32 #Var: 231 LB: 0 @ 1491.7
1514.06	c Restart #33 #Var: 231 LB: 0 @ 1513.7
1547.30	c Restart #34 #Var: 231 LB: 0 @ 1546.9
1583.36	c Restart #35 #Var: 231 LB: 0 @ 1583
1610.74	c Restart #36 #Var: 231 LB: 0 @ 1610.2
1649.85	c Restart #37 #Var: 231 LB: 0 @ 1649.3
1692.28	c Restart #38 #Var: 231 LB: 0 @ 1691.8
1725.42	c Restart #39 #Var: 231 LB: 0 @ 1724.9
1800.54	s UNKNOWN
1800.54	c Exit Code: 0
1800.54	c Total time: 1800 s

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.55 0.88 0.89 2/64 11434
/proc/meminfo: memFree=1730632/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=4616 CPUtime=0
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 176 0 0 0 0 0 0 0 18 0 1 0 5458023 4726784 146 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11434/statm: 1154 155 114 55 0 46 0

[startup+10.0027 s]
/proc/loadavg: 0.62 0.88 0.89 2/64 11434
/proc/meminfo: memFree=1708488/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=26652 CPUtime=9.98
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 5920 0 0 0 992 6 0 0 25 0 1 0 5458023 27291648 5835 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 6663 5835 296 55 0 5555 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 26652

[startup+20.0087 s]
/proc/loadavg: 0.68 0.88 0.89 2/64 11434
/proc/meminfo: memFree=1698312/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=36820 CPUtime=19.99
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 8459 0 0 0 1989 10 0 0 25 0 1 0 5458023 37703680 8374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533543 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 9205 8374 296 55 0 8097 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 36820

[startup+30.0147 s]
/proc/loadavg: 0.73 0.89 0.89 2/64 11434
/proc/meminfo: memFree=1692616/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=42496 CPUtime=29.99
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 9878 0 0 0 2987 12 0 0 25 0 1 0 5458023 43515904 9793 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540723 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 10624 9793 296 55 0 9516 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 42496

[startup+40.0207 s]
/proc/loadavg: 0.77 0.89 0.89 2/64 11434
/proc/meminfo: memFree=1686984/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=48040 CPUtime=39.99
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 11278 0 0 0 3985 14 0 0 25 0 1 0 5458023 49192960 11193 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 12010 11193 296 55 0 10902 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 48040

[startup+50.0267 s]
/proc/loadavg: 0.80 0.89 0.90 2/64 11434
/proc/meminfo: memFree=1679688/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=55432 CPUtime=50
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 13104 0 0 0 4982 18 0 0 25 0 1 0 5458023 56762368 13019 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 13858 13019 296 55 0 12750 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 55432

[startup+60.0327 s]
/proc/loadavg: 0.83 0.89 0.90 2/64 11434
/proc/meminfo: memFree=1673032/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=62036 CPUtime=59.99
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 14757 0 0 0 5978 21 0 0 25 0 1 0 5458023 63524864 14672 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 15509 14672 296 55 0 14401 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 62036

[startup+70.0387 s]
/proc/loadavg: 0.86 0.90 0.90 2/64 11434
/proc/meminfo: memFree=1666888/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=68112 CPUtime=70
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 16284 0 0 0 6977 23 0 0 25 0 1 0 5458023 69746688 16199 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533989 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 17028 16199 296 55 0 15920 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 68112

[startup+80.0446 s]
/proc/loadavg: 0.88 0.90 0.90 2/64 11434
/proc/meminfo: memFree=1661960/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=73128 CPUtime=80
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 17530 0 0 0 7974 26 0 0 25 0 1 0 5458023 74883072 17445 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 18282 17445 296 55 0 17174 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 73128

[startup+90.0506 s]
/proc/loadavg: 0.90 0.90 0.90 2/64 11434
/proc/meminfo: memFree=1656008/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=79076 CPUtime=90.01
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 19021 0 0 0 8973 28 0 0 25 0 1 0 5458023 80973824 18936 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 19769 18936 296 55 0 18661 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 79076

[startup+100.057 s]
/proc/loadavg: 0.91 0.91 0.90 2/64 11434
/proc/meminfo: memFree=1651080/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=83976 CPUtime=100.01
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 20248 0 0 0 9970 31 0 0 25 0 1 0 5458023 85991424 20163 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 20994 20163 296 55 0 19886 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 83976

[startup+110.063 s]
/proc/loadavg: 0.93 0.91 0.90 2/64 11434
/proc/meminfo: memFree=1646088/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=89000 CPUtime=110.01
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 21484 0 0 0 10969 32 0 0 25 0 1 0 5458023 91136000 21399 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 22250 21399 296 55 0 21142 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 89000

[startup+120.069 s]
/proc/loadavg: 0.94 0.91 0.90 2/64 11434
/proc/meminfo: memFree=1642504/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=92564 CPUtime=120.02
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 22384 0 0 0 11968 34 0 0 25 0 1 0 5458023 94785536 22299 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 23141 22299 296 55 0 22033 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 92564

[startup+130.075 s]
/proc/loadavg: 0.95 0.91 0.90 2/64 11434
/proc/meminfo: memFree=1638024/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=97052 CPUtime=130.02
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 23496 0 0 0 12966 36 0 0 25 0 1 0 5458023 99381248 23411 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541606 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 24263 23411 296 55 0 23155 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 97052

[startup+140.081 s]
/proc/loadavg: 0.95 0.92 0.90 2/64 11434
/proc/meminfo: memFree=1633416/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=101684 CPUtime=140.03
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 24645 0 0 0 13965 38 0 0 25 0 1 0 5458023 104124416 24560 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 25421 24560 296 55 0 24313 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 101684

[startup+150.087 s]
/proc/loadavg: 0.96 0.92 0.91 2/64 11434
/proc/meminfo: memFree=1629192/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=105904 CPUtime=150.03
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 25703 0 0 0 14964 39 0 0 25 0 1 0 5458023 108445696 25617 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 26476 25617 296 55 0 25368 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 105904

[startup+160.093 s]
/proc/loadavg: 0.97 0.92 0.91 2/64 11434
/proc/meminfo: memFree=1625032/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=110012 CPUtime=160.03
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 26733 0 0 0 15962 41 0 0 25 0 1 0 5458023 112652288 26647 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 27503 26647 296 55 0 26395 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 110012

[startup+170.099 s]
/proc/loadavg: 0.97 0.92 0.91 2/64 11434
/proc/meminfo: memFree=1620744/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=114368 CPUtime=170.04
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 27823 0 0 0 16960 44 0 0 25 0 1 0 5458023 117112832 27737 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718272 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 28592 27737 296 55 0 27484 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 114368

[startup+180.105 s]
/proc/loadavg: 0.97 0.92 0.91 2/64 11434
/proc/meminfo: memFree=1616584/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=118600 CPUtime=180.04
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 28859 0 0 0 17958 46 0 0 25 0 1 0 5458023 121446400 28772 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 29650 28772 296 55 0 28542 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 118600

[startup+190.112 s]
/proc/loadavg: 0.98 0.93 0.91 2/64 11434
/proc/meminfo: memFree=1612744/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=122424 CPUtime=190.05
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 29805 0 0 0 18957 48 0 0 25 0 1 0 5458023 125362176 29718 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 30606 29718 296 55 0 29498 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 122424

[startup+200.118 s]
/proc/loadavg: 0.98 0.93 0.91 2/64 11434
/proc/meminfo: memFree=1608648/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=126532 CPUtime=200.05
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 30826 0 0 0 19956 49 0 0 25 0 1 0 5458023 129568768 30739 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 31633 30739 296 55 0 30525 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 126532

[startup+210.124 s]
/proc/loadavg: 0.98 0.93 0.91 2/64 11434
/proc/meminfo: memFree=1604488/2055920 swapFree=4192956/4192956

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

/proc/11434/statm: 110895 109365 296 55 0 109787 0
Current children cumulated CPU time (s) 1760.51
Current children cumulated vsize (Kb) 443580

[startup+1771.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11629
/proc/meminfo: memFree=1292168/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=444240 CPUtime=1770.52
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 109692 0 0 0 176849 203 0 0 25 0 1 0 5458023 454901760 109535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 111060 109535 296 55 0 109952 0
Current children cumulated CPU time (s) 1770.52
Current children cumulated vsize (Kb) 444240

[startup+1781.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11629
/proc/meminfo: memFree=1291336/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=445028 CPUtime=1780.52
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 109897 0 0 0 177848 204 0 0 25 0 1 0 5458023 455708672 109740 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 111257 109740 296 55 0 110149 0
Current children cumulated CPU time (s) 1780.52
Current children cumulated vsize (Kb) 445028

[startup+1782.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11629
/proc/meminfo: memFree=1291208/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=445160 CPUtime=1781.52
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 109927 0 0 0 177948 204 0 0 25 0 1 0 5458023 455843840 109770 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 111290 109770 296 55 0 110182 0
Current children cumulated CPU time (s) 1781.52
Current children cumulated vsize (Kb) 445160

[startup+1783.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11629
/proc/meminfo: memFree=1291080/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=445288 CPUtime=1782.52
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 109967 0 0 0 178048 204 0 0 25 0 1 0 5458023 455974912 109810 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 111322 109810 296 55 0 110214 0
Current children cumulated CPU time (s) 1782.52
Current children cumulated vsize (Kb) 445288

[startup+1784.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11629
/proc/meminfo: memFree=1290952/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=445420 CPUtime=1783.53
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 109993 0 0 0 178149 204 0 0 25 0 1 0 5458023 456110080 109836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 111355 109836 296 55 0 110247 0
Current children cumulated CPU time (s) 1783.53
Current children cumulated vsize (Kb) 445420

[startup+1785.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11629
/proc/meminfo: memFree=1290824/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=445420 CPUtime=1784.53
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 110022 0 0 0 178249 204 0 0 25 0 1 0 5458023 456110080 109865 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 111355 109865 296 55 0 110247 0
Current children cumulated CPU time (s) 1784.53
Current children cumulated vsize (Kb) 445420

[startup+1786.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11629
/proc/meminfo: memFree=1290760/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=445552 CPUtime=1785.54
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 110052 0 0 0 178350 204 0 0 25 0 1 0 5458023 456245248 109895 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 111388 109895 296 55 0 110280 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (Kb) 445552

[startup+1787.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11629
/proc/meminfo: memFree=1290568/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=445684 CPUtime=1786.54
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 110089 0 0 0 178450 204 0 0 25 0 1 0 5458023 456380416 109932 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 111421 109932 296 55 0 110313 0
Current children cumulated CPU time (s) 1786.54
Current children cumulated vsize (Kb) 445684

[startup+1788.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11629
/proc/meminfo: memFree=1290440/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=445948 CPUtime=1787.55
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 110133 0 0 0 178551 204 0 0 25 0 1 0 5458023 456650752 109976 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529373 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 111487 109976 296 55 0 110379 0
Current children cumulated CPU time (s) 1787.55
Current children cumulated vsize (Kb) 445948

[startup+1789.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11629
/proc/meminfo: memFree=1290248/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=446080 CPUtime=1788.55
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 110175 0 0 0 178651 204 0 0 25 0 1 0 5458023 456785920 110018 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 111520 110018 296 55 0 110412 0
Current children cumulated CPU time (s) 1788.55
Current children cumulated vsize (Kb) 446080

[startup+1790.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11629
/proc/meminfo: memFree=1290056/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=446412 CPUtime=1789.56
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 110221 0 0 0 178752 204 0 0 25 0 1 0 5458023 457125888 110061 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 111603 110061 296 55 0 110495 0
Current children cumulated CPU time (s) 1789.56
Current children cumulated vsize (Kb) 446412

[startup+1791.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11629
/proc/meminfo: memFree=1290056/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=446412 CPUtime=1790.56
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 110221 0 0 0 178852 204 0 0 25 0 1 0 5458023 457125888 110061 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 111603 110061 296 55 0 110495 0
Current children cumulated CPU time (s) 1790.56
Current children cumulated vsize (Kb) 446412

[startup+1792.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11629
/proc/meminfo: memFree=1289928/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=446544 CPUtime=1791.56
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 110259 0 0 0 178952 204 0 0 25 0 1 0 5458023 457261056 110099 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 111636 110099 296 55 0 110528 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (Kb) 446544

[startup+1793.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11629
/proc/meminfo: memFree=1289800/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=446676 CPUtime=1792.57
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 110292 0 0 0 179053 204 0 0 25 0 1 0 5458023 457396224 110132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 111669 110132 296 55 0 110561 0
Current children cumulated CPU time (s) 1792.57
Current children cumulated vsize (Kb) 446676

[startup+1794.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11629
/proc/meminfo: memFree=1289608/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=446808 CPUtime=1793.57
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 110332 0 0 0 179153 204 0 0 25 0 1 0 5458023 457531392 110172 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537582 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 111702 110172 296 55 0 110594 0
Current children cumulated CPU time (s) 1793.57
Current children cumulated vsize (Kb) 446808

[startup+1795.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11629
/proc/meminfo: memFree=1289352/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=447136 CPUtime=1794.59
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 110401 0 0 0 179254 205 0 0 25 0 1 0 5458023 457867264 110232 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 111784 110232 296 55 0 110676 0
Current children cumulated CPU time (s) 1794.59
Current children cumulated vsize (Kb) 447136

[startup+1796.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11629
/proc/meminfo: memFree=1289288/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=447268 CPUtime=1795.59
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 110422 0 0 0 179354 205 0 0 25 0 1 0 5458023 458002432 110253 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 111817 110253 296 55 0 110709 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (Kb) 447268

[startup+1797.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11629
/proc/meminfo: memFree=1289224/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=447268 CPUtime=1796.6
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 110440 0 0 0 179455 205 0 0 25 0 1 0 5458023 458002432 110271 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 111817 110271 296 55 0 110709 0
Current children cumulated CPU time (s) 1796.6
Current children cumulated vsize (Kb) 447268

[startup+1798.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11629
/proc/meminfo: memFree=1289160/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=447400 CPUtime=1797.6
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 110462 0 0 0 179555 205 0 0 25 0 1 0 5458023 458137600 110293 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550825 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 111850 110293 296 55 0 110742 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (Kb) 447400

[startup+1799.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11629
/proc/meminfo: memFree=1288968/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=447532 CPUtime=1798.6
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 110497 0 0 0 179655 205 0 0 25 0 1 0 5458023 458272768 110328 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 111883 110328 296 55 0 110775 0
Current children cumulated CPU time (s) 1798.6
Current children cumulated vsize (Kb) 447532

[startup+1800.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 11629
/proc/meminfo: memFree=1288776/2055920 swapFree=4192956/4192956
[pid=11434] ppid=11432 vsize=447664 CPUtime=1799.61
/proc/11434/stat : 11434 (bsolo) R 11432 11434 11389 0 -1 0 110547 0 0 0 179756 205 0 0 25 0 1 0 5458023 458407936 110378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540647 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11434/statm: 111916 110378 296 55 0 110808 0
Current children cumulated CPU time (s) 1799.61
Current children cumulated vsize (Kb) 447664

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.07
CPU user time (s): 1797.95
CPU system time (s): 2.12168
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (Kb): 447664

Launcher Data (download as text)

Begin job on node26 on Fri Jun  2 04:34:31 UTC 2006


FILE ID= 39601-1149222871

PBS_JOBID= 295562

BENCH NAME= ROOT/tmp/node26/39601-1149222871/instance-39601-1149222871.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node26/39601-1149222871/instance-39601-1149222871.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node26/watcher-39601-1149222871 -o ROOT/results/node26/solver-39601-1149222871 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node26/39601-1149222871/instance-39601-1149222871.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  733d8edd6a6cbfe19e20f4970079db5a

RANDOM SEED= 608417726


/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.247
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.247
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:       1730840 kB
Buffers:         23136 kB
Cached:         246892 kB
SwapCached:          0 kB
Active:         203424 kB
Inactive:        81116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1730840 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:             124 kB
Writeback:           0 kB
Mapped:          24900 kB
Slab:            26528 kB
Committed_AS:   146568 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node26 on Fri Jun  2 05:04:32 UTC 2006