Trace number 2695627

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.1900565534--soft-66-100-0.wbo
MD5SUMa432251fbe239eaf75ee6653ab14d833
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 benchmark247.974
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 685
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.00/0.05	c 0.056991 13.1719 12 2852
0.00/0.05	o 389
0.09/0.10	c 0.077988 13.3086 211 5351
0.09/0.10	o 298
0.09/0.12	c 0.091986 13.3086 322 6277
0.09/0.12	o 258
0.09/0.13	c 0.095985 13.3086 351 7158
0.09/0.13	o 225
0.09/0.15	c 0.110983 13.3086 576 7621
0.09/0.15	o 215
0.09/0.18	c 0.119981 13.4336 697 8061
0.09/0.18	o 201
0.09/0.19	c 0.12798 13.4336 774 8293
0.09/0.19	o 192
0.19/0.22	c 0.140978 13.4336 887 8601
0.19/0.22	o 187
1.29/1.30	c 0.570913 13.4336 945 42099
1.29/1.30	o 180
1.99/2.01	c 0.963853 13.4336 1118 62214
1.99/2.01	o 166
1.99/2.01	c 0.969852 13.4336 1149 62406
1.99/2.01	o 162
1.99/2.03	c 0.976851 13.4336 652 62988
1.99/2.03	o 116
2.19/2.23	c 1.12183 13.5625 1139 65415
2.19/2.23	o 64
2.29/2.36	c 1.22981 13.5625 1077 67293
2.29/2.36	o 63
3.30/3.35	c 1.9597 13.8203 1869 78863
3.30/3.35	o 58
5.89/5.92	c 3.9684 13.8203 1443 109351
5.89/5.92	o 56
7.19/7.24	c 4.95425 13.9219 1509 126206
7.19/7.24	o 51
7.29/7.32	c 5.01524 13.9219 1490 127790
7.29/7.32	o 37
8.70/8.77	c 6.15106 14.0469 1112 144546
8.70/8.77	o 33
13.29/13.30	c 9.8425 14.0469 1734 198100
13.29/13.30	o 20
13.29/13.32	c 9.8515 14.0469 1057 198451
13.29/13.32	o 19
13.29/13.33	c 9.8585 14.0469 1124 198687
13.29/13.33	o 8
14.20/14.23	c 10.6194 14.1719 1141 211732
14.20/14.23	o 4
28.79/28.84	c 23.3395 14.1719 2000 444543
28.79/28.84	o 2
28.89/28.90	c 23.3924 14.1719 1587 445435
28.89/28.90	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-2695627-1277907714/watcher-2695627-1277907714 -o /tmp/evaluation-result-2695627-1277907714/solver-2695627-1277907714 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695627-1277907714.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/178 24305
/proc/meminfo: memFree=31496688/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=2136 CPUtime=0
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 251 0 0 0 0 0 0 0 25 0 1 0 164363135 2187264 171 4089446400 134512640 136421960 4288719088 18446744073709551615 135158958 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/24305/statm: 534 171 144 467 0 65 0

