Trace number 2695653

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 981.437 981.415

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900571132--soft-33-100-0.wbo
MD5SUM87777454fd73e41b31dd9b36586c9c7c
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark236.741
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints1863
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 94064
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 94063
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 761
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c PB/CT 0.1.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.00/0.01	c constraints 5/18 clauses 839/1845 units 0
0.00/0.01	c vars 231
0.04/0.09	c 0.087986 16.9375 10 15012
0.04/0.09	o 551
5.50/5.60	c 3.09853 17.2422 2075 1242731
5.50/5.60	o 479
20.29/20.31	c 11.6652 17.3672 1402 4523240
20.29/20.31	o 476
20.29/20.32	c 11.6712 17.3672 719 4523949
20.29/20.32	o 464
20.59/20.69	c 11.9032 17.3672 762 4542650
20.59/20.69	o 316
26.09/26.15	c 14.8547 17.3672 877 4876015
26.09/26.15	o 315
26.69/26.72	c 15.1897 17.3672 881 4892689
26.69/26.72	o 276
26.79/26.82	c 15.2467 17.3672 1114 4893582
26.79/26.82	o 261
26.79/26.83	c 15.2527 17.3672 1149 4893704
26.79/26.83	o 260
26.79/26.85	c 15.2667 17.3672 719 4894285
26.79/26.85	o 235
26.99/27.03	c 15.3707 17.3672 1132 4895167
26.99/27.03	o 233
26.99/27.04	c 15.3807 17.3672 1165 4895465
26.99/27.04	o 223
27.09/27.16	c 15.4467 17.3672 946 4896006
27.09/27.16	o 222
27.09/27.16	c 15.4536 17.3672 956 4896092
27.09/27.16	o 220
27.19/27.20	c 15.4806 17.3672 1066 4896398
27.19/27.20	o 218
27.19/27.28	c 15.5306 17.3672 760 4897228
27.19/27.28	o 195
27.29/27.34	c 15.5696 17.3672 934 4898003
27.29/27.34	o 178
27.40/27.49	c 15.6746 17.3672 870 4898942
27.40/27.49	o 176
27.60/27.61	c 15.7486 17.3672 1215 4900001
27.60/27.61	o 158
27.60/27.68	c 15.7946 17.3672 884 4900415
27.60/27.68	o 155
27.79/27.85	c 15.9146 17.3672 798 4901406
27.79/27.85	o 144
27.79/27.89	c 15.9406 17.3672 868 4901582
27.79/27.89	o 142
27.99/28.08	c 16.0526 17.3672 1280 4902576
27.99/28.08	o 127
28.39/28.45	c 16.3085 17.3672 1010 4904522
28.39/28.45	o 116
28.39/28.48	c 16.3215 17.3672 1041 4904784
28.39/28.48	o 107
28.50/28.60	c 16.3975 17.3672 835 4905591
28.50/28.60	o 99
29.09/29.19	c 16.7715 17.4961 793 4908813
29.09/29.19	o 83
29.19/29.26	c 16.8224 17.4961 986 4909219
29.19/29.26	o 78
30.49/30.53	c 17.5473 17.6211 1121 4915687
30.49/30.53	o 64
30.70/30.76	c 17.6443 17.6211 1267 4917659
30.70/30.76	o 61
30.70/30.80	c 17.6573 17.6211 1381 4918106
30.70/30.80	o 49
30.88/30.92	c 17.7323 17.6211 1306 4920024
30.88/30.92	o 30
30.98/31.09	c 17.8513 17.7461 1301 4922147
30.98/31.09	o 22
31.39/31.41	c 18.1142 17.7461 2562 4926041
31.39/31.41	o 18
31.49/31.54	c 18.2252 17.7461 2534 4928063
31.49/31.54	o 17
31.59/31.67	c 18.3312 17.7461 2254 4929864
31.59/31.67	o 15
31.69/31.71	c 18.3662 17.7461 2605 4930506
31.69/31.71	o 11
36.79/36.82	c 22.7765 18.3828 2237 5007922
36.79/36.82	o 9
37.19/37.20	c 23.0745 18.3828 2696 5013242
37.19/37.20	o 7
37.79/37.86	c 23.6374 18.3828 1983 5023718
37.79/37.86	o 6
60.49/60.58	c 43.7104 18.5117 1820 5377814
60.49/60.58	o 5
66.39/66.47	c 48.9326 18.5117 1867 5476948
66.39/66.47	o 3
72.19/72.27	c 54.1478 18.5117 2196 5573032
72.19/72.27	o 1
981.31/981.39	c 872.028 19.8477 2682 20268324
981.31/981.39	s OPTIMUM FOUND
981.31/981.39	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-2695653-1277909096/watcher-2695653-1277909096 -o /tmp/evaluation-result-2695653-1277909096/solver-2695653-1277909096 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695653-1277909096.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: 3.10 2.75 2.36 4/178 12742
/proc/meminfo: memFree=30319224/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=2136 CPUtime=0
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 254 0 0 0 0 0 0 0 25 0 1 0 132206377 2187264 174 4089446400 134512640 136421960 4290900480 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12742/statm: 534 174 144 467 0 65 0

