Trace number 2699437

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 fixedMSAT (TO) 1800.05 1800.01

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552735--soft-66-100-0.wbo
MD5SUMfc51ff1d1c737b59f1aece9b373640d1
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark586.641
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 constraints906
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 44801
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 44800
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 739
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 12/11 clauses 1789/895 units 0
0.00/0.01	c vars 231
0.00/0.06	c 0.05999 13.2227 24 2576
0.00/0.06	o 468
0.00/0.07	c 0.06399 13.3594 97 3189
0.00/0.07	o 422
0.00/0.08	c 0.073988 13.3594 201 4365
0.00/0.08	o 179
0.09/0.13	c 0.112982 13.3594 547 5255
0.09/0.13	o 164
0.09/0.15	c 0.12998 13.3594 698 5863
0.09/0.15	o 133
0.09/0.17	c 0.143978 13.4883 847 6319
0.09/0.17	o 118
0.29/0.30	c 0.226965 13.4883 989 7758
0.29/0.30	o 114
0.79/0.86	c 0.650901 13.7305 904 14356
0.79/0.86	o 103
1.39/1.45	c 1.11283 13.7305 1361 21921
1.39/1.45	o 72
3.30/3.32	c 2.6216 14.2422 1465 43055
3.30/3.32	o 63
4.09/4.13	c 3.24851 14.2422 1437 52768
4.09/4.13	o 53
7.29/7.34	c 5.8971 14.2422 978 90990
7.29/7.34	o 50
7.29/7.35	c 5.9011 14.2422 1006 91128
7.29/7.35	o 43
7.89/7.95	c 6.39403 14.2422 930 99331
7.89/7.95	o 37
8.59/8.66	c 6.99694 14.2422 1383 109837
8.59/8.66	o 17
8.59/8.67	c 7.00693 14.2422 1453 109973
8.59/8.67	o 13
14.09/14.20	c 11.9672 14.2422 2007 194130
14.09/14.20	o 9
36.50/36.59	c 31.9211 14.4961 1978 544455
36.50/36.59	o 6
1800.04/1800.00	s SATISFIABLE
1800.04/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	6

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.93 1.98 1.90 4/178 11948
/proc/meminfo: memFree=30975064/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=2136 CPUtime=0
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 251 0 0 0 0 0 0 0 25 0 1 0 14318221 2187264 170 4089446400 134512640 136422188 4292333952 18446744073709551615 135873822 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11948/statm: 534 170 144 467 0 65 0

[startup+0.09558 s]
/proc/loadavg: 1.93 1.98 1.90 4/178 11948
/proc/meminfo: memFree=30975064/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=13676 CPUtime=0.09
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3088 0 0 0 8 1 0 0 25 0 1 0 14318221 14004224 3004 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11948/statm: 3419 3004 236 467 0 2950 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13676

[startup+0.100574 s]
/proc/loadavg: 1.93 1.98 1.90 4/178 11948
/proc/meminfo: memFree=30975064/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=13676 CPUtime=0.09
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3088 0 0 0 8 1 0 0 25 0 1 0 14318221 14004224 3004 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11948/statm: 3419 3004 236 467 0 2950 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13676

[startup+0.300542 s]
/proc/loadavg: 1.93 1.98 1.90 4/178 11948
/proc/meminfo: memFree=30975064/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=13808 CPUtime=0.29
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3132 0 0 0 22 7 0 0 18 0 1 0 14318221 14139392 3045 4089446400 134512640 136422188 4292333952 18446744073709551615 135026121 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/11948/statm: 3452 3045 236 467 0 2983 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13808

[startup+0.700469 s]
/proc/loadavg: 1.93 1.98 1.90 4/178 11948
/proc/meminfo: memFree=30975064/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=13932 CPUtime=0.68
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3152 0 0 0 53 15 0 0 18 0 1 0 14318221 14266368 3064 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11948/statm: 3483 3064 236 467 0 3014 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13932

[startup+1.50032 s]
/proc/loadavg: 1.93 1.98 1.90 3/179 11949
/proc/meminfo: memFree=30963160/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=14056 CPUtime=1.48
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3179 0 0 0 114 34 0 0 19 0 1 0 14318221 14393344 3089 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11948/statm: 3514 3089 236 467 0 3045 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 14056

[startup+3.10105 s]
/proc/loadavg: 1.93 1.98 1.90 3/179 11949
/proc/meminfo: memFree=30962788/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=14580 CPUtime=3.09
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3306 0 0 0 244 65 0 0 24 0 1 0 14318221 14929920 3216 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11948/statm: 3645 3216 236 467 0 3176 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14580

[startup+6.30046 s]
/proc/loadavg: 1.93 1.98 1.90 3/179 11949
/proc/meminfo: memFree=30962556/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=14580 CPUtime=6.29
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3334 0 0 0 500 129 0 0 25 0 1 0 14318221 14929920 3242 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11948/statm: 3645 3242 236 467 0 3176 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14580

