Trace number 2699468

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 460.547 460.53

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900563801--soft-66-100-0.wbo
MD5SUM8222df718f0c39737e94bfab6b6fa003
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark29.2616
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 constraints927
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 45360
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 45359
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 719
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 15/8 clauses 1765/919 units 0
0.00/0.01	c vars 231
0.02/0.05	c 0.054991 13.2578 9 2039
0.02/0.05	o 374
0.02/0.06	c 0.054991 13.3945 10 2442
0.02/0.06	o 350
0.02/0.06	c 0.056991 13.3945 32 3552
0.02/0.06	o 199
0.02/0.09	c 0.077988 13.3945 210 4043
0.02/0.09	o 188
0.09/0.10	c 0.087986 13.3945 280 4340
0.09/0.10	o 175
0.19/0.24	c 0.186971 13.5195 1278 6099
0.19/0.24	o 169
0.19/0.25	c 0.189971 13.5195 688 6460
0.19/0.25	o 147
0.19/0.26	c 0.202969 13.5195 760 6611
0.19/0.26	o 146
0.79/0.88	c 0.6519 13.6445 924 13346
0.79/0.88	o 138
1.10/1.18	c 0.870867 13.6445 979 17250
1.10/1.18	o 120
1.19/1.27	c 0.932858 13.6445 741 18132
1.19/1.27	o 113
1.29/1.31	c 0.957854 13.6445 985 18631
1.29/1.31	o 109
1.79/1.89	c 1.3318 13.6445 1172 23327
1.79/1.89	o 100
1.99/2.02	c 1.43578 13.6445 1154 24310
1.99/2.02	o 93
2.59/2.64	c 1.88871 13.7695 998 30218
2.59/2.64	o 89
2.59/2.65	c 1.89571 13.7695 1036 30428
2.59/2.65	o 78
6.09/6.14	c 4.49832 13.8945 1716 63817
6.09/6.14	o 63
7.40/7.40	c 5.46117 14.0234 818 77240
7.40/7.40	o 55
13.39/13.42	c 10.1415 14.1523 1210 136120
13.39/13.42	o 53
13.59/13.67	c 10.3414 14.1523 867 139641
13.59/13.67	o 52
13.69/13.76	c 10.4094 14.1523 792 141019
13.69/13.76	o 42
14.30/14.36	c 10.9043 14.1523 1652 149035
14.30/14.36	o 41
14.59/14.61	c 11.1093 14.1523 1190 152576
14.59/14.61	o 17
16.79/16.86	c 13.108 14.9258 1241 185510
16.79/16.86	o 13
20.29/20.36	c 16.2175 14.9258 1385 243819
20.29/20.36	o 10
23.70/23.77	c 19.1901 14.9258 1601 305298
23.70/23.77	o 5
460.51/460.51	c 409.884 15.7383 2682 7550249
460.51/460.51	s OPTIMUM FOUND
460.51/460.51	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	5

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.91 4/177 11061
/proc/meminfo: memFree=30857212/32950928 swapFree=67111528/67111528
[pid=11061] ppid=11059 vsize=2136 CPUtime=0
/proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 251 0 0 0 0 0 0 0 22 0 1 0 14253310 2187264 171 4089446400 134512640 136422188 4294412352 18446744073709551615 135643005 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11061/statm: 534 171 144 467 0 65 0

[startup+0.029877 s]
/proc/loadavg: 1.92 1.98 1.91 4/177 11061
/proc/meminfo: memFree=30857212/32950928 swapFree=67111528/67111528
[pid=11061] ppid=11059 vsize=6128 CPUtime=0.02
/proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 1231 0 0 0 2 0 0 0 22 0 1 0 14253310 6275072 1151 4089446400 134512640 136422188 4294412352 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11061/statm: 1532 1157 193 467 0 1063 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 6128