[startup+0.051987 s]
/proc/loadavg: 3.10 2.75 2.36 4/178 12742
/proc/meminfo: memFree=30319224/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=12124 CPUtime=0.04
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 2694 0 0 0 4 0 0 0 25 0 1 0 132206377 12414976 2614 4089446400 134512640 136421960 4290900480 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12742/statm: 3031 2617 193 467 0 2562 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12124

[startup+0.100977 s]
/proc/loadavg: 3.10 2.75 2.36 4/178 12742
/proc/meminfo: memFree=30319224/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=17532 CPUtime=0.09
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4069 0 0 0 8 1 0 0 25 0 1 0 132206377 17952768 3988 4089446400 134512640 136421960 4290900480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12742/statm: 4383 3988 236 467 0 3914 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17532

[startup+0.300942 s]
/proc/loadavg: 3.10 2.75 2.36 4/178 12742
/proc/meminfo: memFree=30319224/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=17532 CPUtime=0.29
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4070 0 0 0 21 8 0 0 25 0 1 0 132206377 17952768 3989 4089446400 134512640 136421960 4290900480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/12742/statm: 4383 3989 237 467 0 3914 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17532

[startup+0.700933 s]
/proc/loadavg: 3.10 2.75 2.36 4/178 12742
/proc/meminfo: memFree=30319224/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=17532 CPUtime=0.69
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4070 0 0 0 43 26 0 0 25 0 1 0 132206377 17952768 3989 4089446400 134512640 136421960 4290900480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12742/statm: 4383 3989 237 467 0 3914 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17532

[startup+1.50074 s]
/proc/loadavg: 3.02 2.74 2.36 3/179 12743
/proc/meminfo: memFree=30302732/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=17652 CPUtime=1.49
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4085 0 0 0 91 58 0 0 25 0 1 0 132206377 18075648 4004 4089446400 134512640 136421960 4290900480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12742/statm: 4413 4004 237 467 0 3944 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17652

[startup+3.10044 s]
/proc/loadavg: 3.02 2.74 2.36 3/179 12743
/proc/meminfo: memFree=30299880/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=17652 CPUtime=3.09
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4100 0 0 0 185 124 0 0 25 0 1 0 132206377 18075648 4019 4089446400 134512640 136421960 4290900480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12742/statm: 4413 4019 237 467 0 3944 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17652

[startup+6.30087 s]
/proc/loadavg: 2.93 2.73 2.36 3/179 12743
/proc/meminfo: memFree=30294144/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=17652 CPUtime=6.29
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4111 0 0 0 351 278 0 0 25 0 1 0 132206377 18075648 4029 4089446400 134512640 136421960 4290900480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12742/statm: 4413 4029 237 467 0 3944 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17652

[startup+12.7007 s]
/proc/loadavg: 2.86 2.72 2.36 3/179 12743
/proc/meminfo: memFree=30278280/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=17780 CPUtime=12.69
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4122 0 0 0 727 542 0 0 25 0 1 0 132206377 18206720 4040 4089446400 134512640 136421960 4290900480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12742/statm: 4445 4040 237 467 0 3976 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17780

