Trace number 2699393

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.1 fixedOPTIMUM 980.424 980.394

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554072--soft-33-100-0.wbo
MD5SUMbecc9aeeb3178c7d9d9e6e8b76e31de7
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark71.2462
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 constraints1857
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 93863
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 93862
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 695
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.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.01	c constraints 5/18 clauses 845/1839 units 0
0.00/0.01	c vars 231
0.07/0.08	c 0.076988 16.9219 7 10056
0.07/0.08	o 799
0.07/0.09	c 0.077988 17.1094 10 12573
0.07/0.09	o 524
0.09/0.15	c 0.088986 17.1094 176 13953
0.09/0.15	o 494
0.09/0.16	c 0.090986 17.1094 204 14266
0.09/0.16	o 490
0.19/0.20	c 0.096985 17.1094 289 14574
0.19/0.20	o 487
0.19/0.23	c 0.101984 17.1094 361 15248
0.19/0.23	o 478
0.19/0.24	c 0.103984 17.1094 408 15589
0.19/0.24	o 472
0.29/0.33	c 0.117982 17.2305 680 16745
0.29/0.33	o 455
0.29/0.34	c 0.118981 17.2305 698 17262
0.29/0.34	o 442
0.39/0.42	c 0.12898 17.2305 1007 18282
0.39/0.42	o 439
0.39/0.43	c 0.12998 17.2305 1012 18944
0.39/0.43	o 410
0.39/0.44	c 0.131979 17.2305 1028 19754
0.39/0.44	o 396
0.39/0.45	c 0.133979 17.2305 1043 20198
0.39/0.45	o 385
0.49/0.52	c 0.138978 17.3516 1223 21073
0.49/0.52	o 369
0.49/0.53	c 0.138978 17.3516 623 21573
0.49/0.53	o 349
0.69/0.73	c 0.164974 17.3516 1199 24571
0.69/0.73	o 286
0.79/0.84	c 0.187971 17.3516 918 25613
0.79/0.84	o 277
0.79/0.86	c 0.19497 17.3516 1024 26129
0.79/0.86	o 274
0.79/0.88	c 0.200969 17.3516 1084 26331
0.79/0.88	o 273
0.99/1.06	c 0.231964 17.4727 1662 27651
0.99/1.06	o 270
1.09/1.13	c 0.242963 17.4727 1043 28709
1.09/1.13	o 249
1.09/1.14	c 0.244962 17.4727 1056 29007
1.09/1.14	o 241
1.19/1.24	c 0.25996 17.4727 1251 30329
1.19/1.24	o 197
2.29/2.38	c 0.481926 17.4727 646 36306
2.29/2.38	o 187
3.09/3.13	c 0.617906 17.4727 1161 41124
3.09/3.13	o 172
3.09/3.16	c 0.623905 17.4727 1207 41511
3.09/3.16	o 163
3.19/3.20	c 0.635903 17.4727 730 42161
3.19/3.20	o 152
3.49/3.51	c 0.682896 17.4727 851 43975
3.49/3.51	o 149
3.99/4.09	c 0.78388 17.4727 882 46765
3.99/4.09	o 148
6.60/6.64	c 1.3008 17.4727 869 59116
6.60/6.64	o 144
7.19/7.27	c 1.43478 17.4727 1406 62742
7.19/7.27	o 143
7.39/7.47	c 1.48377 17.4727 685 64398
7.39/7.47	o 141
8.79/8.80	c 1.72674 17.4727 868 71328
8.79/8.80	o 139
8.89/8.94	c 1.74873 17.4727 1166 72202
8.89/8.94	o 133
9.99/10.09	c 1.9627 17.5938 858 78512
9.99/10.09	o 132
10.69/10.79	c 2.12068 17.5938 698 82584
10.69/10.79	o 131
11.09/11.15	c 2.20167 17.5938 872 84209
11.09/11.15	o 126
11.69/11.79	c 2.31665 17.5938 867 87377
11.69/11.79	o 123
12.39/12.40	c 2.43663 17.5938 1001 90400
12.39/12.40	o 120
12.49/12.51	c 2.46062 17.5938 638 91115
12.49/12.51	o 114
12.69/12.74	c 2.50162 17.5938 1090 92361
12.69/12.74	o 106
14.99/15.05	c 2.95955 17.5938 1440 102260
14.99/15.05	o 99
16.99/17.02	c 3.37949 17.5938 1195 113188
16.99/17.02	o 94
16.99/17.04	c 3.38149 17.5938 637 113520
16.99/17.04	o 85
16.99/17.09	c 3.39348 17.5938 793 114070
16.99/17.09	o 78
17.39/17.40	c 3.47947 17.5938 1126 116417
17.39/17.40	o 75
18.39/18.44	c 3.80542 17.5938 983 122932
18.39/18.44	o 66
19.29/19.34	c 4.06338 17.8359 2090 128130
19.29/19.34	o 62
19.49/19.58	c 4.17636 17.9648 1377 130136
19.49/19.58	o 60
20.49/20.52	c 4.51831 17.9648 1047 137663
20.49/20.52	o 50
20.79/20.88	c 4.66129 17.9648 1688 140976
20.79/20.88	o 42
21.29/21.34	c 4.85826 17.9648 1793 145000
21.29/21.34	o 37
23.39/23.49	c 5.9271 18.0898 1373 166084
23.39/23.49	o 29
25.29/25.39	c 7.02093 18.3477 1823 189364
25.29/25.39	o 27
27.59/27.68	c 8.42372 18.3477 2373 216321
27.59/27.68	o 26
28.69/28.72	c 9.04363 18.3477 2164 229189
28.69/28.72	o 14
40.49/40.55	c 17.2384 19.6367 2695 399602
40.49/40.55	o 11
44.49/44.50	c 19.954 19.6367 2031 461628
44.49/44.50	o 9
90.79/90.87	c 52.409 19.6367 2019 1126158
90.79/90.87	o 7
96.99/97.05	c 56.7964 19.6367 1710 1211234
96.99/97.05	o 6
105.49/105.55	c 62.7985 19.6367 3220 1325644
105.49/105.55	o 5
107.20/107.25	c 64.0063 19.6367 2790 1352363
107.20/107.25	o 2
153.29/153.36	c 97.5322 19.6367 2330 2000044
153.29/153.36	o 1
980.32/980.37	c 727.415 20.1719 2734 14490479
980.32/980.37	s OPTIMUM FOUND
980.32/980.37	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	1

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699393-1278461045/watcher-2699393-1278461045 -o /tmp/evaluation-result-2699393-1278461045/solver-2699393-1278461045 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699393-1278461045.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: 2.07 2.02 1.92 3/178 14039
/proc/meminfo: memFree=30350244/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=2136 CPUtime=0
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 254 0 0 0 0 0 0 0 23 0 1 0 14317075 2187264 174 4089446400 134512640 136422188 4293772512 18446744073709551615 135873822 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14039/statm: 534 174 144 467 0 65 0

