Trace number 2695060

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
PB/CT 0.1OPTIMUM 1148 1147.99

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900571761--soft-0-100-0.wbo
MD5SUMc1a8bf15a5939881d6e0f7761d224808
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark474.358
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft 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
Top cost 137973
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 137972
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 713
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c PB/CT 0.1.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.02	c constraints 0/23 clauses 0/2684 units 0
0.00/0.02	c vars 231
0.09/0.14	c 0.114982 19.9766 107 21409
0.09/0.14	o 787
0.19/0.22	c 0.164974 20.2109 183 50956
0.19/0.22	o 686
0.19/0.27	c 0.19597 20.4453 230 68596
0.19/0.27	o 404
0.89/1.00	c 0.599908 20.4453 1341 78246
0.89/1.00	o 375
1.48/1.59	c 0.955854 20.4453 1361 81451
1.48/1.59	o 373
1.79/1.85	c 1.10883 20.4453 992 84229
1.79/1.85	o 367
1.89/1.96	c 1.17282 20.4453 1092 85230
1.89/1.96	o 349
1.89/1.99	c 1.18482 20.4453 1109 86249
1.89/1.99	o 322
1.99/2.09	c 1.23981 20.4453 1200 87590
1.99/2.09	o 312
2.49/2.53	c 1.51177 20.4453 610 92022
2.49/2.53	o 301
2.79/2.82	c 1.68274 20.4453 931 94055
2.79/2.82	o 294
2.99/3.02	c 1.81272 20.4453 622 95550
2.99/3.02	o 289
3.29/3.34	c 2.00669 20.4453 990 97501
3.29/3.34	o 279
3.39/3.47	c 2.08268 20.4453 1081 98113
3.39/3.47	o 267
3.59/3.61	c 2.19267 20.4453 699 98928
3.59/3.61	o 265
3.59/3.63	c 2.20366 20.4453 709 99369
3.59/3.63	o 255
3.59/3.66	c 2.21766 20.4453 735 99728
3.59/3.66	o 246
4.59/4.65	c 2.82357 20.4453 713 103976
4.59/4.65	o 215
4.59/4.66	c 2.83357 20.4453 741 104516
4.59/4.66	o 198
4.69/4.79	c 2.92056 20.4453 934 105228
4.69/4.79	o 193
5.59/5.62	c 3.40948 20.4453 635 108147
5.59/5.62	o 192
5.89/5.99	c 3.63845 20.4453 1029 109187
5.89/5.99	o 191
8.49/8.57	c 5.18421 20.5742 1751 115943
8.49/8.57	o 182
9.69/9.70	c 5.8841 20.5742 832 119750
9.69/9.70	o 180
11.58/11.63	c 7.04993 20.5742 1226 126332
11.58/11.63	o 171
12.00/12.09	c 7.33089 20.5742 1040 127951
12.00/12.09	o 158
12.49/12.54	c 7.62684 20.5742 997 129522
12.49/12.54	o 151
12.49/12.59	c 7.66083 20.5742 1045 129865
12.49/12.59	o 149
12.99/13.06	c 7.95879 20.5742 910 131067
12.99/13.06	o 148
14.79/14.82	c 9.06162 20.5742 1132 137329
14.79/14.82	o 122
14.79/14.83	c 9.07562 20.5742 1166 137621
14.79/14.83	o 118
14.99/15.06	c 9.2036 20.5742 770 138580
14.99/15.06	o 114
15.09/15.17	c 9.27159 20.5742 904 139040
15.09/15.17	o 110
16.19/16.27	c 9.95849 20.5742 847 142751
16.19/16.27	o 96
17.79/17.82	c 10.9733 20.832 970 148005
17.79/17.82	o 92
18.29/18.31	c 11.2843 20.832 1006 150258
18.29/18.31	o 84
18.39/18.47	c 11.3873 20.832 1249 150976
18.39/18.47	o 83
18.99/19.04	c 11.7492 20.832 1294 153059
18.99/19.04	o 82
18.99/19.08	c 11.7702 20.832 1330 153357
18.99/19.08	o 75
20.58/20.61	c 12.7701 20.832 1008 158391
20.58/20.61	o 72
20.69/20.74	c 12.86 20.832 1337 159244
20.69/20.74	o 67
25.89/25.99	c 16.4325 20.9609 1815 178622
25.89/25.99	o 59
29.60/29.66	c 18.9551 21.3477 2053 192960
29.60/29.66	o 48
29.70/29.70	c 18.9841 21.3477 2195 193348
29.70/29.70	o 46
29.90/29.92	c 19.1411 21.3477 1391 194624
29.90/29.92	o 42
30.29/30.30	c 19.4031 21.3477 2504 196502
30.29/30.30	o 35
30.69/30.76	c 19.751 21.3477 2781 199890
30.69/30.76	o 24
30.69/30.78	c 19.764 21.3477 2873 200088
30.69/30.78	o 23
30.99/31.02	c 19.973 21.3477 2829 202695
30.99/31.02	o 22
31.29/31.35	c 20.2499 21.3477 3303 206167
31.29/31.35	o 18
35.29/35.33	c 23.6784 21.8633 3300 248496
35.29/35.33	o 14
43.49/43.56	c 30.9653 21.9922 3355 346004
43.49/43.56	o 12
43.90/43.95	c 31.3092 21.9922 2919 350953
43.90/43.95	o 10
44.00/44.02	c 31.3812 21.9922 3561 352115
44.00/44.02	o 9
44.39/44.44	c 31.7512 21.9922 3764 358032
44.39/44.44	o 7
45.39/45.41	c 32.652 21.9922 3386 371749
45.39/45.41	o 5
64.79/64.86	c 50.4513 21.9922 3213 623884
64.79/64.86	o 3
68.79/68.80	c 54.0728 21.9922 3308 678713
68.79/68.80	o 2
1147.91/1147.96	c 1048.09 23.6836 5086 15238396
1147.91/1147.96	s OPTIMUM FOUND
1147.91/1147.96	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231

