Trace number 2695661

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.1MSAT (TO) 1800.06 1800.01

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo
MD5SUM404f4a35cd4ec5708f20e119eb7d26f2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark640.218
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 constraints899
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 46330
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46329
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 749
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.01	c constraints 12/11 clauses 1796/888 units 0
0.00/0.01	c vars 231
0.06/0.07	c 0.055991 13.1914 56 7254
0.06/0.07	o 277
0.06/0.08	c 0.05999 13.3281 143 8080
0.06/0.08	o 235
0.19/0.21	c 0.109983 13.4531 944 9963
0.19/0.21	o 218
0.19/0.26	c 0.131979 13.4531 823 10970
0.19/0.26	o 200
0.30/0.32	c 0.149977 13.4531 1101 11511
0.30/0.32	o 198
0.30/0.37	c 0.186971 13.5781 1582 12315
0.30/0.37	o 192
0.59/0.69	c 0.350946 13.5781 740 16685
0.59/0.69	o 178
0.69/0.78	c 0.39294 13.5781 737 17831
0.69/0.78	o 175
0.69/0.79	c 0.396939 13.5781 835 18107
0.69/0.79	o 166
1.39/1.46	c 0.667898 13.6992 1097 25513
1.39/1.46	o 151
1.49/1.53	c 0.695894 13.6992 906 26346
1.49/1.53	o 141
1.69/1.78	c 0.805877 13.6992 650 29506
1.69/1.78	o 125
2.29/2.36	c 1.05984 13.6992 619 34977
2.29/2.36	o 116
4.59/4.64	c 1.9807 13.6992 1367 55629
4.59/4.64	o 102
6.40/6.47	c 2.67759 13.6992 776 71575
6.40/6.47	o 97
8.59/8.61	c 3.45147 13.6992 1210 90186
8.59/8.61	o 90
8.59/8.65	c 3.46547 13.6992 870 90807
8.59/8.65	o 85
9.20/9.29	c 3.80042 13.6992 1320 98693
9.20/9.29	o 55
9.99/10.05	c 4.24235 14.082 1298 107993
9.99/10.05	o 45
10.29/10.30	c 4.40733 14.082 1248 111865
10.29/10.30	o 40
11.19/11.28	c 5.06323 14.082 1433 125866
11.19/11.28	o 37
13.89/13.92	c 6.81196 14.082 1126 165465
13.89/13.92	o 33
66.40/66.45	c 42.3056 14.3945 1885 962915
66.40/66.45	o 30
69.49/69.58	c 44.3913 14.3945 1587 1009146
69.49/69.58	o 25
134.30/134.32	c 89.4324 14.5195 2175 2044224
134.30/134.32	o 21
134.30/134.33	c 89.4414 14.5195 1200 2044464
134.30/134.33	o 16
1800.06/1800.00	s SATISFIABLE
1800.06/1800.00	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	16

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695661-1277909530/watcher-2695661-1277909530 -o /tmp/evaluation-result-2695661-1277909530/solver-2695661-1277909530 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695661-1277909530.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.00 2.05 2.31 3/178 24226
/proc/meminfo: memFree=31408808/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=2136 CPUtime=0
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 252 0 0 0 0 0 0 0 25 0 1 0 164544746 2187264 172 4089446400 134512640 136421960 4294066064 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24226/statm: 534 172 144 467 0 65 0

[startup+0.065249 s]
/proc/loadavg: 2.00 2.05 2.31 3/178 24226
/proc/meminfo: memFree=31408808/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=13504 CPUtime=0.06
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3021 0 0 0 5 1 0 0 25 0 1 0 164544746 13828096 2941 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 3376 2941 213 467 0 2907 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13504

[startup+0.101231 s]
/proc/loadavg: 2.00 2.05 2.31 3/178 24226
/proc/meminfo: memFree=31408808/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=13644 CPUtime=0.09
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3079 0 0 0 6 3 0 0 25 0 1 0 164544746 13971456 2997 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 3411 2997 236 467 0 2942 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13644

