Trace number 2695611

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 960.904 960.869

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900554072--soft-33-100-0.wbo
MD5SUMbecc9aeeb3178c7d9d9e6e8b76e31de7
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 benchmark71.2462
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 constraints1857
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 93863
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 93862
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 695
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 5/18 clauses 845/1839 units 0
0.00/0.01	c vars 231
0.09/0.16	c 0.133979 16.9219 43 52114
0.09/0.16	o 860
0.09/0.17	c 0.135979 17.1094 43 53825
0.09/0.17	o 770
0.09/0.19	c 0.155976 17.1094 89 63042
0.09/0.19	o 603
0.19/0.22	c 0.167974 17.1094 115 67432
0.19/0.22	o 469
0.19/0.23	c 0.172973 17.1094 129 69809
0.19/0.23	o 437
0.19/0.27	c 0.205968 17.1094 202 76486
0.19/0.27	o 302
0.39/0.43	c 0.316951 17.2266 621 77731
0.39/0.43	o 294
0.99/1.02	c 0.701893 17.3477 1544 82927
0.99/1.02	o 270
1.09/1.15	c 0.789879 17.3477 1106 85041
1.09/1.15	o 269
1.29/1.36	c 0.91786 17.3477 1012 86669
1.29/1.36	o 265
1.49/1.57	c 1.04884 17.3477 921 88523
1.49/1.57	o 263
12.10/12.18	c 7.39388 17.4648 1370 527278
12.10/12.18	o 255
16.29/16.36	c 9.89449 17.4609 1070 612935
16.29/16.36	o 254
16.29/16.36	c 9.8955 17.4609 1072 613077
16.29/16.36	o 253
16.40/16.44	c 9.94449 17.4609 664 613880
16.40/16.44	o 247
17.99/18.02	c 10.8933 17.4609 1063 627339
17.99/18.02	o 185
27.09/27.13	c 16.3115 17.4609 1326 811177
27.09/27.13	o 163
32.19/32.22	c 19.431 17.4609 658 871663
32.19/32.22	o 161
33.79/33.80	c 20.3939 17.4609 1184 886977
33.79/33.80	o 152
33.79/33.81	c 20.4029 17.4609 607 887550
33.79/33.81	o 150
34.19/34.27	c 20.6779 17.4609 1061 890023
34.19/34.27	o 128
34.69/34.75	c 20.9658 17.4609 829 895983
34.69/34.75	o 122
34.99/35.01	c 21.1468 17.4609 892 898001
34.99/35.01	o 116
35.59/35.63	c 21.5537 17.4609 1438 901629
35.59/35.63	o 105
39.09/39.11	c 23.8304 17.5859 764 917063
39.09/39.11	o 104
42.69/42.73	c 26.146 17.8359 1650 932577
42.69/42.73	o 91
42.80/42.90	c 26.265 17.8359 1204 933300
42.80/42.90	o 89
43.50/43.55	c 26.6679 17.8359 1377 936040
43.50/43.55	o 85
45.79/45.81	c 28.1347 17.8359 1076 947287
45.79/45.81	o 84
46.29/46.35	c 28.4957 17.8359 1215 950608
46.29/46.35	o 61
46.40/46.48	c 28.5857 17.8359 936 951841
46.40/46.48	o 52
46.89/46.99	c 28.9806 17.8359 1840 956972
46.89/46.99	o 51
47.49/47.53	c 29.3655 17.8359 2067 961241
47.49/47.53	o 39
48.40/48.49	c 30.0794 18.0938 2111 970432
48.40/48.49	o 38
48.80/48.88	c 30.3804 18.0938 2241 974296
48.80/48.88	o 32
49.40/49.40	c 30.8273 18.0938 1526 980922
49.40/49.40	o 31
49.50/49.57	c 30.9593 18.0938 1517 983192
49.50/49.57	o 30
51.40/51.45	c 32.5351 18.0938 2598 1007715
51.40/51.45	o 27
52.49/52.51	c 33.4319 18.0938 1537 1023290
52.49/52.51	o 22
54.39/54.42	c 35.0387 18.0938 1618 1048793
54.39/54.42	o 21
54.90/54.99	c 35.5256 18.0938 1660 1058227
54.90/54.99	o 19
58.29/58.35	c 38.4722 18.0938 1809 1106906
58.29/58.35	o 15
59.49/59.57	c 39.541 18.0938 2420 1125821
59.49/59.57	o 12
74.49/74.53	c 52.838 18.3477 2801 1359279
74.49/74.53	o 10
92.00/92.09	c 68.5746 18.4766 1872 1636433
92.00/92.09	o 9
92.30/92.34	c 68.7955 18.4766 1655 1640403
92.30/92.34	o 6
99.10/99.14	c 74.8596 18.5859 2115 1745723
99.10/99.14	o 2
163.50/163.54	c 134.066 19.2344 3444 2779978
163.50/163.54	o 1
960.82/960.84	c 863.64 19.7539 2008 16108609
960.82/960.84	s OPTIMUM FOUND
960.82/960.84	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-2695611-1277906859/watcher-2695611-1277906859 -o /tmp/evaluation-result-2695611-1277906859/solver-2695611-1277906859 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695611-1277906859.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.08 2.02 2.01 4/178 13067
/proc/meminfo: memFree=31064068/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=2136 CPUtime=0
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 256 0 0 0 0 0 0 0 25 0 1 0 131981021 2187264 175 4089446400 134512640 136421960 4293850256 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13067/statm: 534 175 144 467 0 65 0

