Trace number 2695645

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.1OPTIMUM 1223.85 1223.81

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567024--soft-66-100-0.wbo
MD5SUM7129b2638275c1b1b14ce0a3da71735e
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark323.561
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 constraints927
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 45360
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 45359
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 755
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.01/0.01	c constraints 15/8 clauses 1765/919 units 0
0.01/0.01	c vars 231
0.01/0.06	c 0.05999 13.2578 9 2034
0.01/0.06	o 383
0.01/0.06	c 0.06199 13.3945 11 3052
0.01/0.06	o 271
0.01/0.07	c 0.069989 13.3945 63 3241
0.01/0.07	o 265
0.01/0.09	c 0.082987 13.3945 197 4080
0.01/0.09	o 219
0.09/0.16	c 0.12598 13.3945 679 4992
0.09/0.16	o 216
0.09/0.19	c 0.150977 13.5195 896 5612
0.09/0.19	o 202
0.19/0.20	c 0.161975 13.5195 993 5816
0.19/0.20	o 199
0.19/0.22	c 0.171973 13.5195 1038 6010
0.19/0.22	o 190
0.19/0.29	c 0.221966 13.6406 736 6722
0.19/0.29	o 188
0.29/0.32	c 0.241963 13.6406 847 6998
0.29/0.32	o 186
0.29/0.36	c 0.279957 13.6406 578 8256
0.29/0.36	o 126
0.29/0.36	c 0.280957 13.6406 585 8696
0.29/0.36	o 86
0.39/0.41	c 0.311952 13.6406 786 9417
0.39/0.41	o 50
0.69/0.74	c 0.58591 13.8867 2071 13721
0.69/0.74	o 49
0.89/0.92	c 0.737887 13.8867 961 16450
0.89/0.92	o 38
1.29/1.37	c 1.12683 13.8867 1424 22575
1.29/1.37	o 12
1223.82/1223.80	c 1090.11 21.0977 4005 14958808
1223.82/1223.80	s OPTIMUM FOUND
1223.82/1223.80	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	12

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695645-1277908647/watcher-2695645-1277908647 -o /tmp/evaluation-result-2695645-1277908647/solver-2695645-1277908647 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695645-1277908647.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.03 2.17 3/178 12203
/proc/meminfo: memFree=30021652/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=2136 CPUtime=0
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 251 0 0 0 0 0 0 0 25 0 1 0 132162420 2187264 170 4089446400 134512640 136421960 4293176560 18446744073709551615 135805312 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12203/statm: 534 170 144 467 0 65 0

[startup+0.0178859 s]
/proc/loadavg: 2.03 2.03 2.17 3/178 12203
/proc/meminfo: memFree=30021652/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=2268 CPUtime=0.01
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 278 0 0 0 1 0 0 0 25 0 1 0 132162420 2322432 197 4089446400 134512640 136421960 4293176560 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12203/statm: 567 198 145 467 0 98 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2268

[startup+0.100889 s]
/proc/loadavg: 2.03 2.03 2.17 3/178 12203
/proc/meminfo: memFree=30021652/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=13712 CPUtime=0.09
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 3106 0 0 0 8 1 0 0 25 0 1 0 132162420 14041088 3021 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12203/statm: 3428 3021 236 467 0 2959 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13712

[startup+0.300836 s]
/proc/loadavg: 2.03 2.03 2.17 3/178 12203
/proc/meminfo: memFree=30021652/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=13964 CPUtime=0.29
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 3163 0 0 0 22 7 0 0 18 0 1 0 132162420 14299136 3073 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12203/statm: 3491 3073 236 467 0 3022 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13964

[startup+0.700725 s]
/proc/loadavg: 2.03 2.03 2.17 3/178 12203
/proc/meminfo: memFree=30021652/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=14088 CPUtime=0.69
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 3213 0 0 0 54 15 0 0 18 0 1 0 132162420 14426112 3119 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12203/statm: 3522 3119 236 467 0 3053 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14088

[startup+1.50061 s]
/proc/loadavg: 2.03 2.03 2.17 3/179 12204
/proc/meminfo: memFree=30008624/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=14216 CPUtime=1.49
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 3251 0 0 0 123 26 0 0 19 0 1 0 132162420 14557184 3154 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12203/statm: 3554 3154 236 467 0 3085 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14216

