Trace number 2694984

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 962.809 962.771

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900562192--soft-33-100-0.wbo
MD5SUMc96bd383c2d62b3ed6ae26490be2a1fe
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 benchmark145.475
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 constraints1863
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 94064
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 94063
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 765
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 839/1845 units 0
0.00/0.01	c vars 231
0.05/0.08	c 0.074988 16.9375 6 9049
0.05/0.08	o 468
9.59/9.67	c 5.36818 17.3711 2365 1213334
9.59/9.67	o 446
9.59/9.68	c 5.37718 17.3711 634 1215438
9.59/9.68	o 442
12.39/12.42	c 6.93595 17.3711 1354 1414317
12.39/12.42	o 438
12.39/12.46	c 6.95294 17.3711 787 1417003
12.39/12.46	o 428
12.90/12.92	c 7.09592 17.3711 1059 1430684
12.90/12.92	o 403
13.09/13.12	c 7.16891 17.3711 822 1456164
13.09/13.12	o 400
13.09/13.13	c 7.16991 17.3711 822 1456857
13.09/13.13	o 384
13.09/13.13	c 7.16991 17.3711 822 1457508
13.09/13.13	o 375
13.09/13.14	c 7.17091 17.3711 823 1459550
13.09/13.14	o 269
13.09/13.14	c 7.17191 17.3711 824 1459639
13.09/13.14	o 267
13.09/13.14	c 7.17191 17.3711 824 1460878
13.09/13.14	o 205
13.09/13.15	c 7.17391 17.3711 840 1461054
13.09/13.15	o 200
13.09/13.16	c 7.18391 17.3711 881 1461198
13.09/13.16	o 199
13.20/13.21	c 7.19491 17.3711 955 1461392
13.20/13.21	o 196
13.20/13.23	c 7.2049 17.3711 986 1461881
13.20/13.23	o 195
13.39/13.45	c 7.30589 17.3711 911 1463457
13.39/13.45	o 172
13.49/13.51	c 7.33788 17.3711 1014 1464071
13.49/13.51	o 157
13.49/13.51	c 7.34188 17.3711 1019 1464344
13.49/13.51	o 148
13.49/13.53	c 7.35288 17.3711 1053 1464483
13.49/13.53	o 147
13.49/13.59	c 7.38488 17.3711 1175 1464828
13.49/13.59	o 145
14.30/14.35	c 7.83681 17.3711 921 1473393
14.30/14.35	o 143
14.40/14.49	c 7.92579 17.3711 708 1474420
14.40/14.49	o 136
14.69/14.77	c 8.10977 17.3711 1425 1476232
14.69/14.77	o 99
14.99/15.03	c 8.27674 17.3711 754 1477876
14.99/15.03	o 81
15.09/15.17	c 8.36473 17.3711 1093 1478861
15.09/15.17	o 68
15.09/15.18	c 8.37473 17.3711 1133 1479443
15.09/15.18	o 42
15.19/15.28	c 8.46271 17.4961 1767 1480606
15.19/15.28	o 37
15.29/15.35	c 8.5217 17.6211 2269 1481445
15.29/15.35	o 36
15.49/15.56	c 8.67968 17.7461 2206 1483448
15.49/15.56	o 33
15.60/15.65	c 8.74867 17.7461 1658 1484651
15.60/15.65	o 32
15.69/15.76	c 8.83266 17.7461 2377 1485972
15.69/15.76	o 30
15.79/15.81	c 8.87165 17.7461 2680 1486489
15.79/15.81	o 29
15.79/15.84	c 8.89565 17.7461 1579 1486920
15.79/15.84	o 27
15.89/15.91	c 8.95764 17.7461 2128 1487843
15.89/15.91	o 23
15.99/16.04	c 9.06762 17.7461 1748 1489337
15.99/16.04	o 21
16.40/16.40	c 9.38457 17.7461 2204 1494718
16.40/16.40	o 16
16.50/16.58	c 9.52155 17.7461 2075 1497027
16.50/16.58	o 14
17.99/18.04	c 10.8044 17.9961 2721 1518412
17.99/18.04	o 7
26.99/27.04	c 18.5842 18.6289 2013 1664373
26.99/27.04	o 5
27.50/27.52	c 19.0341 18.6289 2576 1672560
27.50/27.52	o 3
60.19/60.20	c 48.1997 18.6289 2085 2197361
60.19/60.20	o 2
60.60/60.64	c 48.6176 18.6289 2587 2204140
60.60/60.64	o 1
962.72/962.75	c 859.065 19.9922 3135 16777633
962.72/962.75	s OPTIMUM FOUND
962.72/962.75	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-2694984-1277912456/watcher-2694984-1277912456 -o /tmp/evaluation-result-2694984-1277912456/solver-2694984-1277912456 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2694984-1277912456.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.62 2.71 2.57 4/196 12868
/proc/meminfo: memFree=31516700/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=2136 CPUtime=0
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 255 0 0 0 0 0 0 0 25 0 1 0 132391228 2187264 174 4089446400 134512640 136421960 4294516000 18446744073709551615 135805330 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/12868/statm: 534 174 144 467 0 65 0

