Trace number 2695092

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 1045.5 1045.46

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900582300--soft-0-100-0.wbo
MD5SUM0a3bbeff5fae384bd8f72d98174965d3
Bench CategorySOFT-SMALLINT-LIN (only soft 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 benchmark385.443
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 constraints2707
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 134314
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 134313
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 683
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 0/23 clauses 0/2684 units 0
0.00/0.01	c vars 231
0.09/0.14	c 0.099984 20 32 38260
0.09/0.14	o 696
0.09/0.18	c 0.103984 20.2344 73 55638
0.09/0.18	o 566
0.09/0.19	c 0.103984 20.4688 85 57375
0.09/0.19	o 541
0.29/0.36	c 0.119981 20.4688 323 70706
0.29/0.36	o 338
0.49/0.55	c 0.147977 20.4688 583 74042
0.49/0.55	o 319
0.79/0.86	c 0.183972 20.4688 1001 78300
0.79/0.86	o 296
1.00/1.06	c 0.209968 20.4688 652 80222
1.00/1.06	o 284
1.00/1.07	c 0.209968 20.4688 653 80550
1.00/1.07	o 280
1.00/1.08	c 0.210967 20.4688 655 82054
1.00/1.08	o 236
1.39/1.44	c 0.25696 20.4688 1091 84808
1.39/1.44	o 205
1.39/1.49	c 0.269958 20.4688 659 86165
1.39/1.49	o 190
1.69/1.75	c 0.312952 20.4688 968 87322
1.69/1.75	o 189
1.69/1.75	c 0.312952 20.4688 971 87819
1.69/1.75	o 174
1.69/1.78	c 0.315951 20.4688 994 88593
1.69/1.78	o 153
2.09/2.13	c 0.359945 20.4688 1345 90179
2.09/2.13	o 132
3.79/3.85	c 0.72089 20.5977 1485 95839
3.79/3.85	o 126
4.19/4.24	c 0.806877 20.5977 1227 97980
4.19/4.24	o 120
4.50/4.55	c 0.863868 20.5977 988 101046
4.50/4.55	o 117
4.59/4.65	c 0.882865 20.5977 1116 101517
4.59/4.65	o 114
4.59/4.69	c 0.892864 20.5977 617 101929
4.59/4.69	o 110
4.99/5.06	c 0.966853 20.5977 1190 103803
4.99/5.06	o 100
5.40/5.50	c 1.05484 20.5977 770 105866
5.40/5.50	o 98
6.20/6.22	c 1.18182 20.5977 1015 108473
6.20/6.22	o 87
8.19/8.22	c 1.59176 20.5977 781 115604
8.19/8.22	o 79
8.19/8.23	c 1.59276 20.5977 781 115735
8.19/8.23	o 77
8.19/8.25	c 1.59576 20.5977 797 115900
8.19/8.25	o 76
8.89/8.98	c 1.80773 20.5977 1046 118610
8.89/8.98	o 71
9.29/9.38	c 1.93271 20.5977 1841 120490
9.29/9.38	o 64
9.90/9.97	c 2.15867 20.7266 1346 123972
9.90/9.97	o 48
10.29/10.37	c 2.33465 20.8555 2616 126233
10.29/10.37	o 47
10.59/10.63	c 2.43663 20.8555 1977 127835
10.59/10.63	o 36
10.59/10.68	c 2.45363 20.8555 2130 128255
10.59/10.68	o 31
11.00/11.09	c 2.6566 20.9844 2214 131210
11.00/11.09	o 29
11.09/11.14	c 2.68759 20.9844 2434 131554
11.09/11.14	o 28
11.09/11.18	c 2.70659 20.9844 2573 132020
11.09/11.18	o 21
11.09/11.19	c 2.70859 20.9844 2603 132164
11.09/11.19	o 17
11.29/11.32	c 2.79857 20.9844 1859 134095
11.29/11.32	o 10
12.79/12.81	c 3.88741 22.0156 3744 152107
12.79/12.81	o 6
15.69/15.78	c 6.15806 22.0156 4027 193270
15.69/15.78	o 4
26.09/26.13	c 14.1608 22.0156 2291 336595
26.09/26.13	o 3
28.79/28.85	c 16.2255 22.0156 3365 374839
28.79/28.85	o 2
29.59/29.64	c 16.8684 22.0156 3724 386820
29.59/29.64	o 1
1045.44/1045.43	c 822.605 24.1406 3935 15345409
1045.44/1045.43	s OPTIMUM FOUND
1045.44/1045.43	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-2695092-1277929131/watcher-2695092-1277929131 -o /tmp/evaluation-result-2695092-1277929131/solver-2695092-1277929131 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695092-1277929131.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.89 2.83 2.71 4/178 15298
/proc/meminfo: memFree=31400844/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=2136 CPUtime=0
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 254 0 0 0 0 0 0 0 25 0 1 0 134058795 2187264 173 4089446400 134512640 136421960 4289917536 18446744073709551615 135378148 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/15298/statm: 534 173 144 467 0 65 0

[startup+0.0245031 s]
/proc/loadavg: 2.89 2.83 2.71 4/178 15298
/proc/meminfo: memFree=31400844/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=4752 CPUtime=0.02
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 900 0 0 0 2 0 0 0 25 0 1 0 134058795 4866048 819 4089446400 134512640 136421960 4289917536 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15298/statm: 1188 822 193 467 0 719 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4752

[startup+0.100545 s]
/proc/loadavg: 2.89 2.83 2.71 4/178 15298
/proc/meminfo: memFree=31400844/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=20476 CPUtime=0.09
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 4754 0 0 0 9 0 0 0 25 0 1 0 134058795 20967424 4640 4089446400 134512640 136421960 4289917536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15298/statm: 5119 4640 213 467 0 4650 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20476

[startup+0.300508 s]
/proc/loadavg: 2.89 2.83 2.71 4/178 15298
/proc/meminfo: memFree=31400844/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=20956 CPUtime=0.29
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 4847 0 0 0 11 18 0 0 25 0 1 0 134058795 21458944 4730 4089446400 134512640 136421960 4289917536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15298/statm: 5239 4730 237 467 0 4770 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20956

[startup+0.700427 s]
/proc/loadavg: 2.89 2.83 2.71 4/178 15298
/proc/meminfo: memFree=31400844/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=20956 CPUtime=0.69
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 4849 0 0 0 16 53 0 0 25 0 1 0 134058795 21458944 4730 4089446400 134512640 136421960 4289917536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15298/statm: 5239 4730 237 467 0 4770 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20956

[startup+1.50028 s]
/proc/loadavg: 2.81 2.82 2.71 3/179 15299
/proc/meminfo: memFree=31382856/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=20956 CPUtime=1.49
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 4861 0 0 0 27 122 0 0 25 0 1 0 134058795 21458944 4736 4089446400 134512640 136421960 4289917536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15298/statm: 5239 4736 237 467 0 4770 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20956

[startup+3.10091 s]
/proc/loadavg: 2.81 2.82 2.71 3/179 15299
/proc/meminfo: memFree=31383236/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=21088 CPUtime=3.09
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 4899 0 0 0 55 254 0 0 25 0 1 0 134058795 21594112 4770 4089446400 134512640 136421960 4289917536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15298/statm: 5272 4770 237 467 0 4803 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21088

[startup+6.30036 s]
/proc/loadavg: 2.75 2.81 2.70 3/179 15299
/proc/meminfo: memFree=31382988/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=21088 CPUtime=6.29
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 4907 0 0 0 119 510 0 0 25 0 1 0 134058795 21594112 4770 4089446400 134512640 136421960 4289917536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15298/statm: 5272 4770 237 467 0 4803 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21088

[startup+12.7011 s]
/proc/loadavg: 2.69 2.79 2.70 3/179 15299
/proc/meminfo: memFree=31382324/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=22540 CPUtime=12.69
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 5284 0 0 0 379 890 0 0 25 0 1 0 134058795 23080960 5133 4089446400 134512640 136421960 4289917536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/15298/statm: 5635 5133 237 467 0 5166 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22540

[startup+25.5007 s]
/proc/loadavg: 2.54 2.75 2.69 3/179 15300
/proc/meminfo: memFree=31380552/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=22540 CPUtime=25.5
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 5294 0 0 0 1367 1183 0 0 25 0 1 0 134058795 23080960 5141 4089446400 134512640 136421960 4289917536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/15298/statm: 5635 5141 237 467 0 5166 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 22540

[startup+51.1008 s]
/proc/loadavg: 2.35 2.69 2.67 3/179 15300
/proc/meminfo: memFree=31378516/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=22540 CPUtime=51.09
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 5299 0 0 0 3354 1755 0 0 25 0 1 0 134058795 23080960 5143 4089446400 134512640 136421960 4289917536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/15298/statm: 5635 5143 237 467 0 5166 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22540

[startup+102.307 s]
/proc/loadavg: 2.15 2.58 2.63 3/179 15302
/proc/meminfo: memFree=31377372/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=22808 CPUtime=102.3
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 5374 0 0 0 7374 2856 0 0 25 0 1 0 134058795 23355392 5218 4089446400 134512640 136421960 4289917536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/15298/statm: 5702 5218 237 467 0 5233 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 22808

[startup+162.301 s]
/proc/loadavg: 2.05 2.47 2.59 3/179 15303
/proc/meminfo: memFree=31376960/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=23212 CPUtime=162.3
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 5466 0 0 0 12094 4136 0 0 25 0 1 0 134058795 23769088 5310 4089446400 134512640 136421960 4289917536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/15298/statm: 5803 5310 237 467 0 5334 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 23212

[startup+222.301 s]
/proc/loadavg: 2.02 2.38 2.55 3/179 15305
/proc/meminfo: memFree=31376436/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=23476 CPUtime=222.3
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 5514 0 0 0 16782 5448 0 0 25 0 1 0 134058795 24039424 5358 4089446400 134512640 136421960 4289917536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/15298/statm: 5869 5358 237 467 0 5400 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 23476

[startup+282.301 s]
/proc/loadavg: 2.06 2.33 2.52 3/179 15306
/proc/meminfo: memFree=31370324/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=23608 CPUtime=282.3
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 5566 0 0 0 21520 6710 0 0 25 0 1 0 134058795 24174592 5410 4089446400 134512640 136421960 4289917536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/15298/statm: 5902 5410 237 467 0 5433 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 23608

[startup+342.301 s]
/proc/loadavg: 2.02 2.27 2.48 3/179 15308
/proc/meminfo: memFree=31368796/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=23740 CPUtime=342.31
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 5591 0 0 0 26266 7965 0 0 25 0 1 0 134058795 24309760 5435 4089446400 134512640 136421960 4289917536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/15298/statm: 5935 5435 237 467 0 5466 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 23740

[startup+402.301 s]
/proc/loadavg: 2.00 2.21 2.45 3/179 15310
/proc/meminfo: memFree=31366540/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=23872 CPUtime=402.3
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 5620 0 0 0 31017 9213 0 0 25 0 1 0 134058795 24444928 5464 4089446400 134512640 136421960 4289917536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/15298/statm: 5968 5464 237 467 0 5499 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 23872

[startup+462.301 s]
/proc/loadavg: 2.00 2.17 2.42 3/179 15311
/proc/meminfo: memFree=31365012/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=23872 CPUtime=462.31
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 5635 0 0 0 35723 10508 0 0 25 0 1 0 134058795 24444928 5479 4089446400 134512640 136421960 4289917536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/15298/statm: 5968 5479 237 467 0 5499 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 23872

[startup+522.301 s]
/proc/loadavg: 2.00 2.14 2.39 3/179 15313
/proc/meminfo: memFree=31362120/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=24180 CPUtime=522.32
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 5688 0 0 0 40411 11821 0 0 25 0 1 0 134058795 24760320 5532 4089446400 134512640 136421960 4289917536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/15298/statm: 6045 5532 237 467 0 5576 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 24180

[startup+582.301 s]
/proc/loadavg: 2.00 2.11 2.36 3/179 15314
/proc/meminfo: memFree=31360972/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=24316 CPUtime=582.31
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 5713 0 0 0 45170 13061 0 0 25 0 1 0 134058795 24899584 5557 4089446400 134512640 136421960 4289917536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/15298/statm: 6079 5557 237 467 0 5610 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 24316

[startup+642.301 s]
/proc/loadavg: 2.00 2.09 2.34 3/179 15316
/proc/meminfo: memFree=31359948/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=24316 CPUtime=642.32
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 5739 0 0 0 49921 14311 0 0 25 0 1 0 134058795 24899584 5583 4089446400 134512640 136421960 4289917536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/15298/statm: 6079 5583 237 467 0 5610 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 24316

[startup+702.301 s]
/proc/loadavg: 2.00 2.07 2.31 3/179 15318
/proc/meminfo: memFree=31358800/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=24448 CPUtime=702.32
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 5767 0 0 0 54676 15556 0 0 25 0 1 0 134058795 25034752 5611 4089446400 134512640 136421960 4289917536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/15298/statm: 6112 5611 237 467 0 5643 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 24448

[startup+762.307 s]
/proc/loadavg: 2.08 2.07 2.30 3/179 15319
/proc/meminfo: memFree=31358152/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=24448 CPUtime=762.33
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 5778 0 0 0 59456 16777 0 0 25 0 1 0 134058795 25034752 5622 4089446400 134512640 136421960 4289917536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/15298/statm: 6112 5622 237 467 0 5643 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 24448

[startup+822.301 s]
/proc/loadavg: 2.03 2.05 2.27 3/179 15349
/proc/meminfo: memFree=31672924/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=24580 CPUtime=822.32
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 5809 0 0 0 64282 17950 0 0 25 0 1 0 134058795 25169920 5653 4089446400 134512640 136421960 4289917536 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/15298/statm: 6145 5653 237 467 0 5676 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 24580

[startup+882.301 s]
/proc/loadavg: 2.01 2.04 2.25 3/179 15350
/proc/meminfo: memFree=31486144/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=24716 CPUtime=882.32
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 5823 0 0 0 69114 19118 0 0 25 0 1 0 134058795 25309184 5667 4089446400 134512640 136421960 4289917536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/15298/statm: 6179 5667 237 467 0 5710 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 24716

[startup+942.3 s]
/proc/loadavg: 2.00 2.03 2.24 3/179 15352
/proc/meminfo: memFree=31312644/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=24716 CPUtime=942.33
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 5839 0 0 0 74008 20225 0 0 25 0 1 0 134058795 25309184 5683 4089446400 134512640 136421960 4289917536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/15298/statm: 6179 5683 237 467 0 5710 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 24716

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.22 3/179 15354
/proc/meminfo: memFree=31228012/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=24716 CPUtime=1002.33
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 5844 0 0 0 78786 21447 0 0 25 0 1 0 134058795 25309184 5688 4089446400 134512640 136421960 4289917536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/15298/statm: 6179 5688 237 467 0 5710 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 24716

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

[startup+1023.9 s]
/proc/loadavg: 2.00 2.02 2.21 3/179 15354
/proc/meminfo: memFree=31228000/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=24716 CPUtime=1023.93
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 5844 0 0 0 80530 21863 0 0 25 0 1 0 134058795 25309184 5688 4089446400 134512640 136421960 4289917536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/15298/statm: 6179 5688 237 467 0 5710 0
Current children cumulated CPU time (s) 1023.93
Current children cumulated vsize (KiB) 24716

[startup+1036.7 s]
/proc/loadavg: 2.00 2.02 2.21 3/179 15354
/proc/meminfo: memFree=31228112/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=24716 CPUtime=1036.73
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 5844 0 0 0 81562 22111 0 0 25 0 1 0 134058795 25309184 5688 4089446400 134512640 136421960 4289917536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/15298/statm: 6179 5688 237 467 0 5710 0
Current children cumulated CPU time (s) 1036.73
Current children cumulated vsize (KiB) 24716

[startup+1039.9 s]
/proc/loadavg: 2.00 2.02 2.21 3/179 15354
/proc/meminfo: memFree=31228112/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=24716 CPUtime=1039.93
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 5844 0 0 0 81823 22170 0 0 25 0 1 0 134058795 25309184 5688 4089446400 134512640 136421960 4289917536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/15298/statm: 6179 5688 237 467 0 5710 0
Current children cumulated CPU time (s) 1039.93
Current children cumulated vsize (KiB) 24716

[startup+1043.1 s]
/proc/loadavg: 2.00 2.02 2.21 3/179 15355
/proc/meminfo: memFree=31228112/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=24716 CPUtime=1043.13
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 5844 0 0 0 82078 22235 0 0 25 0 1 0 134058795 25309184 5688 4089446400 134512640 136421960 4289917536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/15298/statm: 6179 5688 237 467 0 5710 0
Current children cumulated CPU time (s) 1043.13
Current children cumulated vsize (KiB) 24716

[startup+1044.7 s]
/proc/loadavg: 2.00 2.02 2.21 3/179 15355
/proc/meminfo: memFree=31228112/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=24716 CPUtime=1044.73
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 5844 0 0 0 82201 22272 0 0 25 0 1 0 134058795 25309184 5688 4089446400 134512640 136421960 4289917536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/15298/statm: 6179 5688 237 467 0 5710 0
Current children cumulated CPU time (s) 1044.73
Current children cumulated vsize (KiB) 24716

[startup+1045.1 s]
/proc/loadavg: 2.00 2.02 2.21 3/179 15355
/proc/meminfo: memFree=31228112/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=24716 CPUtime=1045.14
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 5844 0 0 0 82233 22281 0 0 25 0 1 0 134058795 25309184 5688 4089446400 134512640 136421960 4289917536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/15298/statm: 6179 5688 237 467 0 5710 0
Current children cumulated CPU time (s) 1045.14
Current children cumulated vsize (KiB) 24716

[startup+1045.3 s]
/proc/loadavg: 2.00 2.02 2.21 3/179 15355
/proc/meminfo: memFree=31228112/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=24716 CPUtime=1045.34
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 5844 0 0 0 82250 22284 0 0 25 0 1 0 134058795 25309184 5688 4089446400 134512640 136421960 4289917536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/15298/statm: 6179 5688 237 467 0 5710 0
Current children cumulated CPU time (s) 1045.34
Current children cumulated vsize (KiB) 24716

[startup+1045.4 s]
/proc/loadavg: 2.00 2.02 2.21 3/179 15355
/proc/meminfo: memFree=31228112/32950928 swapFree=67111528/67111528
[pid=15298] ppid=15296 vsize=24716 CPUtime=1045.44
/proc/15298/stat : 15298 (pbct) R 15296 15298 15024 0 -1 4202496 5844 0 0 0 82258 22286 0 0 25 0 1 0 134058795 25309184 5688 4089446400 134512640 136421960 4289917536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/15298/statm: 6179 5688 237 467 0 5710 0
Current children cumulated CPU time (s) 1045.44
Current children cumulated vsize (KiB) 24716

Child status: 0
Real time (s): 1045.46
CPU time (s): 1045.5
CPU user time (s): 822.629
CPU system time (s): 222.868
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 24716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 822.629
system time used= 222.868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5849
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= 1
involuntary context switches= 1544

runsolver used 1.81672 second user time and 3.69644 second system time

The end

Launcher Data 

Begin job on node127 at 2010-06-30 22:18:52
IDJOB=2695092
IDBENCH=79294
IDSOLVER=1208
FILE ID=node127/2695092-1277929131
PBS_JOBID= 11197393
Free space on /tmp= 74200 MiB

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

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

MD5SUM BENCH= 0a3bbeff5fae384bd8f72d98174965d3
RANDOM SEED=1388042981

node127.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.828
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.828
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.828
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.828
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.72
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.828
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.74
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.828
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.828
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.828
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:     32950928 kB
MemFree:      31401488 kB
Buffers:        215436 kB
Cached:         720564 kB
SwapCached:          0 kB
Active:         890704 kB
Inactive:       515856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31401488 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1972 kB
Writeback:           0 kB
AnonPages:      470928 kB
Mapped:          17456 kB
Slab:            78440 kB
PageTables:       5692 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   647268 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 node127 at 2010-06-30 22:36:17