Trace number 2695119

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 1086.22 1086.2

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900545610--soft-0-100-0.wbo
MD5SUMaacdee42f12f02195344334122667810
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 benchmark203.379
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 135641
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135640
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 671
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c PB/CT 0.1.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.01	c constraints 0/23 clauses 0/2684 units 0
0.00/0.01	c vars 231
0.09/0.14	c 0.118981 20.0781 37 36078
0.09/0.14	o 879
0.09/0.15	c 0.123981 20.3125 39 39816
0.09/0.15	o 761
0.09/0.17	c 0.134979 20.5469 66 47967
0.09/0.17	o 385
0.19/0.20	c 0.153976 20.5469 118 50406
0.19/0.20	o 365
0.19/0.24	c 0.175973 20.5469 161 50715
0.19/0.24	o 364
0.69/0.70	c 0.447931 20.5469 826 55981
0.69/0.70	o 358
0.69/0.71	c 0.45593 20.5469 831 56431
0.69/0.71	o 353
0.69/0.74	c 0.476927 20.5469 879 57565
0.69/0.74	o 320
0.79/0.81	c 0.515921 20.5469 979 59388
0.79/0.81	o 299
0.79/0.81	c 0.52092 20.5469 979 60796
0.79/0.81	o 261
0.79/0.82	c 0.52592 20.5469 979 61353
0.79/0.82	o 253
0.79/0.85	c 0.546916 20.5469 1002 62201
0.79/0.85	o 246
1.09/1.13	c 0.702893 20.5469 732 64322
1.09/1.13	o 241
1.09/1.18	c 0.72289 20.5469 774 64899
1.09/1.18	o 234
1.29/1.34	c 0.819875 20.5469 983 65707
1.29/1.34	o 231
1.39/1.49	c 0.908861 20.5469 612 68020
1.39/1.49	o 217
1.49/1.56	c 0.949855 20.5469 715 68674
1.49/1.56	o 213
1.59/1.63	c 0.98485 20.5469 779 69712
1.59/1.63	o 197
1.99/2.05	c 1.23181 20.5469 687 71588
1.99/2.05	o 193
2.20/2.20	c 1.3228 20.5469 865 72455
2.20/2.20	o 190
2.39/2.45	c 1.47078 20.5469 588 73632
2.39/2.45	o 187
2.39/2.49	c 1.49677 20.5469 640 74036
2.39/2.49	o 177
3.09/3.15	c 1.89771 20.5469 925 77174
3.09/3.15	o 173
3.19/3.22	c 1.93971 20.5469 1041 78099
3.19/3.22	o 167
3.39/3.43	c 2.06768 20.5469 1298 79248
3.39/3.43	o 154
3.39/3.49	c 2.10868 20.5469 712 79814
3.39/3.49	o 141
3.49/3.53	c 2.13068 20.5469 739 80045
3.49/3.53	o 140
3.59/3.63	c 2.19867 20.5469 864 80677
3.59/3.63	o 136
3.59/3.67	c 2.23366 20.5469 1027 81144
3.59/3.67	o 135
3.69/3.74	c 2.27265 20.5469 1135 81652
3.69/3.74	o 132
3.69/3.75	c 2.27665 20.5469 1156 81936
3.69/3.75	o 127
4.40/4.43	c 2.71259 20.6758 724 84460
4.40/4.43	o 121
4.40/4.45	c 2.72059 20.6758 735 84630
4.40/4.45	o 120
4.69/4.73	c 2.88756 20.6758 1142 86039
4.69/4.73	o 116
5.09/5.19	c 3.19251 20.6758 1048 88011
5.09/5.19	o 97
5.19/5.20	c 3.19751 20.6758 1061 88306
5.19/5.20	o 89
5.79/5.89	c 3.60545 20.6758 1212 90281
5.79/5.89	o 88
6.29/6.33	c 3.89341 20.6758 1217 92484
6.29/6.33	o 80
6.60/6.69	c 4.12737 20.6758 1137 94524
6.60/6.69	o 70
6.89/7.00	c 4.32934 20.6758 1556 95393
6.89/7.00	o 67
7.20/7.22	c 4.48732 20.8047 2004 96385
7.20/7.22	o 61
7.49/7.53	c 4.69229 20.8047 1601 97908
7.49/7.53	o 60
7.49/7.57	c 4.71628 20.8047 1685 98126
7.49/7.57	o 57
7.79/7.82	c 4.90225 20.8047 2397 99696
7.79/7.82	o 54
7.89/7.94	c 4.98424 20.8047 1519 100493
7.89/7.94	o 47
8.19/8.24	c 5.19521 20.9336 2340 102156
8.19/8.24	o 42
8.19/8.27	c 5.22021 20.9336 2422 102405
8.19/8.27	o 38
8.29/8.35	c 5.2862 20.9336 2765 103493
8.29/8.35	o 21
9.30/9.30	c 6.05508 21.5781 3006 111788
9.30/9.30	o 16
9.79/9.82	c 6.47401 21.5781 2950 116805
9.79/9.82	o 11
11.49/11.50	c 7.9208 21.707 2938 136314
11.49/11.50	o 9
11.49/11.52	c 7.94179 21.707 3096 136633
11.49/11.52	o 7
11.59/11.63	c 8.03478 21.707 1924 137856
11.59/11.63	o 3
15.89/15.98	c 11.9762 22.0938 2616 199367
15.89/15.98	o 2
16.29/16.32	c 12.2951 22.0938 3824 203798
16.29/16.32	o 1
1086.11/1086.16	c 981.236 24.6914 5816 15578103
1086.11/1086.16	s OPTIMUM FOUND
1086.11/1086.16	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-2695119-1277930116/watcher-2695119-1277930116 -o /tmp/evaluation-result-2695119-1277930116/solver-2695119-1277930116 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695119-1277930116.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: 1.92 2.02 2.00 4/196 28982
/proc/meminfo: memFree=30139632/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=2136 CPUtime=0
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 254 0 0 0 0 0 0 0 25 0 1 0 168615105 2187264 173 4089446400 134512640 136421960 4290937488 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28982/statm: 534 173 144 467 0 65 0