[startup+0.055446 s]
/proc/loadavg: 2.62 2.71 2.57 4/196 12868
/proc/meminfo: memFree=31516700/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=12644 CPUtime=0.05
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 2852 0 0 0 5 0 0 0 25 0 1 0 132391228 12947456 2771 4089446400 134512640 136421960 4294516000 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12868/statm: 3161 2773 193 467 0 2692 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12644

[startup+0.100433 s]
/proc/loadavg: 2.62 2.71 2.57 4/196 12868
/proc/meminfo: memFree=31516700/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=17532 CPUtime=0.09
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 4071 0 0 0 8 1 0 0 25 0 1 0 132391228 17952768 3989 4089446400 134512640 136421960 4294516000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12868/statm: 4383 3989 236 467 0 3914 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17532

[startup+0.300392 s]
/proc/loadavg: 2.62 2.71 2.57 4/196 12868
/proc/meminfo: memFree=31516700/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=17532 CPUtime=0.29
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 4072 0 0 0 16 13 0 0 25 0 1 0 132391228 17952768 3990 4089446400 134512640 136421960 4294516000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12868/statm: 4383 3990 237 467 0 3914 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17532

[startup+0.700382 s]
/proc/loadavg: 2.62 2.71 2.57 4/196 12868
/proc/meminfo: memFree=31516700/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=17532 CPUtime=0.69
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 4072 0 0 0 38 31 0 0 25 0 1 0 132391228 17952768 3990 4089446400 134512640 136421960 4294516000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12868/statm: 4383 3990 237 467 0 3914 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17532

[startup+1.50016 s]
/proc/loadavg: 2.62 2.71 2.57 3/197 12869
/proc/meminfo: memFree=31501692/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=17656 CPUtime=1.49
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 4091 0 0 0 85 64 0 0 25 0 1 0 132391228 18079744 4009 4089446400 134512640 136421960 4294516000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12868/statm: 4414 4009 237 467 0 3945 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17656

[startup+3.10092 s]
/proc/loadavg: 2.62 2.71 2.57 3/197 12869
/proc/meminfo: memFree=31501568/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=17784 CPUtime=3.09
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 4114 0 0 0 180 129 0 0 25 0 1 0 132391228 18210816 4032 4089446400 134512640 136421960 4294516000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12868/statm: 4446 4032 237 467 0 3977 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17784

[startup+6.30025 s]
/proc/loadavg: 2.57 2.70 2.57 3/197 12869
/proc/meminfo: memFree=31500976/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=17784 CPUtime=6.29
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 4127 0 0 0 351 278 0 0 25 0 1 0 132391228 18210816 4045 4089446400 134512640 136421960 4294516000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12868/statm: 4446 4045 237 467 0 3977 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17784