[startup+0.301214 s]
/proc/loadavg: 2.00 2.05 2.31 3/178 24226
/proc/meminfo: memFree=31408808/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=13772 CPUtime=0.3
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3120 0 0 0 14 16 0 0 25 0 1 0 164544746 14102528 3036 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 3443 3036 236 467 0 2974 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 13772

[startup+0.701129 s]
/proc/loadavg: 2.00 2.05 2.31 3/178 24226
/proc/meminfo: memFree=31408808/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=13900 CPUtime=0.69
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3158 0 0 0 35 34 0 0 25 0 1 0 164544746 14233600 3071 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 3475 3071 236 467 0 3006 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13900

[startup+1.50099 s]
/proc/loadavg: 2.00 2.05 2.31 3/179 24227
/proc/meminfo: memFree=31397020/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=14024 CPUtime=1.49
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3167 0 0 0 68 81 0 0 25 0 1 0 164544746 14360576 3077 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 3506 3077 236 467 0 3037 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14024

[startup+3.10062 s]
/proc/loadavg: 2.00 2.05 2.31 3/179 24227
/proc/meminfo: memFree=31396648/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=14024 CPUtime=3.09
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3174 0 0 0 136 173 0 0 25 0 1 0 164544746 14360576 3081 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 3506 3081 236 467 0 3037 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14024

[startup+6.30112 s]
/proc/loadavg: 2.00 2.05 2.31 3/179 24227
/proc/meminfo: memFree=31396412/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=14024 CPUtime=6.3
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3179 0 0 0 261 369 0 0 25 0 1 0 164544746 14360576 3085 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 3506 3085 236 467 0 3037 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 14024

[startup+12.7009 s]
/proc/loadavg: 2.00 2.05 2.30 3/179 24227
/proc/meminfo: memFree=31396532/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=14416 CPUtime=12.69
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3286 0 0 0 600 669 0 0 25 0 1 0 164544746 14761984 3185 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 3604 3185 236 467 0 3135 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14416

[startup+25.5006 s]
/proc/loadavg: 2.00 2.05 2.30 3/179 24228
/proc/meminfo: memFree=31397204/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=14416 CPUtime=25.49
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3287 0 0 0 1471 1078 0 0 25 0 1 0 164544746 14761984 3185 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 3604 3185 236 467 0 3135 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 14416

[startup+51.1009 s]
/proc/loadavg: 2.00 2.04 2.29 3/179 24228
/proc/meminfo: memFree=31397036/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=14672 CPUtime=51.09
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3351 0 0 0 3243 1866 0 0 25 0 1 0 164544746 15024128 3249 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 3668 3249 236 467 0 3199 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 14672

[startup+102.306 s]
/proc/loadavg: 2.00 2.03 2.27 3/179 24230
/proc/meminfo: memFree=31396268/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=14736 CPUtime=102.3
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3388 0 0 0 6700 3530 0 0 25 0 1 0 164544746 15089664 3284 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 3684 3284 236 467 0 3215 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 14736