[startup+25.5004 s]
/proc/loadavg: 2.67 2.68 2.35 3/179 12744
/proc/meminfo: memFree=30251496/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=17780 CPUtime=25.49
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4127 0 0 0 1444 1105 0 0 25 0 1 0 132206377 18206720 4042 4089446400 134512640 136421960 4290900480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12742/statm: 4445 4042 237 467 0 3976 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17780

[startup+51.1009 s]
/proc/loadavg: 2.44 2.62 2.34 3/179 12744
/proc/meminfo: memFree=30217804/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=18952 CPUtime=51.09
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4456 0 0 0 3521 1588 0 0 25 0 1 0 132206377 19406848 4336 4089446400 134512640 136421960 4290900480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12742/statm: 4738 4336 237 467 0 4269 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 18952

[startup+102.307 s]
/proc/loadavg: 2.19 2.53 2.32 3/179 12746
/proc/meminfo: memFree=30117056/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=19084 CPUtime=102.3
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4497 0 0 0 8100 2130 0 0 25 0 1 0 132206377 19542016 4374 4089446400 134512640 136421960 4290900480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12742/statm: 4771 4374 237 467 0 4302 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 19084

[startup+162.301 s]
/proc/loadavg: 2.07 2.43 2.30 3/179 12747
/proc/meminfo: memFree=30027080/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=19340 CPUtime=162.29
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4552 0 0 0 13484 2745 0 0 25 0 1 0 132206377 19804160 4429 4089446400 134512640 136421960 4290900480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12742/statm: 4835 4429 237 467 0 4366 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 19340

[startup+222.3 s]
/proc/loadavg: 2.02 2.35 2.28 3/179 12749
/proc/meminfo: memFree=29941940/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=19468 CPUtime=222.3
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4581 0 0 0 18871 3359 0 0 25 0 1 0 132206377 19935232 4458 4089446400 134512640 136421960 4290900480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12742/statm: 4867 4458 237 467 0 4398 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 19468

[startup+282.301 s]
/proc/loadavg: 2.01 2.28 2.26 3/179 12750
/proc/meminfo: memFree=29830376/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=19552 CPUtime=282.29
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4625 0 0 0 24259 3970 0 0 25 0 1 0 132206377 20021248 4502 4089446400 134512640 136421960 4290900480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12742/statm: 4888 4502 237 467 0 4419 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 19552

[startup+342.301 s]
/proc/loadavg: 2.00 2.23 2.24 3/179 12752
/proc/meminfo: memFree=29713120/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=19812 CPUtime=342.3
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4674 0 0 0 29671 4559 0 0 25 0 1 0 132206377 20287488 4551 4089446400 134512640 136421960 4290900480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12742/statm: 4953 4551 237 467 0 4484 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 19812

[startup+402.3 s]
/proc/loadavg: 2.00 2.18 2.22 3/179 12754
/proc/meminfo: memFree=29615284/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=19812 CPUtime=402.3
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4674 0 0 0 35070 5160 0 0 25 0 1 0 132206377 20287488 4551 4089446400 134512640 136421960 4290900480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12742/statm: 4953 4551 237 467 0 4484 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 19812

[startup+462.301 s]
/proc/loadavg: 2.00 2.15 2.20 3/179 12755
/proc/meminfo: memFree=29507460/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=19812 CPUtime=462.3
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4684 0 0 0 40451 5779 0 0 25 0 1 0 132206377 20287488 4561 4089446400 134512640 136421960 4290900480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12742/statm: 4953 4561 237 467 0 4484 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 19812

[startup+522.301 s]
/proc/loadavg: 2.00 2.12 2.19 3/179 12757
/proc/meminfo: memFree=29424676/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=19952 CPUtime=522.3
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4713 0 0 0 45853 6377 0 0 25 0 1 0 132206377 20430848 4590 4089446400 134512640 136421960 4290900480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12742/statm: 4988 4590 237 467 0 4519 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 19952