[startup+3.10034 s]
/proc/loadavg: 2.02 2.03 2.17 3/179 12204
/proc/meminfo: memFree=30005896/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=15008 CPUtime=3.09
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 3447 0 0 0 262 47 0 0 25 0 1 0 132162420 15368192 3350 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12203/statm: 3752 3350 236 467 0 3283 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15008

[startup+6.30076 s]
/proc/loadavg: 2.02 2.03 2.17 3/179 12204
/proc/meminfo: memFree=30000196/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=15272 CPUtime=6.29
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 3512 0 0 0 544 85 0 0 25 0 1 0 132162420 15638528 3415 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12203/statm: 3818 3415 236 467 0 3349 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15272

[startup+12.7006 s]
/proc/loadavg: 2.02 2.02 2.17 3/179 12204
/proc/meminfo: memFree=29994612/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=15652 CPUtime=12.69
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 3605 0 0 0 1109 160 0 0 25 0 1 0 132162420 16027648 3508 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12203/statm: 3913 3508 236 467 0 3444 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15652

[startup+25.5003 s]
/proc/loadavg: 2.02 2.02 2.16 3/179 12204
/proc/meminfo: memFree=29978504/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=16028 CPUtime=25.49
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 3711 0 0 0 2252 297 0 0 25 0 1 0 132162420 16412672 3614 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12203/statm: 4007 3614 236 467 0 3538 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16028

[startup+51.1006 s]
/proc/loadavg: 2.01 2.02 2.16 3/179 12205
/proc/meminfo: memFree=29921172/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=16596 CPUtime=51.09
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 3923 0 0 0 4546 563 0 0 25 0 1 0 132162420 16994304 3758 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12203/statm: 4149 3758 236 467 0 3680 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16596

[startup+102.306 s]
/proc/loadavg: 2.00 2.02 2.15 3/179 12206
/proc/meminfo: memFree=29840040/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=17684 CPUtime=102.3
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 4191 0 0 0 9143 1087 0 0 25 0 1 0 132162420 18108416 4016 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12203/statm: 4421 4016 236 467 0 3952 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 17684

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.14 3/179 12208
/proc/meminfo: memFree=29747988/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=17988 CPUtime=162.3
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 4306 0 0 0 14552 1678 0 0 25 0 1 0 132162420 18419712 4106 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12203/statm: 4497 4106 236 467 0 4028 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 17988

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.13 3/179 12210
/proc/meminfo: memFree=29656912/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=18496 CPUtime=222.3
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 4560 0 0 0 19970 2260 0 0 25 0 1 0 132162420 18939904 4228 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12203/statm: 4624 4228 236 467 0 4155 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 18496

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.11 3/179 12212
/proc/meminfo: memFree=29591008/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=18720 CPUtime=282.3
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 4609 0 0 0 25365 2865 0 0 25 0 1 0 132162420 19169280 4277 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12203/statm: 4680 4277 236 467 0 4211 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 18720

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.10 3/179 12213
/proc/meminfo: memFree=29520400/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=19508 CPUtime=342.31
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 4934 0 0 0 30803 3428 0 0 25 0 1 0 132162420 19976192 4486 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12203/statm: 4877 4486 236 467 0 4408 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 19508

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 12214
/proc/meminfo: memFree=29433540/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=19624 CPUtime=402.3
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 4954 0 0 0 36268 3962 0 0 25 0 1 0 132162420 20094976 4494 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12203/statm: 4906 4494 236 467 0 4437 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 19624

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 12216
/proc/meminfo: memFree=29355756/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=19888 CPUtime=462.3
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 5022 0 0 0 41707 4523 0 0 25 0 1 0 132162420 20365312 4562 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12203/statm: 4972 4562 236 467 0 4503 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 19888

[startup+522.301 s]
/proc/loadavg: 2.07 2.02 2.08 3/179 12218
/proc/meminfo: memFree=29265424/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=20112 CPUtime=522.31
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 5110 0 0 0 47146 5085 0 0 25 0 1 0 132162420 20594688 4637 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12203/statm: 5028 4637 236 467 0 4559 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 20112

