Trace number 39523

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.75

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900567985.opb
MD5SUMfb1b2fb5676286fc8681e7e6d0d2728f
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 benchmark424.074
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 669
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.067
0.08	c After prepocess the problem consists of 231 variables and 2586 constraints.
0.11	c Restart #1 #Var: 231 LB: 0 @ 0.1
0.25	c Restart #2 #Var: 231 LB: 0 @ 0.236
0.43	c Restart #3 #Var: 231 LB: 0 @ 0.419
0.63	c Restart #4 #Var: 231 LB: 0 @ 0.618
0.87	c Restart #5 #Var: 231 LB: 0 @ 0.856
1.11	c Restart #6 #Var: 231 LB: 0 @ 1.099
1.46	c Restart #7 #Var: 231 LB: 0 @ 1.445
1.80	c Restart #8 #Var: 231 LB: 0 @ 1.792
2.23	c Restart #9 #Var: 231 LB: 0 @ 2.218
2.70	c Restart #10 #Var: 231 LB: 0 @ 2.685
3.21	c Restart #11 #Var: 231 LB: 0 @ 3.195
3.83	c Restart #12 #Var: 231 LB: 0 @ 3.815
4.83	c Restart #13 #Var: 231 LB: 0 @ 4.816
5.90	c Restart #14 #Var: 231 LB: 0 @ 5.884
7.17	c Restart #15 #Var: 231 LB: 0 @ 7.16
8.62	c Restart #16 #Var: 231 LB: 0 @ 8.611
10.32	c Restart #17 #Var: 231 LB: 0 @ 10.307
12.65	c Restart #18 #Var: 231 LB: 0 @ 12.635
14.57	c Restart #19 #Var: 231 LB: 0 @ 14.547
16.51	c Restart #20 #Var: 231 LB: 0 @ 16.489
18.78	c Restart #21 #Var: 231 LB: 0 @ 18.758
22.01	c Restart #22 #Var: 231 LB: 0 @ 21.986
25.34	c Restart #23 #Var: 231 LB: 0 @ 25.314
30.19	c Restart #24 #Var: 231 LB: 0 @ 30.164
35.13	c Restart #25 #Var: 231 LB: 0 @ 35.102
39.02	c Restart #26 #Var: 231 LB: 0 @ 38.989
45.01	c Restart #27 #Var: 231 LB: 0 @ 44.983
50.81	c Restart #28 #Var: 231 LB: 0 @ 50.774
56.51	c Restart #29 #Var: 231 LB: 0 @ 56.476
62.96	c Restart #30 #Var: 231 LB: 0 @ 62.919
70.54	c Restart #31 #Var: 231 LB: 0 @ 70.496
77.78	c Restart #32 #Var: 231 LB: 0 @ 77.74
87.31	c Restart #33 #Var: 231 LB: 0 @ 87.267
96.69	c Restart #34 #Var: 231 LB: 0 @ 96.641
104.88	c Restart #35 #Var: 231 LB: 0 @ 104.83
115.95	c Restart #36 #Var: 231 LB: 0 @ 115.89
128.75	c Restart #37 #Var: 231 LB: 0 @ 128.69
142.01	c Restart #38 #Var: 231 LB: 0 @ 141.95
155.63	c Restart #39 #Var: 231 LB: 0 @ 155.56
175.96	c Restart #40 #Var: 231 LB: 0 @ 175.88
188.17	c Restart #41 #Var: 231 LB: 0 @ 188.08
208.00	c Restart #42 #Var: 231 LB: 0 @ 207.91
221.95	c Restart #43 #Var: 231 LB: 0 @ 221.86
240.31	c Restart #44 #Var: 231 LB: 0 @ 240.21
259.49	c Restart #45 #Var: 231 LB: 0 @ 259.38
281.22	c Restart #46 #Var: 231 LB: 0 @ 281.1
299.56	c Restart #47 #Var: 231 LB: 0 @ 299.44
324.31	c Restart #48 #Var: 231 LB: 0 @ 324.18
354.02	c Restart #49 #Var: 231 LB: 0 @ 353.88
384.61	c Restart #50 #Var: 231 LB: 0 @ 384.46
414.39	c Restart #51 #Var: 231 LB: 0 @ 414.23
454.87	c Restart #52 #Var: 231 LB: 0 @ 454.69
478.93	c Restart #53 #Var: 231 LB: 0 @ 478.74
512.77	c Restart #54 #Var: 231 LB: 0 @ 512.57
545.45	c Restart #55 #Var: 231 LB: 0 @ 545.24
579.02	c Restart #56 #Var: 231 LB: 0 @ 578.79
603.33	c Restart #57 #Var: 231 LB: 0 @ 603.1
644.03	c Restart #58 #Var: 231 LB: 0 @ 643.78
688.80	c Restart #59 #Var: 231 LB: 0 @ 688.53
737.96	c Restart #60 #Var: 231 LB: 0 @ 737.67
777.81	c Restart #61 #Var: 231 LB: 0 @ 777.51
814.09	c Restart #62 #Var: 231 LB: 0 @ 813.77
851.03	c Restart #63 #Var: 231 LB: 0 @ 850.7
908.03	c CHANGE Heuristic... 
908.03	c Restart #0 #Var: 231 LB: 0 @ 907.68
913.20	c Restart #1 #Var: 231 LB: 0 @ 912.85
919.20	c Restart #2 #Var: 231 LB: 0 @ 918.85
925.37	c Restart #3 #Var: 231 LB: 0 @ 925.01
933.25	c Restart #4 #Var: 231 LB: 0 @ 932.89
942.56	c Restart #5 #Var: 231 LB: 0 @ 942.2
950.24	c Restart #6 #Var: 231 LB: 0 @ 949.88
956.47	c Restart #7 #Var: 231 LB: 0 @ 956.11
967.41	c Restart #8 #Var: 231 LB: 0 @ 967.04
979.85	c Restart #9 #Var: 231 LB: 0 @ 979.48
992.01	c Restart #10 #Var: 231 LB: 0 @ 991.64
999.55	c Restart #11 #Var: 231 LB: 0 @ 999.17
1013.34	c Restart #12 #Var: 231 LB: 0 @ 1013
1027.77	c Restart #13 #Var: 231 LB: 0 @ 1027.4
1041.20	c Restart #14 #Var: 231 LB: 0 @ 1040.8
1049.99	c Restart #15 #Var: 231 LB: 0 @ 1049.6
1067.24	c Restart #16 #Var: 231 LB: 0 @ 1066.8
1084.59	c Restart #17 #Var: 231 LB: 0 @ 1084.2
1106.23	c Restart #18 #Var: 231 LB: 0 @ 1105.8
1120.77	c Restart #19 #Var: 231 LB: 0 @ 1120.3
1136.92	c Restart #20 #Var: 231 LB: 0 @ 1136.5
1161.42	c Restart #21 #Var: 231 LB: 0 @ 1161
1184.22	c Restart #22 #Var: 231 LB: 0 @ 1183.8
1212.11	c Restart #23 #Var: 231 LB: 0 @ 1211.7
1240.50	c Restart #24 #Var: 231 LB: 0 @ 1240
1256.89	c Restart #25 #Var: 231 LB: 0 @ 1256.4
1292.89	c Restart #26 #Var: 231 LB: 0 @ 1292.4
1320.40	c Restart #27 #Var: 231 LB: 0 @ 1319.9
1352.98	c Restart #28 #Var: 231 LB: 0 @ 1352.5
1381.66	c Restart #29 #Var: 231 LB: 0 @ 1381.1
1422.77	c Restart #30 #Var: 231 LB: 0 @ 1422.2
1458.74	c Restart #31 #Var: 231 LB: 0 @ 1458.2
1496.50	c Restart #32 #Var: 231 LB: 0 @ 1495.9
1525.28	c Restart #33 #Var: 231 LB: 0 @ 1524.7
1562.62	c Restart #34 #Var: 231 LB: 0 @ 1562
1604.52	c Restart #35 #Var: 231 LB: 0 @ 1603.9
1641.25	c Restart #36 #Var: 231 LB: 0 @ 1640.6
1681.32	c Restart #37 #Var: 231 LB: 0 @ 1680.7
1716.42	c Restart #38 #Var: 231 LB: 0 @ 1715.8
1754.73	c Restart #39 #Var: 231 LB: 0 @ 1754.1
1798.21	c Restart #40 #Var: 231 LB: 0 @ 1797.5
1800.68	s UNKNOWN
1800.68	c Exit Code: 0
1800.68	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/node80/watcher-39523-1149214125 -o ROOT/results/node80/solver-39523-1149214125 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node80/39523-1149214125/instance-39523-1149214125.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.97 0.91 3/67 26129
/proc/meminfo: memFree=1727896/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=4928 CPUtime=0
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 261 0 0 0 0 0 0 0 19 0 1 0 187051097 5046272 232 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134559376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 1232 239 152 55 0 123 0