[startup+12.7003 s]
/proc/loadavg: 1.94 1.98 1.91 3/179 11949
/proc/meminfo: memFree=30962680/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=14580 CPUtime=12.69
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3340 0 0 0 1061 208 0 0 25 0 1 0 14318221 14929920 3243 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11948/statm: 3645 3243 236 467 0 3176 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14580

[startup+25.501 s]
/proc/loadavg: 1.95 1.98 1.91 3/179 11950
/proc/meminfo: memFree=30961992/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=14840 CPUtime=25.49
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3386 0 0 0 2202 347 0 0 25 0 1 0 14318221 15196160 3288 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11948/statm: 3710 3288 236 467 0 3241 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 14840

[startup+51.1004 s]
/proc/loadavg: 1.97 1.98 1.91 3/179 11950
/proc/meminfo: memFree=30961888/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=14972 CPUtime=51.09
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3413 0 0 0 4486 623 0 0 25 0 1 0 14318221 15331328 3314 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11948/statm: 3743 3314 236 467 0 3274 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 14972

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.91 3/179 11952
/proc/meminfo: memFree=30960620/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=15104 CPUtime=102.3
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3475 0 0 0 9032 1198 0 0 25 0 1 0 14318221 15466496 3376 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11948/statm: 3776 3376 236 467 0 3307 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 15104

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 11953
/proc/meminfo: memFree=30960212/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=15320 CPUtime=162.29
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3531 0 0 0 14404 1825 0 0 25 0 1 0 14318221 15687680 3432 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11948/statm: 3830 3432 236 467 0 3361 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 15320

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 11955
/proc/meminfo: memFree=30959384/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=15576 CPUtime=222.3
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3561 0 0 0 19755 2475 0 0 25 0 1 0 14318221 15949824 3462 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11948/statm: 3894 3462 236 467 0 3425 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 15576

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 11956
/proc/meminfo: memFree=30958820/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=15708 CPUtime=282.3
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3620 0 0 0 25136 3094 0 0 25 0 1 0 14318221 16084992 3521 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11948/statm: 3927 3521 236 467 0 3458 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 15708

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 11958
/proc/meminfo: memFree=30958528/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=15840 CPUtime=342.3
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3648 0 0 0 30520 3710 0 0 25 0 1 0 14318221 16220160 3549 4089446400 134512640 136422188 4292333952 18446744073709551615 134862276 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11948/statm: 3960 3549 236 467 0 3491 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 15840