[startup+582.301 s]
/proc/loadavg: 2.00 2.09 2.17 3/179 12758
/proc/meminfo: memFree=29334916/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=20084 CPUtime=582.3
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4733 0 0 0 51261 6969 0 0 25 0 1 0 132206377 20566016 4610 4089446400 134512640 136421960 4290900480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12742/statm: 5021 4610 237 467 0 4552 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 20084

[startup+642.3 s]
/proc/loadavg: 2.00 2.07 2.16 3/179 12760
/proc/meminfo: memFree=29267384/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=20216 CPUtime=642.31
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4767 0 0 0 56670 7561 0 0 25 0 1 0 132206377 20701184 4644 4089446400 134512640 136421960 4290900480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12742/statm: 5054 4644 237 467 0 4585 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 20216

[startup+702.301 s]
/proc/loadavg: 2.00 2.06 2.15 3/179 12762
/proc/meminfo: memFree=29175784/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=20216 CPUtime=702.3
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4774 0 0 0 62067 8163 0 0 25 0 1 0 132206377 20701184 4651 4089446400 134512640 136421960 4290900480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12742/statm: 5054 4651 237 467 0 4585 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 20216

[startup+762.307 s]
/proc/loadavg: 2.00 2.05 2.14 3/179 12764
/proc/meminfo: memFree=29140384/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=20216 CPUtime=762.32
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4792 0 0 0 67466 8766 0 0 25 0 1 0 132206377 20701184 4669 4089446400 134512640 136421960 4290900480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12742/statm: 5054 4669 237 467 0 4585 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 20216

[startup+822.3 s]
/proc/loadavg: 2.00 2.03 2.13 3/179 12765
/proc/meminfo: memFree=29114272/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=20320 CPUtime=822.31
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4811 0 0 0 72872 9359 0 0 25 0 1 0 132206377 20807680 4688 4089446400 134512640 136421960 4290900480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12742/statm: 5080 4688 237 467 0 4611 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 20320

[startup+882.301 s]
/proc/loadavg: 2.00 2.03 2.11 3/179 12766
/proc/meminfo: memFree=29068208/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=20320 CPUtime=882.31
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4811 0 0 0 78276 9955 0 0 25 0 1 0 132206377 20807680 4688 4089446400 134512640 136421960 4290900480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12742/statm: 5080 4688 237 467 0 4611 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 20320

