Trace number 2695533

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900559676--soft-66-100-0.wbo
MD5SUMa1fa880e8620ee0c5e9a297708544854
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark374.282
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 625
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.00/0.06	c 0.06499 13.1914 19 4914
0.00/0.06	o 381
0.00/0.07	c 0.067989 13.3281 42 5268
0.00/0.07	o 353
0.09/0.12	c 0.104984 13.3281 432 6624
0.09/0.12	o 312
0.09/0.14	c 0.120981 13.3281 530 7170
0.09/0.14	o 274
0.09/0.14	c 0.123981 13.4492 546 7775
0.09/0.14	o 213
0.09/0.19	c 0.157975 13.4492 797 8307
0.09/0.19	o 210
0.69/0.71	c 0.531919 13.5781 815 13767
0.69/0.71	o 196
0.89/0.92	c 0.672897 13.5781 1277 15888
0.89/0.92	o 164
0.89/0.94	c 0.680896 13.5781 678 16126
0.89/0.94	o 149
1.09/1.10	c 0.790879 13.5781 833 17913
1.09/1.10	o 127
1.29/1.39	c 0.991849 13.5781 844 20323
1.29/1.39	o 115
1.49/1.51	c 1.07883 13.5781 768 21320
1.49/1.51	o 100
1.68/1.70	c 1.22381 13.5781 1024 22721
1.68/1.70	o 98
1.89/1.93	c 1.38579 13.707 1291 24179
1.89/1.93	o 97
2.39/2.49	c 1.79773 13.707 1272 28542
2.39/2.49	o 71
3.79/3.87	c 2.84457 14.0938 1184 40344
3.79/3.87	o 60
3.89/3.94	c 2.90256 14.0938 1044 41161
3.89/3.94	o 50
5.89/5.96	c 4.53231 14.0938 1162 61050
5.89/5.96	o 48
5.98/6.05	c 4.6033 14.0938 909 62101
5.98/6.05	o 39
7.28/7.32	c 5.65114 14.0938 1077 76331
7.28/7.32	o 26
10.99/11.04	c 8.94364 14.2227 1152 127166
10.99/11.04	o 16
14.58/14.69	c 12.2091 14.3516 1609 177649
14.58/14.69	o 14
17.79/17.84	c 15.0497 14.3516 1309 221959
17.79/17.84	o 7
20.08/20.18	c 17.1864 14.3516 1461 254899
20.08/20.18	o 2
52.59/52.63	c 46.5559 14.4766 1673 718556
52.59/52.63	o 1
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	1

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695533-1277902760/watcher-2695533-1277902760 -o /tmp/evaluation-result-2695533-1277902760/solver-2695533-1277902760 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695533-1277902760.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.00 2.00 4/196 13914
/proc/meminfo: memFree=31072308/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=2136 CPUtime=0
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 252 0 0 0 0 0 0 0 25 0 1 0 131571207 2187264 171 4089446400 134512640 136421960 4289831728 18446744073709551615 135377339 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13914/statm: 534 171 144 467 0 65 0

