Trace number 39556

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.08 1800.77

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900670675.opb
MD5SUMc118a5f7f4e95d7123e302378befd6ff
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 benchmark55.0486
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 671
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.07	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.076
0.08	c After prepocess the problem consists of 231 variables and 2586 constraints.
0.12	c Restart #1 #Var: 231 LB: 0 @ 0.113
0.23	c Restart #2 #Var: 231 LB: 0 @ 0.23
0.36	c Restart #3 #Var: 231 LB: 0 @ 0.361
0.54	c Restart #4 #Var: 231 LB: 0 @ 0.532
0.75	c Restart #5 #Var: 231 LB: 0 @ 0.751
1.03	c Restart #6 #Var: 231 LB: 0 @ 1.025
1.38	c Restart #7 #Var: 231 LB: 0 @ 1.376
1.77	c Restart #8 #Var: 231 LB: 0 @ 1.767
2.29	c Restart #9 #Var: 231 LB: 0 @ 2.284
2.80	c Restart #10 #Var: 231 LB: 0 @ 2.797
3.36	c Restart #11 #Var: 231 LB: 0 @ 3.352
4.12	c Restart #12 #Var: 231 LB: 0 @ 4.113
5.00	c Restart #13 #Var: 231 LB: 0 @ 4.999
5.90	c Restart #14 #Var: 231 LB: 0 @ 5.898
7.07	c Restart #15 #Var: 231 LB: 0 @ 7.068
8.26	c Restart #16 #Var: 231 LB: 0 @ 8.249
9.64	c Restart #17 #Var: 231 LB: 0 @ 9.635
12.11	c Restart #18 #Var: 231 LB: 0 @ 12.098
14.08	c Restart #19 #Var: 231 LB: 0 @ 14.073
16.59	c Restart #20 #Var: 231 LB: 0 @ 16.576
20.03	c Restart #21 #Var: 231 LB: 0 @ 20.013
24.39	c Restart #22 #Var: 231 LB: 0 @ 24.374
27.65	c Restart #23 #Var: 231 LB: 0 @ 27.63
30.97	c Restart #24 #Var: 231 LB: 0 @ 30.951
34.77	c Restart #25 #Var: 231 LB: 0 @ 34.748
39.10	c Restart #26 #Var: 231 LB: 0 @ 39.077
43.73	c Restart #27 #Var: 231 LB: 0 @ 43.706
47.98	c Restart #28 #Var: 231 LB: 0 @ 47.952
53.44	c Restart #29 #Var: 231 LB: 0 @ 53.416
58.70	c Restart #30 #Var: 231 LB: 0 @ 58.672
64.10	c Restart #31 #Var: 231 LB: 0 @ 64.065
69.91	c Restart #32 #Var: 231 LB: 0 @ 69.875
76.88	c Restart #33 #Var: 231 LB: 0 @ 76.839
85.13	c Restart #34 #Var: 231 LB: 0 @ 85.092
93.09	c Restart #35 #Var: 231 LB: 0 @ 93.045
99.23	c Restart #36 #Var: 231 LB: 0 @ 99.18
108.92	c Restart #37 #Var: 231 LB: 0 @ 108.87
117.44	c Restart #38 #Var: 231 LB: 0 @ 117.39
131.47	c Restart #39 #Var: 231 LB: 0 @ 131.41
141.47	c Restart #40 #Var: 231 LB: 0 @ 141.41
154.68	c Restart #41 #Var: 231 LB: 0 @ 154.61
171.74	c Restart #42 #Var: 231 LB: 0 @ 171.67
185.67	c Restart #43 #Var: 231 LB: 0 @ 185.59
198.72	c Restart #44 #Var: 231 LB: 0 @ 198.64
213.57	c Restart #45 #Var: 231 LB: 0 @ 213.48
231.44	c Restart #46 #Var: 231 LB: 0 @ 231.34
244.92	c Restart #47 #Var: 231 LB: 0 @ 244.81
263.98	c Restart #48 #Var: 231 LB: 0 @ 263.87
284.23	c Restart #49 #Var: 231 LB: 0 @ 284.12
299.94	c Restart #50 #Var: 231 LB: 0 @ 299.82
314.63	c Restart #51 #Var: 231 LB: 0 @ 314.5
342.68	c Restart #52 #Var: 231 LB: 0 @ 342.54
363.80	c Restart #53 #Var: 231 LB: 0 @ 363.65
397.46	c Restart #54 #Var: 231 LB: 0 @ 397.3
420.96	c Restart #55 #Var: 231 LB: 0 @ 420.8
455.06	c Restart #56 #Var: 231 LB: 0 @ 454.88
476.36	c Restart #57 #Var: 231 LB: 0 @ 476.17
505.29	c Restart #58 #Var: 231 LB: 0 @ 505.09
547.70	c Restart #59 #Var: 231 LB: 0 @ 547.49
582.19	c Restart #60 #Var: 231 LB: 0 @ 581.96
614.82	c Restart #61 #Var: 231 LB: 0 @ 614.58
641.56	c Restart #62 #Var: 231 LB: 0 @ 641.31
676.84	c Restart #63 #Var: 231 LB: 0 @ 676.58
729.61	c Restart #64 #Var: 231 LB: 0 @ 729.33
766.39	c Restart #65 #Var: 231 LB: 0 @ 766.1
800.90	c Restart #66 #Var: 231 LB: 0 @ 800.59
842.47	c Restart #67 #Var: 231 LB: 0 @ 842.15
875.59	c Restart #68 #Var: 231 LB: 0 @ 875.25
917.81	c CHANGE Heuristic... 
917.81	c Restart #0 #Var: 231 LB: 0 @ 917.45
927.31	c Restart #1 #Var: 231 LB: 0 @ 926.95
933.56	c Restart #2 #Var: 231 LB: 0 @ 933.2
937.67	c Restart #3 #Var: 231 LB: 0 @ 937.31
944.42	c Restart #4 #Var: 231 LB: 0 @ 944.05
948.95	c Restart #5 #Var: 231 LB: 0 @ 948.58
957.04	c Restart #6 #Var: 231 LB: 0 @ 956.68
963.83	c Restart #7 #Var: 231 LB: 0 @ 963.46
973.12	c Restart #8 #Var: 231 LB: 0 @ 972.75
982.53	c Restart #9 #Var: 231 LB: 0 @ 982.15
999.22	c Restart #10 #Var: 231 LB: 0 @ 998.83
1009.64	c Restart #11 #Var: 231 LB: 0 @ 1009.2
1019.18	c Restart #12 #Var: 231 LB: 0 @ 1018.8
1031.20	c Restart #13 #Var: 231 LB: 0 @ 1030.8
1044.47	c Restart #14 #Var: 231 LB: 0 @ 1044.1
1062.71	c Restart #15 #Var: 231 LB: 0 @ 1062.3
1079.56	c Restart #16 #Var: 231 LB: 0 @ 1079.1
1098.97	c Restart #17 #Var: 231 LB: 0 @ 1098.5
1113.31	c Restart #18 #Var: 231 LB: 0 @ 1112.9
1130.82	c Restart #19 #Var: 231 LB: 0 @ 1130.4
1144.25	c Restart #20 #Var: 231 LB: 0 @ 1143.8
1163.78	c Restart #21 #Var: 231 LB: 0 @ 1163.3
1180.15	c Restart #22 #Var: 231 LB: 0 @ 1179.7
1202.14	c Restart #23 #Var: 231 LB: 0 @ 1201.7
1221.48	c Restart #24 #Var: 231 LB: 0 @ 1221
1241.43	c Restart #25 #Var: 231 LB: 0 @ 1241
1263.47	c Restart #26 #Var: 231 LB: 0 @ 1263
1285.21	c Restart #27 #Var: 231 LB: 0 @ 1284.7
1305.52	c Restart #28 #Var: 231 LB: 0 @ 1305
1321.96	c Restart #29 #Var: 231 LB: 0 @ 1321.5
1350.58	c Restart #30 #Var: 231 LB: 0 @ 1350.1
1378.21	c Restart #31 #Var: 231 LB: 0 @ 1377.7
1409.69	c Restart #32 #Var: 231 LB: 0 @ 1409.1
1434.41	c Restart #33 #Var: 231 LB: 0 @ 1433.9
1459.03	c Restart #34 #Var: 231 LB: 0 @ 1458.5
1492.11	c Restart #35 #Var: 231 LB: 0 @ 1491.5
1523.48	c Restart #36 #Var: 231 LB: 0 @ 1522.9
1555.55	c Restart #37 #Var: 231 LB: 0 @ 1555
1590.94	c Restart #38 #Var: 231 LB: 0 @ 1590.3
1628.17	c Restart #39 #Var: 231 LB: 0 @ 1627.6
1669.88	c Restart #40 #Var: 231 LB: 0 @ 1669.2
1723.37	c Restart #41 #Var: 231 LB: 0 @ 1722.7
1763.85	c Restart #42 #Var: 231 LB: 0 @ 1763.2
1800.69	s UNKNOWN
1800.69	c Exit Code: 0
1800.69	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/node91/watcher-39556-1149217858 -o ROOT/results/node91/solver-39556-1149217858 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node91/39556-1149217858/instance-39556-1149217858.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.93 0.99 0.93 3/68 21623
/proc/meminfo: memFree=1695472/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=4672 CPUtime=0
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 154 0 0 0 0 0 0 0 18 0 1 0 187424765 4784128 135 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1252660 0 0 4096 0 0 0 0 17 1 0 0
/proc/21623/statm: 1168 135 105 55 0 46 0