[startup+12.701 s]
/proc/loadavg: 2.53 2.68 2.56 3/197 12869
/proc/meminfo: memFree=31500204/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=17784 CPUtime=12.69
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 4140 0 0 0 702 567 0 0 25 0 1 0 132391228 18210816 4054 4089446400 134512640 136421960 4294516000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12868/statm: 4446 4054 237 467 0 3977 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17784

[startup+25.5006 s]
/proc/loadavg: 2.41 2.65 2.55 3/197 12870
/proc/meminfo: memFree=31497504/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=18940 CPUtime=25.5
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 4471 0 0 0 1728 822 0 0 25 0 1 0 132391228 19394560 4351 4089446400 134512640 136421960 4294516000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12868/statm: 4735 4351 237 467 0 4266 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 18940

[startup+51.1007 s]
/proc/loadavg: 2.33 2.61 2.54 3/197 12871
/proc/meminfo: memFree=31494848/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=19072 CPUtime=51.1
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 4512 0 0 0 4012 1098 0 0 25 0 1 0 132391228 19529728 4390 4089446400 134512640 136421960 4294516000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12868/statm: 4768 4390 237 467 0 4299 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 19072

[startup+102.307 s]
/proc/loadavg: 2.14 2.52 2.51 3/197 12872
/proc/meminfo: memFree=31487764/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=19072 CPUtime=102.3
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 4514 0 0 0 8591 1639 0 0 25 0 1 0 132391228 19529728 4390 4089446400 134512640 136421960 4294516000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12868/statm: 4768 4390 237 467 0 4299 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 19072

[startup+162.3 s]
/proc/loadavg: 2.27 2.52 2.51 3/197 12873
/proc/meminfo: memFree=31480892/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=19340 CPUtime=162.29
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 4552 0 0 0 13950 2279 0 0 25 0 1 0 132391228 19804160 4428 4089446400 134512640 136421960 4294516000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12868/statm: 4835 4428 237 467 0 4366 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 19340

[startup+222.301 s]
/proc/loadavg: 2.47 2.53 2.52 3/197 12875
/proc/meminfo: memFree=31476024/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=19488 CPUtime=222.3
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 4583 0 0 0 19332 2898 0 0 25 0 1 0 132391228 19955712 4459 4089446400 134512640 136421960 4294516000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12868/statm: 4872 4459 237 467 0 4403 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 19488

[startup+282.3 s]
/proc/loadavg: 2.17 2.43 2.48 3/197 12877
/proc/meminfo: memFree=31470388/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=19620 CPUtime=282.3
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 4620 0 0 0 24704 3526 0 0 25 0 1 0 132391228 20090880 4496 4089446400 134512640 136421960 4294516000 18446744073709551615 134863690 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12868/statm: 4905 4496 237 467 0 4436 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 19620

[startup+342.301 s]
/proc/loadavg: 2.06 2.35 2.45 3/197 12878
/proc/meminfo: memFree=31464120/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=19620 CPUtime=342.31
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 4648 0 0 0 30097 4134 0 0 25 0 1 0 132391228 20090880 4524 4089446400 134512640 136421960 4294516000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12868/statm: 4905 4524 237 467 0 4436 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 19620

[startup+402.3 s]
/proc/loadavg: 2.02 2.28 2.42 9/197 12880
/proc/meminfo: memFree=31458124/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=19752 CPUtime=402.31
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 4676 0 0 0 35505 4726 0 0 25 0 1 0 132391228 20226048 4552 4089446400 134512640 136421960 4294516000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12868/statm: 4938 4552 237 467 0 4469 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 19752

[startup+462.301 s]
/proc/loadavg: 2.01 2.23 2.39 3/197 12881
/proc/meminfo: memFree=31455848/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=19752 CPUtime=462.31
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 4681 0 0 0 40890 5341 0 0 25 0 1 0 132391228 20226048 4557 4089446400 134512640 136421960 4294516000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12868/statm: 4938 4557 237 467 0 4469 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 19752