[startup+0.00723907 s]
/proc/loadavg: 1.92 2.02 2.00 4/196 28982
/proc/meminfo: memFree=30139632/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=2136 CPUtime=0
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 265 0 0 0 0 0 0 0 25 0 1 0 168615105 2187264 184 4089446400 134512640 136421960 4290937488 18446744073709551615 135528952 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28982/statm: 534 184 144 467 0 65 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+0.101222 s]
/proc/loadavg: 1.92 2.02 2.00 4/196 28982
/proc/meminfo: memFree=30139632/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=20556 CPUtime=0.09
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 4753 0 0 0 9 0 0 0 25 0 1 0 168615105 21049344 4639 4089446400 134512640 136421960 4290937488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28982/statm: 5139 4639 213 467 0 4670 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20556

[startup+0.3012 s]
/proc/loadavg: 1.92 2.02 2.00 4/196 28982
/proc/meminfo: memFree=30139632/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=21036 CPUtime=0.29
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 4849 0 0 0 21 8 0 0 18 0 1 0 168615105 21540864 4730 4089446400 134512640 136421960 4290937488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28982/statm: 5259 4730 237 467 0 4790 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21036

[startup+0.701127 s]
/proc/loadavg: 1.92 2.02 2.00 4/196 28982
/proc/meminfo: memFree=30139632/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=21036 CPUtime=0.69
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 4849 0 0 0 44 25 0 0 18 0 1 0 168615105 21540864 4730 4089446400 134512640 136421960 4290937488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28982/statm: 5259 4730 237 467 0 4790 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21036

[startup+1.50098 s]
/proc/loadavg: 1.92 2.02 2.00 3/197 28983
/proc/meminfo: memFree=30121148/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=21036 CPUtime=1.49
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 4862 0 0 0 91 58 0 0 18 0 1 0 168615105 21540864 4732 4089446400 134512640 136421960 4290937488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28982/statm: 5259 4732 237 467 0 4790 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21036

[startup+3.1007 s]
/proc/loadavg: 1.92 2.02 2.00 3/197 28984
/proc/meminfo: memFree=30120652/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=21036 CPUtime=3.09
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 4879 0 0 0 186 123 0 0 21 0 1 0 168615105 21540864 4743 4089446400 134512640 136421960 4290937488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28982/statm: 5259 4743 237 467 0 4790 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21036