[startup+0.100864 s]
/proc/loadavg: 1.92 1.98 1.91 4/177 11061
/proc/meminfo: memFree=30857212/32950928 swapFree=67111528/67111528
[pid=11061] ppid=11059 vsize=13712 CPUtime=0.09
/proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3104 0 0 0 8 1 0 0 18 0 1 0 14253310 14041088 3020 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11061/statm: 3428 3020 236 467 0 2959 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13712

[startup+0.30083 s]
/proc/loadavg: 1.92 1.98 1.91 4/177 11061
/proc/meminfo: memFree=30857212/32950928 swapFree=67111528/67111528
[pid=11061] ppid=11059 vsize=13840 CPUtime=0.29
/proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3157 0 0 0 22 7 0 0 18 0 1 0 14253310 14172160 3069 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11061/statm: 3460 3069 236 467 0 2991 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13840

[startup+0.700751 s]
/proc/loadavg: 1.92 1.98 1.91 4/177 11061
/proc/meminfo: memFree=30857212/32950928 swapFree=67111528/67111528
[pid=11061] ppid=11059 vsize=13968 CPUtime=0.69
/proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3179 0 0 0 51 18 0 0 18 0 1 0 14253310 14303232 3091 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11061/statm: 3492 3091 236 467 0 3023 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13968

[startup+1.5006 s]
/proc/loadavg: 1.92 1.98 1.91 3/178 11062
/proc/meminfo: memFree=30845556/32950928 swapFree=67111528/67111528
[pid=11061] ppid=11059 vsize=13968 CPUtime=1.49
/proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3188 0 0 0 107 42 0 0 18 0 1 0 14253310 14303232 3096 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11061/statm: 3492 3096 236 467 0 3023 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13968

[startup+3.10029 s]
/proc/loadavg: 1.92 1.98 1.91 3/178 11062
/proc/meminfo: memFree=30845556/32950928 swapFree=67111528/67111528
[pid=11061] ppid=11059 vsize=14096 CPUtime=3.09
/proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3212 0 0 0 222 87 0 0 20 0 1 0 14253310 14434304 3116 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11061/statm: 3524 3116 236 467 0 3055 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14096

[startup+6.30067 s]
/proc/loadavg: 1.93 1.98 1.91 3/178 11062
/proc/meminfo: memFree=30845424/32950928 swapFree=67111528/67111528
[pid=11061] ppid=11059 vsize=14224 CPUtime=6.29
/proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3260 0 0 0 461 168 0 0 25 0 1 0 14253310 14565376 3163 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11061/statm: 3556 3163 236 467 0 3087 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14224

[startup+12.7004 s]
/proc/loadavg: 1.93 1.98 1.91 3/178 11063
/proc/meminfo: memFree=30845220/32950928 swapFree=67111528/67111528
[pid=11061] ppid=11059 vsize=14488 CPUtime=12.69
/proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3325 0 0 0 958 311 0 0 25 0 1 0 14253310 14835712 3227 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11061/statm: 3622 3227 236 467 0 3153 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14488

[startup+25.501 s]
/proc/loadavg: 1.95 1.98 1.91 3/178 11063
/proc/meminfo: memFree=30844452/32950928 swapFree=67111528/67111528
[pid=11061] ppid=11059 vsize=15280 CPUtime=25.49
/proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3517 0 0 0 2072 477 0 0 25 0 1 0 14253310 15646720 3411 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11061/statm: 3820 3411 236 467 0 3351 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15280

