Trace number 2694964

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900550720--soft-66-100-0.wbo
MD5SUMae69d101397f3698be33e129d2355418
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 benchmark219.846
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 constraints892
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 45060
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 45059
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 687
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 13/10 clauses 1802/882 units 0
0.00/0.01	c vars 231
0.03/0.06	c 0.06299 13.1719 16 3567
0.03/0.06	o 457
0.03/0.07	c 0.067989 13.3086 48 4078
0.03/0.07	o 447
0.03/0.08	c 0.070989 13.3086 67 4940
0.03/0.08	o 423
0.03/0.08	c 0.073988 13.3086 77 6426
0.03/0.08	o 285
0.03/0.09	c 0.077988 13.3086 106 7335
0.03/0.09	o 192
0.09/0.14	c 0.116982 13.3086 512 8016
0.09/0.14	o 185
0.19/0.25	c 0.19497 13.5547 1175 9911
0.19/0.25	o 169
0.19/0.26	c 0.197969 13.5547 617 10529
0.19/0.26	o 121
0.59/0.62	c 0.440932 13.5547 675 14395
0.59/0.62	o 116
0.78/0.84	c 0.599908 13.5547 1362 16426
0.78/0.84	o 106
0.78/0.88	c 0.631903 13.5547 905 16961
0.78/0.88	o 97
0.89/0.94	c 0.671897 13.5547 1126 17588
0.89/0.94	o 77
0.89/0.96	c 0.681896 13.5547 1191 17896
0.89/0.96	o 60
1.09/1.14	c 0.832873 13.6836 1196 20111
1.09/1.14	o 55
1.18/1.30	c 0.955854 13.6836 1504 21840
1.18/1.30	o 51
1.39/1.49	c 1.10883 13.6836 1282 24304
1.39/1.49	o 40
1.68/1.79	c 1.3398 13.6836 1760 28587
1.68/1.79	o 9
5.07/5.19	c 4.39833 15.1016 1853 74738
5.07/5.19	o 8
44.47/44.53	c 39.655 15.1016 1738 633921
44.47/44.53	o 3
89.27/89.35	c 79.9668 15.1016 2057 1274641
89.27/89.35	o 2
123.68/123.70	c 110.887 15.1016 2099 1775717
123.68/123.70	o 1
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	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-2694964-1277911681/watcher-2694964-1277911681 -o /tmp/evaluation-result-2694964-1277911681/solver-2694964-1277911681 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2694964-1277911681.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 12443
/proc/meminfo: memFree=30999120/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=2136 CPUtime=0
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 252 0 0 0 0 0 0 0 25 0 1 0 132465741 2187264 171 4089446400 134512640 136421960 4287594848 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12443/statm: 534 171 144 467 0 65 0