[startup+6.30113 s]
/proc/loadavg: 1.93 2.02 2.00 3/197 28984
/proc/meminfo: memFree=30120784/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=21168 CPUtime=6.29
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 4924 0 0 0 386 243 0 0 22 0 1 0 168615105 21676032 4773 4089446400 134512640 136421960 4290937488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28982/statm: 5292 4773 237 467 0 4823 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21168

[startup+12.701 s]
/proc/loadavg: 1.93 2.02 2.00 3/197 28984
/proc/meminfo: memFree=30119796/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=22224 CPUtime=12.69
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 5198 0 0 0 901 368 0 0 25 0 1 0 168615105 22757376 5031 4089446400 134512640 136421960 4290937488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28982/statm: 5556 5031 237 467 0 5087 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22224

[startup+25.5007 s]
/proc/loadavg: 1.95 2.02 2.00 3/197 28984
/proc/meminfo: memFree=30119692/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=22620 CPUtime=25.5
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 5304 0 0 0 2069 481 0 0 25 0 1 0 168615105 23162880 5135 4089446400 134512640 136421960 4290937488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28982/statm: 5655 5135 237 467 0 5186 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 22620

[startup+51.1012 s]
/proc/loadavg: 1.96 2.01 2.00 5/197 28985
/proc/meminfo: memFree=30119380/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=22752 CPUtime=51.1
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 5324 0 0 0 4413 697 0 0 25 0 1 0 168615105 23298048 5155 4089446400 134512640 136421960 4290937488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28982/statm: 5688 5155 237 467 0 5219 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 22752

[startup+102.307 s]
/proc/loadavg: 1.98 2.01 2.00 3/197 28986
/proc/meminfo: memFree=30118752/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=23148 CPUtime=102.3
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 5434 0 0 0 9109 1121 0 0 25 0 1 0 168615105 23703552 5265 4089446400 134512640 136421960 4290937488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28982/statm: 5787 5265 237 467 0 5318 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 23148

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/197 28988
/proc/meminfo: memFree=30117728/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=23544 CPUtime=162.29
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 5530 0 0 0 14616 1613 0 0 25 0 1 0 168615105 24109056 5361 4089446400 134512640 136421960 4290937488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28982/statm: 5886 5361 237 467 0 5417 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 23544

[startup+222.301 s]
/proc/loadavg: 2.93 2.22 2.07 3/197 28989
/proc/meminfo: memFree=30117568/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=23812 CPUtime=222.29
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 5597 0 0 0 20126 2103 0 0 25 0 1 0 168615105 24383488 5428 4089446400 134512640 136421960 4290937488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28982/statm: 5953 5428 237 467 0 5484 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 23812

[startup+282.301 s]
/proc/loadavg: 2.34 2.18 2.07 3/197 28991
/proc/meminfo: memFree=30095436/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=24088 CPUtime=282.3
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 5677 0 0 0 25658 2572 0 0 25 0 1 0 168615105 24666112 5508 4089446400 134512640 136421960 4290937488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28982/statm: 6022 5508 237 467 0 5553 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 24088

[startup+342.301 s]
/proc/loadavg: 2.49 2.25 2.10 3/197 28993
/proc/meminfo: memFree=30050268/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=24220 CPUtime=342.3
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 5697 0 0 0 31182 3048 0 0 25 0 1 0 168615105 24801280 5528 4089446400 134512640 136421960 4290937488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28982/statm: 6055 5528 237 467 0 5586 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 24220

[startup+402.301 s]
/proc/loadavg: 2.18 2.20 2.09 3/197 28994
/proc/meminfo: memFree=30007816/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=24352 CPUtime=402.31
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 5735 0 0 0 36697 3534 0 0 25 0 1 0 168615105 24936448 5566 4089446400 134512640 136421960 4290937488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28982/statm: 6088 5566 237 467 0 5619 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 24352

[startup+462.301 s]
/proc/loadavg: 2.06 2.16 2.08 3/197 28996
/proc/meminfo: memFree=29961148/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=24352 CPUtime=462.31
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 5741 0 0 0 42224 4007 0 0 25 0 1 0 168615105 24936448 5572 4089446400 134512640 136421960 4290937488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28982/statm: 6088 5572 237 467 0 5619 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 24352