[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 11960
/proc/meminfo: memFree=30958220/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=15840 CPUtime=402.3
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3661 0 0 0 35880 4350 0 0 25 0 1 0 14318221 16220160 3562 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11948/statm: 3960 3562 236 467 0 3491 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 15840

[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 11961
/proc/meminfo: memFree=30958036/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=15984 CPUtime=462.3
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3666 0 0 0 41231 4999 0 0 25 0 1 0 14318221 16367616 3567 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11948/statm: 3996 3567 236 467 0 3527 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 15984

[startup+522.3 s]
/proc/loadavg: 2.04 2.00 1.91 3/179 11963
/proc/meminfo: memFree=30957980/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=16244 CPUtime=522.31
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3723 0 0 0 46627 5604 0 0 25 0 1 0 14318221 16633856 3624 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11948/statm: 4061 3624 236 467 0 3592 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 16244

[startup+582.301 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 11964
/proc/meminfo: memFree=30957668/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=16380 CPUtime=582.3
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3758 0 0 0 51998 6232 0 0 25 0 1 0 14318221 16773120 3659 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11948/statm: 4095 3659 236 467 0 3626 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 16380

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11966
/proc/meminfo: memFree=30957248/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=16380 CPUtime=642.31
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3785 0 0 0 57366 6865 0 0 25 0 1 0 14318221 16773120 3686 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11948/statm: 4095 3686 236 467 0 3626 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 16380

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11971
/proc/meminfo: memFree=30957312/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=16636 CPUtime=822.31
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3835 0 0 0 73480 8751 0 0 25 0 1 0 14318221 17035264 3736 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11948/statm: 4159 3736 236 467 0 3690 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 16636

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11975
/proc/meminfo: memFree=30956236/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=16636 CPUtime=882.32
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3839 0 0 0 78857 9375 0 0 25 0 1 0 14318221 17035264 3740 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11948/statm: 4159 3740 236 467 0 3690 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 16636

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11977
/proc/meminfo: memFree=30956660/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=16636 CPUtime=942.31
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3840 0 0 0 84212 10019 0 0 25 0 1 0 14318221 17035264 3741 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11948/statm: 4159 3741 236 467 0 3690 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 16636

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 11979
/proc/meminfo: memFree=30956612/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=16636 CPUtime=1002.32
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3854 0 0 0 89598 10634 0 0 25 0 1 0 14318221 17035264 3755 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11948/statm: 4159 3755 236 467 0 3690 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 16636

[startup+1062.3 s]
/proc/loadavg: 2.07 2.02 1.92 3/179 11980
/proc/meminfo: memFree=30956304/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=16900 CPUtime=1062.31
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3897 0 0 0 94993 11238 0 0 25 0 1 0 14318221 17305600 3798 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/11948/statm: 4225 3798 236 467 0 3756 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 16900

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/179 11982
/proc/meminfo: memFree=30956140/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=16900 CPUtime=1122.32
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3899 0 0 0 100380 11852 0 0 25 0 1 0 14318221 17305600 3800 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/11948/statm: 4225 3800 236 467 0 3756 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 16900

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/179 11983
/proc/meminfo: memFree=30956072/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=17020 CPUtime=1182.32
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3923 0 0 0 105779 12453 0 0 25 0 1 0 14318221 17428480 3824 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/11948/statm: 4255 3824 236 467 0 3786 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 17020

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 11985
/proc/meminfo: memFree=30955924/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=17020 CPUtime=1242.32
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3926 0 0 0 111153 13079 0 0 25 0 1 0 14318221 17428480 3827 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/11948/statm: 4255 3827 236 467 0 3786 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 17020

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 11987
/proc/meminfo: memFree=30955856/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=17020 CPUtime=1302.33
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3927 0 0 0 116558 13675 0 0 25 0 1 0 14318221 17428480 3828 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/11948/statm: 4255 3828 236 467 0 3786 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 17020

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 11988
/proc/meminfo: memFree=30955700/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=17020 CPUtime=1362.32
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3937 0 0 0 121953 14279 0 0 25 0 1 0 14318221 17428480 3838 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/11948/statm: 4255 3838 236 467 0 3786 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 17020

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 11990
/proc/meminfo: memFree=30955628/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=17020 CPUtime=1422.33
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3946 0 0 0 127358 14875 0 0 25 0 1 0 14318221 17428480 3847 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/11948/statm: 4255 3847 236 467 0 3786 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 17020

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 11991
/proc/meminfo: memFree=30954960/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=17152 CPUtime=1482.32
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3950 0 0 0 132752 15480 0 0 25 0 1 0 14318221 17563648 3851 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/11948/statm: 4288 3851 236 467 0 3819 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 17152

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 11993
/proc/meminfo: memFree=30955176/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=17152 CPUtime=1542.32
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3952 0 0 0 138164 16068 0 0 25 0 1 0 14318221 17563648 3853 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/11948/statm: 4288 3853 236 467 0 3819 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 17152

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 11995
/proc/meminfo: memFree=30955124/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=17152 CPUtime=1602.33
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3964 0 0 0 143552 16681 0 0 25 0 1 0 14318221 17563648 3865 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/11948/statm: 4288 3865 236 467 0 3819 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 17152

[startup+1662.3 s]
/proc/loadavg: 2.09 2.03 1.93 3/179 11996
/proc/meminfo: memFree=30955568/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=17152 CPUtime=1662.33
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3976 0 0 0 148961 17272 0 0 25 0 1 0 14318221 17563648 3877 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/11948/statm: 4288 3877 236 467 0 3819 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 17152

[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 1.93 3/179 11998
/proc/meminfo: memFree=30955272/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=17152 CPUtime=1722.34
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3981 0 0 0 154364 17870 0 0 25 0 1 0 14318221 17563648 3882 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/11948/statm: 4288 3882 236 467 0 3819 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 17152

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/179 11999
/proc/meminfo: memFree=30955208/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=17152 CPUtime=1782.33
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3983 0 0 0 159742 18491 0 0 25 0 1 0 14318221 17563648 3884 4089446400 134512640 136422188 4292333952 18446744073709551615 134862343 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/11948/statm: 4288 3884 236 467 0 3819 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 17152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.01 1.93 3/179 12028
/proc/meminfo: memFree=30544680/32951124 swapFree=67111528/67111528
[pid=11948] ppid=11946 vsize=17152 CPUtime=1800.04
/proc/11948/stat : 11948 (pbct) R 11946 11948 11675 0 -1 4202496 3983 0 0 0 161279 18725 0 0 25 0 1 0 14318221 17563648 3884 4089446400 134512640 136422188 4292333952 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/11948/statm: 4288 3884 236 467 0 3819 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 17152

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.05
CPU user time (s): 1612.79
CPU system time (s): 187.258
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 17152

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

runsolver used 2.51662 second user time and 5.67614 second system time

The end

Launcher Data 

Begin job on node137 at 2010-07-07 02:04:17
IDJOB=2699437
IDBENCH=78965
IDSOLVER=1212
FILE ID=node137/2699437-1278461057
PBS_JOBID= 11233718
Free space on /tmp= 73852 MiB

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

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

MD5SUM BENCH= fc51ff1d1c737b59f1aece9b373640d1
RANDOM SEED=497687041

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.829
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.829
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.829
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.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
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.829
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.829
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.829
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	: 5246.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30975468 kB
Buffers:        106808 kB
Cached:        1658116 kB
SwapCached:          0 kB
Active:         780760 kB
Inactive:      1064176 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30975468 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4128 kB
Writeback:           0 kB
AnonPages:       79996 kB
Mapped:          15444 kB
Slab:            68344 kB
PageTables:       4448 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   221556 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= 73848 MiB
End job on node137 at 2010-07-07 02:34:19