Verifier Data 

OK	2

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695060-1277928056/watcher-2695060-1277928056 -o /tmp/evaluation-result-2695060-1277928056/solver-2695060-1277928056 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695060-1277928056.wbo 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.95 1.98 2.03 4/178 27057
/proc/meminfo: memFree=31130268/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=2136 CPUtime=0
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 252 0 0 0 0 0 0 0 25 0 1 0 166445216 2187264 172 4089446400 134512640 136421960 4289647152 18446744073709551615 134519027 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27057/statm: 534 172 144 467 0 65 0

[startup+0.048097 s]
/proc/loadavg: 1.95 1.98 2.03 4/178 27057
/proc/meminfo: memFree=31130268/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=9848 CPUtime=0.04
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 2164 0 0 0 4 0 0 0 25 0 1 0 166445216 10084352 2084 4089446400 134512640 136421960 4289647152 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 2462 2093 193 467 0 1993 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9848

[startup+0.101086 s]
/proc/loadavg: 1.95 1.98 2.03 4/178 27057
/proc/meminfo: memFree=31130268/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=20176 CPUtime=0.09
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 4686 0 0 0 9 0 0 0 25 0 1 0 166445216 20660224 4573 4089446400 134512640 136421960 4289647152 18446744073709551615 134598886 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 5044 4573 208 467 0 4575 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20176

[startup+0.301055 s]
/proc/loadavg: 1.95 1.98 2.03 4/178 27057
/proc/meminfo: memFree=31130268/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=20932 CPUtime=0.29
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 4854 0 0 0 21 8 0 0 18 0 1 0 166445216 21434368 4738 4089446400 134512640 136421960 4289647152 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 5233 4738 237 467 0 4764 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20932

[startup+0.700987 s]
/proc/loadavg: 1.95 1.98 2.03 4/178 27057
/proc/meminfo: memFree=31130268/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=20932 CPUtime=0.68
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 4854 0 0 0 43 25 0 0 18 0 1 0 166445216 21434368 4738 4089446400 134512640 136421960 4289647152 18446744073709551615 135019626 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 5233 4738 237 467 0 4764 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 20932

[startup+1.50086 s]
/proc/loadavg: 1.95 1.98 2.03 3/179 27058
/proc/meminfo: memFree=31110668/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=20932 CPUtime=1.48
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 4856 0 0 0 89 59 0 0 19 0 1 0 166445216 21434368 4739 4089446400 134512640 136421960 4289647152 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 5233 4739 237 467 0 4764 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 20932