[startup+522.3 s]
/proc/loadavg: 2.02 2.13 2.08 3/197 28997
/proc/meminfo: memFree=29955152/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=24616 CPUtime=522.3
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 5799 0 0 0 47743 4487 0 0 25 0 1 0 168615105 25206784 5630 4089446400 134512640 136421960 4290937488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28982/statm: 6154 5630 237 467 0 5685 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 24616

[startup+582.301 s]
/proc/loadavg: 2.01 2.10 2.07 3/197 28999
/proc/meminfo: memFree=29948900/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=24616 CPUtime=582.31
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 5809 0 0 0 53269 4962 0 0 25 0 1 0 168615105 25206784 5640 4089446400 134512640 136421960 4290937488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28982/statm: 6154 5640 237 467 0 5685 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 24616

[startup+642.3 s]
/proc/loadavg: 2.00 2.08 2.06 3/197 29001
/proc/meminfo: memFree=29936844/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=24880 CPUtime=642.31
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 5851 0 0 0 58796 5435 0 0 25 0 1 0 168615105 25477120 5682 4089446400 134512640 136421960 4290937488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28982/statm: 6220 5682 237 467 0 5751 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 24880

[startup+702.301 s]
/proc/loadavg: 2.52 2.18 2.10 3/197 29002
/proc/meminfo: memFree=29894156/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=24880 CPUtime=702.31
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 5866 0 0 0 64326 5905 0 0 25 0 1 0 168615105 25477120 5697 4089446400 134512640 136421960 4290937488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28982/statm: 6220 5697 237 467 0 5751 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 24880

[startup+762.306 s]
/proc/loadavg: 2.19 2.14 2.09 3/197 29004
/proc/meminfo: memFree=29854808/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=25012 CPUtime=762.31
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 5888 0 0 0 69857 6374 0 0 25 0 1 0 168615105 25612288 5719 4089446400 134512640 136421960 4290937488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28982/statm: 6253 5719 237 467 0 5784 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 25012

[startup+822.3 s]
/proc/loadavg: 2.41 2.22 2.12 3/197 29005
/proc/meminfo: memFree=29810256/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=25144 CPUtime=822.32
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 5922 0 0 0 75400 6832 0 0 25 0 1 0 168615105 25747456 5753 4089446400 134512640 136421960 4290937488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28982/statm: 6286 5753 237 467 0 5817 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 25144

[startup+882.301 s]
/proc/loadavg: 2.15 2.18 2.10 3/197 29007
/proc/meminfo: memFree=29765084/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=25144 CPUtime=882.31
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 5942 0 0 0 80929 7302 0 0 25 0 1 0 168615105 25747456 5773 4089446400 134512640 136421960 4290937488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28982/statm: 6286 5773 237 467 0 5817 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 25144

[startup+942.301 s]
/proc/loadavg: 2.05 2.14 2.09 3/197 29009
/proc/meminfo: memFree=29748556/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=25280 CPUtime=942.31
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 5952 0 0 0 86478 7753 0 0 25 0 1 0 168615105 25886720 5783 4089446400 134512640 136421960 4290937488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/28982/statm: 6320 5783 237 467 0 5851 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 25280

[startup+1002.3 s]
/proc/loadavg: 2.11 2.13 2.09 4/200 29089
/proc/meminfo: memFree=30408144/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=25280 CPUtime=1002.31
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 5964 0 0 0 91561 8670 0 0 25 0 1 0 168615105 25886720 5795 4089446400 134512640 136421960 4290937488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/28982/statm: 6320 5795 237 467 0 5851 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 25280

[startup+1062.3 s]
/proc/loadavg: 2.67 2.29 2.14 4/200 29091
/proc/meminfo: memFree=30389464/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=25280 CPUtime=1062.31
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 5964 0 0 0 96273 9958 0 0 25 0 1 0 168615105 25886720 5795 4089446400 134512640 136421960 4290937488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/28982/statm: 6320 5795 237 467 0 5851 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 25280

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

[startup+1075.1 s]
/proc/loadavg: 2.67 2.31 2.15 4/200 29091
/proc/meminfo: memFree=30386344/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=25280 CPUtime=1075.11
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 5965 0 0 0 97260 10251 0 0 25 0 1 0 168615105 25886720 5796 4089446400 134512640 136421960 4290937488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/28982/statm: 6320 5796 237 467 0 5851 0
Current children cumulated CPU time (s) 1075.11
Current children cumulated vsize (KiB) 25280

