Trace number 2695573

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.03 1800.01

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900558739--soft-66-100-0.wbo
MD5SUM099eb4454f9d71550aca948671f10d54
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard 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 benchmark408.702
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 constraints900
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 45741
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 45740
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 649
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 15/8 clauses 1792/892 units 0
0.00/0.01	c vars 231
0.03/0.06	c 0.057991 13.1875 33 4713
0.03/0.06	o 606
0.03/0.06	c 0.058991 13.3242 41 6764
0.03/0.06	o 491
0.03/0.07	c 0.06199 13.3242 80 8033
0.03/0.07	o 375
0.03/0.07	c 0.06299 13.3242 87 8571
0.03/0.07	o 322
0.03/0.08	c 0.06499 13.3242 125 8688
0.03/0.08	o 320
0.03/0.08	c 0.067989 13.3242 147 9732
0.03/0.08	o 197
0.09/0.10	c 0.072988 13.3242 243 10405
0.09/0.10	o 139
0.09/0.16	c 0.098984 13.3242 582 11204
0.09/0.16	o 118
0.30/0.32	c 0.149977 13.5703 1229 12277
0.30/0.32	o 112
0.59/0.65	c 0.292955 13.5703 715 15699
0.59/0.65	o 104
0.89/0.94	c 0.395939 13.6953 1548 18021
0.89/0.94	o 91
0.89/0.98	c 0.409937 13.6953 965 18422
0.89/0.98	o 78
1.00/1.09	c 0.465929 13.6953 1055 19908
1.00/1.09	o 70
1.99/2.07	c 1.01185 13.6953 944 30845
1.99/2.07	o 65
2.50/2.57	c 1.3028 13.6953 1181 36177
2.50/2.57	o 48
4.70/4.71	c 2.48562 13.9492 1532 61937
4.70/4.71	o 38
6.60/6.65	c 3.61245 13.9492 1363 86147
6.60/6.65	o 33
7.29/7.30	c 3.97939 13.9492 1138 94620
7.29/7.30	o 22
10.59/10.66	c 6.42002 14.4531 1183 145166
10.59/10.66	o 13
10.79/10.83	c 6.554 14.4531 1842 147401
10.79/10.83	o 11
13.10/13.20	c 8.36373 14.4531 1921 183361
13.10/13.20	o 6
47.59/47.67	c 34.4008 14.5078 2281 725794
47.59/47.67	o 2
1800.02/1800.00	s SATISFIABLE
1800.02/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	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-2695573-1277904891/watcher-2695573-1277904891 -o /tmp/evaluation-result-2695573-1277904891/solver-2695573-1277904891 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695573-1277904891.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.57 2.98 2.96 4/199 12916
/proc/meminfo: memFree=31095412/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=2136 CPUtime=0
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 252 0 0 0 0 0 0 0 25 0 1 0 131784565 2187264 171 4089446400 134512640 136421960 4287469424 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12916/statm: 534 171 144 467 0 65 0

[startup+0.031221 s]
/proc/loadavg: 2.57 2.98 2.96 4/199 12916
/proc/meminfo: memFree=31095412/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=6436 CPUtime=0.03
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 1315 0 0 0 3 0 0 0 25 0 1 0 131784565 6590464 1234 4089446400 134512640 136421960 4287469424 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12916/statm: 1641 1238 193 467 0 1172 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6436

[startup+0.101208 s]
/proc/loadavg: 2.57 2.98 2.96 4/199 12916
/proc/meminfo: memFree=31095412/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=13640 CPUtime=0.09
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3090 0 0 0 7 2 0 0 25 0 1 0 131784565 13967360 3003 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12916/statm: 3410 3003 236 467 0 2941 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13640

[startup+0.301171 s]
/proc/loadavg: 2.57 2.98 2.96 4/199 12916
/proc/meminfo: memFree=31095412/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=13768 CPUtime=0.3
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3140 0 0 0 14 16 0 0 25 0 1 0 131784565 14098432 3051 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12916/statm: 3442 3051 236 467 0 2973 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 13768

[startup+0.701079 s]
/proc/loadavg: 2.57 2.98 2.96 4/199 12916
/proc/meminfo: memFree=31095412/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=13892 CPUtime=0.69
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3153 0 0 0 30 39 0 0 25 0 1 0 131784565 14225408 3062 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12916/statm: 3473 3062 236 467 0 3004 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13892