[startup+10.0025 s]
/proc/loadavg: 0.93 0.97 0.91 2/67 26129
/proc/meminfo: memFree=1706840/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=25604 CPUtime=9.97
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 5647 0 0 0 992 5 0 0 25 0 1 0 187051097 26218496 5563 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537558 0 0 4096 16384 0 0 0 17 0 0 0
/proc/26129/statm: 6401 5563 293 55 0 5292 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 25604

[startup+20.0086 s]
/proc/loadavg: 0.94 0.97 0.91 2/67 26129
/proc/meminfo: memFree=1694872/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=37488 CPUtime=19.98
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 8639 0 0 0 1989 9 0 0 25 0 1 0 187051097 38387712 8555 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535008 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 9372 8555 293 55 0 8263 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 37488

[startup+30.0146 s]
/proc/loadavg: 0.95 0.97 0.91 2/67 26129
/proc/meminfo: memFree=1686936/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=45404 CPUtime=29.98
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 10621 0 0 0 2986 12 0 0 25 0 1 0 187051097 46493696 10537 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 11351 10537 293 55 0 10242 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 45404

[startup+40.0207 s]
/proc/loadavg: 0.96 0.97 0.91 2/67 26129
/proc/meminfo: memFree=1679512/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=52924 CPUtime=39.98
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 12472 0 0 0 3984 14 0 0 25 0 1 0 187051097 54194176 12388 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 13231 12388 293 55 0 12122 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 52924

