Trace number 39549

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.06 1800.78

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900557362.opb
MD5SUM0fb4f85eaa7daeec6ae4b4468524bb94
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 benchmark21.7527
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 709
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.07	c Using non-optimization problem switches.
0.07	c No problem reductions applied in OPT. instance.
0.07	c	preprocess terminated. Elapsed time: 0.069
0.07	c After prepocess the problem consists of 231 variables and 2586 constraints.
0.12	c Restart #1 #Var: 231 LB: 0 @ 0.118
0.28	c Restart #2 #Var: 231 LB: 0 @ 0.275
0.54	c Restart #3 #Var: 231 LB: 0 @ 0.537
0.85	c Restart #4 #Var: 231 LB: 0 @ 0.844
1.07	c Restart #5 #Var: 231 LB: 0 @ 1.071
1.39	c Restart #6 #Var: 231 LB: 0 @ 1.382
1.77	c Restart #7 #Var: 231 LB: 0 @ 1.77
2.19	c Restart #8 #Var: 231 LB: 0 @ 2.19
2.63	c Restart #9 #Var: 231 LB: 0 @ 2.623
3.14	c Restart #10 #Var: 231 LB: 0 @ 3.131
3.86	c Restart #11 #Var: 231 LB: 0 @ 3.851
4.54	c Restart #12 #Var: 231 LB: 0 @ 4.534
5.36	c Restart #13 #Var: 231 LB: 0 @ 5.355
6.53	c Restart #14 #Var: 231 LB: 0 @ 6.521
7.68	c Restart #15 #Var: 231 LB: 0 @ 7.676
9.21	c Restart #16 #Var: 231 LB: 0 @ 9.205
10.58	c Restart #17 #Var: 231 LB: 0 @ 10.566
12.47	c Restart #18 #Var: 231 LB: 0 @ 12.454
15.17	c Restart #19 #Var: 231 LB: 0 @ 15.157
17.81	c Restart #20 #Var: 231 LB: 0 @ 17.796
21.74	c Restart #21 #Var: 231 LB: 0 @ 21.726
26.03	c Restart #22 #Var: 231 LB: 0 @ 26.018
30.75	c Restart #23 #Var: 231 LB: 0 @ 30.733
35.21	c Restart #24 #Var: 231 LB: 0 @ 35.193
39.44	c Restart #25 #Var: 231 LB: 0 @ 39.417
44.26	c Restart #26 #Var: 231 LB: 0 @ 44.242
50.95	c Restart #27 #Var: 231 LB: 0 @ 50.927
56.13	c Restart #28 #Var: 231 LB: 0 @ 56.101
62.64	c Restart #29 #Var: 231 LB: 0 @ 62.609
67.80	c Restart #30 #Var: 231 LB: 0 @ 67.768
73.86	c Restart #31 #Var: 231 LB: 0 @ 73.831
82.92	c Restart #32 #Var: 231 LB: 0 @ 82.881
91.15	c Restart #33 #Var: 231 LB: 0 @ 91.109
100.28	c Restart #34 #Var: 231 LB: 0 @ 100.24
109.71	c Restart #35 #Var: 231 LB: 0 @ 109.66
120.56	c Restart #36 #Var: 231 LB: 0 @ 120.51
131.15	c Restart #37 #Var: 231 LB: 0 @ 131.09
143.26	c Restart #38 #Var: 231 LB: 0 @ 143.21
158.28	c Restart #39 #Var: 231 LB: 0 @ 158.21
171.48	c Restart #40 #Var: 231 LB: 0 @ 171.42
186.34	c Restart #41 #Var: 231 LB: 0 @ 186.27
200.69	c Restart #42 #Var: 231 LB: 0 @ 200.61
216.43	c Restart #43 #Var: 231 LB: 0 @ 216.35
235.04	c Restart #44 #Var: 231 LB: 0 @ 234.95
252.45	c Restart #45 #Var: 231 LB: 0 @ 252.28
285.15	c Restart #46 #Var: 231 LB: 0 @ 284.96
320.02	c Restart #47 #Var: 231 LB: 0 @ 319.83
345.21	c Restart #48 #Var: 231 LB: 0 @ 345.01
368.26	c Restart #49 #Var: 231 LB: 0 @ 368.06
400.22	c Restart #50 #Var: 231 LB: 0 @ 400
422.93	c Restart #51 #Var: 231 LB: 0 @ 422.71
459.02	c Restart #52 #Var: 231 LB: 0 @ 458.78
487.23	c Restart #53 #Var: 231 LB: 0 @ 486.98
549.49	c Restart #54 #Var: 231 LB: 0 @ 549.22
571.29	c Restart #55 #Var: 231 LB: 0 @ 571.01
609.15	c Restart #56 #Var: 231 LB: 0 @ 608.86
635.77	c Restart #57 #Var: 231 LB: 0 @ 635.47
686.84	c Restart #58 #Var: 231 LB: 0 @ 686.51
727.15	c Restart #59 #Var: 231 LB: 0 @ 726.82
768.13	c Restart #60 #Var: 231 LB: 0 @ 767.78
803.58	c Restart #61 #Var: 231 LB: 0 @ 803.22
842.74	c Restart #62 #Var: 231 LB: 0 @ 842.37
872.53	c Restart #63 #Var: 231 LB: 0 @ 872.15
922.35	c CHANGE Heuristic... 
922.35	c Restart #0 #Var: 231 LB: 0 @ 921.94
927.64	c Restart #1 #Var: 231 LB: 0 @ 927.23
931.30	c Restart #2 #Var: 231 LB: 0 @ 930.9
935.84	c Restart #3 #Var: 231 LB: 0 @ 935.43
942.56	c Restart #4 #Var: 231 LB: 0 @ 942.15
948.86	c Restart #5 #Var: 231 LB: 0 @ 948.45
955.30	c Restart #6 #Var: 231 LB: 0 @ 954.88
964.25	c Restart #7 #Var: 231 LB: 0 @ 963.83
983.34	c Restart #8 #Var: 231 LB: 0 @ 982.91
995.00	c Restart #9 #Var: 231 LB: 0 @ 994.57
1008.70	c Restart #10 #Var: 231 LB: 0 @ 1008.3
1021.73	c Restart #11 #Var: 231 LB: 0 @ 1021.3
1037.32	c Restart #12 #Var: 231 LB: 0 @ 1036.9
1051.93	c Restart #13 #Var: 231 LB: 0 @ 1051.5
1067.28	c Restart #14 #Var: 231 LB: 0 @ 1066.8
1083.60	c Restart #15 #Var: 231 LB: 0 @ 1083.1
1097.42	c Restart #16 #Var: 231 LB: 0 @ 1097
1117.15	c Restart #17 #Var: 231 LB: 0 @ 1116.7
1133.70	c Restart #18 #Var: 231 LB: 0 @ 1133.2
1151.47	c Restart #19 #Var: 231 LB: 0 @ 1151
1170.53	c Restart #20 #Var: 231 LB: 0 @ 1170
1189.45	c Restart #21 #Var: 231 LB: 0 @ 1189
1207.95	c Restart #22 #Var: 231 LB: 0 @ 1207.4
1232.01	c Restart #23 #Var: 231 LB: 0 @ 1231.5
1255.38	c Restart #24 #Var: 231 LB: 0 @ 1254.9
1277.27	c Restart #25 #Var: 231 LB: 0 @ 1276.7
1301.20	c Restart #26 #Var: 231 LB: 0 @ 1300.7
1325.13	c Restart #27 #Var: 231 LB: 0 @ 1324.6
1347.90	c Restart #28 #Var: 231 LB: 0 @ 1347.3
1370.90	c Restart #29 #Var: 231 LB: 0 @ 1370.3
1404.66	c Restart #30 #Var: 231 LB: 0 @ 1404.1
1441.85	c Restart #31 #Var: 231 LB: 0 @ 1441.3
1464.41	c Restart #32 #Var: 231 LB: 0 @ 1463.8
1497.79	c Restart #33 #Var: 231 LB: 0 @ 1497.2
1525.64	c Restart #34 #Var: 231 LB: 0 @ 1525
1572.89	c Restart #35 #Var: 231 LB: 0 @ 1572.3
1608.21	c Restart #36 #Var: 231 LB: 0 @ 1607.6
1651.64	c Restart #37 #Var: 231 LB: 0 @ 1651
1686.90	c Restart #38 #Var: 231 LB: 0 @ 1686.2
1732.50	c Restart #39 #Var: 231 LB: 0 @ 1731.8
1769.34	c Restart #40 #Var: 231 LB: 0 @ 1768.6
1800.71	s UNKNOWN
1800.71	c Exit Code: 0
1800.71	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/node75/watcher-39549-1149217022 -o ROOT/results/node75/solver-39549-1149217022 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node75/39549-1149217022/instance-39549-1149217022.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 3/64 6335
/proc/meminfo: memFree=1602144/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=4616 CPUtime=0
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 193 0 0 0 0 0 0 0 19 0 1 0 187365557 4726784 163 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4157988912 0 0 4096 0 0 0 0 17 1 0 0
/proc/6335/statm: 1154 174 132 55 0 46 0