[startup+1.50093 s]
/proc/loadavg: 2.57 2.98 2.96 4/200 12917
/proc/meminfo: memFree=31082880/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=14020 CPUtime=1.49
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3181 0 0 0 68 81 0 0 25 0 1 0 131784565 14356480 3087 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12916/statm: 3505 3087 236 467 0 3036 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14020

[startup+3.10066 s]
/proc/loadavg: 2.61 2.98 2.96 4/200 12917
/proc/meminfo: memFree=31082384/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=14152 CPUtime=3.09
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3230 0 0 0 159 150 0 0 25 0 1 0 131784565 14491648 3134 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12916/statm: 3538 3134 236 467 0 3069 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14152

[startup+6.30109 s]
/proc/loadavg: 2.61 2.98 2.96 4/200 12917
/proc/meminfo: memFree=31082048/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=14280 CPUtime=6.3
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3277 0 0 0 343 287 0 0 25 0 1 0 131784565 14622720 3180 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12916/statm: 3570 3180 236 467 0 3101 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 14280

[startup+12.7009 s]
/proc/loadavg: 2.67 2.98 2.96 4/200 12917
/proc/meminfo: memFree=31079940/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=14796 CPUtime=12.69
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3382 0 0 0 796 473 0 0 25 0 1 0 131784565 15151104 3281 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12916/statm: 3699 3281 236 467 0 3230 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14796

[startup+25.5006 s]
/proc/loadavg: 3.16 3.08 2.99 4/200 12918
/proc/meminfo: memFree=31074956/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=14796 CPUtime=25.49
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3383 0 0 0 1761 788 0 0 25 0 1 0 131784565 15151104 3281 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12916/statm: 3699 3281 236 467 0 3230 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 14796

[startup+51.101 s]
/proc/loadavg: 3.02 3.05 2.98 4/200 12918
/proc/meminfo: memFree=31066044/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=14852 CPUtime=51.09
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3420 0 0 0 3697 1412 0 0 25 0 1 0 131784565 15208448 3317 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12916/statm: 3713 3317 236 467 0 3244 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 14852

[startup+102.307 s]
/proc/loadavg: 2.92 3.01 2.97 4/200 12920
/proc/meminfo: memFree=31056776/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=15108 CPUtime=102.3
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3463 0 0 0 7581 2649 0 0 25 0 1 0 131784565 15470592 3360 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12916/statm: 3777 3360 236 467 0 3308 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 15108

[startup+162.301 s]
/proc/loadavg: 2.93 3.00 2.97 4/200 12921
/proc/meminfo: memFree=31047780/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=15212 CPUtime=162.28
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3504 0 0 0 12267 3961 0 0 25 0 1 0 131784565 15577088 3401 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12916/statm: 3803 3401 236 467 0 3334 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 15212

[startup+222.301 s]
/proc/loadavg: 2.93 2.98 2.96 4/200 12923
/proc/meminfo: memFree=31041520/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=15340 CPUtime=222.28
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3522 0 0 0 17715 4513 0 0 25 0 1 0 131784565 15708160 3419 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12916/statm: 3835 3419 236 467 0 3366 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 15340

[startup+282.3 s]
/proc/loadavg: 3.23 3.03 2.98 4/200 12924
/proc/meminfo: memFree=31036000/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=15464 CPUtime=282.28
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3566 0 0 0 23178 5050 0 0 25 0 1 0 131784565 15835136 3463 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12916/statm: 3866 3463 236 467 0 3397 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 15464

[startup+342.3 s]
/proc/loadavg: 2.89 2.96 2.96 4/200 12926
/proc/meminfo: memFree=31030476/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=15536 CPUtime=342.28
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3588 0 0 0 28617 5611 0 0 25 0 1 0 131784565 15908864 3485 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12916/statm: 3884 3485 236 467 0 3415 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 15536

[startup+402.301 s]
/proc/loadavg: 3.00 2.98 2.96 4/200 12928
/proc/meminfo: memFree=31025696/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=15608 CPUtime=402.27
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3612 0 0 0 33279 6948 0 0 25 0 1 0 131784565 15982592 3509 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12916/statm: 3902 3509 236 467 0 3433 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 15608

[startup+462.301 s]
/proc/loadavg: 3.01 3.01 2.97 4/200 12929
/proc/meminfo: memFree=31020416/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=15608 CPUtime=462.28
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3612 0 0 0 38010 8218 0 0 25 0 1 0 131784565 15982592 3509 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12916/statm: 3902 3509 236 467 0 3433 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 15608

