Trace number 2698803

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.1 fixedOPTIMUM 1071.55 1071.51

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900567024--soft-0-100-0.wbo
MD5SUMa7d7105d3e0193cbcd9215f3627722fb
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark231.935
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 137245
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 137244
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 755
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.2 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.10	c 0.096985 19.9805 50 6939
0.09/0.10	o 1086
0.09/0.11	c 0.102984 20.2148 53 11657
0.09/0.11	o 910
0.09/0.12	c 0.110983 20.4492 68 14953
0.09/0.12	o 888
0.09/0.14	c 0.121981 20.4492 97 15398
0.09/0.14	o 887
0.09/0.14	c 0.12598 20.4492 97 18264
0.09/0.14	o 735
0.09/0.15	c 0.131979 20.4492 98 19397
0.09/0.15	o 710
0.09/0.15	c 0.134979 20.4492 101 20494
0.09/0.15	o 704
0.09/0.16	c 0.140978 20.4492 102 21373
0.09/0.16	o 686
0.09/0.17	c 0.143978 20.4492 104 22038
0.09/0.17	o 678
0.09/0.17	c 0.146977 20.4492 107 23698
0.09/0.17	o 622
0.09/0.18	c 0.148977 20.4492 107 25519
0.09/0.18	o 562
0.09/0.19	c 0.155976 20.4492 123 25856
0.09/0.19	o 559
0.19/0.21	c 0.169974 20.4492 138 26301
0.19/0.21	o 551
0.19/0.27	c 0.213967 20.4492 200 27245
0.19/0.27	o 530
0.29/0.31	c 0.233964 20.4492 246 27673
0.29/0.31	o 526
0.39/0.42	c 0.292955 20.4492 395 29254
0.39/0.42	o 508
0.49/0.50	c 0.331949 20.4492 521 30661
0.49/0.50	o 486
0.69/0.71	c 0.463929 20.4492 806 31985
0.69/0.71	o 481
0.79/0.89	c 0.573912 20.4492 1046 33511
0.79/0.89	o 462
1.00/1.09	c 0.690894 20.4492 678 35100
1.00/1.09	o 448
1.09/1.15	c 0.724889 20.4492 732 35959
1.09/1.15	o 430
1.29/1.31	c 0.816875 20.4492 936 37530
1.29/1.31	o 397
1.29/1.34	c 0.829873 20.4492 966 38224
1.29/1.34	o 384
1.39/1.46	c 0.909861 20.4492 599 39615
1.39/1.46	o 371
1.49/1.53	c 0.950855 20.4492 704 40462
1.49/1.53	o 362
1.49/1.55	c 0.962853 20.4492 727 40851
1.49/1.55	o 359
1.49/1.59	c 0.990849 20.4492 769 41635
1.49/1.59	o 346
1.59/1.60	c 0.996848 20.4492 775 41852
1.59/1.60	o 344
1.59/1.64	c 1.02084 20.4492 809 42822
1.59/1.64	o 313
1.80/1.89	c 1.17182 20.4492 1148 44762
1.80/1.89	o 289
2.79/2.83	c 1.74174 20.5781 920 48239
2.79/2.83	o 277
2.79/2.89	c 1.77573 20.5781 992 49031
2.79/2.89	o 259
3.20/3.22	c 1.9747 20.5781 785 51251
3.20/3.22	o 243
3.79/3.80	c 2.32765 20.5781 987 53578
3.79/3.80	o 242
3.89/3.97	c 2.42963 20.5781 1200 54524
3.89/3.97	o 237
5.50/5.54	c 3.40348 20.707 944 59180
5.50/5.54	o 232
5.59/5.63	c 3.45447 20.707 1040 60877
5.59/5.63	o 184
6.60/6.61	c 4.07238 20.707 1078 65208
6.60/6.61	o 181
7.90/7.94	c 4.86626 20.707 852 69994
7.90/7.94	o 177
8.00/8.09	c 4.95925 20.707 1041 70514
8.00/8.09	o 176
8.70/8.77	c 5.36518 20.707 1106 73038
8.70/8.77	o 162
8.99/9.08	c 5.55915 20.707 873 74505
8.99/9.08	o 148
9.90/9.98	c 6.13907 20.707 1218 77402
9.90/9.98	o 134
14.49/14.56	c 9.05162 20.707 1161 93737
14.49/14.56	o 126
14.69/14.76	c 9.17261 20.707 781 94595
14.69/14.76	o 122
17.09/17.18	c 10.6514 20.707 1410 103630
17.09/17.18	o 118
20.79/20.80	c 12.899 20.8359 1121 116164
20.79/20.80	o 113
21.19/21.27	c 13.188 20.8359 1238 118054
21.19/21.27	o 110
22.49/22.51	c 14.0219 20.8359 784 123030
22.49/22.51	o 108
23.49/23.59	c 14.6998 20.8359 1057 127167
23.49/23.59	o 102
24.29/24.33	c 15.1817 20.8359 927 130987
24.29/24.33	o 98
24.29/24.38	c 15.2127 20.8359 1010 131531
24.29/24.38	o 86
24.80/24.80	c 15.4826 20.8359 960 133282
24.80/24.80	o 83
24.80/24.81	c 15.4926 20.8359 1011 133505
24.80/24.81	o 81
25.99/26.09	c 16.2765 20.9648 1074 137942
25.99/26.09	o 79
28.60/28.68	c 17.9963 20.9648 1932 146373
28.60/28.68	o 73
29.19/29.29	c 18.3962 20.9648 1958 148806
29.19/29.29	o 72
31.80/31.84	c 20.0899 20.9648 1168 157987
31.80/31.84	o 69
31.90/31.94	c 20.1609 20.9648 1407 158741
31.90/31.94	o 60
31.90/31.95	c 20.1729 20.9648 1443 158868
31.90/31.95	o 59
32.09/32.18	c 20.3279 20.9648 1982 160598
32.09/32.18	o 47
32.29/32.36	c 20.4599 20.9648 2463 161725
32.29/32.36	o 36
32.29/32.36	c 20.4629 20.9648 1240 161813
32.29/32.36	o 34
32.29/32.37	c 20.4649 20.9648 1246 161861
32.29/32.37	o 33
32.29/32.37	c 20.4659 20.9648 1258 161953
32.29/32.37	o 31
32.29/32.38	c 20.4729 20.9648 1294 162050
32.29/32.38	o 30
32.90/32.96	c 20.9258 21.0938 2793 167245
32.90/32.96	o 28
33.59/33.67	c 21.5187 21.0938 2877 175928
33.59/33.67	o 20
37.19/37.23	c 24.5563 22.2539 3194 217175
37.19/37.23	o 18
38.99/39.03	c 26.092 22.2539 3158 236372
38.99/39.03	o 15
53.39/53.45	c 38.5701 22.2539 3125 420336
53.39/53.45	o 10
62.19/62.21	c 46.336 22.6914 2344 545371
62.19/62.21	o 9
65.10/65.11	c 48.9036 22.6914 2508 582206
65.10/65.11	o 8
65.69/65.71	c 49.4275 22.6914 2058 590676
65.69/65.71	o 7
66.39/66.45	c 50.0894 22.8203 3548 601472
66.39/66.45	o 4
66.39/66.46	c 50.0954 22.8203 3625 601619
66.39/66.46	o 3
1071.43/1071.48	c 959.589 24.6875 3019 14814160
1071.43/1071.48	s OPTIMUM FOUND
1071.43/1071.48	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	3

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698803-1278464520/watcher-2698803-1278464520 -o /tmp/evaluation-result-2698803-1278464520/solver-2698803-1278464520 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698803-1278464520.wbo 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.01 2.00 4/182 13839
/proc/meminfo: memFree=28879212/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=2136 CPUtime=0
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 254 0 0 0 0 0 0 0 25 0 1 0 14664738 2187264 173 4089446400 134512640 136422188 4291933232 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13839/statm: 534 173 144 467 0 65 0