[startup+0.0340671 s]
/proc/loadavg: 2.08 2.02 2.01 4/178 13067
/proc/meminfo: memFree=31064068/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=7088 CPUtime=0.03
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 1465 0 0 0 3 0 0 0 25 0 1 0 131981021 7258112 1384 4089446400 134512640 136421960 4293850256 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13067/statm: 1772 1388 193 467 0 1303 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7088

[startup+0.101064 s]
/proc/loadavg: 2.08 2.02 2.01 4/178 13067
/proc/meminfo: memFree=31064068/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=17324 CPUtime=0.09
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 4010 0 0 0 8 1 0 0 25 0 1 0 131981021 17739776 3929 4089446400 134512640 136421960 4293850256 18446744073709551615 134868285 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13067/statm: 4331 3929 213 467 0 3862 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17324

[startup+0.301009 s]
/proc/loadavg: 2.08 2.02 2.01 4/178 13067
/proc/meminfo: memFree=31064068/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=17516 CPUtime=0.29
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 4080 0 0 0 21 8 0 0 25 0 1 0 131981021 17936384 3993 4089446400 134512640 136421960 4293850256 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13067/statm: 4379 3993 236 467 0 3910 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17516

[startup+0.700943 s]
/proc/loadavg: 2.08 2.02 2.01 4/178 13067
/proc/meminfo: memFree=31064068/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=17636 CPUtime=0.69
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 4112 0 0 0 48 21 0 0 25 0 1 0 131981021 18059264 4024 4089446400 134512640 136421960 4293850256 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13067/statm: 4409 4024 236 467 0 3940 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17636