[startup+0.0791131 s]
/proc/loadavg: 2.07 2.02 1.92 3/178 14039
/proc/meminfo: memFree=30350244/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=17324 CPUtime=0.07
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 3997 0 0 0 7 0 0 0 24 0 1 0 14317075 17739776 3917 4089446400 134512640 136422188 4293772512 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14039/statm: 4331 3917 213 467 0 3862 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 17324

[startup+0.101109 s]
/proc/loadavg: 2.07 2.02 1.92 3/178 14039
/proc/meminfo: memFree=30350244/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=17516 CPUtime=0.09
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 4073 0 0 0 7 2 0 0 18 0 1 0 14317075 17936384 3991 4089446400 134512640 136422188 4293772512 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14039/statm: 4379 3991 236 467 0 3910 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17516

[startup+0.301068 s]
/proc/loadavg: 2.07 2.02 1.92 3/178 14039
/proc/meminfo: memFree=30350244/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=17640 CPUtime=0.29
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 4086 0 0 0 11 18 0 0 18 0 1 0 14317075 18063360 3999 4089446400 134512640 136422188 4293772512 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14039/statm: 4410 3999 236 467 0 3941 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17640

[startup+0.700994 s]
/proc/loadavg: 2.07 2.02 1.92 3/178 14039
/proc/meminfo: memFree=30350244/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=17764 CPUtime=0.69
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 4129 0 0 0 15 54 0 0 18 0 1 0 14317075 18190336 4034 4089446400 134512640 136422188 4293772512 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14039/statm: 4441 4034 237 467 0 3972 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17764