[startup+0.0675969 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 24305
/proc/meminfo: memFree=31496688/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=13624 CPUtime=0.05
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3061 0 0 0 5 0 0 0 25 0 1 0 164363135 13950976 2980 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 3406 2980 236 467 0 2937 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13624

[startup+0.100593 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 24305
/proc/meminfo: memFree=31496688/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=13624 CPUtime=0.09
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3061 0 0 0 7 2 0 0 25 0 1 0 164363135 13950976 2980 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 3406 2980 236 467 0 2937 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13624

[startup+0.300557 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 24305
/proc/meminfo: memFree=31496688/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=13752 CPUtime=0.29
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3115 0 0 0 17 12 0 0 25 0 1 0 164363135 14082048 3027 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 3438 3027 236 467 0 2969 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13752

[startup+0.700487 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 24305
/proc/meminfo: memFree=31496688/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=13752 CPUtime=0.69
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3118 0 0 0 29 40 0 0 25 0 1 0 164363135 14082048 3030 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 3438 3030 236 467 0 2969 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13752

[startup+1.50041 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24306
/proc/meminfo: memFree=31485396/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=13752 CPUtime=1.49
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3120 0 0 0 68 81 0 0 25 0 1 0 164363135 14082048 3031 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 3438 3031 236 467 0 2969 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13752

[startup+3.10107 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24306
/proc/meminfo: memFree=31484900/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=14016 CPUtime=3.09
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3197 0 0 0 177 132 0 0 19 0 1 0 164363135 14352384 3103 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 3504 3103 236 467 0 3035 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14016

[startup+6.30057 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24307
/proc/meminfo: memFree=31484948/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=14148 CPUtime=6.29
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3219 0 0 0 427 202 0 0 25 0 1 0 164363135 14487552 3123 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 3537 3123 236 467 0 3068 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14148

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24307
/proc/meminfo: memFree=31484352/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=14380 CPUtime=12.69
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3270 0 0 0 933 336 0 0 25 0 1 0 164363135 14725120 3171 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 3595 3171 236 467 0 3126 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14380

[startup+25.5001 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24308
/proc/meminfo: memFree=31482952/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=14508 CPUtime=25.49
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3317 0 0 0 2038 511 0 0 25 0 1 0 164363135 14856192 3214 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 3627 3214 236 467 0 3158 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 14508

[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24308
/proc/meminfo: memFree=31480064/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=14640 CPUtime=51.09
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3358 0 0 0 4307 802 0 0 25 0 1 0 164363135 14991360 3253 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 3660 3253 236 467 0 3191 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 14640

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24310
/proc/meminfo: memFree=31476668/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=14900 CPUtime=102.3
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3416 0 0 0 8839 1391 0 0 25 0 1 0 164363135 15257600 3311 4089446400 134512640 136421960 4288719088 18446744073709551615 135809959 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 3725 3311 236 467 0 3256 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 14900

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24311
/proc/meminfo: memFree=31471676/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=15160 CPUtime=162.29
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3478 0 0 0 14178 2051 0 0 25 0 1 0 164363135 15523840 3373 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 3790 3373 236 467 0 3321 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 15160

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24312
/proc/meminfo: memFree=31466560/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=15292 CPUtime=222.3
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3522 0 0 0 19531 2699 0 0 25 0 1 0 164363135 15659008 3417 4089446400 134512640 136421960 4288719088 18446744073709551615 134863654 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 3823 3417 236 467 0 3354 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 15292

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24314
/proc/meminfo: memFree=31462192/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=15420 CPUtime=282.3
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3548 0 0 0 24905 3325 0 0 25 0 1 0 164363135 15790080 3443 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 3855 3443 236 467 0 3386 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 15420

[startup+342.301 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 24316
/proc/meminfo: memFree=31458044/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=15548 CPUtime=342.29
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3565 0 0 0 30273 3956 0 0 25 0 1 0 164363135 15921152 3460 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 3887 3460 236 467 0 3418 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 15548

[startup+402.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 24318
/proc/meminfo: memFree=31455528/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=15548 CPUtime=402.3
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3584 0 0 0 35625 4605 0 0 25 0 1 0 164363135 15921152 3479 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 3887 3479 236 467 0 3418 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 15548

[startup+462.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 24319
/proc/meminfo: memFree=31447684/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=15812 CPUtime=462.3
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3620 0 0 0 40969 5261 0 0 25 0 1 0 164363135 16191488 3515 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 3953 3515 236 467 0 3484 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 15812

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24320
/proc/meminfo: memFree=31438844/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=15812 CPUtime=522.3
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3651 0 0 0 46365 5865 0 0 25 0 1 0 164363135 16191488 3546 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 3953 3546 236 467 0 3484 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 15812

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24322
/proc/meminfo: memFree=31432244/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=15944 CPUtime=582.3
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3673 0 0 0 51744 6486 0 0 25 0 1 0 164363135 16326656 3568 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 3986 3568 236 467 0 3517 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 15944

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24324
/proc/meminfo: memFree=31426764/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=16076 CPUtime=642.31
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3692 0 0 0 57139 7092 0 0 25 0 1 0 164363135 16461824 3587 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 4019 3587 236 467 0 3550 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 16076

[startup+702.3 s]

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

[startup+822.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 24383
/proc/meminfo: memFree=31674384/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=16212 CPUtime=822.31
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3727 0 0 0 73078 9153 0 0 25 0 1 0 164363135 16601088 3622 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 4053 3622 236 467 0 3584 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 16212

[startup+882.301 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 24385
/proc/meminfo: memFree=31673556/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=16212 CPUtime=882.32
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3735 0 0 0 78084 10148 0 0 25 0 1 0 164363135 16601088 3630 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 4053 3630 236 467 0 3584 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 16212

[startup+942.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 24387
/proc/meminfo: memFree=31673524/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=16212 CPUtime=942.31
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3756 0 0 0 83274 10957 0 0 25 0 1 0 164363135 16601088 3651 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 4053 3651 236 467 0 3584 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 16212

[startup+1002.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/179 24389
/proc/meminfo: memFree=31673484/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=16476 CPUtime=1002.32
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3783 0 0 0 88221 12011 0 0 25 0 1 0 164363135 16871424 3678 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 4119 3678 236 467 0 3650 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 16476

[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 24390
/proc/meminfo: memFree=31672684/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=16476 CPUtime=1062.32
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3793 0 0 0 93263 12969 0 0 25 0 1 0 164363135 16871424 3688 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 4119 3688 236 467 0 3650 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 16476

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24391
/proc/meminfo: memFree=31672276/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=16608 CPUtime=1122.32
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3816 0 0 0 98526 13706 0 0 25 0 1 0 164363135 17006592 3711 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 4152 3711 236 467 0 3683 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 16608

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24393
/proc/meminfo: memFree=31672364/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=16608 CPUtime=1182.32
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3831 0 0 0 103833 14399 0 0 25 0 1 0 164363135 17006592 3726 4089446400 134512640 136421960 4288719088 18446744073709551615 135809933 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 4152 3726 236 467 0 3683 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 16608

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24395
/proc/meminfo: memFree=31671712/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=16608 CPUtime=1242.32
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3841 0 0 0 109210 15022 0 0 25 0 1 0 164363135 17006592 3736 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 4152 3736 236 467 0 3683 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 16608

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24397
/proc/meminfo: memFree=31671564/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=16744 CPUtime=1302.32
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3848 0 0 0 114483 15749 0 0 25 0 1 0 164363135 17145856 3743 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 4186 3743 236 467 0 3717 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 16744

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24398
/proc/meminfo: memFree=31671416/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=16744 CPUtime=1362.33
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3855 0 0 0 119839 16394 0 0 25 0 1 0 164363135 17145856 3750 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 4186 3750 236 467 0 3717 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 16744

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24399
/proc/meminfo: memFree=31671376/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=16744 CPUtime=1422.33
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3856 0 0 0 125159 17074 0 0 25 0 1 0 164363135 17145856 3751 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 4186 3751 236 467 0 3717 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 16744

[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 24401
/proc/meminfo: memFree=31671212/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=16744 CPUtime=1482.33
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3862 0 0 0 130438 17795 0 0 25 0 1 0 164363135 17145856 3757 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 4186 3757 236 467 0 3717 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 16744

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 24403
/proc/meminfo: memFree=31671664/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=16744 CPUtime=1542.33
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3870 0 0 0 135765 18468 0 0 25 0 1 0 164363135 17145856 3765 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 4186 3765 236 467 0 3717 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 16744

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 24405
/proc/meminfo: memFree=31671516/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=16744 CPUtime=1602.33
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3883 0 0 0 141128 19105 0 0 25 0 1 0 164363135 17145856 3778 4089446400 134512640 136421960 4288719088 18446744073709551615 134867981 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 4186 3778 236 467 0 3717 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 16744

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24409
/proc/meminfo: memFree=31670940/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=16744 CPUtime=1662.33
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3884 0 0 0 146371 19862 0 0 25 0 1 0 164363135 17145856 3779 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 4186 3779 236 467 0 3717 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 16744

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24410
/proc/meminfo: memFree=31670668/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=16744 CPUtime=1722.33
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3887 0 0 0 151677 20556 0 0 25 0 1 0 164363135 17145856 3782 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 4186 3782 236 467 0 3717 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 16744

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24412
/proc/meminfo: memFree=31670636/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=16884 CPUtime=1782.33
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3891 0 0 0 156991 21242 0 0 25 0 1 0 164363135 17289216 3786 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 4221 3786 236 467 0 3752 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 16884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24412
/proc/meminfo: memFree=31670608/32950940 swapFree=67111528/67111528
[pid=24305] ppid=24303 vsize=16884 CPUtime=1800.04
/proc/24305/stat : 24305 (pbct) R 24303 24305 22746 0 -1 4202496 3894 0 0 0 158584 21420 0 0 25 0 1 0 164363135 17289216 3789 4089446400 134512640 136421960 4288719088 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/24305/statm: 4221 3789 236 467 0 3752 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 16884

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): 1585.84
CPU system time (s): 214.204
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 16884

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

runsolver used 2.5996 second user time and 5.70913 second system time

The end

Launcher Data 

Begin job on node117 at 2010-06-30 16:21:54
IDJOB=2695627
IDBENCH=78951
IDSOLVER=1208
FILE ID=node117/2695627-1277907714
PBS_JOBID= 11197155
Free space on /tmp= 74204 MiB

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

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

MD5SUM BENCH= a432251fbe239eaf75ee6653ab14d833
RANDOM SEED=582242902

node117.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.799
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.59
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.799
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.799
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.799
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.799
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.85
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.799
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.75
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.799
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.799
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:     32950940 kB
MemFree:      31497208 kB
Buffers:        192060 kB
Cached:         854272 kB
SwapCached:          0 kB
Active:         726172 kB
Inactive:       586664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      31497208 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1968 kB
Writeback:           0 kB
AnonPages:      266928 kB
Mapped:          17448 kB
Slab:            77800 kB
PageTables:       5272 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   421084 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 node117 at 2010-06-30 16:51:56