Trace number 2694959

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 871.034 871.016

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900568706--soft-66-100-0.wbo
MD5SUM0424fd5691d718147f8291be7b6f72f2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark425.105
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 constraints892
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 45060
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 45059
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 711
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 13/10 clauses 1802/882 units 0
0.00/0.01	c vars 231
0.05/0.06	c 0.058991 13.1719 18 5853
0.05/0.06	o 566
0.05/0.07	c 0.06199 13.3086 23 6218
0.05/0.07	o 539
0.05/0.07	c 0.06399 13.3086 25 7153
0.05/0.07	o 435
0.05/0.08	c 0.068989 13.3086 56 7954
0.05/0.08	o 376
0.05/0.08	c 0.070989 13.3086 70 8391
0.05/0.08	o 347
0.09/0.11	c 0.095985 13.3086 306 9241
0.09/0.11	o 321
0.19/0.21	c 0.163975 13.4375 914 10967
0.19/0.21	o 312
0.19/0.23	c 0.175973 13.4375 1030 11493
0.19/0.23	o 286
0.19/0.26	c 0.19197 13.5625 1190 11982
0.19/0.26	o 282
0.19/0.29	c 0.220966 13.5625 827 12633
0.19/0.29	o 266
0.29/0.31	c 0.228965 13.5625 912 12832
0.29/0.31	o 263
0.29/0.31	c 0.234964 13.5625 929 12915
0.29/0.31	o 262
0.29/0.35	c 0.254961 13.5625 1070 13767
0.29/0.35	o 223
0.49/0.50	c 0.365944 13.5625 673 15588
0.49/0.50	o 220
0.59/0.60	c 0.445932 13.5625 1335 16700
0.59/0.60	o 207
0.59/0.65	c 0.474927 13.5625 953 17365
0.59/0.65	o 193
0.69/0.72	c 0.527919 13.5625 751 18404
0.69/0.72	o 158
0.79/0.82	c 0.606907 13.5625 707 19639
0.79/0.82	o 154
1.19/1.22	c 0.899863 13.5625 879 23329
1.19/1.22	o 143
1.19/1.29	c 0.955854 13.5625 623 24059
1.19/1.29	o 139
1.29/1.35	c 0.998848 13.5625 948 24719
1.29/1.35	o 137
2.19/2.28	c 1.67774 13.6875 1396 32961
2.19/2.28	o 103
2.49/2.55	c 1.86372 13.6875 877 35483
2.49/2.55	o 101
4.99/5.06	c 3.64545 13.6875 1081 57048
4.99/5.06	o 88
7.29/7.35	c 5.33419 13.8086 1113 77081
7.29/7.35	o 79
7.89/7.97	c 5.78812 13.8086 1207 83152
7.89/7.97	o 77
8.39/8.41	c 6.13007 13.8086 1339 88226
8.39/8.41	o 76
8.99/9.01	c 6.577 13.8086 1486 94692
8.99/9.01	o 73
9.09/9.12	c 6.65399 13.8086 1417 96185
9.09/9.12	o 43
20.09/20.17	c 15.9586 14.9414 1346 232620
20.09/20.17	o 39
23.00/23.08	c 18.4372 14.9414 1571 275332
23.00/23.08	o 38
24.20/24.23	c 19.3941 14.9414 1075 290415
24.20/24.23	o 28
26.19/26.24	c 21.0588 14.9414 1672 317572
26.19/26.24	o 19
55.48/55.54	c 46.324 14.9414 1450 800401
55.48/55.54	o 15
61.68/61.77	c 51.8231 14.9414 2014 903861
61.68/61.77	o 13
79.59/79.70	c 67.5767 14.9414 1234 1185831
79.59/79.70	o 10
156.10/156.17	c 135.575 14.9414 1339 2482339
156.10/156.17	o 9
348.10/348.15	c 306.181 14.9414 1761 5794589
348.10/348.15	o 8
414.89/414.90	c 365.36 14.9414 1486 7008239
414.89/414.90	o 7
871.00/871.00	c 771.422 15.1211 1209 15136225
871.00/871.00	s OPTIMUM FOUND
871.00/871.00	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	7

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694959-1277911505/watcher-2694959-1277911505 -o /tmp/evaluation-result-2694959-1277911505/solver-2694959-1277911505 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2694959-1277911505.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.99 1.99 1.99 3/178 24651
/proc/meminfo: memFree=31505012/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=2136 CPUtime=0
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 252 0 0 0 0 0 0 0 25 0 1 0 164742234 2187264 171 4089446400 134512640 136421960 4294467280 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24651/statm: 534 171 144 467 0 65 0