[startup+10.0022 s]
/proc/loadavg: 0.93 0.95 0.90 2/64 6335
/proc/meminfo: memFree=1583600/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=23088 CPUtime=9.98
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 5034 0 0 0 992 6 0 0 25 0 1 0 187365557 23642112 4949 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 5772 4949 296 55 0 4664 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 23088

[startup+20.0082 s]
/proc/loadavg: 0.94 0.96 0.91 2/64 6335
/proc/meminfo: memFree=1574576/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=32072 CPUtime=19.98
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 7287 0 0 0 1990 8 0 0 25 0 1 0 187365557 32841728 7202 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 8018 7202 296 55 0 6910 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 32072

[startup+30.0142 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 6335
/proc/meminfo: memFree=1567856/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=38804 CPUtime=29.99
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 8964 0 0 0 2988 11 0 0 25 0 1 0 187365557 39735296 8879 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 9701 8879 296 55 0 8593 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 38804

[startup+40.0202 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 6335
/proc/meminfo: memFree=1560944/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=45668 CPUtime=39.99
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 10687 0 0 0 3985 14 0 0 25 0 1 0 187365557 46764032 10602 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 11417 10602 296 55 0 10309 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 45668

[startup+50.0261 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 6335
/proc/meminfo: memFree=1554608/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=52136 CPUtime=49.99
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 12276 0 0 0 4983 16 0 0 25 0 1 0 187365557 53387264 12191 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 13034 12191 296 55 0 11926 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 52136

[startup+60.0321 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 6335
/proc/meminfo: memFree=1548592/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=58080 CPUtime=59.99
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 13773 0 0 0 5980 19 0 0 25 0 1 0 187365557 59473920 13688 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 14520 13688 296 55 0 13412 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 58080

[startup+70.0391 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 6335
/proc/meminfo: memFree=1542192/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=64416 CPUtime=69.99
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 15374 0 0 0 6978 21 0 0 25 0 1 0 187365557 65961984 15289 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 16104 15289 296 55 0 14996 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 64416

[startup+80.0461 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 6335
/proc/meminfo: memFree=1537264/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=69448 CPUtime=80
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 16608 0 0 0 7976 24 0 0 25 0 1 0 187365557 71114752 16523 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537587 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 17362 16523 296 55 0 16254 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 69448

[startup+90.0521 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 6335
/proc/meminfo: memFree=1532400/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=74332 CPUtime=90
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 17822 0 0 0 8974 26 0 0 25 0 1 0 187365557 76115968 17737 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528689 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 18583 17737 296 55 0 17475 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 74332

[startup+100.059 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 6335
/proc/meminfo: memFree=1527472/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=79232 CPUtime=100
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 19048 0 0 0 9973 27 0 0 25 0 1 0 187365557 81133568 18963 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540688 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 19808 18963 296 55 0 18700 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 79232

[startup+110.066 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 6335
/proc/meminfo: memFree=1522800/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=83872 CPUtime=110.01
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 20217 0 0 0 10971 30 0 0 25 0 1 0 187365557 85884928 20132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 20968 20132 296 55 0 19860 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 83872

[startup+120.072 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6335
/proc/meminfo: memFree=1518256/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=88356 CPUtime=120.01
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 21344 0 0 0 11969 32 0 0 25 0 1 0 187365557 90476544 21259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548503 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 22089 21259 296 55 0 20981 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 88356

[startup+130.078 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6335
/proc/meminfo: memFree=1513648/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=92988 CPUtime=130.02
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 22500 0 0 0 12967 35 0 0 25 0 1 0 187365557 95219712 22415 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 23247 22415 296 55 0 22139 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 92988

[startup+140.085 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6335
/proc/meminfo: memFree=1509552/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=97080 CPUtime=140.02
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 23511 0 0 0 13966 36 0 0 25 0 1 0 187365557 99409920 23426 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134595889 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 24270 23426 296 55 0 23162 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 97080

[startup+150.091 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6335
/proc/meminfo: memFree=1505904/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=100796 CPUtime=150.02
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 24432 0 0 0 14964 38 0 0 25 0 1 0 187365557 103215104 24347 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 25199 24347 296 55 0 24091 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 100796

[startup+160.097 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6335
/proc/meminfo: memFree=1502512/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=104236 CPUtime=160.03
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 25272 0 0 0 15963 40 0 0 25 0 1 0 187365557 106737664 25187 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 26059 25187 296 55 0 24951 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 104236

[startup+170.103 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6335
/proc/meminfo: memFree=1498288/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=108460 CPUtime=170.03
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 26325 0 0 0 16961 42 0 0 25 0 1 0 187365557 111063040 26240 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 27115 26240 296 55 0 26007 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 108460

[startup+180.109 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6335
/proc/meminfo: memFree=1494384/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=112320 CPUtime=180.03
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 27297 0 0 0 17959 44 0 0 25 0 1 0 187365557 115015680 27211 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7169659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 28080 27211 296 55 0 26972 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 112320

[startup+190.115 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6335
/proc/meminfo: memFree=1490480/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=116280 CPUtime=190.04
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 28271 0 0 0 18958 46 0 0 25 0 1 0 187365557 119070720 28185 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 29070 28185 296 55 0 27962 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 116280

[startup+200.121 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6335
/proc/meminfo: memFree=1486128/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=120508 CPUtime=200.03
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 29360 0 0 0 19956 47 0 0 25 0 1 0 187365557 123400192 29274 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 30127 29274 296 55 0 29019 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 120508

[startup+210.127 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6335
/proc/meminfo: memFree=1482928/2055920 swapFree=4182500/4192956

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

/proc/6335/statm: 100803 99276 296 55 0 99695 0
Current children cumulated CPU time (s) 1760.38
Current children cumulated vsize (Kb) 403212

[startup+1771.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6530
/proc/meminfo: memFree=1203120/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=405456 CPUtime=1770.38
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 100014 0 0 0 176849 189 0 0 25 0 1 0 187365557 415186944 99841 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 101364 99841 296 55 0 100256 0
Current children cumulated CPU time (s) 1770.38
Current children cumulated vsize (Kb) 405456

[startup+1781.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6530
/proc/meminfo: memFree=1201904/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=406712 CPUtime=1780.38
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 100324 0 0 0 177849 189 0 0 25 0 1 0 187365557 416473088 100150 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 101678 100150 296 55 0 100570 0
Current children cumulated CPU time (s) 1780.38
Current children cumulated vsize (Kb) 406712

[startup+1782.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6530
/proc/meminfo: memFree=1201584/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=406976 CPUtime=1781.38
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 100399 0 0 0 177949 189 0 0 25 0 1 0 187365557 416743424 100225 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 101744 100225 296 55 0 100636 0
Current children cumulated CPU time (s) 1781.38
Current children cumulated vsize (Kb) 406976

[startup+1783.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6530
/proc/meminfo: memFree=1201328/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=407240 CPUtime=1782.39
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 100464 0 0 0 178049 190 0 0 25 0 1 0 187365557 417013760 100290 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 101810 100290 296 55 0 100702 0
Current children cumulated CPU time (s) 1782.39
Current children cumulated vsize (Kb) 407240

[startup+1784.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6530
/proc/meminfo: memFree=1201072/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=407504 CPUtime=1783.4
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 100530 0 0 0 178150 190 0 0 25 0 1 0 187365557 417284096 100356 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551565 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 101876 100356 296 55 0 100768 0
Current children cumulated CPU time (s) 1783.4
Current children cumulated vsize (Kb) 407504

[startup+1785.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6530
/proc/meminfo: memFree=1200944/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=407636 CPUtime=1784.4
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 100562 0 0 0 178250 190 0 0 25 0 1 0 187365557 417419264 100388 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 101909 100388 296 55 0 100801 0
Current children cumulated CPU time (s) 1784.4
Current children cumulated vsize (Kb) 407636

[startup+1786.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6530
/proc/meminfo: memFree=1200880/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=407768 CPUtime=1785.41
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 100576 0 0 0 178351 190 0 0 25 0 1 0 187365557 417554432 100402 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 101942 100402 296 55 0 100834 0
Current children cumulated CPU time (s) 1785.41
Current children cumulated vsize (Kb) 407768

[startup+1787.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6530
/proc/meminfo: memFree=1200816/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=407768 CPUtime=1786.41
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 100594 0 0 0 178451 190 0 0 25 0 1 0 187365557 417554432 100420 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548612 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 101942 100420 296 55 0 100834 0
Current children cumulated CPU time (s) 1786.41
Current children cumulated vsize (Kb) 407768

[startup+1788.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6530
/proc/meminfo: memFree=1200688/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=407900 CPUtime=1787.41
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 100624 0 0 0 178551 190 0 0 25 0 1 0 187365557 417689600 100450 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 101975 100450 296 55 0 100867 0
Current children cumulated CPU time (s) 1787.41
Current children cumulated vsize (Kb) 407900

[startup+1789.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6530
/proc/meminfo: memFree=1200624/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=407900 CPUtime=1788.42
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 100632 0 0 0 178652 190 0 0 25 0 1 0 187365557 417689600 100458 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 101975 100458 296 55 0 100867 0
Current children cumulated CPU time (s) 1788.42
Current children cumulated vsize (Kb) 407900

[startup+1790.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6530
/proc/meminfo: memFree=1200560/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=408032 CPUtime=1789.42
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 100655 0 0 0 178752 190 0 0 25 0 1 0 187365557 417824768 100481 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 102008 100481 296 55 0 100900 0
Current children cumulated CPU time (s) 1789.42
Current children cumulated vsize (Kb) 408032

[startup+1791.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6530
/proc/meminfo: memFree=1200432/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=408164 CPUtime=1790.42
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 100683 0 0 0 178852 190 0 0 25 0 1 0 187365557 417959936 100509 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 102041 100509 296 55 0 100933 0
Current children cumulated CPU time (s) 1790.42
Current children cumulated vsize (Kb) 408164

[startup+1792.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6530
/proc/meminfo: memFree=1200240/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=408296 CPUtime=1791.43
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 100733 0 0 0 178952 191 0 0 25 0 1 0 187365557 418095104 100559 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 102074 100559 296 55 0 100966 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (Kb) 408296

[startup+1793.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6530
/proc/meminfo: memFree=1199984/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=408560 CPUtime=1792.44
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 100791 0 0 0 179053 191 0 0 25 0 1 0 187365557 418365440 100617 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 102140 100617 296 55 0 101032 0
Current children cumulated CPU time (s) 1792.44
Current children cumulated vsize (Kb) 408560

[startup+1794.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6530
/proc/meminfo: memFree=1199856/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=408692 CPUtime=1793.44
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 100831 0 0 0 179153 191 0 0 25 0 1 0 187365557 418500608 100657 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534985 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 102173 100657 296 55 0 101065 0
Current children cumulated CPU time (s) 1793.44
Current children cumulated vsize (Kb) 408692

[startup+1795.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6530
/proc/meminfo: memFree=1199664/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=408956 CPUtime=1794.45
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 100884 0 0 0 179254 191 0 0 25 0 1 0 187365557 418770944 100710 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 102239 100710 296 55 0 101131 0
Current children cumulated CPU time (s) 1794.45
Current children cumulated vsize (Kb) 408956

[startup+1796.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6530
/proc/meminfo: memFree=1199600/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=408956 CPUtime=1795.45
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 100889 0 0 0 179354 191 0 0 25 0 1 0 187365557 418770944 100715 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 102239 100715 296 55 0 101131 0
Current children cumulated CPU time (s) 1795.45
Current children cumulated vsize (Kb) 408956

[startup+1797.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6530
/proc/meminfo: memFree=1199536/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=409088 CPUtime=1796.45
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 100905 0 0 0 179454 191 0 0 25 0 1 0 187365557 418906112 100731 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 102272 100731 296 55 0 101164 0
Current children cumulated CPU time (s) 1796.45
Current children cumulated vsize (Kb) 409088

[startup+1798.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6530
/proc/meminfo: memFree=1199472/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=409088 CPUtime=1797.46
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 100927 0 0 0 179555 191 0 0 25 0 1 0 187365557 418906112 100753 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 102272 100753 296 55 0 101164 0
Current children cumulated CPU time (s) 1797.46
Current children cumulated vsize (Kb) 409088

[startup+1799.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6530
/proc/meminfo: memFree=1199344/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=409220 CPUtime=1798.46
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 100949 0 0 0 179655 191 0 0 25 0 1 0 187365557 419041280 100775 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 102305 100775 296 55 0 101197 0
Current children cumulated CPU time (s) 1798.46
Current children cumulated vsize (Kb) 409220

[startup+1800.19 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 6530
/proc/meminfo: memFree=1199280/2055920 swapFree=4182500/4192956
[pid=6335] ppid=6333 vsize=409220 CPUtime=1799.47
/proc/6335/stat : 6335 (bsolo) R 6333 6335 6290 0 -1 0 100966 0 0 0 179756 191 0 0 25 0 1 0 187365557 419041280 100792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6335/statm: 102305 100792 296 55 0 101197 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (Kb) 409220

Child status: 0
Real time (s): 1800.78
CPU time (s): 1800.06
CPU user time (s): 1798.09
CPU system time (s): 1.9747
CPU usage (%): 99.9602
Max. virtual memory (cumulated for all children) (Kb): 409220

Launcher Data (download as text)

Begin job on node75 on Fri Jun  2 02:57:02 UTC 2006


FILE ID= 39549-1149217022

PBS_JOBID= 294894

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  0fb4f85eaa7daeec6ae4b4468524bb94

RANDOM SEED= 474919768


/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:       1602416 kB
Buffers:         39044 kB
Cached:         337196 kB
SwapCached:       2452 kB
Active:         109448 kB
Inactive:       275756 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1602416 kB
SwapTotal:     4192956 kB
SwapFree:      4182500 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          16020 kB
Slab:            54200 kB
Committed_AS:   232124 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 Fri Jun  2 03:27:02 UTC 2006