[startup+3.10059 s]
/proc/loadavg: 1.95 1.98 2.03 3/179 27058
/proc/meminfo: memFree=31107940/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=20932 CPUtime=3.09
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 4864 0 0 0 185 124 0 0 24 0 1 0 166445216 21434368 4739 4089446400 134512640 136421960 4289647152 18446744073709551615 135005962 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 5233 4739 237 467 0 4764 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20932

[startup+6.30106 s]
/proc/loadavg: 1.96 1.98 2.03 3/179 27067
/proc/meminfo: memFree=31101396/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=20932 CPUtime=6.29
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 4885 0 0 0 382 247 0 0 25 0 1 0 166445216 21434368 4750 4089446400 134512640 136421960 4289647152 18446744073709551615 135006694 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 5233 4750 237 467 0 4764 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20932

[startup+12.701 s]
/proc/loadavg: 1.96 1.98 2.02 3/179 27067
/proc/meminfo: memFree=31094472/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=21064 CPUtime=12.69
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 4913 0 0 0 772 497 0 0 25 0 1 0 166445216 21569536 4772 4089446400 134512640 136421960 4289647152 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 5266 4772 237 467 0 4797 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21064

[startup+25.5008 s]
/proc/loadavg: 1.97 1.98 2.02 3/179 27067
/proc/meminfo: memFree=31081288/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=21328 CPUtime=25.49
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 5005 0 0 0 1609 940 0 0 25 0 1 0 166445216 21839872 4851 4089446400 134512640 136421960 4289647152 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 5332 4851 237 467 0 4863 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21328

[startup+51.1005 s]
/proc/loadavg: 1.98 1.98 2.02 3/179 27069
/proc/meminfo: memFree=31008564/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=22516 CPUtime=51.09
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 5303 0 0 0 3786 1323 0 0 25 0 1 0 166445216 23056384 5134 4089446400 134512640 136421960 4289647152 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 5629 5134 237 467 0 5160 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22516

[startup+102.306 s]
/proc/loadavg: 1.99 1.98 2.02 3/179 27069
/proc/meminfo: memFree=30950252/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=22648 CPUtime=102.3
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 5324 0 0 0 8491 1739 0 0 25 0 1 0 166445216 23191552 5153 4089446400 134512640 136421960 4289647152 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 5662 5153 237 467 0 5193 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 22648

[startup+162.301 s]
/proc/loadavg: 2.05 2.00 2.02 3/179 27071
/proc/meminfo: memFree=30920588/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=22916 CPUtime=162.29
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 5399 0 0 0 14015 2214 0 0 25 0 1 0 166445216 23465984 5228 4089446400 134512640 136421960 4289647152 18446744073709551615 134862005 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 5729 5228 237 467 0 5260 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 22916