[startup+1.50082 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 13068
/proc/meminfo: memFree=31048808/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=17760 CPUtime=1.49
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 4137 0 0 0 100 49 0 0 25 0 1 0 131981021 18186240 4046 4089446400 134512640 136421960 4293850256 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13067/statm: 4440 4046 236 467 0 3971 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17760

[startup+3.10048 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 13068
/proc/meminfo: memFree=31048964/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=17760 CPUtime=3.09
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 4139 0 0 0 196 113 0 0 25 0 1 0 131981021 18186240 4047 4089446400 134512640 136421960 4293850256 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13067/statm: 4440 4047 237 467 0 3971 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17760

[startup+6.30085 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 13068
/proc/meminfo: memFree=31048840/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=17760 CPUtime=6.29
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 4139 0 0 0 387 242 0 0 25 0 1 0 131981021 18186240 4047 4089446400 134512640 136421960 4293850256 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13067/statm: 4440 4047 237 467 0 3971 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17760

[startup+12.7006 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 13069
/proc/meminfo: memFree=31048196/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=17876 CPUtime=12.69
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 4151 0 0 0 770 499 0 0 25 0 1 0 131981021 18305024 4058 4089446400 134512640 136421960 4293850256 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13067/statm: 4469 4058 237 467 0 4000 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17876

[startup+25.501 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 13069
/proc/meminfo: memFree=31047820/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=17876 CPUtime=25.49
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 4172 0 0 0 1532 1017 0 0 25 0 1 0 131981021 18305024 4075 4089446400 134512640 136421960 4293850256 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13067/statm: 4469 4075 237 467 0 4000 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17876

[startup+51.101 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 13070
/proc/meminfo: memFree=31047140/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=18524 CPUtime=51.1
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 4346 0 0 0 3224 1886 0 0 25 0 1 0 131981021 18968576 4228 4089446400 134512640 136421960 4293850256 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13067/statm: 4631 4228 237 467 0 4162 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 18524

[startup+102.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 13071
/proc/meminfo: memFree=31043640/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=19028 CPUtime=102.3
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 4497 0 0 0 7776 2454 0 0 25 0 1 0 131981021 19484672 4369 4089446400 134512640 136421960 4293850256 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13067/statm: 4757 4369 237 467 0 4288 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 19028

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13073
/proc/meminfo: memFree=31042856/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=19692 CPUtime=162.29
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 4668 0 0 0 13292 2937 0 0 25 0 1 0 131981021 20164608 4540 4089446400 134512640 136421960 4293850256 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13067/statm: 4923 4540 237 467 0 4454 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 19692

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13074
/proc/meminfo: memFree=31042188/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=19692 CPUtime=222.3
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 4669 0 0 0 18756 3474 0 0 25 0 1 0 131981021 20164608 4540 4089446400 134512640 136421960 4293850256 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13067/statm: 4923 4540 237 467 0 4454 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 19692

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13076
/proc/meminfo: memFree=31041384/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=19692 CPUtime=282.3
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 4669 0 0 0 24246 3984 0 0 25 0 1 0 131981021 20164608 4540 4089446400 134512640 136421960 4293850256 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13067/statm: 4923 4540 237 467 0 4454 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 19692

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13078
/proc/meminfo: memFree=31041440/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=19692 CPUtime=342.3
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 4669 0 0 0 29729 4501 0 0 25 0 1 0 131981021 20164608 4540 4089446400 134512640 136421960 4293850256 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13067/statm: 4923 4540 237 467 0 4454 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 19692

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13079
/proc/meminfo: memFree=31041036/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=19692 CPUtime=402.3
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 4671 0 0 0 35230 5000 0 0 25 0 1 0 131981021 20164608 4542 4089446400 134512640 136421960 4293850256 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13067/statm: 4923 4542 237 467 0 4454 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 19692

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13081
/proc/meminfo: memFree=31041224/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=19824 CPUtime=462.31
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 4681 0 0 0 40696 5535 0 0 25 0 1 0 131981021 20299776 4552 4089446400 134512640 136421960 4293850256 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13067/statm: 4956 4552 237 467 0 4487 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 19824

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13082
/proc/meminfo: memFree=31052828/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=19960 CPUtime=522.31
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 4704 0 0 0 46185 6046 0 0 25 0 1 0 131981021 20439040 4575 4089446400 134512640 136421960 4293850256 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13067/statm: 4990 4575 237 467 0 4521 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 19960

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13130
/proc/meminfo: memFree=31529748/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=19960 CPUtime=582.31
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 4722 0 0 0 51665 6566 0 0 25 0 1 0 131981021 20439040 4593 4089446400 134512640 136421960 4293850256 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13067/statm: 4990 4593 237 467 0 4521 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 19960

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13132
/proc/meminfo: memFree=31527548/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=19960 CPUtime=642.32
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 4736 0 0 0 57176 7056 0 0 25 0 1 0 131981021 20439040 4607 4089446400 134512640 136421960 4293850256 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13067/statm: 4990 4607 237 467 0 4521 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 19960

[startup+702.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13133
/proc/meminfo: memFree=31526480/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=20092 CPUtime=702.32
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 4746 0 0 0 62679 7553 0 0 25 0 1 0 131981021 20574208 4617 4089446400 134512640 136421960 4293850256 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13067/statm: 5023 4617 237 467 0 4554 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 20092

[startup+762.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13135
/proc/meminfo: memFree=31525528/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=20092 CPUtime=762.32
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 4765 0 0 0 68190 8042 0 0 25 0 1 0 131981021 20574208 4636 4089446400 134512640 136421960 4293850256 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13067/statm: 5023 4636 237 467 0 4554 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 20092

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13136
/proc/meminfo: memFree=31525180/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=20092 CPUtime=822.32
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 4771 0 0 0 73682 8550 0 0 25 0 1 0 131981021 20574208 4642 4089446400 134512640 136421960 4293850256 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13067/statm: 5023 4642 237 467 0 4554 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 20092

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13138
/proc/meminfo: memFree=31524612/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=20224 CPUtime=882.33
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 4775 0 0 0 79188 9045 0 0 25 0 1 0 131981021 20709376 4646 4089446400 134512640 136421960 4293850256 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13067/statm: 5056 4646 237 467 0 4587 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 20224

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13140
/proc/meminfo: memFree=31524408/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=20224 CPUtime=942.33
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 4775 0 0 0 84672 9561 0 0 25 0 1 0 131981021 20709376 4646 4089446400 134512640 136421960 4293850256 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13067/statm: 5056 4646 237 467 0 4587 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 20224

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

[startup+947.106 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13140
/proc/meminfo: memFree=31524404/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=20224 CPUtime=947.13
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 4775 0 0 0 85105 9608 0 0 25 0 1 0 131981021 20709376 4646 4089446400 134512640 136421960 4293850256 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13067/statm: 5056 4646 237 467 0 4587 0
Current children cumulated CPU time (s) 947.13
Current children cumulated vsize (KiB) 20224

[startup+953.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13140
/proc/meminfo: memFree=31524280/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=20224 CPUtime=953.52
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 4775 0 0 0 85691 9661 0 0 25 0 1 0 131981021 20709376 4646 4089446400 134512640 136421960 4293850256 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13067/statm: 5056 4646 237 467 0 4587 0
Current children cumulated CPU time (s) 953.52
Current children cumulated vsize (KiB) 20224

[startup+956.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13140
/proc/meminfo: memFree=31524268/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=20224 CPUtime=956.73
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 4775 0 0 0 85984 9689 0 0 25 0 1 0 131981021 20709376 4646 4089446400 134512640 136421960 4293850256 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13067/statm: 5056 4646 237 467 0 4587 0
Current children cumulated CPU time (s) 956.73
Current children cumulated vsize (KiB) 20224

[startup+958.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13140
/proc/meminfo: memFree=31524264/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=20224 CPUtime=958.33
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 4775 0 0 0 86130 9703 0 0 25 0 1 0 131981021 20709376 4646 4089446400 134512640 136421960 4293850256 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13067/statm: 5056 4646 237 467 0 4587 0
Current children cumulated CPU time (s) 958.33
Current children cumulated vsize (KiB) 20224

[startup+959.901 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13140
/proc/meminfo: memFree=31524264/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=20224 CPUtime=959.93
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 4775 0 0 0 86277 9716 0 0 25 0 1 0 131981021 20709376 4646 4089446400 134512640 136421960 4293850256 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13067/statm: 5056 4646 237 467 0 4587 0
Current children cumulated CPU time (s) 959.93
Current children cumulated vsize (KiB) 20224

[startup+960.305 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13140
/proc/meminfo: memFree=31524264/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=20224 CPUtime=960.33
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 4775 0 0 0 86313 9720 0 0 25 0 1 0 131981021 20709376 4646 4089446400 134512640 136421960 4293850256 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13067/statm: 5056 4646 237 467 0 4587 0
Current children cumulated CPU time (s) 960.33
Current children cumulated vsize (KiB) 20224

[startup+960.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13140
/proc/meminfo: memFree=31524264/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=20224 CPUtime=960.73
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 4775 0 0 0 86350 9723 0 0 25 0 1 0 131981021 20709376 4646 4089446400 134512640 136421960 4293850256 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13067/statm: 5056 4646 237 467 0 4587 0
Current children cumulated CPU time (s) 960.73
Current children cumulated vsize (KiB) 20224

[startup+960.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13140
/proc/meminfo: memFree=31524264/32951124 swapFree=67111528/67111528
[pid=13067] ppid=13065 vsize=20224 CPUtime=960.82
/proc/13067/stat : 13067 (pbct) R 13065 13067 12262 0 -1 4202496 4775 0 0 0 86359 9723 0 0 25 0 1 0 131981021 20709376 4646 4089446400 134512640 136421960 4293850256 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13067/statm: 5056 4646 237 467 0 4587 0
Current children cumulated CPU time (s) 960.82
Current children cumulated vsize (KiB) 20224

Child status: 0
Real time (s): 960.869
CPU time (s): 960.904
CPU user time (s): 863.661
CPU system time (s): 97.2432
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 20224

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

runsolver used 1.52477 second user time and 2.84857 second system time

The end

Launcher Data 

Begin job on node143 at 2010-06-30 16:07:39
IDJOB=2695611
IDBENCH=78943
IDSOLVER=1208
FILE ID=node143/2695611-1277906859
PBS_JOBID= 11197203
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.1900554072--soft-33-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695611-1277906859/watcher-2695611-1277906859 -o /tmp/evaluation-result-2695611-1277906859/solver-2695611-1277906859 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2695611-1277906859.wbo

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

MD5SUM BENCH= becc9aeeb3178c7d9d9e6e8b76e31de7
RANDOM SEED=35015556

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
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.848
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.76
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.848
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.77
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.848
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	: 5285.38
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.848
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.848
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.74
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.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31064588 kB
Buffers:        191096 kB
Cached:         966148 kB
SwapCached:          0 kB
Active:         998600 kB
Inactive:       745156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31064588 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1972 kB
Writeback:           0 kB
AnonPages:      586424 kB
Mapped:          17128 kB
Slab:            78576 kB
PageTables:       5892 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   737992 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74208 MiB
End job on node143 at 2010-06-30 16:23:40