[startup+522.301 s]
/proc/loadavg: 2.00 2.18 2.36 3/197 12883
/proc/meminfo: memFree=31455684/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=19932 CPUtime=522.31
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 4718 0 0 0 46291 5940 0 0 25 0 1 0 132391228 20410368 4594 4089446400 134512640 136421960 4294516000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12868/statm: 4983 4594 237 467 0 4514 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 19932

[startup+582.301 s]
/proc/loadavg: 2.00 2.15 2.34 3/197 12885
/proc/meminfo: memFree=31455384/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=20064 CPUtime=582.32
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 4732 0 0 0 51694 6538 0 0 25 0 1 0 132391228 20545536 4608 4089446400 134512640 136421960 4294516000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12868/statm: 5016 4608 237 467 0 4547 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 20064

[startup+642.301 s]
/proc/loadavg: 2.00 2.12 2.31 3/197 12886
/proc/meminfo: memFree=31455344/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=20064 CPUtime=642.32
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 4757 0 0 0 57117 7115 0 0 25 0 1 0 132391228 20545536 4633 4089446400 134512640 136421960 4294516000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12868/statm: 5016 4633 237 467 0 4547 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 20064

[startup+702.301 s]
/proc/loadavg: 2.00 2.09 2.29 3/197 12888
/proc/meminfo: memFree=31455036/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=20200 CPUtime=702.32
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 4780 0 0 0 62511 7721 0 0 25 0 1 0 132391228 20684800 4656 4089446400 134512640 136421960 4294516000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12868/statm: 5050 4656 237 467 0 4581 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 20200

[startup+762.307 s]
/proc/loadavg: 2.00 2.07 2.27 3/197 12889
/proc/meminfo: memFree=31454656/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=20340 CPUtime=762.32
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 4798 0 0 0 67932 8300 0 0 25 0 1 0 132391228 20828160 4674 4089446400 134512640 136421960 4294516000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12868/statm: 5085 4674 237 467 0 4616 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 20340

[startup+822.301 s]
/proc/loadavg: 2.00 2.06 2.25 3/197 12891
/proc/meminfo: memFree=31454616/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=20340 CPUtime=822.32
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 4803 0 0 0 73343 8889 0 0 25 0 1 0 132391228 20828160 4679 4089446400 134512640 136421960 4294516000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12868/statm: 5085 4679 237 467 0 4616 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 20340

[startup+882.301 s]
/proc/loadavg: 2.03 2.06 2.24 3/197 12893
/proc/meminfo: memFree=31450236/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=20468 CPUtime=882.33
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 4842 0 0 0 78748 9485 0 0 25 0 1 0 132391228 20959232 4718 4089446400 134512640 136421960 4294516000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12868/statm: 5117 4718 237 467 0 4648 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 20468

[startup+942.3 s]
/proc/loadavg: 1.84 2.00 2.20 4/180 13185
/proc/meminfo: memFree=31740580/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=20468 CPUtime=942.33
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 4842 0 0 0 84077 10156 0 0 25 0 1 0 132391228 20959232 4718 4089446400 134512640 136421960 4294516000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12868/statm: 5117 4718 237 467 0 4648 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 20468

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

[startup+947.106 s]
/proc/loadavg: 1.86 2.00 2.20 3/179 13185
/proc/meminfo: memFree=31754864/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=20468 CPUtime=947.14
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 4842 0 0 0 84507 10207 0 0 25 0 1 0 132391228 20959232 4718 4089446400 134512640 136421960 4294516000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12868/statm: 5117 4718 237 467 0 4648 0
Current children cumulated CPU time (s) 947.14
Current children cumulated vsize (KiB) 20468

[startup+953.501 s]
/proc/loadavg: 1.87 2.00 2.20 3/179 13186
/proc/meminfo: memFree=31756268/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=20468 CPUtime=953.53
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 4842 0 0 0 85080 10273 0 0 25 0 1 0 132391228 20959232 4718 4089446400 134512640 136421960 4294516000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12868/statm: 5117 4718 237 467 0 4648 0
Current children cumulated CPU time (s) 953.53
Current children cumulated vsize (KiB) 20468

