Trace number 2695057

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 1034.07 1034.04

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900550720--soft-0-100-0.wbo
MD5SUM78d8e4512631586bbdc844ad983c3b47
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark274.2
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 135280
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135279
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 687
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c PB/CT 0.1.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.01	c constraints 0/23 clauses 0/2684 units 0
0.00/0.01	c vars 231
0.09/0.11	c 0.095985 19.9922 23 10813
0.09/0.11	o 589
0.09/0.13	c 0.100984 20.2266 45 17782
0.09/0.13	o 520
0.09/0.15	c 0.109983 20.4609 82 19972
0.09/0.15	o 495
0.09/0.19	c 0.117982 20.4609 142 20900
0.09/0.19	o 491
0.19/0.21	c 0.12798 20.4609 177 23809
0.19/0.21	o 411
0.19/0.22	c 0.132979 20.4609 192 24778
0.19/0.22	o 398
0.19/0.28	c 0.153976 20.4609 297 27150
0.19/0.28	o 393
0.39/0.42	c 0.198969 20.4609 534 31253
0.39/0.42	o 390
0.39/0.43	c 0.200969 20.4609 534 31545
0.39/0.43	o 387
0.39/0.43	c 0.202969 20.4609 535 32597
0.39/0.43	o 355
0.39/0.44	c 0.204968 20.4609 550 32923
0.39/0.44	o 351
0.49/0.54	c 0.229965 20.4609 695 34983
0.49/0.54	o 339
0.59/0.62	c 0.240963 20.4609 798 37074
0.59/0.62	o 327
0.59/0.64	c 0.241963 20.4609 812 39008
0.59/0.64	o 296
0.59/0.64	c 0.241963 20.4609 812 40276
0.59/0.64	o 255
0.59/0.65	c 0.242963 20.4609 812 41003
0.59/0.65	o 236
0.59/0.65	c 0.242963 20.4609 813 41609
0.59/0.65	o 220
0.59/0.67	c 0.248962 20.4609 829 41876
0.59/0.67	o 217
0.69/0.75	c 0.26096 20.4609 919 42308
0.69/0.75	o 214
2.10/2.17	c 0.682896 20.4609 781 49689
2.10/2.17	o 212
3.09/3.13	c 0.966853 20.4609 715 53682
3.09/3.13	o 193
3.39/3.41	c 1.05684 20.4609 1100 54870
3.39/3.41	o 184
3.99/4.06	c 1.23481 20.4609 738 57187
3.99/4.06	o 177
4.40/4.43	c 1.35079 20.4609 1141 59812
4.40/4.43	o 168
5.19/5.25	c 1.59676 20.4609 901 62439
5.19/5.25	o 165
5.29/5.33	c 1.62175 20.4609 1000 62911
5.29/5.33	o 157
5.50/5.51	c 1.67674 20.4609 1188 63559
5.50/5.51	o 151
5.50/5.52	c 1.68074 20.4609 616 64061
5.50/5.52	o 138
5.50/5.53	c 1.68574 20.4609 650 64215
5.50/5.53	o 136
6.09/6.16	c 1.86372 20.5898 1514 66285
6.09/6.16	o 133
9.09/9.10	c 2.75158 20.5898 1216 77418
9.09/9.10	o 129
9.29/9.38	c 2.85757 20.5898 1083 78927
9.29/9.38	o 118
11.39/11.42	c 3.50547 20.5898 994 84579
11.39/11.42	o 117
11.49/11.50	c 3.53646 20.5898 1155 85335
11.49/11.50	o 108
12.00/12.08	c 3.76543 20.5898 1246 87354
12.00/12.08	o 106
12.99/13.00	c 4.09838 20.5898 1097 91224
12.99/13.00	o 103
13.39/13.43	c 4.19736 20.5898 1074 92969
13.39/13.43	o 102
13.39/13.48	c 4.21136 20.5898 1167 93635
13.39/13.48	o 86
13.59/13.61	c 4.26935 20.5898 869 94625
13.59/13.61	o 80
14.09/14.12	c 4.45132 20.7188 891 96585
14.09/14.12	o 79
14.40/14.47	c 4.6053 20.7188 1054 98371
14.40/14.47	o 78
14.89/14.99	c 4.80627 20.7188 1936 100798
14.89/14.99	o 66
14.99/15.08	c 4.84326 20.7188 1123 101365
14.99/15.08	o 62
15.09/15.11	c 4.85326 20.7188 1192 101594
15.09/15.11	o 59
15.19/15.21	c 4.89626 20.7188 1377 102184
15.19/15.21	o 55
15.19/15.24	c 4.90325 20.7188 1441 102482
15.19/15.24	o 50
15.79/15.86	c 5.2272 20.8477 1352 106646
15.79/15.86	o 49
16.29/16.31	c 5.43317 20.8477 1506 109360
16.29/16.31	o 45
16.50/16.56	c 5.54416 20.8477 2508 111626
16.50/16.56	o 30
16.60/16.60	c 5.56315 20.8477 2692 112008
16.60/16.60	o 27
16.60/16.68	c 5.61015 20.8477 1649 112745
16.60/16.68	o 22
16.79/16.80	c 5.68014 20.8477 2457 114310
16.79/16.80	o 12
17.19/17.22	c 5.99309 21.1055 2225 120034
17.19/17.22	o 11
17.30/17.39	c 6.12407 21.1055 1934 122589
17.30/17.39	o 8
17.39/17.47	c 6.17106 21.1055 2566 123550
17.39/17.47	o 7
17.60/17.64	c 6.30104 21.1055 2114 125937
17.60/17.64	o 4
17.60/17.65	c 6.31004 21.1055 2190 126048
17.60/17.65	o 3
33.89/33.93	c 19.1151 21.7578 3668 366118
33.89/33.93	o 2
116.00/116.00	c 85.178 22.2734 4543 1545817
116.00/116.00	o 1
1034.02/1034.01	c 845.923 23.6992 3805 15361349
1034.02/1034.01	s OPTIMUM FOUND
1034.02/1034.01	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-2695057-1277927967/watcher-2695057-1277927967 -o /tmp/evaluation-result-2695057-1277927967/solver-2695057-1277927967 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695057-1277927967.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.76 2.70 2.41 4/199 16181
/proc/meminfo: memFree=30948848/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=2136 CPUtime=0
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 253 0 0 0 0 0 0 0 23 0 1 0 134092125 2187264 173 4089446400 134512640 136421960 4290621104 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/16181/statm: 534 173 144 467 0 65 0