[startup+10.0024 s]
/proc/loadavg: 0.94 0.99 0.93 2/68 21623
/proc/meminfo: memFree=1675192/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=24944 CPUtime=9.98
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 5485 0 0 0 994 4 0 0 25 0 1 0 187424765 25542656 5401 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 6236 5401 293 55 0 5127 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 24944

[startup+20.0083 s]
/proc/loadavg: 0.95 0.99 0.93 2/68 21623
/proc/meminfo: memFree=1665784/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=34316 CPUtime=19.98
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 7823 0 0 0 1991 7 0 0 25 0 1 0 187424765 35139584 7739 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 8579 7739 293 55 0 7470 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 34316

[startup+30.0143 s]
/proc/loadavg: 0.96 0.99 0.93 2/68 21623
/proc/meminfo: memFree=1658360/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=41712 CPUtime=29.98
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 9685 0 0 0 2988 10 0 0 25 0 1 0 187424765 42713088 9601 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 10428 9601 293 55 0 9319 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 41712

[startup+40.0203 s]
/proc/loadavg: 0.96 0.99 0.93 2/68 21623
/proc/meminfo: memFree=1650552/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=49504 CPUtime=39.99
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 11615 0 0 0 3986 13 0 0 25 0 1 0 187424765 50692096 11531 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 12376 11531 293 55 0 11267 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 49504