[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.08 3/179 12220
/proc/meminfo: memFree=29191472/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=20112 CPUtime=582.31
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 5110 0 0 0 52549 5682 0 0 25 0 1 0 132162420 20594688 4637 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12203/statm: 5028 4637 236 467 0 4559 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 20112

[startup+642.3 s]
/proc/loadavg: 2.01 2.00 2.07 3/179 12221
/proc/meminfo: memFree=29078332/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=20540 CPUtime=642.31
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 5291 0 0 0 57997 6234 0 0 25 0 1 0 132162420 21032960 4722 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12203/statm: 5135 4722 236 467 0 4666 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 20540

[startup+702.301 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 12222
/proc/meminfo: memFree=29019620/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=20912 CPUtime=702.32
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 5566 0 0 0 63477 6755 0 0 25 0 1 0 132162420 21413888 4833 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12203/statm: 5228 4833 236 467 0 4759 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 20912

[startup+762.306 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 12224
/proc/meminfo: memFree=28977792/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=21104 CPUtime=762.31
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 5682 0 0 0 68953 7278 0 0 25 0 1 0 132162420 21610496 4882 4089446400 134512640 136421960 4293176560 18446744073709551615 134862005 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12203/statm: 5276 4882 236 467 0 4807 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 21104

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 12226
/proc/meminfo: memFree=28947120/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=20980 CPUtime=822.31
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 5991 0 0 0 74444 7787 0 0 25 0 1 0 132162420 21483520 4845 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12203/statm: 5245 4845 236 467 0 4776 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 20980

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 12228
/proc/meminfo: memFree=28916204/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=21016 CPUtime=882.32
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 6039 0 0 0 79916 8316 0 0 25 0 1 0 132162420 21520384 4862 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12203/statm: 5254 4862 236 467 0 4785 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 21016

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 12229
/proc/meminfo: memFree=28882304/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=21440 CPUtime=942.32
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 6169 0 0 0 85350 8882 0 0 25 0 1 0 132162420 21954560 4967 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12203/statm: 5360 4967 236 467 0 4891 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 21440

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 12230
/proc/meminfo: memFree=28864288/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=21044 CPUtime=1002.32
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 6353 0 0 0 90825 9407 0 0 25 0 1 0 132162420 21549056 4856 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12203/statm: 5261 4856 236 467 0 4792 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 21044

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 12232
/proc/meminfo: memFree=28845636/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=21600 CPUtime=1062.32
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 6535 0 0 0 96302 9930 0 0 25 0 1 0 132162420 22118400 5009 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12203/statm: 5400 5009 236 467 0 4931 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 21600

[startup+1122.3 s]
/proc/loadavg: 1.97 1.98 2.02 3/179 12262
/proc/meminfo: memFree=31211456/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=21600 CPUtime=1122.32
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 6535 0 0 0 101088 11144 0 0 25 0 1 0 132162420 22118400 5009 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12203/statm: 5400 5009 236 467 0 4931 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 21600

[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 2.01 3/179 12264
/proc/meminfo: memFree=31204340/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=21600 CPUtime=1182.32
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 6535 0 0 0 105816 12416 0 0 25 0 1 0 132162420 22118400 5009 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12203/statm: 5400 5009 236 467 0 4931 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 21600

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

[startup+1203.1 s]
/proc/loadavg: 1.99 1.98 2.01 3/179 12264
/proc/meminfo: memFree=31201220/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=21600 CPUtime=1203.12
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 6535 0 0 0 107424 12888 0 0 25 0 1 0 132162420 22118400 5009 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12203/statm: 5400 5009 236 467 0 4931 0
Current children cumulated CPU time (s) 1203.12
Current children cumulated vsize (KiB) 21600

[startup+1215.9 s]
/proc/loadavg: 1.99 1.98 2.01 3/179 12264
/proc/meminfo: memFree=31199848/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=21600 CPUtime=1215.92
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 6535 0 0 0 108410 13182 0 0 25 0 1 0 132162420 22118400 5009 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12203/statm: 5400 5009 236 467 0 4931 0
Current children cumulated CPU time (s) 1215.92
Current children cumulated vsize (KiB) 21600

[startup+1219.1 s]
/proc/loadavg: 1.99 1.98 2.01 3/179 12264
/proc/meminfo: memFree=31199344/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=21600 CPUtime=1219.12
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 6535 0 0 0 108656 13256 0 0 25 0 1 0 132162420 22118400 5009 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12203/statm: 5400 5009 236 467 0 4931 0
Current children cumulated CPU time (s) 1219.12
Current children cumulated vsize (KiB) 21600

[startup+1222.3 s]
/proc/loadavg: 1.99 1.98 2.01 3/179 12264
/proc/meminfo: memFree=31198104/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=21600 CPUtime=1222.33
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 6535 0 0 0 108897 13336 0 0 25 0 1 0 132162420 22118400 5009 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12203/statm: 5400 5009 236 467 0 4931 0
Current children cumulated CPU time (s) 1222.33
Current children cumulated vsize (KiB) 21600

[startup+1223.1 s]
/proc/loadavg: 1.99 1.98 2.01 3/179 12264
/proc/meminfo: memFree=31198104/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=21600 CPUtime=1223.13
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 6535 0 0 0 108957 13356 0 0 25 0 1 0 132162420 22118400 5009 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12203/statm: 5400 5009 236 467 0 4931 0
Current children cumulated CPU time (s) 1223.13
Current children cumulated vsize (KiB) 21600

[startup+1223.5 s]
/proc/loadavg: 1.99 1.98 2.01 3/179 12264
/proc/meminfo: memFree=31198104/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=21600 CPUtime=1223.52
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 6535 0 0 0 108987 13365 0 0 25 0 1 0 132162420 22118400 5009 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12203/statm: 5400 5009 236 467 0 4931 0
Current children cumulated CPU time (s) 1223.52
Current children cumulated vsize (KiB) 21600

[startup+1223.7 s]
/proc/loadavg: 1.99 1.98 2.01 3/179 12264
/proc/meminfo: memFree=31198104/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=21600 CPUtime=1223.72
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 6535 0 0 0 109003 13369 0 0 25 0 1 0 132162420 22118400 5009 4089446400 134512640 136421960 4293176560 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12203/statm: 5400 5009 236 467 0 4931 0
Current children cumulated CPU time (s) 1223.72
Current children cumulated vsize (KiB) 21600

[startup+1223.8 s]
/proc/loadavg: 1.99 1.98 2.01 3/179 12264
/proc/meminfo: memFree=31198104/32951124 swapFree=67111528/67111528
[pid=12203] ppid=12201 vsize=21600 CPUtime=1223.82
/proc/12203/stat : 12203 (pbct) R 12201 12203 10943 0 -1 4202496 6535 0 0 0 109010 13372 0 0 25 0 1 0 132162420 22118400 5009 4089446400 134512640 136421960 4293176560 18446744073709551615 135873518 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12203/statm: 5400 5009 236 467 0 4931 0
Current children cumulated CPU time (s) 1223.82
Current children cumulated vsize (KiB) 21600

Child status: 0
Real time (s): 1223.81
CPU time (s): 1223.85
CPU user time (s): 1090.12
CPU system time (s): 133.729
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 21732

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

runsolver used 1.90171 second user time and 3.66544 second system time

The end

Launcher Data 

Begin job on node106 at 2010-06-30 16:37:27
IDJOB=2695645
IDBENCH=78960
IDSOLVER=1208
FILE ID=node106/2695645-1277908647
PBS_JOBID= 11197172
Free space on /tmp= 74208 MiB

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

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

MD5SUM BENCH= 7129b2638275c1b1b14ce0a3da71735e
RANDOM SEED=80457629

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:      30022048 kB
Buffers:        192148 kB
Cached:        1271816 kB
SwapCached:          0 kB
Active:        1759436 kB
Inactive:      1026536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30022048 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1992 kB
Writeback:           0 kB
AnonPages:     1321776 kB
Mapped:          16284 kB
Slab:            78304 kB
PageTables:       7100 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1502692 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= 74204 MiB
End job on node106 at 2010-06-30 16:57:51