[startup+0.0329471 s]
/proc/loadavg: 2.76 2.70 2.41 4/199 16181
/proc/meminfo: memFree=30948848/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=7036 CPUtime=0.03
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 1438 0 0 0 3 0 0 0 24 0 1 0 134092125 7204864 1358 4089446400 134512640 136421960 4290621104 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 1759 1363 193 467 0 1290 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7036

[startup+0.100942 s]
/proc/loadavg: 2.76 2.70 2.41 4/199 16181
/proc/meminfo: memFree=30948848/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=20468 CPUtime=0.09
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 4752 0 0 0 9 0 0 0 24 0 1 0 134092125 20959232 4639 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 5117 4639 213 467 0 4648 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20468

[startup+0.300926 s]
/proc/loadavg: 2.76 2.70 2.41 4/199 16181
/proc/meminfo: memFree=30948848/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=20948 CPUtime=0.29
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 4851 0 0 0 15 14 0 0 25 0 1 0 134092125 21450752 4731 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 5237 4731 237 467 0 4768 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20948

[startup+0.700882 s]
/proc/loadavg: 2.76 2.70 2.41 4/199 16181
/proc/meminfo: memFree=30948848/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=20948 CPUtime=0.69
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 4862 0 0 0 25 44 0 0 25 0 1 0 134092125 21450752 4731 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 5237 4731 237 467 0 4768 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20948