[startup+51.1011 s]
/proc/loadavg: 1.96 1.98 1.91 3/178 11063
/proc/meminfo: memFree=30844512/32950928 swapFree=67111528/67111528
[pid=11061] ppid=11059 vsize=15280 CPUtime=51.09
/proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3517 0 0 0 4346 763 0 0 25 0 1 0 14253310 15646720 3411 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11061/statm: 3820 3411 236 467 0 3351 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 15280

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.91 3/178 11065
/proc/meminfo: memFree=30843968/32950928 swapFree=67111528/67111528
[pid=11061] ppid=11059 vsize=15412 CPUtime=102.3
/proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3547 0 0 0 8914 1316 0 0 25 0 1 0 14253310 15781888 3441 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11061/statm: 3853 3441 236 467 0 3384 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 15412

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 11067
/proc/meminfo: memFree=30843796/32950928 swapFree=67111528/67111528
[pid=11061] ppid=11059 vsize=15616 CPUtime=162.29
/proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3617 0 0 0 14274 1955 0 0 25 0 1 0 14253310 15990784 3511 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11061/statm: 3904 3511 236 467 0 3435 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 15616

[startup+222.3 s]
/proc/loadavg: 2.04 2.00 1.91 3/178 11067
/proc/meminfo: memFree=30843356/32950928 swapFree=67111528/67111528
[pid=11061] ppid=11059 vsize=15868 CPUtime=222.3
/proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3669 0 0 0 19647 2583 0 0 25 0 1 0 14253310 16248832 3563 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11061/statm: 3967 3563 236 467 0 3498 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 15868

[startup+282.301 s]
/proc/loadavg: 2.01 2.00 1.91 3/178 11069
/proc/meminfo: memFree=30843316/32950928 swapFree=67111528/67111528
[pid=11061] ppid=11059 vsize=15996 CPUtime=282.3
/proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3693 0 0 0 25048 3182 0 0 25 0 1 0 14253310 16379904 3587 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11061/statm: 3999 3587 236 467 0 3530 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 15996

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11071
/proc/meminfo: memFree=30843256/32950928 swapFree=67111528/67111528
[pid=11061] ppid=11059 vsize=15996 CPUtime=342.3
/proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3699 0 0 0 30407 3823 0 0 25 0 1 0 14253310 16379904 3593 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11061/statm: 3999 3593 236 467 0 3530 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 15996

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11073
/proc/meminfo: memFree=30843096/32950928 swapFree=67111528/67111528
[pid=11061] ppid=11059 vsize=16112 CPUtime=402.31
/proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3727 0 0 0 35783 4448 0 0 25 0 1 0 14253310 16498688 3621 4089446400 134512640 136422188 4294412352 18446744073709551615 134643564 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11061/statm: 4028 3621 236 467 0 3559 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 16112

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