[startup+50.0272 s]
/proc/loadavg: 0.97 0.99 0.93 2/68 21623
/proc/meminfo: memFree=1642936/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=57180 CPUtime=49.99
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 13539 0 0 0 4983 16 0 0 25 0 1 0 187424765 58552320 13455 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548771 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 14295 13455 293 55 0 13186 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 57180

[startup+60.0332 s]
/proc/loadavg: 0.97 0.99 0.93 2/68 21623
/proc/meminfo: memFree=1635896/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=64204 CPUtime=59.99
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 15287 0 0 0 5981 18 0 0 25 0 1 0 187424765 65744896 15203 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 16051 15203 293 55 0 14942 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 64204

[startup+70.0392 s]
/proc/loadavg: 0.98 0.99 0.93 2/68 21623
/proc/meminfo: memFree=1628472/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=71604 CPUtime=70
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 17137 0 0 0 6979 21 0 0 25 0 1 0 187424765 73322496 17053 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1718315 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 17901 17053 293 55 0 16792 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 71604

[startup+80.0461 s]
/proc/loadavg: 0.98 0.99 0.93 2/68 21623
/proc/meminfo: memFree=1622840/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=77304 CPUtime=80
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 18552 0 0 0 7976 24 0 0 25 0 1 0 187424765 79159296 18468 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 19326 18468 293 55 0 18217 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 77304

[startup+90.0521 s]
/proc/loadavg: 0.98 0.99 0.93 2/68 21623
/proc/meminfo: memFree=1617016/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=83136 CPUtime=90.01
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 20004 0 0 0 8974 27 0 0 25 0 1 0 187424765 85131264 19920 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 20784 19920 293 55 0 19675 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 83136