[startup+1.50069 s]
/proc/loadavg: 2.76 2.70 2.41 4/200 16182
/proc/meminfo: memFree=30930240/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=20948 CPUtime=1.49
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 4867 0 0 0 48 101 0 0 25 0 1 0 134092125 21450752 4735 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 5237 4735 237 467 0 4768 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20948

[startup+3.10126 s]
/proc/loadavg: 2.76 2.70 2.41 4/200 16182
/proc/meminfo: memFree=30929992/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=20948 CPUtime=3.09
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 4879 0 0 0 95 214 0 0 25 0 1 0 134092125 21450752 4746 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 5237 4746 237 467 0 4768 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20948

[startup+6.30088 s]
/proc/loadavg: 2.85 2.72 2.41 4/200 16182
/proc/meminfo: memFree=30930028/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=21080 CPUtime=6.29
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 4900 0 0 0 191 438 0 0 25 0 1 0 134092125 21585920 4757 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 5270 4757 237 467 0 4801 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21080

[startup+12.7007 s]
/proc/loadavg: 2.87 2.73 2.42 4/200 16182
/proc/meminfo: memFree=30930296/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=21080 CPUtime=12.69
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 4917 0 0 0 398 871 0 0 25 0 1 0 134092125 21585920 4769 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 5270 4769 237 467 0 4801 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21080

[startup+25.5004 s]
/proc/loadavg: 2.83 2.72 2.42 4/200 16183
/proc/meminfo: memFree=30929064/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=22004 CPUtime=25.49
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 5165 0 0 0 1243 1306 0 0 25 0 1 0 134092125 22532096 4995 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 5501 4995 237 467 0 5032 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 22004

[startup+51.1007 s]
/proc/loadavg: 2.83 2.73 2.43 4/200 16184
/proc/meminfo: memFree=30928372/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=22408 CPUtime=51.09
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 5274 0 0 0 3272 1837 0 0 25 0 1 0 134092125 22945792 5103 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 5602 5103 237 467 0 5133 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22408

[startup+102.307 s]
/proc/loadavg: 2.80 2.74 2.45 4/200 16194
/proc/meminfo: memFree=30922940/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=22804 CPUtime=102.3
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 5380 0 0 0 7431 2799 0 0 25 0 1 0 134092125 23351296 5209 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 5701 5209 237 467 0 5232 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 22804

[startup+162.301 s]
/proc/loadavg: 2.85 2.76 2.47 3/200 16195
/proc/meminfo: memFree=30921616/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=23200 CPUtime=162.29
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 5460 0 0 0 12211 4018 0 0 25 0 1 0 134092125 23756800 5288 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 5800 5288 237 467 0 5331 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 23200

[startup+222.301 s]
/proc/loadavg: 2.66 2.73 2.48 3/200 16197
/proc/meminfo: memFree=30917572/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=23200 CPUtime=222.3
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 5466 0 0 0 16999 5231 0 0 25 0 1 0 134092125 23756800 5294 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 5800 5294 237 467 0 5331 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 23200

[startup+282.301 s]
/proc/loadavg: 2.82 2.76 2.50 4/200 16199
/proc/meminfo: memFree=30914420/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=23464 CPUtime=282.3
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 5541 0 0 0 21841 6389 0 0 25 0 1 0 134092125 24027136 5369 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 5866 5369 237 467 0 5397 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 23464

[startup+342.301 s]
/proc/loadavg: 2.72 2.74 2.51 4/200 16200
/proc/meminfo: memFree=30906768/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=23596 CPUtime=342.3
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 5557 0 0 0 26653 7577 0 0 25 0 1 0 134092125 24162304 5385 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 5899 5385 237 467 0 5430 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 23596

[startup+402.3 s]
/proc/loadavg: 2.29 2.62 2.48 3/179 16232
/proc/meminfo: memFree=31063800/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=23596 CPUtime=402.3
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 5579 0 0 0 31668 8562 0 0 25 0 1 0 134092125 24162304 5407 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 5899 5407 237 467 0 5430 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 23596