[startup+222.301 s]
/proc/loadavg: 2.02 2.00 2.01 3/179 27073
/proc/meminfo: memFree=30905264/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=23052 CPUtime=222.29
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 5450 0 0 0 19533 2696 0 0 25 0 1 0 166445216 23605248 5279 4089446400 134512640 136421960 4289647152 18446744073709551615 135029888 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 5763 5279 237 467 0 5294 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 23052

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27075
/proc/meminfo: memFree=30897396/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=23316 CPUtime=282.29
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 5508 0 0 0 25026 3203 0 0 25 0 1 0 166445216 23875584 5337 4089446400 134512640 136421960 4289647152 18446744073709551615 135032112 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 5829 5337 237 467 0 5360 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 23316

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27075
/proc/meminfo: memFree=30890024/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=23448 CPUtime=342.3
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 5542 0 0 0 30547 3683 0 0 25 0 1 0 166445216 24010752 5371 4089446400 134512640 136421960 4289647152 18446744073709551615 135686760 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 5862 5371 237 467 0 5393 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 23448

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27077
/proc/meminfo: memFree=30877444/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=23588 CPUtime=402.3
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 5563 0 0 0 36076 4154 0 0 25 0 1 0 166445216 24154112 5392 4089446400 134512640 136421960 4289647152 18446744073709551615 134862027 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 5897 5392 237 467 0 5428 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 23588

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27079
/proc/meminfo: memFree=30873404/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=23720 CPUtime=462.29
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 5596 0 0 0 41605 4624 0 0 25 0 1 0 166445216 24289280 5425 4089446400 134512640 136421960 4289647152 18446744073709551615 134862027 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 5930 5425 237 467 0 5461 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 23720

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27081
/proc/meminfo: memFree=30870512/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=23720 CPUtime=522.3
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 5602 0 0 0 47110 5120 0 0 25 0 1 0 166445216 24289280 5431 4089446400 134512640 136421960 4289647152 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 5930 5431 237 467 0 5461 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 23720

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27083
/proc/meminfo: memFree=30868988/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=23852 CPUtime=582.3
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 5628 0 0 0 52638 5592 0 0 25 0 1 0 166445216 24424448 5457 4089446400 134512640 136421960 4289647152 18446744073709551615 134861890 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 5963 5457 237 467 0 5494 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 23852

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27083
/proc/meminfo: memFree=30865232/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=23984 CPUtime=642.3
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 5655 0 0 0 58179 6051 0 0 25 0 1 0 166445216 24559616 5484 4089446400 134512640 136421960 4289647152 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 5996 5484 237 467 0 5527 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 23984