[startup+522.301 s]
/proc/loadavg: 2.92 2.96 2.96 3/200 12931
/proc/meminfo: memFree=31016396/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=15852 CPUtime=522.27
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3658 0 0 0 42802 9425 0 0 25 0 1 0 131784565 16232448 3555 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12916/statm: 3963 3555 236 467 0 3494 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 15852

[startup+582.301 s]
/proc/loadavg: 2.67 2.89 2.93 3/200 12932
/proc/meminfo: memFree=31013968/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=15852 CPUtime=582.28
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3672 0 0 0 47629 10599 0 0 25 0 1 0 131784565 16232448 3569 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12916/statm: 3963 3569 236 467 0 3494 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 15852

[startup+642.3 s]
/proc/loadavg: 2.71 2.85 2.91 4/200 12934
/proc/meminfo: memFree=31010820/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=15980 CPUtime=642.29
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3688 0 0 0 52354 11875 0 0 25 0 1 0 131784565 16363520 3585 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12916/statm: 3995 3585 236 467 0 3526 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 15980

[startup+702.3 s]

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

[startup+822.301 s]
/proc/loadavg: 2.78 2.82 2.89 4/200 12939
/proc/meminfo: memFree=31002016/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=16028 CPUtime=822.29
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3717 0 0 0 66322 15907 0 0 25 0 1 0 131784565 16412672 3614 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12916/statm: 4007 3614 236 467 0 3538 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 16028

[startup+882.301 s]
/proc/loadavg: 3.22 2.92 2.91 4/200 12940
/proc/meminfo: memFree=30998972/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=16156 CPUtime=882.29
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3723 0 0 0 70989 17240 0 0 25 0 1 0 131784565 16543744 3620 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12916/statm: 4039 3620 236 467 0 3570 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 16156

[startup+942.301 s]
/proc/loadavg: 3.05 2.91 2.91 3/200 12942
/proc/meminfo: memFree=30996296/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=16156 CPUtime=942.29
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3723 0 0 0 75736 18493 0 0 25 0 1 0 131784565 16543744 3620 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12916/statm: 4039 3620 236 467 0 3570 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 16156

[startup+1002.3 s]
/proc/loadavg: 2.35 2.73 2.85 3/179 12974
/proc/meminfo: memFree=31124104/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=16288 CPUtime=1002.29
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3744 0 0 0 80315 19914 0 0 25 0 1 0 131784565 16678912 3641 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12916/statm: 4072 3641 236 467 0 3603 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 16288

[startup+1062.3 s]
/proc/loadavg: 2.14 2.61 2.79 3/179 12975
/proc/meminfo: memFree=30984696/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=16420 CPUtime=1062.29
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3800 0 0 0 84898 21331 0 0 25 0 1 0 131784565 16814080 3697 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12916/statm: 4105 3697 236 467 0 3636 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 16420

[startup+1122.3 s]
/proc/loadavg: 2.09 2.50 2.74 3/179 12977
/proc/meminfo: memFree=30881084/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=16420 CPUtime=1122.29
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3801 0 0 0 89477 22752 0 0 25 0 1 0 131784565 16814080 3698 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12916/statm: 4105 3698 236 467 0 3636 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 16420

[startup+1182.3 s]
/proc/loadavg: 2.03 2.41 2.70 3/179 12978
/proc/meminfo: memFree=30786664/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=16548 CPUtime=1182.3
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3814 0 0 0 94062 24168 0 0 25 0 1 0 131784565 16945152 3711 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12916/statm: 4137 3711 236 467 0 3668 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 16548

[startup+1242.3 s]
/proc/loadavg: 2.01 2.33 2.65 3/179 12980
/proc/meminfo: memFree=30706144/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=16572 CPUtime=1242.3
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3844 0 0 0 98653 25577 0 0 25 0 1 0 131784565 16969728 3741 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12916/statm: 4143 3741 236 467 0 3674 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 16572

[startup+1302.3 s]
/proc/loadavg: 2.00 2.27 2.60 3/179 12982
/proc/meminfo: memFree=30654760/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=16572 CPUtime=1302.3
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3845 0 0 0 103231 26999 0 0 25 0 1 0 131784565 16969728 3742 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12916/statm: 4143 3742 236 467 0 3674 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 16572