[startup+50.0268 s]
/proc/loadavg: 0.96 0.97 0.91 2/67 26129
/proc/meminfo: memFree=1672920/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=59396 CPUtime=49.98
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 14111 0 0 0 4982 16 0 0 25 0 1 0 187051097 60821504 14027 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 14849 14027 293 55 0 13740 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 59396

[startup+60.0329 s]
/proc/loadavg: 0.97 0.97 0.91 2/67 26129
/proc/meminfo: memFree=1666328/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=66004 CPUtime=59.99
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 15746 0 0 0 5980 19 0 0 25 0 1 0 187051097 67588096 15662 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 16501 15662 293 55 0 15392 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 66004

[startup+70.0389 s]
/proc/loadavg: 0.97 0.97 0.91 2/67 26129
/proc/meminfo: memFree=1660184/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=72084 CPUtime=69.98
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 17275 0 0 0 6977 21 0 0 25 0 1 0 187051097 73814016 17191 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 18021 17191 293 55 0 16912 0
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 72084

[startup+80.045 s]
/proc/loadavg: 0.98 0.97 0.91 2/67 26129
/proc/meminfo: memFree=1654424/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=77896 CPUtime=79.99
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 18716 0 0 0 7975 24 0 0 25 0 1 0 187051097 79765504 18632 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 19474 18632 293 55 0 18365 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 77896

[startup+90.0511 s]
/proc/loadavg: 0.98 0.97 0.91 2/67 26129
/proc/meminfo: memFree=1648984/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=83320 CPUtime=89.99
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 20069 0 0 0 8973 26 0 0 25 0 1 0 187051097 85319680 19985 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 20830 19985 293 55 0 19721 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 83320