[startup+462.301 s]
/proc/loadavg: 2.10 2.50 2.44 3/179 16233
/proc/meminfo: memFree=30961584/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=23596 CPUtime=462.3
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 5586 0 0 0 36668 9562 0 0 25 0 1 0 134092125 24162304 5414 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 5899 5414 237 467 0 5430 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 23596

[startup+522.301 s]
/proc/loadavg: 2.04 2.41 2.41 3/179 16235
/proc/meminfo: memFree=30811988/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=23868 CPUtime=522.3
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 5623 0 0 0 41710 10520 0 0 25 0 1 0 134092125 24440832 5451 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 5967 5451 237 467 0 5498 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 23868

[startup+582.301 s]
/proc/loadavg: 2.12 2.36 2.40 3/179 16237
/proc/meminfo: memFree=30672192/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=24000 CPUtime=582.3
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 5654 0 0 0 46729 11501 0 0 25 0 1 0 134092125 24576000 5482 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 6000 5482 237 467 0 5531 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 24000

[startup+642.301 s]
/proc/loadavg: 2.04 2.29 2.36 3/179 16239
/proc/meminfo: memFree=30540828/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=24000 CPUtime=642.31
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 5671 0 0 0 51698 12533 0 0 25 0 1 0 134092125 24576000 5499 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 6000 5499 237 467 0 5531 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 24000

[startup+702.3 s]
/proc/loadavg: 2.01 2.24 2.34 3/179 16240
/proc/meminfo: memFree=30417156/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=24000 CPUtime=702.31
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 5679 0 0 0 56698 13533 0 0 25 0 1 0 134092125 24576000 5507 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 6000 5507 237 467 0 5531 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 24000

[startup+762.306 s]
/proc/loadavg: 2.00 2.19 2.32 3/179 16241
/proc/meminfo: memFree=30317636/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=24000 CPUtime=762.32
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 5687 0 0 0 61723 14509 0 0 25 0 1 0 134092125 24576000 5515 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 6000 5515 237 467 0 5531 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 24000

[startup+822.301 s]
/proc/loadavg: 2.00 2.15 2.30 3/179 16243
/proc/meminfo: memFree=30236488/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=24264 CPUtime=822.31
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 5722 0 0 0 66788 15443 0 0 25 0 1 0 134092125 24846336 5550 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 6066 5550 237 467 0 5597 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 24264

[startup+882.301 s]
/proc/loadavg: 2.00 2.12 2.27 3/179 16245
/proc/meminfo: memFree=30164896/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=24264 CPUtime=882.31
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 5723 0 0 0 71825 16406 0 0 25 0 1 0 134092125 24846336 5551 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 6066 5551 237 467 0 5597 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 24264

[startup+942.301 s]
/proc/loadavg: 2.00 2.10 2.25 3/179 16246
/proc/meminfo: memFree=30103600/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=24264 CPUtime=942.31
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 5738 0 0 0 76860 17371 0 0 25 0 1 0 134092125 24846336 5566 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 6066 5566 237 467 0 5597 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 24264

[startup+1002.3 s]
/proc/loadavg: 2.00 2.08 2.24 3/179 16248
/proc/meminfo: memFree=30048500/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=24264 CPUtime=1002.32
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 5738 0 0 0 81916 18316 0 0 25 0 1 0 134092125 24846336 5566 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 6066 5566 237 467 0 5597 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 24264

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

[startup+1011.1 s]
/proc/loadavg: 2.00 2.07 2.23 3/179 16248
/proc/meminfo: memFree=30042040/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=24264 CPUtime=1011.12
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 5738 0 0 0 82655 18457 0 0 25 0 1 0 134092125 24846336 5566 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 6066 5566 237 467 0 5597 0
Current children cumulated CPU time (s) 1011.12
Current children cumulated vsize (KiB) 24264

[startup+1023.9 s]
/proc/loadavg: 2.00 2.07 2.23 3/179 16249
/proc/meminfo: memFree=30030384/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=24264 CPUtime=1023.92
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 5738 0 0 0 83734 18658 0 0 25 0 1 0 134092125 24846336 5566 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 6066 5566 237 467 0 5597 0
Current children cumulated CPU time (s) 1023.92
Current children cumulated vsize (KiB) 24264

