Trace number 2699385

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 fixedOPTIMUM 1023.45 1023.41

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900573137--soft-33-100-0.wbo
MD5SUM34c2ccfe3c5c18b062797c1b5794b2d4
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark254.587
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 constraints1788
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 89002
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 89001
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 693
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 11/12 clauses 908/1776 units 0
0.00/0.01	c vars 231
0.02/0.08	c 0.070989 16.6094 4 4956
0.02/0.08	o 466
0.02/0.08	c 0.070989 16.793 7 5362
0.02/0.08	o 463
0.09/0.12	c 0.076988 16.793 124 6135
0.09/0.12	o 458
0.09/0.16	c 0.077988 16.793 187 6602
0.09/0.16	o 446
0.09/0.17	c 0.079987 16.793 226 7099
0.09/0.17	o 427
0.09/0.18	c 0.080987 16.793 230 7578
0.09/0.18	o 409
0.09/0.19	c 0.082987 16.793 237 7805
0.09/0.19	o 405
0.19/0.21	c 0.085986 16.9102 317 8207
0.19/0.21	o 398
0.19/0.24	c 0.090986 16.9102 398 8446
0.19/0.24	o 397
0.19/0.25	c 0.091986 16.9102 400 9856
0.19/0.25	o 334
0.19/0.25	c 0.093985 16.9102 402 10283
0.19/0.25	o 322
0.19/0.25	c 0.093985 16.9102 406 10577
0.19/0.25	o 317
0.19/0.27	c 0.098984 16.9102 434 10876
0.19/0.27	o 312
0.29/0.39	c 0.115982 16.9102 719 11534
0.29/0.39	o 310
0.39/0.46	c 0.12798 17.0312 935 12472
0.39/0.46	o 293
0.49/0.54	c 0.136979 17.0312 1141 13674
0.49/0.54	o 258
0.69/0.76	c 0.181972 17.0312 1102 15583
0.69/0.76	o 226
0.79/0.87	c 0.210967 17.0312 817 16443
0.79/0.87	o 224
0.79/0.89	c 0.217966 17.0312 852 16607
0.79/0.89	o 223
0.89/0.95	c 0.235964 17.0312 992 17627
0.89/0.95	o 187
1.29/1.33	c 0.337948 17.1602 776 20260
1.29/1.33	o 173
1.39/1.44	c 0.367944 17.1602 996 20891
1.39/1.44	o 171
1.49/1.50	c 0.383941 17.1602 1181 21609
1.49/1.50	o 161
2.39/2.43	c 0.569913 17.1602 944 26198
2.39/2.43	o 150
2.49/2.50	c 0.58691 17.1602 1086 26602
2.49/2.50	o 148
3.19/3.26	c 0.732888 17.1602 771 30163
3.19/3.26	o 143
3.19/3.27	c 0.734888 17.1602 798 30324
3.19/3.27	o 141
3.30/3.31	c 0.745886 17.1602 935 30816
3.30/3.31	o 133
3.39/3.41	c 0.771882 17.1602 658 31969
3.39/3.41	o 122
3.49/3.50	c 0.789879 17.1602 935 32675
3.49/3.50	o 116
3.59/3.66	c 0.815875 17.1602 709 33809
3.59/3.66	o 103
3.89/3.95	c 0.860869 17.1602 1445 35387
3.89/3.95	o 88
3.89/3.95	c 0.862868 17.1602 737 35502
3.89/3.95	o 87
5.19/5.23	c 1.17482 17.2852 947 42721
5.19/5.23	o 86
5.30/5.32	c 1.21182 17.2852 1387 43669
5.30/5.32	o 77
5.50/5.53	c 1.25981 17.2852 1220 44766
5.50/5.53	o 73
6.79/6.81	c 1.66375 17.4102 1624 53728
6.79/6.81	o 72
8.59/8.64	c 2.28265 17.4102 1971 63429
8.59/8.64	o 66
9.09/9.15	c 2.45863 17.4102 1308 67406
9.09/9.15	o 62
9.69/9.78	c 2.68659 17.4102 1140 72035
9.69/9.78	o 53
14.39/14.46	c 4.78127 17.9141 1136 107798
14.39/14.46	o 51
15.59/15.62	c 5.30519 17.9141 1167 116300
15.59/15.62	o 49
15.99/16.04	c 5.49516 17.9141 2129 119393
15.99/16.04	o 46
17.19/17.23	c 6.03608 17.9141 1936 129834
17.19/17.23	o 43
19.89/19.98	c 7.34988 17.9141 1197 152659
19.89/19.98	o 33
19.89/19.99	c 7.35988 17.9141 1278 153049
19.89/19.99	o 20
20.19/20.22	c 7.50786 17.9141 1648 155895
20.19/20.22	o 13
20.99/21.04	c 8.09777 17.9141 1808 166553
20.99/21.04	o 11
21.29/21.31	c 8.27374 17.9141 1837 170767
21.29/21.31	o 7
21.29/21.33	c 8.28974 17.9141 2016 171136
21.29/21.33	o 5
40.00/40.03	c 21.8767 18.1719 1868 445341
40.00/40.03	o 3
62.09/62.12	c 38.0652 18.5273 1955 765105
62.09/62.12	o 2
106.80/106.85	c 70.8642 18.6445 2653 1417271
106.80/106.85	o 1
1023.32/1023.39	c 749.773 19.7461 3628 15098497
1023.32/1023.39	s OPTIMUM FOUND
1023.32/1023.39	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-2699385-1278461044/watcher-2699385-1278461044 -o /tmp/evaluation-result-2699385-1278461044/solver-2699385-1278461044 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699385-1278461044.wbo 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.92 2/176 12176
/proc/meminfo: memFree=31149964/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=2136 CPUtime=0
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 254 0 0 0 0 0 0 0 23 0 1 0 14316704 2187264 174 4089446400 134512640 136422188 4293517792 18446744073709551615 135717695 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12176/statm: 534 174 144 467 0 65 0