[startup+0.034223 s]
/proc/loadavg: 2.02 2.01 2.00 4/182 13839
/proc/meminfo: memFree=28879212/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=7428 CPUtime=0.03
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 1549 0 0 0 3 0 0 0 25 0 1 0 14664738 7606272 1468 4089446400 134512640 136422188 4291933232 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13839/statm: 1890 1473 193 467 0 1421 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7428

[startup+0.101215 s]
/proc/loadavg: 2.02 2.01 2.00 4/182 13839
/proc/meminfo: memFree=28879212/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=20456 CPUtime=0.09
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 4752 0 0 0 9 0 0 0 25 0 1 0 14664738 20946944 4638 4089446400 134512640 136422188 4291933232 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13839/statm: 5114 4638 213 467 0 4645 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20456

[startup+0.300175 s]
/proc/loadavg: 2.02 2.01 2.00 4/182 13839
/proc/meminfo: memFree=28879212/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=20936 CPUtime=0.29
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 4858 0 0 0 22 7 0 0 25 0 1 0 14664738 21438464 4730 4089446400 134512640 136422188 4291933232 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13839/statm: 5234 4730 236 467 0 4765 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20936

[startup+0.701105 s]
/proc/loadavg: 2.02 2.01 2.00 4/182 13839
/proc/meminfo: memFree=28879212/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=20936 CPUtime=0.69
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 4862 0 0 0 45 24 0 0 18 0 1 0 14664738 21438464 4731 4089446400 134512640 136422188 4291933232 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13839/statm: 5234 4731 237 467 0 4765 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20936