[startup+1.50085 s]
/proc/loadavg: 2.07 2.02 1.92 3/179 14040
/proc/meminfo: memFree=30335780/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=17888 CPUtime=1.49
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 4170 0 0 0 31 118 0 0 19 0 1 0 14317075 18317312 4067 4089446400 134512640 136422188 4293772512 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14039/statm: 4472 4067 237 467 0 4003 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17888

[startup+3.10054 s]
/proc/loadavg: 2.07 2.02 1.92 3/179 14040
/proc/meminfo: memFree=30335284/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=17888 CPUtime=3.09
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 4171 0 0 0 61 248 0 0 22 0 1 0 14317075 18317312 4067 4089446400 134512640 136422188 4293772512 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14039/statm: 4472 4067 237 467 0 4003 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17888

[startup+6.30092 s]
/proc/loadavg: 2.07 2.02 1.92 3/179 14040
/proc/meminfo: memFree=30335988/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=17888 CPUtime=6.29
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 4188 0 0 0 123 506 0 0 25 0 1 0 14317075 18317312 4079 4089446400 134512640 136422188 4293772512 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14039/statm: 4472 4079 237 467 0 4003 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17888

[startup+12.7007 s]
/proc/loadavg: 2.06 2.01 1.92 3/179 14040
/proc/meminfo: memFree=30335996/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=18012 CPUtime=12.69
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 4217 0 0 0 249 1020 0 0 25 0 1 0 14317075 18444288 4097 4089446400 134512640 136422188 4293772512 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14039/statm: 4503 4097 237 467 0 4034 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18012

[startup+25.5012 s]
/proc/loadavg: 2.05 2.01 1.92 3/179 14040
/proc/meminfo: memFree=30336332/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=18784 CPUtime=25.49
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 4449 0 0 0 708 1841 0 0 25 0 1 0 14317075 19234816 4315 4089446400 134512640 136422188 4293772512 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14039/statm: 4696 4315 237 467 0 4227 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18784

[startup+51.1003 s]
/proc/loadavg: 2.03 2.01 1.92 3/179 14041
/proc/meminfo: memFree=30334888/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=20104 CPUtime=51.09
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 4775 0 0 0 2452 2657 0 0 25 0 1 0 14317075 20586496 4637 4089446400 134512640 136422188 4293772512 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14039/statm: 5026 4637 237 467 0 4557 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 20104

[startup+102.305 s]
/proc/loadavg: 2.04 2.02 1.93 3/179 14042
/proc/meminfo: memFree=30334356/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=20104 CPUtime=102.3
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 4777 0 0 0 6049 4181 0 0 25 0 1 0 14317075 20586496 4637 4089446400 134512640 136422188 4293772512 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14039/statm: 5026 4637 237 467 0 4557 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 20104

[startup+162.301 s]
/proc/loadavg: 2.02 2.02 1.93 3/179 14071
/proc/meminfo: memFree=30340408/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=20104 CPUtime=162.3
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 4780 0 0 0 10450 5780 0 0 25 0 1 0 14317075 20586496 4637 4089446400 134512640 136422188 4293772512 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14039/statm: 5026 4637 237 467 0 4557 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 20104

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/179 14073
/proc/meminfo: memFree=30340388/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=20104 CPUtime=222.29
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 4780 0 0 0 15118 7111 0 0 25 0 1 0 14317075 20586496 4637 4089446400 134512640 136422188 4293772512 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14039/statm: 5026 4637 237 467 0 4557 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 20104

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 1.93 3/179 14074
/proc/meminfo: memFree=30339968/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=20104 CPUtime=282.3
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 4780 0 0 0 19846 8384 0 0 25 0 1 0 14317075 20586496 4637 4089446400 134512640 136422188 4293772512 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/14039/statm: 5026 4637 237 467 0 4557 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 20104

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14076
/proc/meminfo: memFree=30339660/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=20244 CPUtime=342.3
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 4795 0 0 0 24574 9656 0 0 25 0 1 0 14317075 20729856 4652 4089446400 134512640 136422188 4293772512 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14039/statm: 5061 4652 237 467 0 4592 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 20244

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14077
/proc/meminfo: memFree=30339620/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=20244 CPUtime=402.3
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 4822 0 0 0 29294 10936 0 0 25 0 1 0 14317075 20729856 4679 4089446400 134512640 136422188 4293772512 18446744073709551615 135805526 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14039/statm: 5061 4679 237 467 0 4592 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 20244

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14079
/proc/meminfo: memFree=30339440/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=20380 CPUtime=462.3
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 4832 0 0 0 33957 12273 0 0 25 0 1 0 14317075 20869120 4689 4089446400 134512640 136422188 4293772512 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14039/statm: 5095 4689 237 467 0 4626 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 20380

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14081
/proc/meminfo: memFree=30339272/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=20380 CPUtime=522.3
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 4849 0 0 0 38680 13550 0 0 25 0 1 0 14317075 20869120 4706 4089446400 134512640 136422188 4293772512 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14039/statm: 5095 4706 237 467 0 4626 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 20380

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14082
/proc/meminfo: memFree=30339224/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=20520 CPUtime=582.3
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 4861 0 0 0 43421 14809 0 0 25 0 1 0 14317075 21012480 4718 4089446400 134512640 136422188 4293772512 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14039/statm: 5130 4718 237 467 0 4661 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 20520