[startup+0.029836 s]
/proc/loadavg: 2.00 2.00 1.92 2/176 12176
/proc/meminfo: memFree=31149964/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=6304 CPUtime=0.02
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 1245 0 0 0 2 0 0 0 24 0 1 0 14316704 6455296 1165 4089446400 134512640 136422188 4293517792 18446744073709551615 135830093 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12176/statm: 1576 1165 193 467 0 1107 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 6304

[startup+0.100822 s]
/proc/loadavg: 2.00 2.00 1.92 2/176 12176
/proc/meminfo: memFree=31149964/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=17192 CPUtime=0.09
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 3998 0 0 0 7 2 0 0 24 0 1 0 14316704 17604608 3916 4089446400 134512640 136422188 4293517792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12176/statm: 4298 3916 236 467 0 3829 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17192

[startup+0.30079 s]
/proc/loadavg: 2.00 2.00 1.92 2/176 12176
/proc/meminfo: memFree=31149964/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=17312 CPUtime=0.29
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 4023 0 0 0 9 20 0 0 25 0 1 0 14316704 17727488 3930 4089446400 134512640 136422188 4293517792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12176/statm: 4328 3930 236 467 0 3859 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17312

[startup+0.700691 s]
/proc/loadavg: 2.00 2.00 1.92 2/176 12176
/proc/meminfo: memFree=31149964/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=17436 CPUtime=0.69
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 4068 0 0 0 16 53 0 0 25 0 1 0 14316704 17854464 3972 4089446400 134512640 136422188 4293517792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12176/statm: 4359 3972 236 467 0 3890 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17436

[startup+1.5006 s]
/proc/loadavg: 2.00 2.00 1.92 4/179 12204
/proc/meminfo: memFree=31119624/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=17568 CPUtime=1.49
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 4091 0 0 0 38 111 0 0 25 0 1 0 14316704 17989632 3989 4089446400 134512640 136422188 4293517792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12176/statm: 4392 3989 236 467 0 3923 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17568