[startup+0.102933 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 13914
/proc/meminfo: memFree=31072308/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=13644 CPUtime=0.09
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3078 0 0 0 8 1 0 0 25 0 1 0 131571207 13971456 2995 4089446400 134512640 136421960 4289831728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 3411 2995 236 467 0 2942 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13644

[startup+0.200918 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 13914
/proc/meminfo: memFree=31072308/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=13768 CPUtime=0.19
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3114 0 0 0 16 3 0 0 18 0 1 0 131571207 14098432 3027 4089446400 134512640 136421960 4289831728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 3442 3027 236 467 0 2973 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13768

[startup+0.30091 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 13914
/proc/meminfo: memFree=31072308/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=13900 CPUtime=0.29
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3137 0 0 0 22 7 0 0 18 0 1 0 131571207 14233600 3050 4089446400 134512640 136421960 4289831728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 3475 3050 236 467 0 3006 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13900

[startup+0.700829 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 13914
/proc/meminfo: memFree=31072308/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=13900 CPUtime=0.69
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3162 0 0 0 51 18 0 0 18 0 1 0 131571207 14233600 3075 4089446400 134512640 136421960 4289831728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 3475 3075 236 467 0 3006 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13900

[startup+1.50068 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13915
/proc/meminfo: memFree=31060024/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=13900 CPUtime=1.49
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3167 0 0 0 106 43 0 0 19 0 1 0 131571207 14233600 3075 4089446400 134512640 136421960 4289831728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 3475 3075 236 467 0 3006 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13900

[startup+3.10039 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13915
/proc/meminfo: memFree=31059032/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=14164 CPUtime=3.08
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3221 0 0 0 224 84 0 0 24 0 1 0 131571207 14503936 3125 4089446400 134512640 136421960 4289831728 18446744073709551615 135025606 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 3541 3125 236 467 0 3072 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 14164

[startup+6.30082 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13915
/proc/meminfo: memFree=31057064/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=14428 CPUtime=6.29
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3292 0 0 0 481 148 0 0 25 0 1 0 131571207 14774272 3192 4089446400 134512640 136421960 4289831728 18446744073709551615 134861992 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 3607 3192 236 467 0 3138 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14428

[startup+12.7007 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13916
/proc/meminfo: memFree=31054552/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=14560 CPUtime=12.69
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3332 0 0 0 1042 227 0 0 25 0 1 0 131571207 14909440 3230 4089446400 134512640 136421960 4289831728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 3640 3230 236 467 0 3171 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14560

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13916
/proc/meminfo: memFree=31050252/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=14692 CPUtime=25.48
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3355 0 0 0 2202 346 0 0 25 0 1 0 131571207 15044608 3250 4089446400 134512640 136421960 4289831728 18446744073709551615 134857228 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 3673 3250 236 467 0 3204 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14692

[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13916
/proc/meminfo: memFree=31040760/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=14820 CPUtime=51.09
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3385 0 0 0 4516 593 0 0 25 0 1 0 131571207 15175680 3280 4089446400 134512640 136421960 4289831728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 3705 3280 236 467 0 3236 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 14820

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13927
/proc/meminfo: memFree=31023096/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=14952 CPUtime=102.29
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3415 0 0 0 9139 1090 0 0 25 0 1 0 131571207 15310848 3309 4089446400 134512640 136421960 4289831728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 3738 3309 236 467 0 3269 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 14952

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13929
/proc/meminfo: memFree=31007660/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=15084 CPUtime=162.29
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3465 0 0 0 14587 1642 0 0 25 0 1 0 131571207 15446016 3359 4089446400 134512640 136421960 4289831728 18446744073709551615 134859688 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 3771 3359 236 467 0 3302 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 15084

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13930
/proc/meminfo: memFree=30994236/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=15216 CPUtime=222.3
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3490 0 0 0 20020 2210 0 0 25 0 1 0 131571207 15581184 3384 4089446400 134512640 136421960 4289831728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 3804 3384 236 467 0 3335 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 15216

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13931
/proc/meminfo: memFree=30990108/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=15348 CPUtime=282.3
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3520 0 0 0 25470 2760 0 0 25 0 1 0 131571207 15716352 3414 4089446400 134512640 136421960 4289831728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 3837 3414 236 467 0 3368 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 15348

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13933
/proc/meminfo: memFree=30982760/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=15480 CPUtime=342.3
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3545 0 0 0 30907 3323 0 0 25 0 1 0 131571207 15851520 3439 4089446400 134512640 136421960 4289831728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 3870 3439 236 467 0 3401 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 15480

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13935
/proc/meminfo: memFree=30977896/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=15480 CPUtime=402.3
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3559 0 0 0 36370 3860 0 0 25 0 1 0 131571207 15851520 3453 4089446400 134512640 136421960 4289831728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 3870 3453 236 467 0 3401 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 15480

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13937
/proc/meminfo: memFree=30971780/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=15480 CPUtime=462.3
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3574 0 0 0 41814 4416 0 0 25 0 1 0 131571207 15851520 3468 4089446400 134512640 136421960 4289831728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 3870 3468 236 467 0 3401 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 15480

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13938
/proc/meminfo: memFree=30965920/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=15608 CPUtime=522.3
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3588 0 0 0 47247 4983 0 0 25 0 1 0 131571207 15982592 3482 4089446400 134512640 136421960 4289831728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 3902 3482 236 467 0 3433 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 15608

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13939
/proc/meminfo: memFree=30960304/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=15740 CPUtime=582.3
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3607 0 0 0 52709 5521 0 0 25 0 1 0 131571207 16117760 3501 4089446400 134512640 136421960 4289831728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 3935 3501 236 467 0 3466 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 15740

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13941
/proc/meminfo: memFree=30954448/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=15740 CPUtime=642.31
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3621 0 0 0 58169 6062 0 0 25 0 1 0 131571207 16117760 3515 4089446400 134512640 136421960 4289831728 18446744073709551615 134861890 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 3935 3515 236 467 0 3466 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 15740

[startup+702.301 s]

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

[startup+882.307 s]
/proc/loadavg: 2.40 2.11 2.04 3/197 13947
/proc/meminfo: memFree=30928888/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=15876 CPUtime=882.31
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3662 0 0 0 79956 8275 0 0 25 0 1 0 131571207 16257024 3556 4089446400 134512640 136421960 4289831728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 3969 3556 236 467 0 3500 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 15876

[startup+942.301 s]
/proc/loadavg: 2.16 2.09 2.03 3/197 13949
/proc/meminfo: memFree=30922908/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=15876 CPUtime=942.31
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3665 0 0 0 85414 8817 0 0 25 0 1 0 131571207 16257024 3559 4089446400 134512640 136421960 4289831728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 3969 3559 236 467 0 3500 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 15876

[startup+1002.3 s]
/proc/loadavg: 2.08 2.08 2.03 3/197 13951
/proc/meminfo: memFree=30921628/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=15876 CPUtime=1002.31
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3673 0 0 0 90877 9354 0 0 25 0 1 0 131571207 16257024 3567 4089446400 134512640 136421960 4289831728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 3969 3567 236 467 0 3500 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 15876

[startup+1062.3 s]
/proc/loadavg: 2.03 2.06 2.02 3/197 13953
/proc/meminfo: memFree=30921600/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=16124 CPUtime=1062.31
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3698 0 0 0 96363 9868 0 0 25 0 1 0 131571207 16510976 3592 4089446400 134512640 136421960 4289831728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 4031 3592 236 467 0 3562 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 16124

[startup+1122.3 s]
/proc/loadavg: 2.01 2.05 2.02 3/197 13954
/proc/meminfo: memFree=30921316/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=16124 CPUtime=1122.32
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3699 0 0 0 101843 10389 0 0 25 0 1 0 131571207 16510976 3593 4089446400 134512640 136421960 4289831728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 4031 3593 236 467 0 3562 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 16124

[startup+1182.3 s]
/proc/loadavg: 2.41 2.14 2.04 3/197 13955
/proc/meminfo: memFree=30920788/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=16124 CPUtime=1182.32
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3716 0 0 0 107305 10927 0 0 25 0 1 0 131571207 16510976 3610 4089446400 134512640 136421960 4289831728 18446744073709551615 134864132 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 4031 3610 236 467 0 3562 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 16124

[startup+1242.3 s]
/proc/loadavg: 2.14 2.11 2.04 3/197 13957
/proc/meminfo: memFree=30920508/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=16260 CPUtime=1242.32
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3732 0 0 0 112795 11437 0 0 25 0 1 0 131571207 16650240 3626 4089446400 134512640 136421960 4289831728 18446744073709551615 134862299 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 4065 3626 236 467 0 3596 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 16260

[startup+1302.3 s]
/proc/loadavg: 2.05 2.09 2.03 3/197 13959
/proc/meminfo: memFree=30920108/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=16260 CPUtime=1302.32
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3746 0 0 0 118254 11978 0 0 25 0 1 0 131571207 16650240 3640 4089446400 134512640 136421960 4289831728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 4065 3640 236 467 0 3596 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 16260

[startup+1362.3 s]
/proc/loadavg: 2.02 2.07 2.03 3/197 13961
/proc/meminfo: memFree=30917104/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=16260 CPUtime=1362.33
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3753 0 0 0 123736 12497 0 0 25 0 1 0 131571207 16650240 3647 4089446400 134512640 136421960 4289831728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 4065 3647 236 467 0 3596 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 16260

[startup+1422.3 s]
/proc/loadavg: 2.00 2.05 2.02 3/197 13962
/proc/meminfo: memFree=30912980/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=16392 CPUtime=1422.33
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3768 0 0 0 129216 13017 0 0 25 0 1 0 131571207 16785408 3662 4089446400 134512640 136421960 4289831728 18446744073709551615 134862061 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 4098 3662 236 467 0 3629 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 16392

[startup+1482.3 s]
/proc/loadavg: 2.44 2.14 2.05 3/197 13963
/proc/meminfo: memFree=30908360/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=16392 CPUtime=1482.33
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3783 0 0 0 134690 13543 0 0 25 0 1 0 131571207 16785408 3677 4089446400 134512640 136421960 4289831728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 4098 3677 236 467 0 3629 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 16392

[startup+1542.31 s]
/proc/loadavg: 2.20 2.13 2.05 3/197 13965
/proc/meminfo: memFree=30904372/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=16392 CPUtime=1542.33
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3790 0 0 0 140154 14079 0 0 25 0 1 0 131571207 16785408 3684 4089446400 134512640 136421960 4289831728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 4098 3684 236 467 0 3629 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 16392

[startup+1602.3 s]
/proc/loadavg: 2.07 2.10 2.04 3/197 13967
/proc/meminfo: memFree=30900368/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=16524 CPUtime=1602.33
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3795 0 0 0 145629 14604 0 0 25 0 1 0 131571207 16920576 3689 4089446400 134512640 136421960 4289831728 18446744073709551615 135025573 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 4131 3689 236 467 0 3662 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 16524

[startup+1662.3 s]
/proc/loadavg: 2.02 2.08 2.03 3/197 13969
/proc/meminfo: memFree=30896740/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=16524 CPUtime=1662.33
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3804 0 0 0 151105 15128 0 0 25 0 1 0 131571207 16920576 3698 4089446400 134512640 136421960 4289831728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13914/statm: 4131 3698 236 467 0 3662 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 16524

[startup+1722.3 s]
/proc/loadavg: 1.97 2.05 2.02 3/179 14000
/proc/meminfo: memFree=31146104/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=16524 CPUtime=1722.33
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3809 0 0 0 156558 15675 0 0 25 0 1 0 131571207 16920576 3703 4089446400 134512640 136421960 4289831728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13914/statm: 4131 3703 236 467 0 3662 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 16524

[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 2.02 3/179 14001
/proc/meminfo: memFree=31050220/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=16524 CPUtime=1782.33
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3813 0 0 0 162009 16224 0 0 25 0 1 0 131571207 16920576 3707 4089446400 134512640 136421960 4289831728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13914/statm: 4131 3707 236 467 0 3662 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 16524



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.03 2.05 2.02 3/179 14002
/proc/meminfo: memFree=31008048/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=16524 CPUtime=1800.04
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3817 0 0 0 163620 16384 0 0 25 0 1 0 131571207 16920576 3711 4089446400 134512640 136421960 4289831728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13914/statm: 4131 3711 236 467 0 3662 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 16524

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

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

[startup+1800 s]
/proc/loadavg: 2.03 2.05 2.02 3/179 14002
/proc/meminfo: memFree=31008048/32951124 swapFree=67111528/67111528
[pid=13914] ppid=13912 vsize=16524 CPUtime=1800.04
/proc/13914/stat : 13914 (pbct) R 13912 13914 12955 0 -1 4202496 3817 0 0 0 163620 16384 0 0 25 0 1 0 131571207 16920576 3711 4089446400 134512640 136421960 4289831728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13914/statm: 4131 3711 236 467 0 3662 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 16524

Child status: 0
Real time (s): 1800.01
CPU time (s): 1800.05
CPU user time (s): 1636.21
CPU system time (s): 163.843
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 16524

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

runsolver used 3.16952 second user time and 6.13607 second system time

The end

Launcher Data 

Begin job on node145 at 2010-06-30 14:59:20
IDJOB=2695533
IDBENCH=78904
IDSOLVER=1208
FILE ID=node145/2695533-1277902760
PBS_JOBID= 11197171
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.1900559676--soft-66-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695533-1277902760/watcher-2695533-1277902760 -o /tmp/evaluation-result-2695533-1277902760/solver-2695533-1277902760 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2695533-1277902760.wbo

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

MD5SUM BENCH= a1fa880e8620ee0c5e9a297708544854
RANDOM SEED=1170802856

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
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.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31072704 kB
Buffers:        187948 kB
Cached:        1261096 kB
SwapCached:          0 kB
Active:         765712 kB
Inactive:       970372 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31072704 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2008 kB
Writeback:           0 kB
AnonPages:      286184 kB
Mapped:          19984 kB
Slab:            79636 kB
PageTables:       5448 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1659660 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 node145 at 2010-06-30 15:29:22