[startup+100.058 s]
/proc/loadavg: 0.98 0.99 0.93 2/68 21623
/proc/meminfo: memFree=1609976/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=90140 CPUtime=100.01
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 21763 0 0 0 9971 30 0 0 25 0 1 0 187424765 92303360 21679 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 22535 21679 293 55 0 21426 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 90140

[startup+110.064 s]
/proc/loadavg: 0.99 0.99 0.93 2/68 21623
/proc/meminfo: memFree=1605048/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=95036 CPUtime=110
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 22990 0 0 0 10969 31 0 0 25 0 1 0 187424765 97316864 22906 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 23759 22906 293 55 0 22650 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 95036

[startup+120.07 s]
/proc/loadavg: 0.99 0.99 0.93 2/68 21623
/proc/meminfo: memFree=1599544/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=100588 CPUtime=120.01
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 24365 0 0 0 11967 34 0 0 25 0 1 0 187424765 103002112 24281 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 25147 24281 293 55 0 24038 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 100588

[startup+130.076 s]
/proc/loadavg: 0.99 0.99 0.93 2/68 21623
/proc/meminfo: memFree=1595896/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=104284 CPUtime=130.01
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 25283 0 0 0 12966 35 0 0 25 0 1 0 187424765 106786816 25199 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 26071 25199 293 55 0 24962 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 104284

[startup+140.082 s]
/proc/loadavg: 0.99 0.99 0.93 2/68 21623
/proc/meminfo: memFree=1590840/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=109428 CPUtime=140.01
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 26538 0 0 0 13964 37 0 0 25 0 1 0 187424765 112054272 26454 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1718315 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 27357 26454 293 55 0 26248 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 109428

[startup+150.088 s]
/proc/loadavg: 0.99 0.99 0.93 2/68 21623
/proc/meminfo: memFree=1586232/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=114056 CPUtime=150.01
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 27694 0 0 0 14961 40 0 0 25 0 1 0 187424765 116793344 27610 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 28514 27610 293 55 0 27405 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 114056

[startup+160.094 s]
/proc/loadavg: 0.99 0.99 0.93 2/68 21623
/proc/meminfo: memFree=1582520/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=117644 CPUtime=160.01
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 28609 0 0 0 15960 41 0 0 25 0 1 0 187424765 120467456 28525 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 29411 28525 293 55 0 28302 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 117644

[startup+170.1 s]
/proc/loadavg: 0.99 0.99 0.93 2/68 21623
/proc/meminfo: memFree=1579000/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=121212 CPUtime=170.01
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 29478 0 0 0 16958 43 0 0 25 0 1 0 187424765 124121088 29393 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 30303 29393 293 55 0 29194 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 121212

[startup+180.106 s]
/proc/loadavg: 0.99 0.99 0.93 2/68 21623
/proc/meminfo: memFree=1575352/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=124904 CPUtime=180.02
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 30396 0 0 0 17957 45 0 0 25 0 1 0 187424765 127901696 30311 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 31226 30311 293 55 0 30117 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 124904

[startup+190.112 s]
/proc/loadavg: 0.99 0.99 0.93 2/68 21623
/proc/meminfo: memFree=1571256/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=129028 CPUtime=190.02
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 31432 0 0 0 18956 46 0 0 25 0 1 0 187424765 132124672 31346 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 32257 31346 293 55 0 31148 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 129028

[startup+200.118 s]
/proc/loadavg: 0.99 0.99 0.93 2/68 21623
/proc/meminfo: memFree=1566328/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=134048 CPUtime=200.02
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 32658 0 0 0 19953 49 0 0 25 0 1 0 187424765 137265152 32570 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 33512 32570 293 55 0 32403 0
Current children cumulated CPU time (s) 200.02
Current children cumulated vsize (Kb) 134048

[startup+210.124 s]
/proc/loadavg: 0.99 0.99 0.93 2/68 21623
/proc/meminfo: memFree=1562360/2055892 swapFree=4085380/4096564

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

/proc/21623/statm: 121356 119649 293 55 0 120247 0
Current children cumulated CPU time (s) 1760.38
Current children cumulated vsize (Kb) 485424