[startup+100.057 s]
/proc/loadavg: 0.98 0.97 0.91 2/67 26129
/proc/meminfo: memFree=1643352/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=88996 CPUtime=100
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 21475 0 0 0 9971 29 0 0 25 0 1 0 187051097 91131904 21391 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 22249 21391 293 55 0 21140 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 88996

[startup+110.063 s]
/proc/loadavg: 0.98 0.97 0.91 2/67 26129
/proc/meminfo: memFree=1638232/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=94024 CPUtime=110
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 22745 0 0 0 10969 31 0 0 25 0 1 0 187051097 96280576 22661 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 23506 22661 293 55 0 22397 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 94024

[startup+120.069 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26129
/proc/meminfo: memFree=1633816/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=98516 CPUtime=119.99
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 23849 0 0 0 11967 32 0 0 25 0 1 0 187051097 100880384 23765 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 24629 23765 293 55 0 23520 0
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 98516

[startup+130.075 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26129
/proc/meminfo: memFree=1629080/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=103140 CPUtime=130.01
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 25021 0 0 0 12966 35 0 0 25 0 1 0 187051097 105615360 24937 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 25785 24937 293 55 0 24676 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 103140

[startup+140.081 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26129
/proc/meminfo: memFree=1624984/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=107240 CPUtime=140.01
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 26039 0 0 0 13965 36 0 0 25 0 1 0 187051097 109813760 25955 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 26810 25955 293 55 0 25701 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 107240

[startup+150.088 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26129
/proc/meminfo: memFree=1620888/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=111464 CPUtime=150.01
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 27083 0 0 0 14963 38 0 0 25 0 1 0 187051097 114139136 26998 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 27866 26998 293 55 0 26757 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 111464

[startup+160.094 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26129
/proc/meminfo: memFree=1617240/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=115168 CPUtime=160.01
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 27997 0 0 0 15961 40 0 0 25 0 1 0 187051097 117932032 27912 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 28792 27912 293 55 0 27683 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 115168

[startup+170.099 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26129
/proc/meminfo: memFree=1614360/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=118072 CPUtime=170.01
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 28716 0 0 0 16961 40 0 0 25 0 1 0 187051097 120905728 28631 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 29518 28631 293 55 0 28409 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 118072

[startup+180.106 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26129
/proc/meminfo: memFree=1610264/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=122164 CPUtime=180.02
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 29733 0 0 0 17960 42 0 0 25 0 1 0 187051097 125095936 29647 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542262 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 30541 29647 293 55 0 29432 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 122164

[startup+190.112 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26129
/proc/meminfo: memFree=1605848/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=126520 CPUtime=190.02
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 30824 0 0 0 18959 43 0 0 25 0 1 0 187051097 129556480 30738 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 31630 30738 293 55 0 30521 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 126520

[startup+200.118 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26129
/proc/meminfo: memFree=1602584/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=129696 CPUtime=200.02
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 31634 0 0 0 19958 44 0 0 25 0 1 0 187051097 132808704 31548 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 32424 31548 293 55 0 31315 0
Current children cumulated CPU time (s) 200.02
Current children cumulated vsize (Kb) 129696

[startup+210.125 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 26129
/proc/meminfo: memFree=1599512/2055888 swapFree=4085432/4096564

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

/proc/26129/statm: 110397 108859 293 55 0 109288 0
Current children cumulated CPU time (s) 1760.4
Current children cumulated vsize (Kb) 441588

[startup+1771.08 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 26129
/proc/meminfo: memFree=1290840/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=443304 CPUtime=1770.41
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 109437 0 0 0 176853 188 0 0 25 0 1 0 187051097 453943296 109285 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 110826 109285 293 55 0 109717 0
Current children cumulated CPU time (s) 1770.41
Current children cumulated vsize (Kb) 443304

[startup+1781.08 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 26129
/proc/meminfo: memFree=1289816/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=444392 CPUtime=1780.41
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 109686 0 0 0 177853 188 0 0 25 0 1 0 187051097 455057408 109534 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 111098 109534 293 55 0 109989 0
Current children cumulated CPU time (s) 1780.41
Current children cumulated vsize (Kb) 444392

[startup+1782.09 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 26129
/proc/meminfo: memFree=1289624/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=444656 CPUtime=1781.41
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 109732 0 0 0 177953 188 0 0 25 0 1 0 187051097 455327744 109580 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548503 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 111164 109580 293 55 0 110055 0
Current children cumulated CPU time (s) 1781.41
Current children cumulated vsize (Kb) 444656

[startup+1783.09 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 26129
/proc/meminfo: memFree=1289304/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=444920 CPUtime=1782.43
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 109806 0 0 0 178054 189 0 0 25 0 1 0 187051097 455598080 109654 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 111230 109654 293 55 0 110121 0
Current children cumulated CPU time (s) 1782.43
Current children cumulated vsize (Kb) 444920

[startup+1784.1 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 26129
/proc/meminfo: memFree=1289048/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=445184 CPUtime=1783.43
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 109875 0 0 0 178154 189 0 0 25 0 1 0 187051097 455868416 109723 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 111296 109723 293 55 0 110187 0
Current children cumulated CPU time (s) 1783.43
Current children cumulated vsize (Kb) 445184

[startup+1785.1 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 26129
/proc/meminfo: memFree=1288856/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=445316 CPUtime=1784.43
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 109925 0 0 0 178254 189 0 0 25 0 1 0 187051097 456003584 109773 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 111329 109773 293 55 0 110220 0
Current children cumulated CPU time (s) 1784.43
Current children cumulated vsize (Kb) 445316

[startup+1786.11 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 26129
/proc/meminfo: memFree=1288664/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=445448 CPUtime=1785.43
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 109962 0 0 0 178354 189 0 0 25 0 1 0 187051097 456138752 109810 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 111362 109810 293 55 0 110253 0
Current children cumulated CPU time (s) 1785.43
Current children cumulated vsize (Kb) 445448

[startup+1787.11 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 26129
/proc/meminfo: memFree=1288600/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=445580 CPUtime=1786.44
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 109981 0 0 0 178455 189 0 0 25 0 1 0 187051097 456273920 109829 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550903 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 111395 109829 293 55 0 110286 0
Current children cumulated CPU time (s) 1786.44
Current children cumulated vsize (Kb) 445580

[startup+1788.12 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 26129
/proc/meminfo: memFree=1288472/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=445712 CPUtime=1787.44
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 110022 0 0 0 178555 189 0 0 25 0 1 0 187051097 456409088 109870 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 111428 109870 293 55 0 110319 0
Current children cumulated CPU time (s) 1787.44
Current children cumulated vsize (Kb) 445712

[startup+1789.12 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 26129
/proc/meminfo: memFree=1288216/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=445976 CPUtime=1788.45
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 110080 0 0 0 178655 190 0 0 25 0 1 0 187051097 456679424 109928 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11843627 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 111494 109928 293 55 0 110385 0
Current children cumulated CPU time (s) 1788.45
Current children cumulated vsize (Kb) 445976

[startup+1790.13 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 26129
/proc/meminfo: memFree=1288024/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=446240 CPUtime=1789.46
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 110133 0 0 0 178756 190 0 0 25 0 1 0 187051097 456949760 109981 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534890 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 111560 109981 293 55 0 110451 0
Current children cumulated CPU time (s) 1789.46
Current children cumulated vsize (Kb) 446240

[startup+1791.13 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 26129
/proc/meminfo: memFree=1287640/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=446504 CPUtime=1790.46
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 110221 0 0 0 178856 190 0 0 25 0 1 0 187051097 457220096 110069 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 111626 110069 293 55 0 110517 0
Current children cumulated CPU time (s) 1790.46
Current children cumulated vsize (Kb) 446504

[startup+1792.14 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 26129
/proc/meminfo: memFree=1287576/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=446636 CPUtime=1791.46
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 110244 0 0 0 178956 190 0 0 25 0 1 0 187051097 457355264 110092 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 111659 110092 293 55 0 110550 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (Kb) 446636

[startup+1793.14 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 26129
/proc/meminfo: memFree=1287448/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=446768 CPUtime=1792.47
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 110272 0 0 0 179057 190 0 0 25 0 1 0 187051097 457490432 110120 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 111692 110120 293 55 0 110583 0
Current children cumulated CPU time (s) 1792.47
Current children cumulated vsize (Kb) 446768

[startup+1794.15 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 26129
/proc/meminfo: memFree=1287384/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=446768 CPUtime=1793.47
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 110295 0 0 0 179157 190 0 0 25 0 1 0 187051097 457490432 110143 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 111692 110143 293 55 0 110583 0
Current children cumulated CPU time (s) 1793.47
Current children cumulated vsize (Kb) 446768

[startup+1795.15 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 26129
/proc/meminfo: memFree=1287256/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=446900 CPUtime=1794.48
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 110316 0 0 0 179258 190 0 0 25 0 1 0 187051097 457625600 110164 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 111725 110164 293 55 0 110616 0
Current children cumulated CPU time (s) 1794.48
Current children cumulated vsize (Kb) 446900

[startup+1796.16 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 26129
/proc/meminfo: memFree=1287128/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=447032 CPUtime=1795.48
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 110346 0 0 0 179358 190 0 0 25 0 1 0 187051097 457760768 110194 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537563 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 111758 110194 293 55 0 110649 0
Current children cumulated CPU time (s) 1795.48
Current children cumulated vsize (Kb) 447032

[startup+1797.16 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 26129
/proc/meminfo: memFree=1286936/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=447164 CPUtime=1796.49
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 110395 0 0 0 179459 190 0 0 25 0 1 0 187051097 457895936 110243 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 111791 110243 293 55 0 110682 0
Current children cumulated CPU time (s) 1796.49
Current children cumulated vsize (Kb) 447164

[startup+1798.16 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 26129
/proc/meminfo: memFree=1286808/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=447296 CPUtime=1797.49
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 110428 0 0 0 179559 190 0 0 25 0 1 0 187051097 458031104 110276 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 111824 110276 293 55 0 110715 0
Current children cumulated CPU time (s) 1797.49
Current children cumulated vsize (Kb) 447296

[startup+1799.17 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 26129
/proc/meminfo: memFree=1286680/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=447452 CPUtime=1798.49
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 110460 0 0 0 179659 190 0 0 25 0 1 0 187051097 458190848 110308 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 111863 110308 293 55 0 110754 0
Current children cumulated CPU time (s) 1798.49
Current children cumulated vsize (Kb) 447452

[startup+1800.18 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 26129
/proc/meminfo: memFree=1286616/2055888 swapFree=4085432/4096564
[pid=26129] ppid=26127 vsize=447584 CPUtime=1799.5
/proc/26129/stat : 26129 (bsolo) R 26127 26129 26084 0 -1 0 110471 0 0 0 179760 190 0 0 25 0 1 0 187051097 458326016 110319 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26129/statm: 111896 110319 293 55 0 110787 0
Current children cumulated CPU time (s) 1799.5
Current children cumulated vsize (Kb) 447584

Child status: 0
Real time (s): 1800.75
CPU time (s): 1800.07
CPU user time (s): 1798.1
CPU system time (s): 1.9747
CPU usage (%): 99.9626
Max. virtual memory (cumulated for all children) (Kb): 447584

Launcher Data (download as text)

Begin job on node80 on Fri Jun  2 02:08:45 UTC 2006


FILE ID= 39523-1149214125

PBS_JOBID= 294547

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  fb1b2fb5676286fc8681e7e6d0d2728f

RANDOM SEED= 238090475


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


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1728104 kB
Buffers:         26784 kB
Cached:         227876 kB
SwapCached:       2516 kB
Active:          92940 kB
Inactive:       170512 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1728104 kB
SwapTotal:     4096564 kB
SwapFree:      4085432 kB
Dirty:             152 kB
Writeback:           0 kB
Mapped:          16576 kB
Slab:            50976 kB
Committed_AS:   246560 kB
PageTables:       1276 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node80 on Fri Jun  2 02:38:46 UTC 2006