Trace number 2699463

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB/CT 0.1 fixedMSAT (TO) 1800.05 1800.01

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552288--soft-66-100-0.wbo
MD5SUMaabd2abc5a32dbb90eb5074319abd403
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark387.19
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 constraints930
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 46532
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46531
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 727
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.01	c constraints 15/8 clauses 1762/922 units 0
0.00/0.01	c vars 231
0.05/0.05	c 0.053991 13.2578 11 2110
0.05/0.05	o 347
0.05/0.06	c 0.055991 13.3945 11 2584
0.05/0.06	o 318
0.05/0.06	c 0.057991 13.3945 16 3028
0.05/0.06	o 296
0.05/0.06	c 0.058991 13.3945 52 3862
0.05/0.06	o 218
0.05/0.07	c 0.06199 13.3945 110 4242
0.05/0.07	o 191
0.05/0.07	c 0.066989 13.3945 151 4661
0.05/0.07	o 161
0.09/0.10	c 0.084987 13.3945 332 5335
0.09/0.10	o 129
0.09/0.11	c 0.094985 13.3945 397 5855
0.09/0.11	o 93
0.49/0.52	c 0.395939 13.7734 804 10850
0.49/0.52	o 92
0.49/0.55	c 0.418936 13.7734 938 11135
0.49/0.55	o 91
0.59/0.67	c 0.502923 13.7734 898 12360
0.59/0.67	o 84
0.79/0.81	c 0.606907 13.7734 1494 13515
0.79/0.81	o 67
0.89/0.90	c 0.679896 13.7734 772 14823
0.89/0.90	o 60
1.10/1.10	c 0.841872 13.7734 1488 17405
1.10/1.10	o 41
1.19/1.22	c 0.936857 13.7734 1583 18877
1.19/1.22	o 40
1.19/1.27	c 0.979851 13.7734 1151 19575
1.19/1.27	o 33
1.29/1.31	c 1.01684 13.7734 1532 20254
1.29/1.31	o 24
1.29/1.33	c 1.03484 13.7734 1698 20646
1.29/1.33	o 15
1.59/1.67	c 1.3358 13.9023 1586 25721
1.59/1.67	o 12
5.19/5.21	c 4.27135 14.0312 1867 79655
5.19/5.21	o 11
5.19/5.28	c 4.33634 14.0312 1497 80689
5.19/5.28	o 10
6.69/6.74	c 5.62415 14.0312 1304 103571
6.69/6.74	o 6
68.70/68.70	c 57.4863 15 2543 1033472
68.70/68.70	o 2
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	2

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699463-1278461060/watcher-2699463-1278461060 -o /tmp/evaluation-result-2699463-1278461060/solver-2699463-1278461060 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699463-1278461060.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.03 2.01 1.92 4/178 13144
/proc/meminfo: memFree=29445308/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=2136 CPUtime=0
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 250 0 0 0 0 0 0 0 25 0 1 0 14319897 2187264 170 4089446400 134512640 136422188 4286671536 18446744073709551615 135377387 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13144/statm: 534 170 144 467 0 65 0

[startup+0.05846 s]
/proc/loadavg: 2.03 2.01 1.92 4/178 13144
/proc/meminfo: memFree=29445308/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=13572 CPUtime=0.05
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3047 0 0 0 5 0 0 0 25 0 1 0 14319897 13897728 2967 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 3393 2967 213 467 0 2924 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13572

[startup+0.100447 s]
/proc/loadavg: 2.03 2.01 1.92 4/178 13144
/proc/meminfo: memFree=29445308/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=13712 CPUtime=0.09
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3110 0 0 0 8 1 0 0 25 0 1 0 14319897 14041088 3024 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 3428 3024 236 467 0 2959 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13712

[startup+0.300412 s]
/proc/loadavg: 2.03 2.01 1.92 4/178 13144
/proc/meminfo: memFree=29445308/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=13972 CPUtime=0.29
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3162 0 0 0 22 7 0 0 25 0 1 0 14319897 14307328 3074 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 3493 3074 236 467 0 3024 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13972

[startup+0.700338 s]
/proc/loadavg: 2.03 2.01 1.92 4/178 13144
/proc/meminfo: memFree=29445308/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=14100 CPUtime=0.69
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3196 0 0 0 52 17 0 0 25 0 1 0 14319897 14438400 3105 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 3525 3105 236 467 0 3056 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14100

[startup+1.5002 s]
/proc/loadavg: 2.03 2.01 1.92 3/179 13145
/proc/meminfo: memFree=29433644/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=14232 CPUtime=1.49
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3248 0 0 0 118 31 0 0 18 0 1 0 14319897 14573568 3150 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 3558 3150 236 467 0 3089 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14232

[startup+3.10085 s]
/proc/loadavg: 2.03 2.01 1.92 3/179 13145
/proc/meminfo: memFree=29433636/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=14364 CPUtime=3.09
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3266 0 0 0 249 60 0 0 21 0 1 0 14319897 14708736 3167 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 3591 3167 236 467 0 3122 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14364