[startup+1030.3 s]
/proc/loadavg: 2.00 2.07 2.23 3/179 16249
/proc/meminfo: memFree=30025172/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=24264 CPUtime=1030.32
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 5738 0 0 0 84277 18755 0 0 25 0 1 0 134092125 24846336 5566 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 6066 5566 237 467 0 5597 0
Current children cumulated CPU time (s) 1030.32
Current children cumulated vsize (KiB) 24264

[startup+1031.9 s]
/proc/loadavg: 2.00 2.07 2.23 3/179 16249
/proc/meminfo: memFree=30023184/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=24264 CPUtime=1031.92
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 5738 0 0 0 84412 18780 0 0 25 0 1 0 134092125 24846336 5566 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 6066 5566 237 467 0 5597 0
Current children cumulated CPU time (s) 1031.92
Current children cumulated vsize (KiB) 24264

[startup+1032.7 s]
/proc/loadavg: 2.00 2.07 2.23 3/179 16249
/proc/meminfo: memFree=30023184/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=24264 CPUtime=1032.72
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 5738 0 0 0 84481 18791 0 0 25 0 1 0 134092125 24846336 5566 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 6066 5566 237 467 0 5597 0
Current children cumulated CPU time (s) 1032.72
Current children cumulated vsize (KiB) 24264

[startup+1033.5 s]
/proc/loadavg: 2.00 2.07 2.23 3/179 16249
/proc/meminfo: memFree=30022812/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=24264 CPUtime=1033.52
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 5738 0 0 0 84548 18804 0 0 25 0 1 0 134092125 24846336 5566 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 6066 5566 237 467 0 5597 0
Current children cumulated CPU time (s) 1033.52
Current children cumulated vsize (KiB) 24264

[startup+1033.9 s]
/proc/loadavg: 2.00 2.07 2.23 3/179 16249
/proc/meminfo: memFree=30020828/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=24264 CPUtime=1033.93
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 5738 0 0 0 84583 18810 0 0 25 0 1 0 134092125 24846336 5566 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 6066 5566 237 467 0 5597 0
Current children cumulated CPU time (s) 1033.93
Current children cumulated vsize (KiB) 24264

[startup+1034.01 s]
/proc/loadavg: 2.00 2.07 2.23 3/179 16249
/proc/meminfo: memFree=30020828/32951124 swapFree=67111528/67111528
[pid=16181] ppid=16179 vsize=24264 CPUtime=1034.02
/proc/16181/stat : 16181 (pbct) R 16179 16181 13759 0 -1 4202496 5738 0 0 0 84591 18811 0 0 25 0 1 0 134092125 24846336 5566 4089446400 134512640 136421960 4290621104 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16181/statm: 6066 5566 237 467 0 5597 0
Current children cumulated CPU time (s) 1034.02
Current children cumulated vsize (KiB) 24264

Child status: 0
Real time (s): 1034.04
CPU time (s): 1034.07
CPU user time (s): 845.946
CPU system time (s): 188.122
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 24264

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

runsolver used 1.59376 second user time and 3.23151 second system time

The end

Launcher Data 

Begin job on node137 at 2010-06-30 21:59:27
IDJOB=2695057
IDBENCH=79283
IDSOLVER=1208
FILE ID=node137/2695057-1277927967
PBS_JOBID= 11197329
Free space on /tmp= 74212 MiB

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

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

MD5SUM BENCH= 78d8e4512631586bbdc844ad983c3b47
RANDOM SEED=1389084019

node137.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.876
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.75
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.876
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.876
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.74
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.876
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.876
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.876
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.83
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.876
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.876
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30949368 kB
Buffers:        214812 kB
Cached:        1260896 kB
SwapCached:          0 kB
Active:         926328 kB
Inactive:       931032 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30949368 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2008 kB
Writeback:           0 kB
AnonPages:      381764 kB
Mapped:          20296 kB
Slab:            81024 kB
PageTables:       5476 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1661064 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 node137 at 2010-06-30 22:16:41