[startup+702.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27085
/proc/meminfo: memFree=30862704/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=23984 CPUtime=702.3
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 5675 0 0 0 63708 6522 0 0 25 0 1 0 166445216 24559616 5504 4089446400 134512640 136421960 4289647152 18446744073709551615 134862023 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 5996 5504 237 467 0 5527 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 23984

[startup+762.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27087
/proc/meminfo: memFree=30858940/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=23984 CPUtime=762.31
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 5682 0 0 0 69254 6977 0 0 25 0 1 0 166445216 24559616 5511 4089446400 134512640 136421960 4289647152 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 5996 5511 237 467 0 5527 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 23984

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27089
/proc/meminfo: memFree=30854788/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=24116 CPUtime=822.3
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 5704 0 0 0 74785 7445 0 0 25 0 1 0 166445216 24694784 5533 4089446400 134512640 136421960 4289647152 18446744073709551615 134862072 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 6029 5533 237 467 0 5560 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 24116

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27091
/proc/meminfo: memFree=30849420/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=24116 CPUtime=882.3
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 5705 0 0 0 80336 7894 0 0 25 0 1 0 166445216 24694784 5534 4089446400 134512640 136421960 4289647152 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 6029 5534 237 467 0 5560 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 24116

[startup+942.301 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 27091
/proc/meminfo: memFree=30847004/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=24116 CPUtime=942.31
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 5713 0 0 0 85866 8365 0 0 25 0 1 0 166445216 24694784 5542 4089446400 134512640 136421960 4289647152 18446744073709551615 134861964 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 6029 5542 237 467 0 5560 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 24116

[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 27093
/proc/meminfo: memFree=30845468/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=24248 CPUtime=1002.31
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 5728 0 0 0 91405 8826 0 0 25 0 1 0 166445216 24829952 5557 4089446400 134512640 136421960 4289647152 18446744073709551615 135686965 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 6062 5557 237 467 0 5593 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 24248

[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 27095
/proc/meminfo: memFree=30841208/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=24248 CPUtime=1062.3
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 5728 0 0 0 96952 9278 0 0 25 0 1 0 166445216 24829952 5557 4089446400 134512640 136421960 4289647152 18446744073709551615 135028354 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 6062 5557 237 467 0 5593 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 24248

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27097
/proc/meminfo: memFree=30838824/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=24248 CPUtime=1122.31
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 5732 0 0 0 102454 9777 0 0 25 0 1 0 166445216 24829952 5561 4089446400 134512640 136421960 4289647152 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 6062 5561 237 467 0 5593 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 24248

Solver just ended. Dumping a history of the last processes samples

[startup+1126.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27097
/proc/meminfo: memFree=30837832/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=24248 CPUtime=1126.31
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 5732 0 0 0 102823 9808 0 0 25 0 1 0 166445216 24829952 5561 4089446400 134512640 136421960 4289647152 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 6062 5561 237 467 0 5593 0
Current children cumulated CPU time (s) 1126.31
Current children cumulated vsize (KiB) 24248

[startup+1139.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27097
/proc/meminfo: memFree=30835960/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=24248 CPUtime=1139.11
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 5735 0 0 0 104001 9910 0 0 25 0 1 0 166445216 24829952 5564 4089446400 134512640 136421960 4289647152 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 6062 5564 237 467 0 5593 0
Current children cumulated CPU time (s) 1139.11
Current children cumulated vsize (KiB) 24248

[startup+1142.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27097
/proc/meminfo: memFree=30836056/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=24248 CPUtime=1142.3
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 5735 0 0 0 104291 9939 0 0 25 0 1 0 166445216 24829952 5564 4089446400 134512640 136421960 4289647152 18446744073709551615 134862315 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 6062 5564 237 467 0 5593 0
Current children cumulated CPU time (s) 1142.3
Current children cumulated vsize (KiB) 24248

[startup+1145.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27097
/proc/meminfo: memFree=30835932/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=24248 CPUtime=1145.51
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 5735 0 0 0 104587 9964 0 0 25 0 1 0 166445216 24829952 5564 4089446400 134512640 136421960 4289647152 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 6062 5564 237 467 0 5593 0
Current children cumulated CPU time (s) 1145.51
Current children cumulated vsize (KiB) 24248

[startup+1147.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27097
/proc/meminfo: memFree=30835684/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=24248 CPUtime=1147.11
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 5735 0 0 0 104730 9981 0 0 25 0 1 0 166445216 24829952 5564 4089446400 134512640 136421960 4289647152 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 6062 5564 237 467 0 5593 0
Current children cumulated CPU time (s) 1147.11
Current children cumulated vsize (KiB) 24248

[startup+1147.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27097
/proc/meminfo: memFree=30835684/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=24248 CPUtime=1147.51
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 5735 0 0 0 104765 9986 0 0 25 0 1 0 166445216 24829952 5564 4089446400 134512640 136421960 4289647152 18446744073709551615 135028801 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 6062 5564 237 467 0 5593 0
Current children cumulated CPU time (s) 1147.51
Current children cumulated vsize (KiB) 24248

[startup+1147.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27097
/proc/meminfo: memFree=30835684/32951124 swapFree=67111528/67111528
[pid=27057] ppid=27055 vsize=24248 CPUtime=1147.91
/proc/27057/stat : 27057 (pbct) R 27055 27057 26780 0 -1 4202496 5735 0 0 0 104803 9988 0 0 25 0 1 0 166445216 24829952 5564 4089446400 134512640 136421960 4289647152 18446744073709551615 134861890 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/27057/statm: 6062 5564 237 467 0 5593 0
Current children cumulated CPU time (s) 1147.91
Current children cumulated vsize (KiB) 24248

Child status: 0
Real time (s): 1147.99
CPU time (s): 1148
CPU user time (s): 1048.12
CPU system time (s): 99.8878
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 24248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1048.12
system time used= 99.8878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5740
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 2387

runsolver used 1.56476 second user time and 3.65744 second system time

The end

Launcher Data 

Begin job on node118 at 2010-06-30 22:00:56
IDJOB=2695060
IDBENCH=79284
IDSOLVER=1208
FILE ID=node118/2695060-1277928056
PBS_JOBID= 11197374
Free space on /tmp= 74204 MiB

SOLVER NAME= PB/CT 0.1
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900571761--soft-0-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695060-1277928056/watcher-2695060-1277928056 -o /tmp/evaluation-result-2695060-1277928056/solver-2695060-1277928056 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2695060-1277928056.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= c1a8bf15a5939881d6e0f7761d224808
RANDOM SEED=1988190547

node118.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5448.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31130788 kB
Buffers:        211940 kB
Cached:        1306012 kB
SwapCached:          0 kB
Active:         636588 kB
Inactive:      1040444 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31130788 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4124 kB
Writeback:           0 kB
AnonPages:      159144 kB
Mapped:          17692 kB
Slab:            80284 kB
PageTables:       5048 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   304924 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74204 MiB
End job on node118 at 2010-06-30 22:20:04