[startup+1771.06 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 21625
/proc/meminfo: memFree=1215672/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=486744 CPUtime=1770.37
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 120170 0 0 0 176828 209 0 0 25 0 1 0 187424765 498425856 119993 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 121686 119993 293 55 0 120577 0
Current children cumulated CPU time (s) 1770.37
Current children cumulated vsize (Kb) 486744

[startup+1781.07 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 21625
/proc/meminfo: memFree=1213752/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=488720 CPUtime=1780.38
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 120664 0 0 0 177828 210 0 0 25 0 1 0 187424765 500449280 120487 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 122180 120487 293 55 0 121071 0
Current children cumulated CPU time (s) 1780.38
Current children cumulated vsize (Kb) 488720

[startup+1782.07 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 21625
/proc/meminfo: memFree=1213496/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=488984 CPUtime=1781.38
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 120725 0 0 0 177928 210 0 0 25 0 1 0 187424765 500719616 120548 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 122246 120548 293 55 0 121137 0
Current children cumulated CPU time (s) 1781.38
Current children cumulated vsize (Kb) 488984

[startup+1783.08 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 21625
/proc/meminfo: memFree=1213240/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=489248 CPUtime=1782.39
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 120803 0 0 0 178029 210 0 0 25 0 1 0 187424765 500989952 120626 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 122312 120626 293 55 0 121203 0
Current children cumulated CPU time (s) 1782.39
Current children cumulated vsize (Kb) 489248

[startup+1784.08 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 21625
/proc/meminfo: memFree=1212920/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=489644 CPUtime=1783.39
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 120873 0 0 0 178129 210 0 0 25 0 1 0 187424765 501395456 120696 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 122411 120696 293 55 0 121302 0
Current children cumulated CPU time (s) 1783.39
Current children cumulated vsize (Kb) 489644

[startup+1785.08 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 21625
/proc/meminfo: memFree=1212600/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=489908 CPUtime=1784.39
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 120967 0 0 0 178229 210 0 0 25 0 1 0 187424765 501665792 120790 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 122477 120790 293 55 0 121368 0
Current children cumulated CPU time (s) 1784.39
Current children cumulated vsize (Kb) 489908

[startup+1786.09 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 21625
/proc/meminfo: memFree=1212152/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=490304 CPUtime=1785.39
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 121066 0 0 0 178329 210 0 0 25 0 1 0 187424765 502071296 120889 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 122576 120889 293 55 0 121467 0
Current children cumulated CPU time (s) 1785.39
Current children cumulated vsize (Kb) 490304

[startup+1787.1 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 21625
/proc/meminfo: memFree=1211640/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=490832 CPUtime=1786.41
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 121193 0 0 0 178430 211 0 0 25 0 1 0 187424765 502611968 121016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 122708 121016 293 55 0 121599 0
Current children cumulated CPU time (s) 1786.41
Current children cumulated vsize (Kb) 490832

[startup+1788.1 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 21625
/proc/meminfo: memFree=1211384/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=491096 CPUtime=1787.41
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 121256 0 0 0 178530 211 0 0 25 0 1 0 187424765 502882304 121079 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719388 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 122774 121079 293 55 0 121665 0
Current children cumulated CPU time (s) 1787.41
Current children cumulated vsize (Kb) 491096

[startup+1789.1 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 21625
/proc/meminfo: memFree=1211320/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=491228 CPUtime=1788.41
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 121283 0 0 0 178630 211 0 0 25 0 1 0 187424765 503017472 121106 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 122807 121106 293 55 0 121698 0
Current children cumulated CPU time (s) 1788.41
Current children cumulated vsize (Kb) 491228

[startup+1790.11 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 21625
/proc/meminfo: memFree=1211192/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=491360 CPUtime=1789.42
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 121306 0 0 0 178731 211 0 0 25 0 1 0 187424765 503152640 121129 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 122840 121129 293 55 0 121731 0
Current children cumulated CPU time (s) 1789.42
Current children cumulated vsize (Kb) 491360

[startup+1791.11 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 21625
/proc/meminfo: memFree=1211064/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=491492 CPUtime=1790.42
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 121340 0 0 0 178831 211 0 0 25 0 1 0 187424765 503287808 121163 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 122873 121163 293 55 0 121764 0
Current children cumulated CPU time (s) 1790.42
Current children cumulated vsize (Kb) 491492

[startup+1792.12 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 21625
/proc/meminfo: memFree=1210936/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=491624 CPUtime=1791.43
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 121374 0 0 0 178932 211 0 0 25 0 1 0 187424765 503422976 121197 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 122906 121197 293 55 0 121797 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (Kb) 491624

[startup+1793.12 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 21625
/proc/meminfo: memFree=1210808/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=491624 CPUtime=1792.43
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 121403 0 0 0 179032 211 0 0 25 0 1 0 187424765 503422976 121226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 122906 121226 293 55 0 121797 0
Current children cumulated CPU time (s) 1792.43
Current children cumulated vsize (Kb) 491624

[startup+1794.13 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 21625
/proc/meminfo: memFree=1210744/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=491756 CPUtime=1793.43
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 121426 0 0 0 179132 211 0 0 25 0 1 0 187424765 503558144 121249 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534815 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 122939 121249 293 55 0 121830 0
Current children cumulated CPU time (s) 1793.43
Current children cumulated vsize (Kb) 491756

[startup+1795.13 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 21625
/proc/meminfo: memFree=1210616/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=491888 CPUtime=1794.44
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 121457 0 0 0 179233 211 0 0 25 0 1 0 187424765 503693312 121280 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 122972 121280 293 55 0 121863 0
Current children cumulated CPU time (s) 1794.44
Current children cumulated vsize (Kb) 491888

[startup+1796.14 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 21625
/proc/meminfo: memFree=1210296/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=492348 CPUtime=1795.44
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 121528 0 0 0 179333 211 0 0 25 0 1 0 187424765 504164352 121350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548633 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 123087 121350 293 55 0 121978 0
Current children cumulated CPU time (s) 1795.44
Current children cumulated vsize (Kb) 492348

[startup+1797.14 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 21625
/proc/meminfo: memFree=1210296/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=492348 CPUtime=1796.45
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 121528 0 0 0 179434 211 0 0 25 0 1 0 187424765 504164352 121350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 123087 121350 293 55 0 121978 0
Current children cumulated CPU time (s) 1796.45
Current children cumulated vsize (Kb) 492348

[startup+1798.15 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 21625
/proc/meminfo: memFree=1210232/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=492480 CPUtime=1797.45
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 121554 0 0 0 179534 211 0 0 25 0 1 0 187424765 504299520 121376 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 123120 121376 293 55 0 122011 0
Current children cumulated CPU time (s) 1797.45
Current children cumulated vsize (Kb) 492480

[startup+1799.15 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 21625
/proc/meminfo: memFree=1210168/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=492480 CPUtime=1798.45
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 121570 0 0 0 179634 211 0 0 25 0 1 0 187424765 504299520 121392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 123120 121392 293 55 0 122011 0
Current children cumulated CPU time (s) 1798.45
Current children cumulated vsize (Kb) 492480

[startup+1800.16 s]
/proc/loadavg: 1.00 1.00 0.94 2/68 21625
/proc/meminfo: memFree=1210040/2055892 swapFree=4085380/4096564
[pid=21623] ppid=21621 vsize=492612 CPUtime=1799.46
/proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 121599 0 0 0 179735 211 0 0 25 0 1 0 187424765 504434688 121421 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542241 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21623/statm: 123153 121421 293 55 0 122044 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (Kb) 492612

Child status: 0
Real time (s): 1800.77
CPU time (s): 1800.08
CPU user time (s): 1797.89
CPU system time (s): 2.18767
CPU usage (%): 99.9616
Max. virtual memory (cumulated for all children) (Kb): 492612

Launcher Data (download as text)

Begin job on node91 on Fri Jun  2 03:10:58 UTC 2006


FILE ID= 39556-1149217858

PBS_JOBID= 294980

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  c118a5f7f4e95d7123e302378befd6ff

RANDOM SEED= 932312149


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


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1695680 kB
Buffers:         33660 kB
Cached:         252984 kB
SwapCached:       2968 kB
Active:          88092 kB
Inactive:       207776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1695680 kB
SwapTotal:     4096564 kB
SwapFree:      4085380 kB
Dirty:             180 kB
Writeback:           0 kB
Mapped:          16596 kB
Slab:            50864 kB
Committed_AS:   240488 kB
PageTables:       1284 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node91 on Fri Jun  2 03:40:59 UTC 2006