[startup+1.50097 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 13840
/proc/meminfo: memFree=28861464/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=20936 CPUtime=1.49
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 4874 0 0 0 92 57 0 0 18 0 1 0 14664738 21438464 4736 4089446400 134512640 136422188 4291933232 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13839/statm: 5234 4736 237 467 0 4765 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20936

[startup+3.10067 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 13840
/proc/meminfo: memFree=28861464/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=21068 CPUtime=3.09
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 4904 0 0 0 189 120 0 0 20 0 1 0 14664738 21573632 4758 4089446400 134512640 136422188 4291933232 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13839/statm: 5267 4758 237 467 0 4798 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21068

[startup+6.3011 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 13840
/proc/meminfo: memFree=28861316/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=21200 CPUtime=6.29
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 4960 0 0 0 386 243 0 0 25 0 1 0 14664738 21708800 4809 4089446400 134512640 136422188 4291933232 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13839/statm: 5300 4809 237 467 0 4831 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21200

[startup+12.7009 s]
/proc/loadavg: 2.17 2.04 2.01 3/183 13840
/proc/meminfo: memFree=28861312/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=21200 CPUtime=12.69
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 4966 0 0 0 788 481 0 0 25 0 1 0 14664738 21708800 4809 4089446400 134512640 136422188 4291933232 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13839/statm: 5300 4809 237 467 0 4831 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21200

[startup+25.5006 s]
/proc/loadavg: 2.23 2.06 2.01 3/183 13840
/proc/meminfo: memFree=28861644/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=21332 CPUtime=25.49
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 5008 0 0 0 1592 957 0 0 25 0 1 0 14664738 21843968 4840 4089446400 134512640 136422188 4291933232 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13839/statm: 5333 4840 237 467 0 4864 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21332

[startup+51.1009 s]
/proc/loadavg: 2.15 2.05 2.01 3/183 13841
/proc/meminfo: memFree=28860116/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=22784 CPUtime=51.1
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 5399 0 0 0 3653 1457 0 0 25 0 1 0 14664738 23330816 5215 4089446400 134512640 136422188 4291933232 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13839/statm: 5696 5215 237 467 0 5227 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 22784

[startup+102.307 s]
/proc/loadavg: 2.17 2.07 2.01 3/183 13842
/proc/meminfo: memFree=28858964/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=23364 CPUtime=102.3
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 5575 0 0 0 8238 1992 0 0 25 0 1 0 14664738 23924736 5327 4089446400 134512640 136422188 4291933232 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13839/statm: 5841 5327 237 467 0 5372 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 23364

[startup+162.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 13872
/proc/meminfo: memFree=29261144/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=23364 CPUtime=162.3
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 5575 0 0 0 13642 2588 0 0 25 0 1 0 14664738 23924736 5327 4089446400 134512640 136422188 4291933232 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13839/statm: 5841 5327 237 467 0 5372 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 23364

[startup+222.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 13873
/proc/meminfo: memFree=29259472/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=23628 CPUtime=222.29
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 5622 0 0 0 19076 3153 0 0 25 0 1 0 14664738 24195072 5374 4089446400 134512640 136422188 4291933232 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13839/statm: 5907 5374 237 467 0 5438 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 23628

[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 13875
/proc/meminfo: memFree=29259064/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=23892 CPUtime=282.3
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 5683 0 0 0 24501 3729 0 0 25 0 1 0 14664738 24465408 5435 4089446400 134512640 136422188 4291933232 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13839/statm: 5973 5435 237 467 0 5504 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 23892

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 13877
/proc/meminfo: memFree=29258404/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=24024 CPUtime=342.3
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 5733 0 0 0 29940 4290 0 0 25 0 1 0 14664738 24600576 5485 4089446400 134512640 136422188 4291933232 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13839/statm: 6006 5485 237 467 0 5537 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 24024

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 13878
/proc/meminfo: memFree=29258228/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=24156 CPUtime=402.31
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 5759 0 0 0 35379 4852 0 0 25 0 1 0 14664738 24735744 5511 4089446400 134512640 136422188 4291933232 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13839/statm: 6039 5511 237 467 0 5570 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 24156

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 13880
/proc/meminfo: memFree=29257940/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=24156 CPUtime=462.3
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 5772 0 0 0 40790 5440 0 0 25 0 1 0 14664738 24735744 5524 4089446400 134512640 136422188 4291933232 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13839/statm: 6039 5524 237 467 0 5570 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 24156

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13881
/proc/meminfo: memFree=29257900/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=24288 CPUtime=522.3
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 5795 0 0 0 46191 6039 0 0 25 0 1 0 14664738 24870912 5547 4089446400 134512640 136422188 4291933232 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13839/statm: 6072 5547 237 467 0 5603 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 24288

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13883
/proc/meminfo: memFree=29257608/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=24608 CPUtime=582.31
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 5870 0 0 0 51630 6601 0 0 25 0 1 0 14664738 25198592 5622 4089446400 134512640 136422188 4291933232 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13839/statm: 6152 5622 237 467 0 5683 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 24608

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13885
/proc/meminfo: memFree=29257440/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=24740 CPUtime=642.31
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 5904 0 0 0 57085 7146 0 0 25 0 1 0 14664738 25333760 5656 4089446400 134512640 136422188 4291933232 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13839/statm: 6185 5656 237 467 0 5716 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 24740

[startup+702.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13886
/proc/meminfo: memFree=29257524/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=24876 CPUtime=702.31
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 5916 0 0 0 62508 7723 0 0 25 0 1 0 14664738 25473024 5668 4089446400 134512640 136422188 4291933232 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13839/statm: 6219 5668 237 467 0 5750 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 24876

[startup+762.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13888
/proc/meminfo: memFree=29257232/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=25012 CPUtime=762.32
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 5951 0 0 0 67952 8280 0 0 25 0 1 0 14664738 25612288 5703 4089446400 134512640 136422188 4291933232 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13839/statm: 6253 5703 237 467 0 5784 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 25012

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13889
/proc/meminfo: memFree=29257200/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=25012 CPUtime=822.32
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 5970 0 0 0 73372 8860 0 0 25 0 1 0 14664738 25612288 5722 4089446400 134512640 136422188 4291933232 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13839/statm: 6253 5722 237 467 0 5784 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 25012

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13891
/proc/meminfo: memFree=29256788/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=25144 CPUtime=882.32
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 5998 0 0 0 78830 9402 0 0 25 0 1 0 14664738 25747456 5750 4089446400 134512640 136422188 4291933232 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13839/statm: 6286 5750 237 467 0 5817 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 25144

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13893
/proc/meminfo: memFree=29256632/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=25276 CPUtime=942.32
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 6019 0 0 0 84256 9976 0 0 25 0 1 0 14664738 25882624 5771 4089446400 134512640 136422188 4291933232 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13839/statm: 6319 5771 237 467 0 5850 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 25276

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13894
/proc/meminfo: memFree=29256348/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=25276 CPUtime=1002.32
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 6021 0 0 0 89698 10534 0 0 25 0 1 0 14664738 25882624 5773 4089446400 134512640 136422188 4291933232 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13839/statm: 6319 5773 237 467 0 5850 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 25276

[startup+1062.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 13899
/proc/meminfo: memFree=29255708/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=25276 CPUtime=1062.33
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 6024 0 0 0 95131 11102 0 0 25 0 1 0 14664738 25882624 5776 4089446400 134512640 136422188 4291933232 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13839/statm: 6319 5776 237 467 0 5850 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 25276

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

[startup+1065.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 13899
/proc/meminfo: memFree=29255708/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=25276 CPUtime=1065.52
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 6024 0 0 0 95418 11134 0 0 25 0 1 0 14664738 25882624 5776 4089446400 134512640 136422188 4291933232 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13839/statm: 6319 5776 237 467 0 5850 0
Current children cumulated CPU time (s) 1065.52
Current children cumulated vsize (KiB) 25276

[startup+1068.7 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 13899
/proc/meminfo: memFree=29255584/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=25276 CPUtime=1068.72
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 6024 0 0 0 95706 11166 0 0 25 0 1 0 14664738 25882624 5776 4089446400 134512640 136422188 4291933232 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13839/statm: 6319 5776 237 467 0 5850 0
Current children cumulated CPU time (s) 1068.72
Current children cumulated vsize (KiB) 25276

[startup+1070.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 13899
/proc/meminfo: memFree=29255704/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=25276 CPUtime=1070.32
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 6024 0 0 0 95849 11183 0 0 25 0 1 0 14664738 25882624 5776 4089446400 134512640 136422188 4291933232 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13839/statm: 6319 5776 237 467 0 5850 0
Current children cumulated CPU time (s) 1070.32
Current children cumulated vsize (KiB) 25276

[startup+1071.1 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 13899
/proc/meminfo: memFree=29255704/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=25276 CPUtime=1071.12
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 6024 0 0 0 95923 11189 0 0 25 0 1 0 14664738 25882624 5776 4089446400 134512640 136422188 4291933232 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13839/statm: 6319 5776 237 467 0 5850 0
Current children cumulated CPU time (s) 1071.12
Current children cumulated vsize (KiB) 25276

[startup+1071.5 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 13899
/proc/meminfo: memFree=29255704/32951124 swapFree=67111528/67111528
[pid=13839] ppid=13837 vsize=20728 CPUtime=1071.53
/proc/13839/stat : 13839 (pbct) R 13837 13839 13108 0 -1 4202496 6028 0 0 0 95960 11193 0 0 25 0 1 0 14664738 21225472 4795 4089446400 134512640 136422188 4291933232 18446744073709551615 134701821 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13839/statm: 5182 4795 240 467 0 4713 0
Current children cumulated CPU time (s) 1071.53
Current children cumulated vsize (KiB) 20728

Child status: 0
Real time (s): 1071.51
CPU time (s): 1071.55
CPU user time (s): 959.613
CPU system time (s): 111.933
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 25276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 959.613
system time used= 111.933
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6029
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= 6
involuntary context switches= 1526

runsolver used 1.48477 second user time and 3.43548 second system time

The end

Launcher Data 

Begin job on node133 at 2010-07-07 03:02:00
IDJOB=2698803
IDBENCH=79271
IDSOLVER=1212
FILE ID=node133/2698803-1278464520
PBS_JOBID= 11233726
Free space on /tmp= 73796 MiB

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

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

MD5SUM BENCH= a7d7105d3e0193cbcd9215f3627722fb
RANDOM SEED=1936272054

node133.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.844
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.68
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.844
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.844
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
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.84
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.844
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.844
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.844
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.67
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.844
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28879856 kB
Buffers:        113336 kB
Cached:        3334512 kB
SwapCached:          0 kB
Active:        1056536 kB
Inactive:      2874020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28879856 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1964 kB
Writeback:           0 kB
AnonPages:      482148 kB
Mapped:          15632 kB
Slab:            76624 kB
PageTables:       6152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   644780 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73796 MiB
End job on node133 at 2010-07-07 03:19:52