[startup+0.0308209 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 12443
/proc/meminfo: memFree=30999120/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=5904 CPUtime=0.03
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 1154 0 0 0 3 0 0 0 25 0 1 0 132465741 6045696 1073 4089446400 134512640 136421960 4287594848 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12443/statm: 1476 1082 193 467 0 1007 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5904

[startup+0.100806 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 12443
/proc/meminfo: memFree=30999120/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=13624 CPUtime=0.09
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3076 0 0 0 8 1 0 0 25 0 1 0 132465741 13950976 2990 4089446400 134512640 136421960 4287594848 18446744073709551615 134862296 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12443/statm: 3406 2990 236 467 0 2937 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13624

[startup+0.300776 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 12443
/proc/meminfo: memFree=30999120/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=13876 CPUtime=0.29
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3140 0 0 0 21 8 0 0 25 0 1 0 132465741 14209024 3051 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12443/statm: 3469 3051 236 467 0 3000 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13876

[startup+0.700712 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 12443
/proc/meminfo: memFree=30999120/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=13876 CPUtime=0.68
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3141 0 0 0 49 19 0 0 25 0 1 0 132465741 14209024 3051 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12443/statm: 3469 3051 236 467 0 3000 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13876

[startup+1.50055 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 12444
/proc/meminfo: memFree=30988076/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=14008 CPUtime=1.48
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3187 0 0 0 111 37 0 0 18 0 1 0 132465741 14344192 3090 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12443/statm: 3502 3090 236 467 0 3033 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 14008

[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 12444
/proc/meminfo: memFree=30986856/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=14932 CPUtime=3.08
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3430 0 0 0 250 58 0 0 21 0 1 0 132465741 15290368 3332 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/12443/statm: 3733 3332 236 467 0 3264 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 14932

[startup+6.30069 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 12444
/proc/meminfo: memFree=30983824/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=15460 CPUtime=6.27
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3556 0 0 0 540 87 0 0 25 0 1 0 132465741 15831040 3457 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12443/statm: 3865 3457 236 467 0 3396 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 15460

[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 12444
/proc/meminfo: memFree=30980348/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=15460 CPUtime=12.68
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3556 0 0 0 1115 153 0 0 25 0 1 0 132465741 15831040 3457 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12443/statm: 3865 3457 236 467 0 3396 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15460

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 12445
/proc/meminfo: memFree=30971268/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=15460 CPUtime=25.47
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3556 0 0 0 2252 295 0 0 25 0 1 0 132465741 15831040 3457 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12443/statm: 3865 3457 236 467 0 3396 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 15460

[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 12445
/proc/meminfo: memFree=30961672/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=15460 CPUtime=51.07
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3557 0 0 0 4559 548 0 0 25 0 1 0 132465741 15831040 3457 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12443/statm: 3865 3457 236 467 0 3396 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 15460

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 12447
/proc/meminfo: memFree=30943212/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=15460 CPUtime=102.28
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3558 0 0 0 9163 1065 0 0 25 0 1 0 132465741 15831040 3457 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12443/statm: 3865 3457 236 467 0 3396 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 15460

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 12448
/proc/meminfo: memFree=30919828/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=15460 CPUtime=162.28
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3559 0 0 0 14556 1672 0 0 25 0 1 0 132465741 15831040 3457 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12443/statm: 3865 3457 236 467 0 3396 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 15460

[startup+222.301 s]
/proc/loadavg: 2.25 2.08 2.03 3/197 12452
/proc/meminfo: memFree=30897648/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=15460 CPUtime=222.28
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3559 0 0 0 19971 2257 0 0 25 0 1 0 132465741 15831040 3457 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12443/statm: 3865 3457 236 467 0 3396 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 15460

[startup+282.301 s]
/proc/loadavg: 2.09 2.07 2.02 3/197 12454
/proc/meminfo: memFree=30876632/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=15460 CPUtime=282.28
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3559 0 0 0 25382 2846 0 0 25 0 1 0 132465741 15831040 3457 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12443/statm: 3865 3457 236 467 0 3396 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 15460

[startup+342.301 s]
/proc/loadavg: 2.03 2.05 2.02 3/197 12456
/proc/meminfo: memFree=30851644/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=15460 CPUtime=342.28
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3559 0 0 0 30778 3450 0 0 25 0 1 0 132465741 15831040 3457 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12443/statm: 3865 3457 236 467 0 3396 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 15460

[startup+402.301 s]
/proc/loadavg: 2.01 2.04 2.01 3/197 12458
/proc/meminfo: memFree=30831372/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=15460 CPUtime=402.29
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3559 0 0 0 36184 4045 0 0 25 0 1 0 132465741 15831040 3457 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12443/statm: 3865 3457 236 467 0 3396 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 15460

[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/197 12459
/proc/meminfo: memFree=30808272/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=15460 CPUtime=462.28
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3559 0 0 0 41584 4644 0 0 25 0 1 0 132465741 15831040 3457 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12443/statm: 3865 3457 236 467 0 3396 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 15460

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 12460
/proc/meminfo: memFree=30785912/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=15460 CPUtime=522.29
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3559 0 0 0 47003 5226 0 0 25 0 1 0 132465741 15831040 3457 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12443/statm: 3865 3457 236 467 0 3396 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 15460

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 12462
/proc/meminfo: memFree=30772480/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=15592 CPUtime=582.29
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3578 0 0 0 52424 5805 0 0 25 0 1 0 132465741 15966208 3476 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12443/statm: 3898 3476 236 467 0 3429 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 15592

[startup+642.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 12464
/proc/meminfo: memFree=30759780/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=15592 CPUtime=642.29
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3591 0 0 0 57844 6385 0 0 25 0 1 0 132465741 15966208 3489 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12443/statm: 3898 3489 236 467 0 3429 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 15592

[startup+702.3 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 12468
/proc/meminfo: memFree=30744512/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=15728 CPUtime=822.29
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3607 0 0 0 74074 8155 0 0 25 0 1 0 132465741 16105472 3505 4089446400 134512640 136421960 4287594848 18446744073709551615 134973981 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12443/statm: 3932 3505 236 467 0 3463 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 15728

[startup+882.301 s]
/proc/loadavg: 2.21 2.08 2.03 3/197 12470
/proc/meminfo: memFree=30744604/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=15728 CPUtime=882.3
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3609 0 0 0 79486 8744 0 0 25 0 1 0 132465741 16105472 3507 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12443/statm: 3932 3507 236 467 0 3463 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 15728

[startup+942.301 s]
/proc/loadavg: 2.15 2.08 2.03 3/197 12472
/proc/meminfo: memFree=30744688/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=15728 CPUtime=942.3
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3609 0 0 0 84898 9332 0 0 25 0 1 0 132465741 16105472 3507 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12443/statm: 3932 3507 236 467 0 3463 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 15728

[startup+1002.3 s]
/proc/loadavg: 2.05 2.06 2.02 3/197 12474
/proc/meminfo: memFree=30744776/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=15728 CPUtime=1002.3
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3616 0 0 0 90311 9919 0 0 25 0 1 0 132465741 16105472 3514 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12443/statm: 3932 3514 236 467 0 3463 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 15728

[startup+1062.3 s]
/proc/loadavg: 2.28 2.15 2.05 3/197 12475
/proc/meminfo: memFree=30744240/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=15860 CPUtime=1062.3
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3640 0 0 0 95736 10494 0 0 25 0 1 0 132465741 16240640 3538 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12443/statm: 3965 3538 236 467 0 3496 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 15860

[startup+1122.3 s]
/proc/loadavg: 2.10 2.12 2.05 3/197 12476
/proc/meminfo: memFree=30743836/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=15860 CPUtime=1122.31
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3641 0 0 0 101134 11097 0 0 25 0 1 0 132465741 16240640 3539 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12443/statm: 3965 3539 236 467 0 3496 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 15860

[startup+1182.3 s]
/proc/loadavg: 2.04 2.10 2.04 3/197 12478
/proc/meminfo: memFree=30740460/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=15860 CPUtime=1182.3
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3650 0 0 0 106557 11673 0 0 25 0 1 0 132465741 16240640 3548 4089446400 134512640 136421960 4287594848 18446744073709551615 134642492 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12443/statm: 3965 3548 236 467 0 3496 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 15860

[startup+1242.3 s]
/proc/loadavg: 2.01 2.08 2.04 3/197 12480
/proc/meminfo: memFree=30722780/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=15996 CPUtime=1242.31
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3661 0 0 0 111992 12239 0 0 25 0 1 0 132465741 16379904 3559 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12443/statm: 3999 3559 236 467 0 3530 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 15996

[startup+1302.3 s]
/proc/loadavg: 2.23 2.15 2.07 3/197 12482
/proc/meminfo: memFree=30700536/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=15996 CPUtime=1302.31
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3672 0 0 0 117400 12831 0 0 25 0 1 0 132465741 16379904 3570 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12443/statm: 3999 3570 236 467 0 3530 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 15996

[startup+1362.3 s]
/proc/loadavg: 2.09 2.13 2.06 3/197 12483
/proc/meminfo: memFree=30677812/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=15996 CPUtime=1362.31
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3675 0 0 0 122814 13417 0 0 25 0 1 0 132465741 16379904 3573 4089446400 134512640 136421960 4287594848 18446744073709551615 135031824 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12443/statm: 3999 3573 236 467 0 3530 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 15996

[startup+1422.31 s]
/proc/loadavg: 2.03 2.10 2.06 3/197 12484
/proc/meminfo: memFree=30661264/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=15996 CPUtime=1422.32
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3680 0 0 0 128251 13981 0 0 25 0 1 0 132465741 16379904 3578 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12443/statm: 3999 3578 236 467 0 3530 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 15996

[startup+1482.3 s]
/proc/loadavg: 2.28 2.17 2.08 3/197 12486
/proc/meminfo: memFree=30644352/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=15996 CPUtime=1482.32
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3687 0 0 0 133685 14547 0 0 25 0 1 0 132465741 16379904 3585 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12443/statm: 3999 3585 236 467 0 3530 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 15996

[startup+1542.3 s]
/proc/loadavg: 2.19 2.16 2.09 3/179 12518
/proc/meminfo: memFree=31091440/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=15996 CPUtime=1542.32
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3690 0 0 0 138905 15327 0 0 25 0 1 0 132465741 16379904 3588 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12443/statm: 3999 3588 236 467 0 3530 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 15996

[startup+1602.3 s]
/proc/loadavg: 2.07 2.13 2.08 3/179 12520
/proc/meminfo: memFree=31090004/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=16128 CPUtime=1602.32
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3701 0 0 0 143808 16424 0 0 25 0 1 0 132465741 16515072 3599 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12443/statm: 4032 3599 236 467 0 3563 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 16128

[startup+1662.3 s]
/proc/loadavg: 2.13 2.14 2.09 3/179 12521
/proc/meminfo: memFree=31089336/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=16128 CPUtime=1662.32
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3706 0 0 0 148693 17539 0 0 25 0 1 0 132465741 16515072 3604 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12443/statm: 4032 3604 236 467 0 3563 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 16128

[startup+1722.3 s]
/proc/loadavg: 2.05 2.11 2.08 3/179 12522
/proc/meminfo: memFree=31088804/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=16128 CPUtime=1722.32
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3709 0 0 0 153569 18663 0 0 25 0 1 0 132465741 16515072 3607 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12443/statm: 4032 3607 236 467 0 3563 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 16128

[startup+1782.3 s]
/proc/loadavg: 2.02 2.09 2.07 3/179 12524
/proc/meminfo: memFree=31088396/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=16128 CPUtime=1782.33
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3719 0 0 0 158466 19767 0 0 25 0 1 0 132465741 16515072 3617 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12443/statm: 4032 3617 236 467 0 3563 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 16128



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.08 2.07 3/179 12525
/proc/meminfo: memFree=31088256/32951124 swapFree=67111528/67111528
[pid=12443] ppid=12441 vsize=16128 CPUtime=1800.02
/proc/12443/stat : 12443 (pbct) R 12441 12443 12286 0 -1 4202496 3723 0 0 0 159921 20081 0 0 25 0 1 0 132465741 16515072 3621 4089446400 134512640 136421960 4287594848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12443/statm: 4032 3621 236 467 0 3563 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 16128

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.04
CPU user time (s): 1599.22
CPU system time (s): 200.819
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 16128

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

runsolver used 2.6086 second user time and 5.60015 second system time

The end

Launcher Data 

Begin job on node106 at 2010-06-30 17:28:01
IDJOB=2694964
IDBENCH=78989
IDSOLVER=1208
FILE ID=node106/2694964-1277911681
PBS_JOBID= 11197256
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.1900550720--soft-66-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694964-1277911681/watcher-2694964-1277911681 -o /tmp/evaluation-result-2694964-1277911681/solver-2694964-1277911681 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2694964-1277911681.wbo

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

MD5SUM BENCH= ae69d101397f3698be33e129d2355418
RANDOM SEED=1722879522

node106.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30999640 kB
Buffers:        194572 kB
Cached:        1269092 kB
SwapCached:          0 kB
Active:         781328 kB
Inactive:      1028856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30999640 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1980 kB
Writeback:           0 kB
AnonPages:      346504 kB
Mapped:          20292 kB
Slab:            78428 kB
PageTables:       5004 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1658456 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 node106 at 2010-06-30 17:58:03