[startup+409.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11073
/proc/meminfo: memFree=30843084/32950928 swapFree=67111528/67111528
[pid=11061] ppid=11059 vsize=16112 CPUtime=409.51
/proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3727 0 0 0 36426 4525 0 0 25 0 1 0 14253310 16498688 3621 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11061/statm: 4028 3621 236 467 0 3559 0
Current children cumulated CPU time (s) 409.51
Current children cumulated vsize (KiB) 16112

[startup+435.101 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11073
/proc/meminfo: memFree=30843192/32950928 swapFree=67111528/67111528
[pid=11061] ppid=11059 vsize=16112 CPUtime=435.11
/proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3727 0 0 0 38713 4798 0 0 25 0 1 0 14253310 16498688 3621 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11061/statm: 4028 3621 236 467 0 3559 0
Current children cumulated CPU time (s) 435.11
Current children cumulated vsize (KiB) 16112

[startup+447.901 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11074
/proc/meminfo: memFree=30843192/32950928 swapFree=67111528/67111528
[pid=11061] ppid=11059 vsize=16112 CPUtime=447.91
/proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3727 0 0 0 39858 4933 0 0 25 0 1 0 14253310 16498688 3621 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11061/statm: 4028 3621 236 467 0 3559 0
Current children cumulated CPU time (s) 447.91
Current children cumulated vsize (KiB) 16112

[startup+454.306 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11074
/proc/meminfo: memFree=30843300/32950928 swapFree=67111528/67111528
[pid=11061] ppid=11059 vsize=16112 CPUtime=454.31
/proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3727 0 0 0 40431 5000 0 0 25 0 1 0 14253310 16498688 3621 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11061/statm: 4028 3621 236 467 0 3559 0
Current children cumulated CPU time (s) 454.31
Current children cumulated vsize (KiB) 16112

[startup+457.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11074
/proc/meminfo: memFree=30843308/32950928 swapFree=67111528/67111528
[pid=11061] ppid=11059 vsize=16112 CPUtime=457.51
/proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3727 0 0 0 40718 5033 0 0 25 0 1 0 14253310 16498688 3621 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11061/statm: 4028 3621 236 467 0 3559 0
Current children cumulated CPU time (s) 457.51
Current children cumulated vsize (KiB) 16112

[startup+459.101 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11075
/proc/meminfo: memFree=30843308/32950928 swapFree=67111528/67111528
[pid=11061] ppid=11059 vsize=16112 CPUtime=459.11
/proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3727 0 0 0 40861 5050 0 0 25 0 1 0 14253310 16498688 3621 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11061/statm: 4028 3621 236 467 0 3559 0
Current children cumulated CPU time (s) 459.11
Current children cumulated vsize (KiB) 16112

[startup+459.901 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11075
/proc/meminfo: memFree=30843308/32950928 swapFree=67111528/67111528
[pid=11061] ppid=11059 vsize=16112 CPUtime=459.91
/proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3727 0 0 0 40932 5059 0 0 25 0 1 0 14253310 16498688 3621 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11061/statm: 4028 3621 236 467 0 3559 0
Current children cumulated CPU time (s) 459.91
Current children cumulated vsize (KiB) 16112

[startup+460.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11075
/proc/meminfo: memFree=30843308/32950928 swapFree=67111528/67111528
[pid=11061] ppid=11059 vsize=16112 CPUtime=460.31
/proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3727 0 0 0 40969 5062 0 0 25 0 1 0 14253310 16498688 3621 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11061/statm: 4028 3621 236 467 0 3559 0
Current children cumulated CPU time (s) 460.31
Current children cumulated vsize (KiB) 16112

[startup+460.501 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11075
/proc/meminfo: memFree=30843308/32950928 swapFree=67111528/67111528
[pid=11061] ppid=11059 vsize=16112 CPUtime=460.51
/proc/11061/stat : 11061 (pbct) R 11059 11061 10696 0 -1 4202496 3727 0 0 0 40987 5064 0 0 25 0 1 0 14253310 16498688 3621 4089446400 134512640 136422188 4294412352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/11061/statm: 4028 3621 236 467 0 3559 0
Current children cumulated CPU time (s) 460.51
Current children cumulated vsize (KiB) 16112

Child status: 0
Real time (s): 460.53
CPU time (s): 460.547
CPU user time (s): 409.896
CPU system time (s): 50.6513
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 16124

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

runsolver used 0.639902 second user time and 1.45778 second system time

The end

Launcher Data 

Begin job on node115 at 2010-07-07 02:04:21
IDJOB=2699468
IDBENCH=78981
IDSOLVER=1212
FILE ID=node115/2699468-1278461061
PBS_JOBID= 11233763
Free space on /tmp= 73752 MiB

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

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

MD5SUM BENCH= 8222df718f0c39737e94bfab6b6fa003
RANDOM SEED=2013395320

node115.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.812
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.62
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.812
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.76
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.812
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.812
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.812
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.74
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.812
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.812
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.812
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:     32950928 kB
MemFree:      30857864 kB
Buffers:         97232 kB
Cached:        1781880 kB
SwapCached:          0 kB
Active:         666620 kB
Inactive:      1292824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30857864 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1992 kB
Writeback:           0 kB
AnonPages:       80412 kB
Mapped:          15444 kB
Slab:            71280 kB
PageTables:       4736 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   223352 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= 73752 MiB
End job on node115 at 2010-07-07 02:12:02