[startup+956.7 s]
/proc/loadavg: 1.88 2.00 2.20 3/179 13186
/proc/meminfo: memFree=31756268/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=20468 CPUtime=956.73
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 4842 0 0 0 85369 10304 0 0 25 0 1 0 132391228 20959232 4718 4089446400 134512640 136421960 4294516000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12868/statm: 5117 4718 237 467 0 4648 0
Current children cumulated CPU time (s) 956.73
Current children cumulated vsize (KiB) 20468

[startup+959.901 s]
/proc/loadavg: 1.89 2.00 2.20 3/179 13186
/proc/meminfo: memFree=31757012/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=20468 CPUtime=959.93
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 4842 0 0 0 85649 10344 0 0 25 0 1 0 132391228 20959232 4718 4089446400 134512640 136421960 4294516000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12868/statm: 5117 4718 237 467 0 4648 0
Current children cumulated CPU time (s) 959.93
Current children cumulated vsize (KiB) 20468

[startup+961.5 s]
/proc/loadavg: 1.89 2.00 2.20 3/179 13186
/proc/meminfo: memFree=31757400/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=20468 CPUtime=961.53
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 4842 0 0 0 85793 10360 0 0 25 0 1 0 132391228 20959232 4718 4089446400 134512640 136421960 4294516000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12868/statm: 5117 4718 237 467 0 4648 0
Current children cumulated CPU time (s) 961.53
Current children cumulated vsize (KiB) 20468

[startup+962.3 s]
/proc/loadavg: 1.89 2.00 2.20 3/179 13186
/proc/meminfo: memFree=31757400/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=20468 CPUtime=962.33
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 4842 0 0 0 85865 10368 0 0 25 0 1 0 132391228 20959232 4718 4089446400 134512640 136421960 4294516000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12868/statm: 5117 4718 237 467 0 4648 0
Current children cumulated CPU time (s) 962.33
Current children cumulated vsize (KiB) 20468

[startup+962.7 s]
/proc/loadavg: 1.89 2.00 2.20 3/179 13186
/proc/meminfo: memFree=31757400/32950928 swapFree=67111528/67111528
[pid=12868] ppid=12866 vsize=20468 CPUtime=962.72
/proc/12868/stat : 12868 (pbct) R 12866 12868 12623 0 -1 4202496 4842 0 0 0 85901 10371 0 0 25 0 1 0 132391228 20959232 4718 4089446400 134512640 136421960 4294516000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12868/statm: 5117 4718 237 467 0 4648 0
Current children cumulated CPU time (s) 962.72
Current children cumulated vsize (KiB) 20468

Child status: 0
Real time (s): 962.771
CPU time (s): 962.809
CPU user time (s): 859.083
CPU system time (s): 103.725
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 20468

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

runsolver used 1.44778 second user time and 2.97255 second system time

The end

Launcher Data 

Begin job on node127 at 2010-06-30 17:40:56
IDJOB=2694984
IDBENCH=78996
IDSOLVER=1208
FILE ID=node127/2694984-1277912456
PBS_JOBID= 11197272
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.1900562192--soft-33-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694984-1277912456/watcher-2694984-1277912456 -o /tmp/evaluation-result-2694984-1277912456/solver-2694984-1277912456 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2694984-1277912456.wbo

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

MD5SUM BENCH= c96bd383c2d62b3ed6ae26490be2a1fe
RANDOM SEED=685984692

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:      31517352 kB
Buffers:        199956 kB
Cached:         710996 kB
SwapCached:          0 kB
Active:         793756 kB
Inactive:       499520 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31517352 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2020 kB
Writeback:           0 kB
AnonPages:      382256 kB
Mapped:          20484 kB
Slab:            77108 kB
PageTables:       5372 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1656132 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= 74200 MiB
End job on node127 at 2010-06-30 17:56:59