[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.25 3/179 24231
/proc/meminfo: memFree=31395484/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=14864 CPUtime=162.29
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3415 0 0 0 10899 5330 0 0 25 0 1 0 164544746 15220736 3309 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 3716 3309 236 467 0 3247 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 14864

[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.23 3/179 24233
/proc/meminfo: memFree=31395704/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=14996 CPUtime=222.3
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3454 0 0 0 15141 7089 0 0 25 0 1 0 164544746 15355904 3348 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 3749 3348 236 467 0 3280 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 14996

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.22 3/179 24234
/proc/meminfo: memFree=31395296/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=15124 CPUtime=282.3
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3465 0 0 0 19434 8796 0 0 25 0 1 0 164544746 15486976 3359 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 3781 3359 236 467 0 3312 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 15124

[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.20 3/179 24236
/proc/meminfo: memFree=31394288/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=15124 CPUtime=342.3
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3485 0 0 0 23694 10536 0 0 25 0 1 0 164544746 15486976 3379 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 3781 3379 236 467 0 3312 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 15124

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.18 3/179 24238
/proc/meminfo: memFree=31394132/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=15180 CPUtime=402.31
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3496 0 0 0 27939 12292 0 0 25 0 1 0 164544746 15544320 3390 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 3795 3390 236 467 0 3326 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 15180

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.17 3/179 24239
/proc/meminfo: memFree=31393616/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=15180 CPUtime=462.3
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3496 0 0 0 32223 14007 0 0 25 0 1 0 164544746 15544320 3390 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 3795 3390 236 467 0 3326 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 15180

[startup+522.301 s]
/proc/loadavg: 1.94 1.98 2.15 3/179 24269
/proc/meminfo: memFree=31471820/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=15420 CPUtime=522.31
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3555 0 0 0 36604 15627 0 0 25 0 1 0 164544746 15790080 3449 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 3855 3449 236 467 0 3386 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 15420

[startup+582.301 s]
/proc/loadavg: 1.98 1.98 2.14 3/179 24279
/proc/meminfo: memFree=31462408/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=15480 CPUtime=582.31
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3563 0 0 0 40908 17323 0 0 25 0 1 0 164544746 15851520 3457 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 3870 3457 236 467 0 3401 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 15480

[startup+642.301 s]
/proc/loadavg: 1.99 1.98 2.13 3/179 24281
/proc/meminfo: memFree=31457912/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=15552 CPUtime=642.32
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3580 0 0 0 45231 19001 0 0 25 0 1 0 164544746 15925248 3474 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 3888 3474 236 467 0 3419 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 15552

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.99 1.98 2.09 3/179 24286
/proc/meminfo: memFree=31445400/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=15552 CPUtime=822.32
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3595 0 0 0 58208 24024 0 0 25 0 1 0 164544746 15925248 3489 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 3888 3489 236 467 0 3419 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 15552

[startup+882.301 s]
/proc/loadavg: 1.99 1.98 2.09 3/179 24287
/proc/meminfo: memFree=31444616/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=15640 CPUtime=882.32
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3616 0 0 0 62593 25639 0 0 25 0 1 0 164544746 16015360 3510 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 3910 3510 236 467 0 3441 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 15640

[startup+942.301 s]
/proc/loadavg: 1.99 1.98 2.08 3/179 24289
/proc/meminfo: memFree=31442840/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=15640 CPUtime=942.32
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3616 0 0 0 66949 27283 0 0 25 0 1 0 164544746 16015360 3510 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 3910 3510 236 467 0 3441 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 15640

[startup+1002.3 s]
/proc/loadavg: 1.99 1.98 2.07 3/179 24291
/proc/meminfo: memFree=31439948/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=15816 CPUtime=1002.32
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3640 0 0 0 71241 28991 0 0 25 0 1 0 164544746 16195584 3534 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 3954 3534 236 467 0 3485 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 15816

[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 2.07 3/179 24292
/proc/meminfo: memFree=31437796/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=15944 CPUtime=1062.33
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3667 0 0 0 75607 30626 0 0 25 0 1 0 164544746 16326656 3561 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 3986 3561 236 467 0 3517 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 15944

[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 2.06 3/179 24294
/proc/meminfo: memFree=31437136/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=16072 CPUtime=1122.33
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3684 0 0 0 79959 32274 0 0 25 0 1 0 164544746 16457728 3578 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 4018 3578 236 467 0 3549 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 16072

[startup+1182.3 s]
/proc/loadavg: 2.07 2.00 2.06 3/179 24295
/proc/meminfo: memFree=31435988/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=16072 CPUtime=1182.33
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3685 0 0 0 84304 33929 0 0 25 0 1 0 164544746 16457728 3579 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 4018 3579 236 467 0 3549 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 16072

[startup+1242.3 s]
/proc/loadavg: 2.02 2.00 2.06 3/179 24297
/proc/meminfo: memFree=31435572/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=16072 CPUtime=1242.33
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3686 0 0 0 88701 35532 0 0 25 0 1 0 164544746 16457728 3580 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 4018 3580 236 467 0 3549 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 16072

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.05 3/179 24299
/proc/meminfo: memFree=31435408/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=16072 CPUtime=1302.33
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3687 0 0 0 93047 37186 0 0 25 0 1 0 164544746 16457728 3581 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 4018 3581 236 467 0 3549 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 16072

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 24300
/proc/meminfo: memFree=31434516/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=16072 CPUtime=1362.33
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3690 0 0 0 97411 38822 0 0 25 0 1 0 164544746 16457728 3584 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 4018 3584 236 467 0 3549 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 16072

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 24302
/proc/meminfo: memFree=31434604/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=16072 CPUtime=1422.34
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3705 0 0 0 101814 40420 0 0 25 0 1 0 164544746 16457728 3599 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 4018 3599 236 467 0 3549 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 16072

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 24303
/proc/meminfo: memFree=31434576/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=16072 CPUtime=1482.34
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3706 0 0 0 106213 42021 0 0 25 0 1 0 164544746 16457728 3600 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 4018 3600 236 467 0 3549 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 16072

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 24305
/proc/meminfo: memFree=31434552/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=16072 CPUtime=1542.34
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3712 0 0 0 110617 43617 0 0 25 0 1 0 164544746 16457728 3606 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 4018 3606 236 467 0 3549 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 16072

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 24307
/proc/meminfo: memFree=31434520/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=16072 CPUtime=1602.34
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3713 0 0 0 114969 45265 0 0 25 0 1 0 164544746 16457728 3607 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 4018 3607 236 467 0 3549 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 16072

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 24308
/proc/meminfo: memFree=31434360/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=16136 CPUtime=1662.35
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3725 0 0 0 119336 46899 0 0 25 0 1 0 164544746 16523264 3619 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 4034 3619 236 467 0 3565 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 16136

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.01 3/179 24310
/proc/meminfo: memFree=31434096/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=16136 CPUtime=1722.34
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3727 0 0 0 123688 48546 0 0 25 0 1 0 164544746 16523264 3621 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 4034 3621 236 467 0 3565 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 16136

[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 2.01 3/179 24311
/proc/meminfo: memFree=31432692/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=16136 CPUtime=1782.34
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3728 0 0 0 128049 50185 0 0 25 0 1 0 164544746 16523264 3622 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 4034 3622 236 467 0 3565 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 16136



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.03 2.02 2.01 3/179 24312
/proc/meminfo: memFree=31432560/32950928 swapFree=67111528/67111528
[pid=24226] ppid=24224 vsize=16136 CPUtime=1800.06
/proc/24226/stat : 24226 (pbct) R 24224 24226 23243 0 -1 4202496 3731 0 0 0 129344 50662 0 0 25 0 1 0 164544746 16523264 3625 4089446400 134512640 136421960 4294066064 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/24226/statm: 4034 3625 236 467 0 3565 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 16136

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 0
Real time (s): 1800.01
CPU time (s): 1800.06
CPU user time (s): 1293.44
CPU system time (s): 506.623
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 16200

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

runsolver used 2.67359 second user time and 5.74413 second system time

The end

Launcher Data 

Begin job on node116 at 2010-06-30 16:52:10
IDJOB=2695661
IDBENCH=78968
IDSOLVER=1208
FILE ID=node116/2695661-1277909530
PBS_JOBID= 11197235
Free space on /tmp= 74204 MiB

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

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

MD5SUM BENCH= 404f4a35cd4ec5708f20e119eb7d26f2
RANDOM SEED=1487262832

node116.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.838
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.67
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.838
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	: 5381.00
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.838
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.75
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.838
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.75
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.838
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.76
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.838
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.77
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.838
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.838
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:      31409328 kB
Buffers:        192800 kB
Cached:        1007680 kB
SwapCached:          0 kB
Active:         686896 kB
Inactive:       712704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31409328 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2008 kB
Writeback:           0 kB
AnonPages:      199228 kB
Mapped:          17620 kB
Slab:            78140 kB
PageTables:       4908 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   353240 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 node116 at 2010-06-30 17:22:12