[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12204
/proc/meminfo: memFree=31119200/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=17568 CPUtime=3.09
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 4095 0 0 0 70 239 0 0 25 0 1 0 14316704 17989632 3990 4089446400 134512640 136422188 4293517792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12176/statm: 4392 3990 236 467 0 3923 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17568

[startup+6.30072 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12204
/proc/meminfo: memFree=31119128/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=17824 CPUtime=6.29
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 4164 0 0 0 150 479 0 0 25 0 1 0 14316704 18251776 4048 4089446400 134512640 136422188 4293517792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12176/statm: 4456 4048 236 467 0 3987 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17824

[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 1.92 4/179 12205
/proc/meminfo: memFree=31118116/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=18340 CPUtime=12.69
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 4309 0 0 0 391 878 0 0 25 0 1 0 14316704 18780160 4189 4089446400 134512640 136422188 4293517792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12176/statm: 4585 4189 236 467 0 4116 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18340

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.92 4/179 12205
/proc/meminfo: memFree=31118240/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=18472 CPUtime=25.49
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 4342 0 0 0 1136 1413 0 0 25 0 1 0 14316704 18915328 4212 4089446400 134512640 136422188 4293517792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12176/statm: 4618 4212 236 467 0 4149 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18472

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12206
/proc/meminfo: memFree=31117404/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=18840 CPUtime=51.09
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 4437 0 0 0 2999 2110 0 0 25 0 1 0 14316704 19292160 4306 4089446400 134512640 136422188 4293517792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12176/statm: 4710 4306 236 467 0 4241 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 18840

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12207
/proc/meminfo: memFree=31116864/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=19088 CPUtime=102.3
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 4498 0 0 0 6749 3481 0 0 25 0 1 0 14316704 19546112 4366 4089446400 134512640 136422188 4293517792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12176/statm: 4772 4366 236 467 0 4303 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 19088

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12209
/proc/meminfo: memFree=31116456/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=19296 CPUtime=162.29
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 4569 0 0 0 11153 5076 0 0 25 0 1 0 14316704 19759104 4436 4089446400 134512640 136422188 4293517792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12176/statm: 4824 4436 236 467 0 4355 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 19296

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12210
/proc/meminfo: memFree=31116312/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=19428 CPUtime=222.3
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 4590 0 0 0 15548 6682 0 0 25 0 1 0 14316704 19894272 4457 4089446400 134512640 136422188 4293517792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12176/statm: 4857 4457 236 467 0 4388 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 19428

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12212
/proc/meminfo: memFree=31115900/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=19560 CPUtime=282.3
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 4627 0 0 0 19980 8250 0 0 25 0 1 0 14316704 20029440 4494 4089446400 134512640 136422188 4293517792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12176/statm: 4890 4494 236 467 0 4421 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 19560

[startup+342.301 s]
/proc/loadavg: 2.03 2.01 1.92 4/179 12214
/proc/meminfo: memFree=31115720/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=19692 CPUtime=342.31
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 4659 0 0 0 24474 9757 0 0 25 0 1 0 14316704 20164608 4526 4089446400 134512640 136422188 4293517792 18446744073709551615 134902728 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12176/statm: 4923 4526 236 467 0 4454 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 19692

[startup+402.301 s]
/proc/loadavg: 2.01 2.01 1.92 3/179 12215
/proc/meminfo: memFree=31115548/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=19828 CPUtime=402.3
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 4683 0 0 0 28934 11296 0 0 25 0 1 0 14316704 20303872 4550 4089446400 134512640 136422188 4293517792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12176/statm: 4957 4550 236 467 0 4488 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 19828

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12217
/proc/meminfo: memFree=31115380/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=19828 CPUtime=462.3
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 4692 0 0 0 33299 12931 0 0 25 0 1 0 14316704 20303872 4559 4089446400 134512640 136422188 4293517792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12176/statm: 4957 4559 236 467 0 4488 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 19828

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12218
/proc/meminfo: memFree=31115344/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=19952 CPUtime=522.3
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 4720 0 0 0 37746 14484 0 0 25 0 1 0 14316704 20430848 4587 4089446400 134512640 136422188 4293517792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12176/statm: 4988 4587 236 467 0 4519 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 19952

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12220
/proc/meminfo: memFree=31114928/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=20080 CPUtime=582.31
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 4755 0 0 0 42270 15961 0 0 25 0 1 0 14316704 20561920 4622 4089446400 134512640 136422188 4293517792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12176/statm: 5020 4622 236 467 0 4551 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 20080

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12222
/proc/meminfo: memFree=31114876/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=20080 CPUtime=642.32
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 4766 0 0 0 46750 17482 0 0 25 0 1 0 14316704 20561920 4633 4089446400 134512640 136422188 4293517792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12176/statm: 5020 4633 236 467 0 4551 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 20080

[startup+702.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12223
/proc/meminfo: memFree=31114488/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=20216 CPUtime=702.31
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 4777 0 0 0 51207 19024 0 0 25 0 1 0 14316704 20701184 4644 4089446400 134512640 136422188 4293517792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12176/statm: 5054 4644 236 467 0 4585 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 20216

[startup+762.306 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12225
/proc/meminfo: memFree=31114572/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=20216 CPUtime=762.32
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 4786 0 0 0 55652 20580 0 0 25 0 1 0 14316704 20701184 4653 4089446400 134512640 136422188 4293517792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12176/statm: 5054 4653 236 467 0 4585 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 20216

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/179 12226
/proc/meminfo: memFree=31114428/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=20216 CPUtime=822.31
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 4801 0 0 0 60083 22148 0 0 25 0 1 0 14316704 20701184 4668 4089446400 134512640 136422188 4293517792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12176/statm: 5054 4668 236 467 0 4585 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 20216

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12228
/proc/meminfo: memFree=31114248/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=20216 CPUtime=882.32
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 4810 0 0 0 64624 23608 0 0 25 0 1 0 14316704 20701184 4677 4089446400 134512640 136422188 4293517792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12176/statm: 5054 4677 236 467 0 4585 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 20216

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12233
/proc/meminfo: memFree=31113980/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=20216 CPUtime=942.32
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 4810 0 0 0 69075 25157 0 0 25 0 1 0 14316704 20701184 4677 4089446400 134512640 136422188 4293517792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12176/statm: 5054 4677 236 467 0 4585 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 20216

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12234
/proc/meminfo: memFree=31113964/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=20216 CPUtime=1002.32
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 4810 0 0 0 73437 26795 0 0 25 0 1 0 14316704 20701184 4677 4089446400 134512640 136422188 4293517792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12176/statm: 5054 4677 236 467 0 4585 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 20216

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

[startup+1011.1 s]
/proc/loadavg: 2.00 2.00 1.92 4/179 12234
/proc/meminfo: memFree=31113952/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=20216 CPUtime=1011.12
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 4810 0 0 0 74078 27034 0 0 25 0 1 0 14316704 20701184 4677 4089446400 134512640 136422188 4293517792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12176/statm: 5054 4677 236 467 0 4585 0
Current children cumulated CPU time (s) 1011.12
Current children cumulated vsize (KiB) 20216

[startup+1017.51 s]
/proc/loadavg: 2.00 2.00 1.92 4/179 12235
/proc/meminfo: memFree=31114072/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=20216 CPUtime=1017.53
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 4810 0 0 0 74544 27209 0 0 25 0 1 0 14316704 20701184 4677 4089446400 134512640 136422188 4293517792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12176/statm: 5054 4677 236 467 0 4585 0
Current children cumulated CPU time (s) 1017.53
Current children cumulated vsize (KiB) 20216

[startup+1020.7 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12235
/proc/meminfo: memFree=31114072/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=20216 CPUtime=1020.72
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 4810 0 0 0 74776 27296 0 0 25 0 1 0 14316704 20701184 4677 4089446400 134512640 136422188 4293517792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12176/statm: 5054 4677 236 467 0 4585 0
Current children cumulated CPU time (s) 1020.72
Current children cumulated vsize (KiB) 20216

[startup+1022.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12235
/proc/meminfo: memFree=31113948/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=20216 CPUtime=1022.32
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 4810 0 0 0 74892 27340 0 0 25 0 1 0 14316704 20701184 4677 4089446400 134512640 136422188 4293517792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12176/statm: 5054 4677 236 467 0 4585 0
Current children cumulated CPU time (s) 1022.32
Current children cumulated vsize (KiB) 20216

[startup+1023.1 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12235
/proc/meminfo: memFree=31113948/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=20216 CPUtime=1023.12
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 4810 0 0 0 74953 27359 0 0 25 0 1 0 14316704 20701184 4677 4089446400 134512640 136422188 4293517792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12176/statm: 5054 4677 236 467 0 4585 0
Current children cumulated CPU time (s) 1023.12
Current children cumulated vsize (KiB) 20216

[startup+1023.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12235
/proc/meminfo: memFree=31113948/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=20216 CPUtime=1023.32
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 4810 0 0 0 74969 27363 0 0 25 0 1 0 14316704 20701184 4677 4089446400 134512640 136422188 4293517792 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12176/statm: 5054 4677 236 467 0 4585 0
Current children cumulated CPU time (s) 1023.32
Current children cumulated vsize (KiB) 20216

[startup+1023.4 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12235
/proc/meminfo: memFree=31113948/32951124 swapFree=67111528/67111528
[pid=12176] ppid=12174 vsize=18200 CPUtime=1023.42
/proc/12176/stat : 12176 (pbct) R 12174 12176 11947 0 -1 4202496 4814 0 0 0 74977 27365 0 0 25 0 1 0 14316704 18636800 4179 4089446400 134512640 136422188 4293517792 18446744073709551615 135801476 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/12176/statm: 4550 4179 239 467 0 4081 0
Current children cumulated CPU time (s) 1023.42
Current children cumulated vsize (KiB) 18200

Child status: 0
Real time (s): 1023.41
CPU time (s): 1023.45
CPU user time (s): 749.791
CPU system time (s): 273.655
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 20216

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

runsolver used 1.53477 second user time and 3.12453 second system time

The end

Launcher Data 

Begin job on node147 at 2010-07-07 02:04:04
IDJOB=2699385
IDBENCH=78939
IDSOLVER=1212
FILE ID=node147/2699385-1278461044
PBS_JOBID= 11233699
Free space on /tmp= 73864 MiB

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

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

MD5SUM BENCH= 34c2ccfe3c5c18b062797c1b5794b2d4
RANDOM SEED=1341978576

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.821
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.75
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.821
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.821
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.76
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.821
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:      31150484 kB
Buffers:        107216 kB
Cached:        1496792 kB
SwapCached:          0 kB
Active:         486608 kB
Inactive:      1181440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31150484 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2032 kB
Writeback:           0 kB
AnonPages:       64260 kB
Mapped:          14504 kB
Slab:            69036 kB
PageTables:       5552 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   213836 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= 73860 MiB
End job on node147 at 2010-07-07 02:21:08