[startup+6.30034 s]
/proc/loadavg: 2.03 2.01 1.92 3/179 13145
/proc/meminfo: memFree=29433140/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=14364 CPUtime=6.29
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3292 0 0 0 523 106 0 0 25 0 1 0 14319897 14708736 3191 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 3591 3191 236 467 0 3122 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14364

[startup+12.7001 s]
/proc/loadavg: 2.02 2.01 1.92 3/179 13145
/proc/meminfo: memFree=29433460/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=14752 CPUtime=12.69
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3371 0 0 0 1052 217 0 0 25 0 1 0 14319897 15106048 3269 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 3688 3269 236 467 0 3219 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14752

[startup+25.5009 s]
/proc/loadavg: 2.02 2.01 1.92 3/179 13145
/proc/meminfo: memFree=29433244/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=15008 CPUtime=25.49
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3443 0 0 0 2123 426 0 0 25 0 1 0 14319897 15368192 3341 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 3752 3341 236 467 0 3283 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15008

[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 1.92 3/179 13147
/proc/meminfo: memFree=29432568/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=15252 CPUtime=51.09
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3500 0 0 0 4263 846 0 0 25 0 1 0 14319897 15618048 3398 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 3813 3398 236 467 0 3344 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 15252

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13147
/proc/meminfo: memFree=29432536/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=15356 CPUtime=102.3
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3526 0 0 0 8602 1628 0 0 25 0 1 0 14319897 15724544 3423 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 3839 3423 236 467 0 3370 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 15356

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13149
/proc/meminfo: memFree=29432364/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=15488 CPUtime=162.3
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3558 0 0 0 13426 2804 0 0 25 0 1 0 14319897 15859712 3455 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 3872 3455 236 467 0 3403 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 15488

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13151
/proc/meminfo: memFree=29432320/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=15616 CPUtime=222.3
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3606 0 0 0 18416 3814 0 0 25 0 1 0 14319897 15990784 3503 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 3904 3503 236 467 0 3435 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 15616

[startup+282.301 s]
/proc/loadavg: 2.03 2.01 1.93 3/179 13153
/proc/meminfo: memFree=29432136/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=15748 CPUtime=282.3
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3636 0 0 0 23431 4799 0 0 25 0 1 0 14319897 16125952 3533 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 3937 3533 236 467 0 3468 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 15748

[startup+342.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/179 13155
/proc/meminfo: memFree=29432224/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=15748 CPUtime=342.3
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3637 0 0 0 28308 5922 0 0 25 0 1 0 14319897 16125952 3534 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 3937 3534 237 467 0 3468 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 15748

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13155
/proc/meminfo: memFree=29431928/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=15748 CPUtime=402.3
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3648 0 0 0 33161 7069 0 0 25 0 1 0 14319897 16125952 3545 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 3937 3545 237 467 0 3468 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 15748

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13157
/proc/meminfo: memFree=29431996/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=15764 CPUtime=462.3
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3658 0 0 0 38069 8161 0 0 25 0 1 0 14319897 16142336 3549 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 3941 3549 237 467 0 3472 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 15764

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13159
/proc/meminfo: memFree=29431584/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=15892 CPUtime=522.31
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3688 0 0 0 43030 9201 0 0 25 0 1 0 14319897 16273408 3579 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 3973 3579 237 467 0 3504 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 15892

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13161
/proc/meminfo: memFree=29431536/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=15984 CPUtime=582.31
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3700 0 0 0 48016 10215 0 0 25 0 1 0 14319897 16367616 3591 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 3996 3591 237 467 0 3527 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 15984

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13218
/proc/meminfo: memFree=29373028/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=16052 CPUtime=642.32
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3724 0 0 0 53031 11201 0 0 25 0 1 0 14319897 16437248 3615 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 4013 3615 237 467 0 3544 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 16052

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13330
/proc/meminfo: memFree=29289360/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=16132 CPUtime=822.31
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3741 0 0 0 67872 14359 0 0 25 0 1 0 14319897 16519168 3632 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 4033 3632 237 467 0 3564 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 16132

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13335
/proc/meminfo: memFree=29288904/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=16260 CPUtime=882.31
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3756 0 0 0 72826 15405 0 0 25 0 1 0 14319897 16650240 3647 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 4065 3647 237 467 0 3596 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 16260

[startup+942.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/179 13337
/proc/meminfo: memFree=29287940/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=16260 CPUtime=942.32
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3756 0 0 0 77545 16687 0 0 25 0 1 0 14319897 16650240 3647 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 4065 3647 237 467 0 3596 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 16260

[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/179 13337
/proc/meminfo: memFree=29287996/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=16260 CPUtime=1002.32
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3756 0 0 0 82535 17697 0 0 25 0 1 0 14319897 16650240 3647 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 4065 3647 237 467 0 3596 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 16260

[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/179 13339
/proc/meminfo: memFree=29287916/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=16392 CPUtime=1062.32
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3793 0 0 0 87521 18711 0 0 25 0 1 0 14319897 16785408 3684 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 4098 3684 237 467 0 3629 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 16392

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13341
/proc/meminfo: memFree=29287704/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=16520 CPUtime=1122.32
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3823 0 0 0 92424 19808 0 0 25 0 1 0 14319897 16916480 3714 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 4130 3714 237 467 0 3661 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 16520

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13343
/proc/meminfo: memFree=29287760/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=16520 CPUtime=1182.32
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3824 0 0 0 97336 20896 0 0 25 0 1 0 14319897 16916480 3715 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 4130 3715 237 467 0 3661 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 16520

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13345
/proc/meminfo: memFree=29287932/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=16520 CPUtime=1242.32
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3829 0 0 0 102179 22053 0 0 25 0 1 0 14319897 16916480 3720 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 4130 3720 237 467 0 3661 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 16520

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13345
/proc/meminfo: memFree=29287484/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=16656 CPUtime=1302.33
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3849 0 0 0 106957 23276 0 0 25 0 1 0 14319897 17055744 3740 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 4164 3740 237 467 0 3695 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 16656

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13347
/proc/meminfo: memFree=29287336/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=16656 CPUtime=1362.33
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3860 0 0 0 111695 24538 0 0 25 0 1 0 14319897 17055744 3751 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 4164 3751 237 467 0 3695 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 16656

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13349
/proc/meminfo: memFree=29286908/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=16656 CPUtime=1422.33
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3864 0 0 0 116491 25742 0 0 25 0 1 0 14319897 17055744 3755 4089446400 134512640 136422188 4286671536 18446744073709551615 135022114 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 4164 3755 237 467 0 3695 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 16656

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13351
/proc/meminfo: memFree=29286600/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=16656 CPUtime=1482.33
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3869 0 0 0 121318 26915 0 0 25 0 1 0 14319897 17055744 3760 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 4164 3760 237 467 0 3695 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 16656

[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 1.94 3/179 13353
/proc/meminfo: memFree=29286656/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=16656 CPUtime=1542.33
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3873 0 0 0 126124 28109 0 0 25 0 1 0 14319897 17055744 3764 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 4164 3764 237 467 0 3695 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 16656

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 13353
/proc/meminfo: memFree=29286480/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=16792 CPUtime=1602.33
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3884 0 0 0 130939 29294 0 0 25 0 1 0 14319897 17195008 3775 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 4198 3775 237 467 0 3729 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 16792

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13355
/proc/meminfo: memFree=29286152/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=16792 CPUtime=1662.33
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3896 0 0 0 135892 30341 0 0 25 0 1 0 14319897 17195008 3787 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 4198 3787 237 467 0 3729 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 16792

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13357
/proc/meminfo: memFree=29286100/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=16792 CPUtime=1722.33
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3896 0 0 0 140607 31626 0 0 25 0 1 0 14319897 17195008 3787 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 4198 3787 237 467 0 3729 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 16792

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13359
/proc/meminfo: memFree=29285540/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=16792 CPUtime=1782.34
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3898 0 0 0 145525 32709 0 0 25 0 1 0 14319897 17195008 3789 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 4198 3789 237 467 0 3729 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 16792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13386
/proc/meminfo: memFree=29018532/32950904 swapFree=67111528/67111528
[pid=13144] ppid=13142 vsize=16792 CPUtime=1800.04
/proc/13144/stat : 13144 (pbct) R 13142 13144 12807 0 -1 4202496 3903 0 0 0 147059 32945 0 0 25 0 1 0 14319897 17195008 3794 4089446400 134512640 136422188 4286671536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13144/statm: 4198 3794 237 467 0 3729 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 16792

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): 1470.59
CPU system time (s): 329.46
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 16792

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

runsolver used 2.59061 second user time and 5.60315 second system time

The end

Launcher Data 

Begin job on node121 at 2010-07-07 02:04:20
IDJOB=2699463
IDBENCH=78978
IDSOLVER=1212
FILE ID=node121/2699463-1278461060
PBS_JOBID= 11233751
Free space on /tmp= 73796 MiB

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

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

MD5SUM BENCH= aabd2abc5a32dbb90eb5074319abd403
RANDOM SEED=291537372

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

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


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      29445952 kB
Buffers:        103212 kB
Cached:        3186044 kB
SwapCached:          0 kB
Active:        1169816 kB
Inactive:      2197088 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      29445952 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2036 kB
Writeback:           0 kB
AnonPages:       77952 kB
Mapped:          15528 kB
Slab:            75236 kB
PageTables:       4372 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:   218844 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= 73792 MiB
End job on node121 at 2010-07-07 02:34:22