[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.10 3/179 12768
/proc/meminfo: memFree=29019020/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=20320 CPUtime=942.31
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4811 0 0 0 83690 10541 0 0 25 0 1 0 132206377 20807680 4688 4089446400 134512640 136421960 4290900480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12742/statm: 5080 4688 237 467 0 4611 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 20320

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

[startup+947.106 s]
/proc/loadavg: 2.00 2.02 2.10 3/179 12768
/proc/meminfo: memFree=29014060/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=20320 CPUtime=947.12
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4811 0 0 0 84116 10596 0 0 25 0 1 0 132206377 20807680 4688 4089446400 134512640 136421960 4290900480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12742/statm: 5080 4688 237 467 0 4611 0
Current children cumulated CPU time (s) 947.12
Current children cumulated vsize (KiB) 20320

[startup+959.901 s]
/proc/loadavg: 2.00 2.02 2.10 3/179 12768
/proc/meminfo: memFree=28996184/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=20320 CPUtime=959.92
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4811 0 0 0 85270 10722 0 0 25 0 1 0 132206377 20807680 4688 4089446400 134512640 136421960 4290900480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12742/statm: 5080 4688 237 467 0 4611 0
Current children cumulated CPU time (s) 959.92
Current children cumulated vsize (KiB) 20320

[startup+972.701 s]
/proc/loadavg: 2.00 2.02 2.10 3/179 12778
/proc/meminfo: memFree=28976316/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=20320 CPUtime=972.71
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4811 0 0 0 86420 10851 0 0 25 0 1 0 132206377 20807680 4688 4089446400 134512640 136421960 4290900480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12742/statm: 5080 4688 237 467 0 4611 0
Current children cumulated CPU time (s) 972.71
Current children cumulated vsize (KiB) 20320

[startup+975.901 s]
/proc/loadavg: 2.00 2.02 2.10 3/179 12778
/proc/meminfo: memFree=28973400/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=20320 CPUtime=975.91
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4811 0 0 0 86706 10885 0 0 25 0 1 0 132206377 20807680 4688 4089446400 134512640 136421960 4290900480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12742/statm: 5080 4688 237 467 0 4611 0
Current children cumulated CPU time (s) 975.91
Current children cumulated vsize (KiB) 20320

[startup+979.1 s]
/proc/loadavg: 2.00 2.02 2.10 3/179 12778
/proc/meminfo: memFree=28969908/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=20320 CPUtime=979.11
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4811 0 0 0 86992 10919 0 0 25 0 1 0 132206377 20807680 4688 4089446400 134512640 136421960 4290900480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12742/statm: 5080 4688 237 467 0 4611 0
Current children cumulated CPU time (s) 979.11
Current children cumulated vsize (KiB) 20320

[startup+980.701 s]
/proc/loadavg: 2.00 2.02 2.10 3/179 12778
/proc/meminfo: memFree=28968792/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=20320 CPUtime=980.72
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4811 0 0 0 87140 10932 0 0 25 0 1 0 132206377 20807680 4688 4089446400 134512640 136421960 4290900480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12742/statm: 5080 4688 237 467 0 4611 0
Current children cumulated CPU time (s) 980.72
Current children cumulated vsize (KiB) 20320

[startup+981.101 s]
/proc/loadavg: 2.00 2.02 2.10 3/179 12778
/proc/meminfo: memFree=28968544/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=20320 CPUtime=981.12
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4811 0 0 0 87177 10935 0 0 25 0 1 0 132206377 20807680 4688 4089446400 134512640 136421960 4290900480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12742/statm: 5080 4688 237 467 0 4611 0
Current children cumulated CPU time (s) 981.12
Current children cumulated vsize (KiB) 20320

[startup+981.301 s]
/proc/loadavg: 2.00 2.02 2.10 3/179 12778
/proc/meminfo: memFree=28968544/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=20320 CPUtime=981.31
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4812 0 0 0 87194 10937 0 0 25 0 1 0 132206377 20807680 4689 4089446400 134512640 136421960 4290900480 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12742/statm: 5080 4689 237 467 0 4611 0
Current children cumulated CPU time (s) 981.31
Current children cumulated vsize (KiB) 20320

[startup+981.401 s]
/proc/loadavg: 2.00 2.02 2.10 3/179 12778
/proc/meminfo: memFree=28968544/32950904 swapFree=67111528/67111528
[pid=12742] ppid=12740 vsize=17740 CPUtime=981.41
/proc/12742/stat : 12742 (pbct) R 12740 12742 11542 0 -1 4202496 4816 0 0 0 87203 10938 0 0 25 0 1 0 132206377 18165760 4117 4089446400 134512640 136421960 4290900480 18446744073709551615 135801268 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12742/statm: 4435 4117 240 467 0 3966 0
Current children cumulated CPU time (s) 981.41
Current children cumulated vsize (KiB) 17740

Child status: 0
Real time (s): 981.415
CPU time (s): 981.437
CPU user time (s): 872.047
CPU system time (s): 109.389
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 20344

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

runsolver used 1.69374 second user time and 3.20451 second system time

The end

Launcher Data 

Begin job on node121 at 2010-06-30 16:44:57
IDJOB=2695653
IDBENCH=78964
IDSOLVER=1208
FILE ID=node121/2695653-1277909096
PBS_JOBID= 11197191
Free space on /tmp= 74208 MiB

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

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

MD5SUM BENCH= 87777454fd73e41b31dd9b36586c9c7c
RANDOM SEED=342423068

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.83
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.82
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.75
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      30319752 kB
Buffers:        192476 kB
Cached:        1100388 kB
SwapCached:          0 kB
Active:        1696168 kB
Inactive:       788220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      30319752 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1992 kB
Writeback:           0 kB
AnonPages:     1191896 kB
Mapped:          16464 kB
Slab:            80444 kB
PageTables:       6996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:  1417712 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 node121 at 2010-06-30 17:01:18