[startup+642.301 s]
/proc/loadavg: 2.04 2.01 1.93 3/179 14111
/proc/meminfo: memFree=30229704/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=20520 CPUtime=642.31
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 4863 0 0 0 48060 16171 0 0 25 0 1 0 14317075 21012480 4720 4089446400 134512640 136422188 4293772512 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14039/statm: 5130 4720 237 467 0 4661 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 20520

[startup+702.301 s]
/proc/loadavg: 2.01 2.01 1.93 3/179 14112
/proc/meminfo: memFree=30227440/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=20520 CPUtime=702.31
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 4872 0 0 0 52402 17829 0 0 25 0 1 0 14317075 21012480 4729 4089446400 134512640 136422188 4293772512 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14039/statm: 5130 4729 237 467 0 4661 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 20520

[startup+762.307 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14114
/proc/meminfo: memFree=30226748/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=20520 CPUtime=762.32
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 4888 0 0 0 56844 19388 0 0 25 0 1 0 14317075 21012480 4745 4089446400 134512640 136422188 4293772512 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14039/statm: 5130 4745 237 467 0 4661 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 20520

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14116
/proc/meminfo: memFree=30226536/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=20652 CPUtime=822.32
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 4896 0 0 0 61212 21020 0 0 25 0 1 0 14317075 21147648 4753 4089446400 134512640 136422188 4293772512 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14039/statm: 5163 4753 237 467 0 4694 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 20652

[startup+882.301 s]
/proc/loadavg: 2.05 2.01 1.94 3/179 14119
/proc/meminfo: memFree=30225696/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=20652 CPUtime=882.31
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 4906 0 0 0 65642 22589 0 0 25 0 1 0 14317075 21147648 4763 4089446400 134512640 136422188 4293772512 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14039/statm: 5163 4763 237 467 0 4694 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 20652

[startup+942.301 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 14122
/proc/meminfo: memFree=30225684/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=20652 CPUtime=942.32
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 4906 0 0 0 70014 24218 0 0 25 0 1 0 14317075 21147648 4763 4089446400 134512640 136422188 4293772512 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14039/statm: 5163 4763 237 467 0 4694 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 20652

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

[startup+947.106 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 14122
/proc/meminfo: memFree=30225444/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=20652 CPUtime=947.13
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 4906 0 0 0 70354 24359 0 0 25 0 1 0 14317075 21147648 4763 4089446400 134512640 136422188 4293772512 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14039/statm: 5163 4763 237 467 0 4694 0
Current children cumulated CPU time (s) 947.13
Current children cumulated vsize (KiB) 20652

[startup+959.901 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 14122
/proc/meminfo: memFree=30225548/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=20652 CPUtime=959.92
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 4906 0 0 0 71273 24719 0 0 25 0 1 0 14317075 21147648 4763 4089446400 134512640 136422188 4293772512 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14039/statm: 5163 4763 237 467 0 4694 0
Current children cumulated CPU time (s) 959.92
Current children cumulated vsize (KiB) 20652

[startup+972.701 s]
/proc/loadavg: 2.01 2.00 1.94 3/179 14123
/proc/meminfo: memFree=30225404/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=20652 CPUtime=972.72
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 4906 0 0 0 72191 25081 0 0 25 0 1 0 14317075 21147648 4763 4089446400 134512640 136422188 4293772512 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14039/statm: 5163 4763 237 467 0 4694 0
Current children cumulated CPU time (s) 972.72
Current children cumulated vsize (KiB) 20652

[startup+975.901 s]
/proc/loadavg: 2.01 2.00 1.94 3/179 14123
/proc/meminfo: memFree=30225032/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=20652 CPUtime=975.92
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 4909 0 0 0 72420 25172 0 0 25 0 1 0 14317075 21147648 4766 4089446400 134512640 136422188 4293772512 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14039/statm: 5163 4766 237 467 0 4694 0
Current children cumulated CPU time (s) 975.92
Current children cumulated vsize (KiB) 20652

[startup+977.5 s]
/proc/loadavg: 2.01 2.00 1.94 3/179 14123
/proc/meminfo: memFree=30225148/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=20652 CPUtime=977.52
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 4909 0 0 0 72536 25216 0 0 25 0 1 0 14317075 21147648 4766 4089446400 134512640 136422188 4293772512 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14039/statm: 5163 4766 237 467 0 4694 0
Current children cumulated CPU time (s) 977.52
Current children cumulated vsize (KiB) 20652

[startup+979.101 s]
/proc/loadavg: 2.01 2.00 1.94 3/179 14123
/proc/meminfo: memFree=30225148/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=20652 CPUtime=979.13
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 4909 0 0 0 72650 25263 0 0 25 0 1 0 14317075 21147648 4766 4089446400 134512640 136422188 4293772512 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14039/statm: 5163 4766 237 467 0 4694 0
Current children cumulated CPU time (s) 979.13
Current children cumulated vsize (KiB) 20652

[startup+979.901 s]
/proc/loadavg: 2.01 2.00 1.94 3/179 14123
/proc/meminfo: memFree=30225148/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=20652 CPUtime=979.92
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 4909 0 0 0 72708 25284 0 0 25 0 1 0 14317075 21147648 4766 4089446400 134512640 136422188 4293772512 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14039/statm: 5163 4766 237 467 0 4694 0
Current children cumulated CPU time (s) 979.92
Current children cumulated vsize (KiB) 20652

[startup+980.301 s]
/proc/loadavg: 2.01 2.00 1.94 3/179 14123
/proc/meminfo: memFree=30225148/32950928 swapFree=67111528/67111528
[pid=14039] ppid=14037 vsize=20652 CPUtime=980.32
/proc/14039/stat : 14039 (pbct) R 14037 14039 13766 0 -1 4202496 4909 0 0 0 72736 25296 0 0 25 0 1 0 14317075 21147648 4766 4089446400 134512640 136422188 4293772512 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/14039/statm: 5163 4766 237 467 0 4694 0
Current children cumulated CPU time (s) 980.32
Current children cumulated vsize (KiB) 20652

Child status: 0
Real time (s): 980.394
CPU time (s): 980.424
CPU user time (s): 727.434
CPU system time (s): 252.99
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 20652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 727.434
system time used= 252.99
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4914
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= 7
involuntary context switches= 1913

runsolver used 1.50677 second user time and 2.95755 second system time

The end

Launcher Data 

Begin job on node148 at 2010-07-07 02:04:05
IDJOB=2699393
IDBENCH=78943
IDSOLVER=1212
FILE ID=node148/2699393-1278461045
PBS_JOBID= 11233696
Free space on /tmp= 73904 MiB

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

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

MD5SUM BENCH= becc9aeeb3178c7d9d9e6e8b76e31de7
RANDOM SEED=1341978576

node148.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.825
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.65
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.825
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.83
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.825
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.82
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.825
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.77
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.825
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.82
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.825
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.75
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.825
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.83
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.825
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	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30350888 kB
Buffers:        111884 kB
Cached:        2257876 kB
SwapCached:          0 kB
Active:         668992 kB
Inactive:      1782228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30350888 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2020 kB
Writeback:           0 kB
AnonPages:       81512 kB
Mapped:          15452 kB
Slab:            83508 kB
PageTables:       4824 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   224276 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= 73900 MiB
End job on node148 at 2010-07-07 02:20:26