[startup+0.0640249 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 24651
/proc/meminfo: memFree=31505012/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=13484 CPUtime=0.05
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3014 0 0 0 5 0 0 0 25 0 1 0 164742234 13807616 2933 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/24651/statm: 3371 2933 213 467 0 2902 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13484

[startup+0.101015 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 24651
/proc/meminfo: memFree=31505012/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=13624 CPUtime=0.09
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3077 0 0 0 8 1 0 0 25 0 1 0 164742234 13950976 2991 4089446400 134512640 136421960 4294467280 18446744073709551615 135028864 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/24651/statm: 3406 2991 236 467 0 2937 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13624

[startup+0.300982 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 24651
/proc/meminfo: memFree=31505012/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=13884 CPUtime=0.29
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3141 0 0 0 22 7 0 0 25 0 1 0 164742234 14217216 3050 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/24651/statm: 3471 3050 236 467 0 3002 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13884

[startup+0.700856 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 24651
/proc/meminfo: memFree=31505012/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=13884 CPUtime=0.69
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3170 0 0 0 51 18 0 0 18 0 1 0 164742234 14217216 3073 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/24651/statm: 3471 3073 236 467 0 3002 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13884

[startup+1.50072 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 24652
/proc/meminfo: memFree=31493348/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=13884 CPUtime=1.49
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3175 0 0 0 109 40 0 0 18 0 1 0 164742234 14217216 3073 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/24651/statm: 3471 3073 236 467 0 3002 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13884

[startup+3.10043 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 24652
/proc/meminfo: memFree=31492604/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=14012 CPUtime=3.09
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3189 0 0 0 222 87 0 0 22 0 1 0 164742234 14348288 3085 4089446400 134512640 136421960 4294467280 18446744073709551615 135020345 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/24651/statm: 3503 3085 236 467 0 3034 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14012

[startup+6.30087 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 24652
/proc/meminfo: memFree=31491492/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=14012 CPUtime=6.29
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3196 0 0 0 457 172 0 0 25 0 1 0 164742234 14348288 3091 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/24651/statm: 3503 3091 236 467 0 3034 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14012

[startup+12.7007 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 24652
/proc/meminfo: memFree=31488484/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=14904 CPUtime=12.69
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3420 0 0 0 964 305 0 0 25 0 1 0 164742234 15261696 3310 4089446400 134512640 136421960 4294467280 18446744073709551615 134861890 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/24651/statm: 3726 3310 236 467 0 3257 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14904

[startup+25.5005 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 24652
/proc/meminfo: memFree=31484448/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=15296 CPUtime=25.49
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3532 0 0 0 2043 506 0 0 25 0 1 0 164742234 15663104 3419 4089446400 134512640 136421960 4294467280 18446744073709551615 134861930 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/24651/statm: 3824 3419 236 467 0 3355 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15296

[startup+51.101 s]
/proc/loadavg: 2.05 2.00 2.00 3/179 24653
/proc/meminfo: memFree=31479192/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=15296 CPUtime=51.09
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3533 0 0 0 4244 865 0 0 25 0 1 0 164742234 15663104 3419 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/24651/statm: 3824 3419 236 467 0 3355 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 15296

[startup+102.306 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 24654
/proc/meminfo: memFree=31469732/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=15296 CPUtime=102.29
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3536 0 0 0 8767 1462 0 0 25 0 1 0 164742234 15663104 3419 4089446400 134512640 136421960 4294467280 18446744073709551615 134861992 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/24651/statm: 3824 3419 236 467 0 3355 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 15296

[startup+162.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 24656
/proc/meminfo: memFree=31459536/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=15296 CPUtime=162.29
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3537 0 0 0 14100 2129 0 0 25 0 1 0 164742234 15663104 3419 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/24651/statm: 3824 3419 236 467 0 3355 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 15296

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24658
/proc/meminfo: memFree=31451448/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=15296 CPUtime=222.29
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3537 0 0 0 19432 2797 0 0 25 0 1 0 164742234 15663104 3419 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/24651/statm: 3824 3419 236 467 0 3355 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 15296

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24660
/proc/meminfo: memFree=31441372/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=15296 CPUtime=282.3
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3537 0 0 0 24781 3449 0 0 25 0 1 0 164742234 15663104 3419 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/24651/statm: 3824 3419 236 467 0 3355 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 15296

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24661
/proc/meminfo: memFree=31433016/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=15296 CPUtime=342.29
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3537 0 0 0 30113 4116 0 0 25 0 1 0 164742234 15663104 3419 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/24651/statm: 3824 3419 236 467 0 3355 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 15296

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24662
/proc/meminfo: memFree=31431084/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=15296 CPUtime=402.3
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3542 0 0 0 35412 4818 0 0 25 0 1 0 164742234 15663104 3423 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/24651/statm: 3824 3423 236 467 0 3355 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 15296

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24664
/proc/meminfo: memFree=31426712/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=15480 CPUtime=462.29
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3554 0 0 0 40767 5462 0 0 25 0 1 0 164742234 15851520 3434 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/24651/statm: 3870 3434 236 467 0 3401 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 15480

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24666
/proc/meminfo: memFree=31425560/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=15480 CPUtime=522.3
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3558 0 0 0 46114 6116 0 0 25 0 1 0 164742234 15851520 3438 4089446400 134512640 136421960 4294467280 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/24651/statm: 3870 3438 236 467 0 3401 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 15480

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24668
/proc/meminfo: memFree=31424152/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=15480 CPUtime=582.3
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3562 0 0 0 51421 6809 0 0 25 0 1 0 164742234 15851520 3442 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/24651/statm: 3870 3442 236 467 0 3401 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 15480

[startup+642.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 24669
/proc/meminfo: memFree=31420652/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=15480 CPUtime=642.31
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3565 0 0 0 56786 7445 0 0 25 0 1 0 164742234 15851520 3445 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/24651/statm: 3870 3445 236 467 0 3401 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 15480

[startup+702.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 24670
/proc/meminfo: memFree=31417624/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=15480 CPUtime=702.3
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3570 0 0 0 62138 8092 0 0 25 0 1 0 164742234 15851520 3450 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/24651/statm: 3870 3450 236 467 0 3401 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 15480

[startup+762.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24672
/proc/meminfo: memFree=31413252/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=15480 CPUtime=762.31
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3576 0 0 0 67512 8719 0 0 25 0 1 0 164742234 15851520 3456 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/24651/statm: 3870 3456 236 467 0 3401 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 15480

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24674
/proc/meminfo: memFree=31409748/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=15480 CPUtime=822.3
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3577 0 0 0 72846 9384 0 0 25 0 1 0 164742234 15851520 3457 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/24651/statm: 3870 3457 236 467 0 3401 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 15480

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

[startup+844.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24674
/proc/meminfo: memFree=31406508/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=15480 CPUtime=844.72
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3578 0 0 0 74810 9662 0 0 25 0 1 0 164742234 15851520 3458 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/24651/statm: 3870 3458 236 467 0 3401 0
Current children cumulated CPU time (s) 844.72
Current children cumulated vsize (KiB) 15480

[startup+857.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24674
/proc/meminfo: memFree=31405636/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=15480 CPUtime=857.51
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3581 0 0 0 75948 9803 0 0 25 0 1 0 164742234 15851520 3461 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/24651/statm: 3870 3461 236 467 0 3401 0
Current children cumulated CPU time (s) 857.51
Current children cumulated vsize (KiB) 15480

[startup+863.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24675
/proc/meminfo: memFree=31405512/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=15480 CPUtime=863.91
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3582 0 0 0 76509 9882 0 0 25 0 1 0 164742234 15851520 3462 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/24651/statm: 3870 3462 236 467 0 3401 0
Current children cumulated CPU time (s) 863.91
Current children cumulated vsize (KiB) 15480

[startup+867.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24675
/proc/meminfo: memFree=31405388/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=15480 CPUtime=867.1
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3582 0 0 0 76800 9910 0 0 25 0 1 0 164742234 15851520 3462 4089446400 134512640 136421960 4294467280 18446744073709551615 134861899 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/24651/statm: 3870 3462 236 467 0 3401 0
Current children cumulated CPU time (s) 867.1
Current children cumulated vsize (KiB) 15480

[startup+868.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24675
/proc/meminfo: memFree=31405388/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=15480 CPUtime=868.71
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3582 0 0 0 76937 9934 0 0 25 0 1 0 164742234 15851520 3462 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/24651/statm: 3870 3462 236 467 0 3401 0
Current children cumulated CPU time (s) 868.71
Current children cumulated vsize (KiB) 15480

[startup+870.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24675
/proc/meminfo: memFree=31405388/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=15480 CPUtime=870.31
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3582 0 0 0 77080 9951 0 0 25 0 1 0 164742234 15851520 3462 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/24651/statm: 3870 3462 236 467 0 3401 0
Current children cumulated CPU time (s) 870.31
Current children cumulated vsize (KiB) 15480

[startup+870.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24675
/proc/meminfo: memFree=31405388/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=15480 CPUtime=870.71
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3582 0 0 0 77115 9956 0 0 25 0 1 0 164742234 15851520 3462 4089446400 134512640 136421960 4294467280 18446744073709551615 135006289 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/24651/statm: 3870 3462 236 467 0 3401 0
Current children cumulated CPU time (s) 870.71
Current children cumulated vsize (KiB) 15480

[startup+870.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24675
/proc/meminfo: memFree=31405388/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=15480 CPUtime=870.91
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3582 0 0 0 77132 9959 0 0 25 0 1 0 164742234 15851520 3462 4089446400 134512640 136421960 4294467280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/24651/statm: 3870 3462 236 467 0 3401 0
Current children cumulated CPU time (s) 870.91
Current children cumulated vsize (KiB) 15480

[startup+871 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24675
/proc/meminfo: memFree=31405388/32950940 swapFree=67111528/67111528
[pid=24651] ppid=24649 vsize=15480 CPUtime=871
/proc/24651/stat : 24651 (pbct) R 24649 24651 23135 0 -1 4202496 3582 0 0 0 77141 9959 0 0 25 0 1 0 164742234 15851520 3462 4089446400 134512640 136421960 4294467280 18446744073709551615 134862383 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/24651/statm: 3870 3462 236 467 0 3401 0
Current children cumulated CPU time (s) 871
Current children cumulated vsize (KiB) 15480

Child status: 0
Real time (s): 871.016
CPU time (s): 871.034
CPU user time (s): 771.433
CPU system time (s): 99.6009
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 15480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 771.433
system time used= 99.6009
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3587
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= 3
involuntary context switches= 1805

runsolver used 1.17882 second user time and 2.78958 second system time

The end

Launcher Data 

Begin job on node117 at 2010-06-30 17:25:05
IDJOB=2694959
IDBENCH=78987
IDSOLVER=1208
FILE ID=node117/2694959-1277911505
PBS_JOBID= 11197174
Free space on /tmp= 74204 MiB

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

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

MD5SUM BENCH= 0424fd5691d718147f8291be7b6f72f2
RANDOM SEED=1476982111

node117.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.799
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.59
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.799
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.799
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.799
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.799
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.85
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.799
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.799
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.799
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:     32950940 kB
MemFree:      31505532 kB
Buffers:        196068 kB
Cached:         854692 kB
SwapCached:          0 kB
Active:         713276 kB
Inactive:       590524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      31505532 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2004 kB
Writeback:           0 kB
AnonPages:      252888 kB
Mapped:          17408 kB
Slab:            77996 kB
PageTables:       5440 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   405276 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= 74204 MiB
End job on node117 at 2010-06-30 17:39:36