[startup+1362.3 s]
/proc/loadavg: 2.00 2.22 2.56 3/179 12983
/proc/meminfo: memFree=30628192/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=16572 CPUtime=1362.31
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3846 0 0 0 107821 28410 0 0 25 0 1 0 131784565 16969728 3743 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12916/statm: 4143 3743 236 467 0 3674 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 16572

[startup+1422.31 s]
/proc/loadavg: 2.00 2.17 2.52 3/179 12985
/proc/meminfo: memFree=30554120/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=16668 CPUtime=1422.31
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3869 0 0 0 112395 29836 0 0 25 0 1 0 131784565 17068032 3766 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12916/statm: 4167 3766 236 467 0 3698 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 16668

[startup+1482.3 s]
/proc/loadavg: 2.00 2.14 2.49 3/179 12986
/proc/meminfo: memFree=30482032/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=16668 CPUtime=1482.3
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3870 0 0 0 116926 31304 0 0 25 0 1 0 131784565 17068032 3767 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12916/statm: 4167 3767 236 467 0 3698 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 16668

[startup+1542.3 s]
/proc/loadavg: 2.03 2.12 2.46 3/179 12988
/proc/meminfo: memFree=30407328/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=16672 CPUtime=1542.3
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3877 0 0 0 121488 32742 0 0 25 0 1 0 131784565 17072128 3771 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12916/statm: 4168 3771 236 467 0 3699 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 16672

[startup+1602.3 s]
/proc/loadavg: 2.01 2.10 2.43 3/179 12999
/proc/meminfo: memFree=30338296/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=16672 CPUtime=1602.31
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3878 0 0 0 126047 34184 0 0 25 0 1 0 131784565 17072128 3772 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12916/statm: 4168 3772 236 467 0 3699 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 16672

[startup+1662.3 s]
/proc/loadavg: 2.06 2.09 2.41 3/179 13000
/proc/meminfo: memFree=30271896/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=16672 CPUtime=1662.31
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3879 0 0 0 130679 35552 0 0 25 0 1 0 131784565 17072128 3773 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12916/statm: 4168 3773 236 467 0 3699 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 16672

[startup+1722.3 s]
/proc/loadavg: 2.02 2.08 2.38 3/179 13002
/proc/meminfo: memFree=30196456/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=16752 CPUtime=1722.32
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3890 0 0 0 135266 36966 0 0 25 0 1 0 131784565 17154048 3784 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12916/statm: 4188 3784 236 467 0 3719 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 16752

[startup+1782.3 s]
/proc/loadavg: 2.01 2.06 2.35 3/179 13003
/proc/meminfo: memFree=30129448/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=16740 CPUtime=1782.31
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3891 0 0 0 139885 38346 0 0 25 0 1 0 131784565 17141760 3785 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12916/statm: 4185 3785 236 467 0 3716 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 16740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.05 2.34 3/179 13004
/proc/meminfo: memFree=30112072/32951124 swapFree=67111528/67111528
[pid=12916] ppid=12914 vsize=16740 CPUtime=1800.02
/proc/12916/stat : 12916 (pbct) R 12914 12916 12137 0 -1 4202496 3892 0 0 0 141223 38779 0 0 25 0 1 0 131784565 17141760 3786 4089446400 134512640 136421960 4287469424 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12916/statm: 4185 3786 236 467 0 3716 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 16740

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.03
CPU user time (s): 1412.24
CPU system time (s): 387.792
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 16800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1412.24
system time used= 387.792
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3893
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= 6687

runsolver used 3.19751 second user time and 5.78012 second system time

The end

Launcher Data 

Begin job on node137 at 2010-06-30 15:34:51
IDJOB=2695573
IDBENCH=78924
IDSOLVER=1208
FILE ID=node137/2695573-1277904891
PBS_JOBID= 11197243
Free space on /tmp= 74212 MiB

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

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

MD5SUM BENCH= 099eb4454f9d71550aca948671f10d54
RANDOM SEED=812723182

node137.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.876
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.75
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.876
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.876
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.74
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.876
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.876
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.876
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.876
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.74
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.876
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31095932 kB
Buffers:        189280 kB
Cached:        1257992 kB
SwapCached:          0 kB
Active:         803440 kB
Inactive:       906496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31095932 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2688 kB
Writeback:           0 kB
AnonPages:      262568 kB
Mapped:          20360 kB
Slab:            79720 kB
PageTables:       5044 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1653812 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= 74208 MiB
End job on node137 at 2010-06-30 16:04:53