[startup+1081.5 s]
/proc/loadavg: 2.70 2.32 2.16 3/200 29092
/proc/meminfo: memFree=30385968/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=25280 CPUtime=1081.51
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 5965 0 0 0 97758 10393 0 0 25 0 1 0 168615105 25886720 5796 4089446400 134512640 136421960 4290937488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/28982/statm: 6320 5796 237 467 0 5851 0
Current children cumulated CPU time (s) 1081.51
Current children cumulated vsize (KiB) 25280

[startup+1084.7 s]
/proc/loadavg: 2.72 2.33 2.16 3/200 29092
/proc/meminfo: memFree=30386088/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=25280 CPUtime=1084.71
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 5965 0 0 0 98007 10464 0 0 25 0 1 0 168615105 25886720 5796 4089446400 134512640 136421960 4290937488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/28982/statm: 6320 5796 237 467 0 5851 0
Current children cumulated CPU time (s) 1084.71
Current children cumulated vsize (KiB) 25280

[startup+1085.5 s]
/proc/loadavg: 2.72 2.33 2.16 3/200 29092
/proc/meminfo: memFree=30386088/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=25280 CPUtime=1085.52
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 5965 0 0 0 98072 10480 0 0 25 0 1 0 168615105 25886720 5796 4089446400 134512640 136421960 4290937488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/28982/statm: 6320 5796 237 467 0 5851 0
Current children cumulated CPU time (s) 1085.52
Current children cumulated vsize (KiB) 25280

[startup+1085.9 s]
/proc/loadavg: 2.72 2.33 2.16 4/200 29092
/proc/meminfo: memFree=30385964/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=25280 CPUtime=1085.91
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 5965 0 0 0 98103 10488 0 0 25 0 1 0 168615105 25886720 5796 4089446400 134512640 136421960 4290937488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/28982/statm: 6320 5796 237 467 0 5851 0
Current children cumulated CPU time (s) 1085.91
Current children cumulated vsize (KiB) 25280

[startup+1086.1 s]
/proc/loadavg: 2.72 2.33 2.16 4/200 29092
/proc/meminfo: memFree=30385964/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=25280 CPUtime=1086.11
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202496 5965 0 0 0 98117 10494 0 0 25 0 1 0 168615105 25886720 5796 4089446400 134512640 136421960 4290937488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/28982/statm: 6320 5796 237 467 0 5851 0
Current children cumulated CPU time (s) 1086.11
Current children cumulated vsize (KiB) 25280

[startup+1086.2 s]
/proc/loadavg: 2.72 2.33 2.16 4/200 29092
/proc/meminfo: memFree=30385964/32950928 swapFree=67111528/67111528
[pid=28982] ppid=28980 vsize=0 CPUtime=1086.21
/proc/28982/stat : 28982 (pbct) R 28980 28982 27917 0 -1 4202500 5970 0 0 0 98126 10495 0 0 25 0 1 0 168615105 0 0 4089446400 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/28982/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1086.21
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1086.2
CPU time (s): 1086.22
CPU user time (s): 981.267
CPU system time (s): 104.955
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 25280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 981.267
system time used= 104.955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5970
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= 9
involuntary context switches= 1647

runsolver used 1.70374 second user time and 3.9174 second system time

The end

Launcher Data 

Begin job on node112 at 2010-06-30 22:35:16
IDJOB=2695119
IDBENCH=79303
IDSOLVER=1208
FILE ID=node112/2695119-1277930116
PBS_JOBID= 11197354
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.1900545610--soft-0-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695119-1277930116/watcher-2695119-1277930116 -o /tmp/evaluation-result-2695119-1277930116/solver-2695119-1277930116 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2695119-1277930116.wbo

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

MD5SUM BENCH= aacdee42f12f02195344334122667810
RANDOM SEED=1128994678

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30140152 kB
Buffers:        212440 kB
Cached:        1893796 kB
SwapCached:          0 kB
Active:        1087804 kB
Inactive:      1577980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30140152 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2032 kB
Writeback:           0 kB
AnonPages:      560316 kB
Mapped:          20304 kB
Slab:            81880 kB
PageTables:       5452 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1656872 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 node112 at 2010-06-30 22:53:22