Trace number 2699461

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 968.255 968.232

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900551347--soft-66-100-0.wbo
MD5SUMccbb2f2628d7a379eab2ad56e88b2a24
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark11
Best CPU time to get the best result obtained on this benchmark268.492
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 745
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.052991 13.2578 9 2047
0.02/0.05	o 433
0.02/0.06	c 0.053991 13.3945 19 3080
0.02/0.06	o 238
0.02/0.08	c 0.06399 13.3945 183 3528
0.02/0.08	o 228
0.09/0.15	c 0.095985 13.5195 767 4616
0.09/0.15	o 227
0.09/0.16	c 0.099984 13.5195 812 4764
0.09/0.16	o 222
0.09/0.18	c 0.107983 13.5195 958 5381
0.09/0.18	o 198
0.49/0.50	c 0.272958 13.6445 1010 9159
0.49/0.50	o 194
0.49/0.56	c 0.301954 13.6445 747 10048
0.49/0.56	o 172
0.49/0.56	c 0.302953 13.6445 754 10192
0.49/0.56	o 164
0.49/0.59	c 0.314952 13.6445 959 10831
0.49/0.59	o 133
1.19/1.25	c 0.647901 13.6445 1255 18393
1.19/1.25	o 131
1.19/1.27	c 0.6559 13.6445 736 18818
1.19/1.27	o 111
1.29/1.34	c 0.688895 13.6445 1086 19611
1.29/1.34	o 96
1.89/1.99	c 0.990849 13.6445 1068 25811
1.89/1.99	o 91
2.49/2.51	c 1.21382 13.7695 1541 30470
2.49/2.51	o 74
8.29/8.34	c 4.5903 14.4141 1216 96378
8.29/8.34	o 71
9.59/9.69	c 5.33619 14.4141 1164 111893
9.59/9.69	o 62
9.79/9.88	c 5.44817 14.4141 979 114294
9.79/9.88	o 57
10.39/10.46	c 5.75612 14.4141 1205 119825
10.39/10.46	o 52
11.09/11.10	c 6.09807 14.4141 1183 127784
11.09/11.10	o 51
14.49/14.50	c 8.25474 14.4141 961 173798
14.49/14.50	o 43
17.79/17.86	c 10.5064 14.4141 1478 221628
17.79/17.86	o 41
19.99/20.01	c 11.8852 14.4141 1869 251485
19.99/20.01	o 38
20.80/20.89	c 12.4411 14.4141 1353 264444
20.80/20.89	o 37
21.09/21.19	c 12.6231 14.4141 1098 268559
21.09/21.19	o 36
21.19/21.20	c 12.6281 14.4141 1157 268781
21.19/21.20	o 23
21.19/21.22	c 12.6401 14.4141 1335 269224
21.19/21.22	o 11
968.22/968.21	c 736.037 16.7773 2334 15294042
968.22/968.21	s OPTIMUM FOUND
968.22/968.21	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	11

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699461-1278461059/watcher-2699461-1278461059 -o /tmp/evaluation-result-2699461-1278461059/solver-2699461-1278461059 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699461-1278461059.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.93 1.98 1.91 3/178 12724
/proc/meminfo: memFree=30188980/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=2136 CPUtime=0
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 251 0 0 0 0 0 0 0 24 0 1 0 14319761 2187264 171 4089446400 134512640 136422188 4289396720 18446744073709551615 135873822 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12724/statm: 534 171 144 467 0 65 0

[startup+0.027874 s]
/proc/loadavg: 1.93 1.98 1.91 3/178 12724
/proc/meminfo: memFree=30188980/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=5732 CPUtime=0.02
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 1103 0 0 0 2 0 0 0 24 0 1 0 14319761 5869568 1023 4089446400 134512640 136422188 4289396720 18446744073709551615 136044494 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 1433 1024 193 467 0 964 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5732

[startup+0.100862 s]
/proc/loadavg: 1.93 1.98 1.91 3/178 12724
/proc/meminfo: memFree=30188980/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=13712 CPUtime=0.09
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 3105 0 0 0 7 2 0 0 25 0 1 0 14319761 14041088 3022 4089446400 134512640 136422188 4289396720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 3428 3022 236 467 0 2959 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13712

[startup+0.300826 s]
/proc/loadavg: 1.93 1.98 1.91 3/178 12724
/proc/meminfo: memFree=30188980/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=13840 CPUtime=0.29
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 3153 0 0 0 15 14 0 0 25 0 1 0 14319761 14172160 3067 4089446400 134512640 136422188 4289396720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 3460 3067 236 467 0 2991 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13840

[startup+0.700755 s]
/proc/loadavg: 1.93 1.98 1.91 3/178 12724
/proc/meminfo: memFree=30188980/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=13968 CPUtime=0.69
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 3172 0 0 0 36 33 0 0 25 0 1 0 14319761 14303232 3082 4089446400 134512640 136422188 4289396720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 3492 3082 236 467 0 3023 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13968

[startup+1.50067 s]
/proc/loadavg: 1.93 1.98 1.91 3/179 12725
/proc/meminfo: memFree=30177068/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=13968 CPUtime=1.49
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 3185 0 0 0 76 73 0 0 25 0 1 0 14319761 14303232 3092 4089446400 134512640 136422188 4289396720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 3492 3092 236 467 0 3023 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13968

[startup+3.10033 s]
/proc/loadavg: 1.93 1.98 1.91 3/179 12725
/proc/meminfo: memFree=30176572/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=14096 CPUtime=3.09
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 3226 0 0 0 151 158 0 0 25 0 1 0 14319761 14434304 3131 4089446400 134512640 136422188 4289396720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 3524 3131 236 467 0 3055 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14096

[startup+6.30077 s]
/proc/loadavg: 1.93 1.98 1.91 3/179 12725
/proc/meminfo: memFree=30176220/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=14492 CPUtime=6.29
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 3326 0 0 0 335 294 0 0 25 0 1 0 14319761 14839808 3231 4089446400 134512640 136422188 4289396720 18446744073709551615 135032806 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 3623 3231 236 467 0 3154 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14492

[startup+12.7006 s]
/proc/loadavg: 1.94 1.98 1.91 3/179 12725
/proc/meminfo: memFree=30176104/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=14756 CPUtime=12.7
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 3370 0 0 0 710 560 0 0 25 0 1 0 14319761 15110144 3270 4089446400 134512640 136422188 4289396720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 3689 3270 236 467 0 3220 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 14756

[startup+25.5004 s]
/proc/loadavg: 1.95 1.98 1.91 3/179 12725
/proc/meminfo: memFree=30175936/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=14884 CPUtime=25.49
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 3427 0 0 0 1579 970 0 0 25 0 1 0 14319761 15241216 3320 4089446400 134512640 136422188 4289396720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 3721 3320 236 467 0 3252 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 14884

[startup+51.1009 s]
/proc/loadavg: 1.97 1.98 1.91 3/179 12727
/proc/meminfo: memFree=30175628/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=15276 CPUtime=51.09
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 3525 0 0 0 3497 1612 0 0 25 0 1 0 14319761 15642624 3418 4089446400 134512640 136422188 4289396720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 3819 3418 236 467 0 3350 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 15276

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.91 3/179 12727
/proc/meminfo: memFree=30174696/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=15756 CPUtime=102.3
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 3667 0 0 0 7399 2831 0 0 25 0 1 0 14319761 16134144 3537 4089446400 134512640 136422188 4289396720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 3939 3537 236 467 0 3470 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 15756

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 12729
/proc/meminfo: memFree=30174384/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=15972 CPUtime=162.29
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 3728 0 0 0 11996 4233 0 0 25 0 1 0 14319761 16355328 3598 4089446400 134512640 136422188 4289396720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 3993 3598 236 467 0 3524 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 15972

[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 12731
/proc/meminfo: memFree=30174176/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=16228 CPUtime=222.3
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 3777 0 0 0 16561 5669 0 0 25 0 1 0 14319761 16617472 3647 4089446400 134512640 136422188 4289396720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 4057 3647 236 467 0 3588 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 16228

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 12733
/proc/meminfo: memFree=30174004/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=16392 CPUtime=282.3
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 3838 0 0 0 21128 7102 0 0 25 0 1 0 14319761 16785408 3708 4089446400 134512640 136422188 4289396720 18446744073709551615 134862338 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 4098 3708 236 467 0 3629 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 16392

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 12735
/proc/meminfo: memFree=30173800/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=16392 CPUtime=342.3
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 3838 0 0 0 25688 8542 0 0 25 0 1 0 14319761 16785408 3708 4089446400 134512640 136422188 4289396720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 4098 3708 236 467 0 3629 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 16392

[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 12735
/proc/meminfo: memFree=30173716/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=16396 CPUtime=402.3
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 3846 0 0 0 30277 9953 0 0 25 0 1 0 14319761 16789504 3710 4089446400 134512640 136422188 4289396720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 4099 3710 236 467 0 3630 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 16396

[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 12737
/proc/meminfo: memFree=30173884/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=16396 CPUtime=462.3
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 3850 0 0 0 34808 11422 0 0 25 0 1 0 14319761 16789504 3710 4089446400 134512640 136422188 4289396720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 4099 3710 236 467 0 3630 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 16396

[startup+522.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 12739
/proc/meminfo: memFree=30173552/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=16792 CPUtime=522.3
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 3946 0 0 0 39386 12844 0 0 25 0 1 0 14319761 17195008 3806 4089446400 134512640 136422188 4289396720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 4198 3806 236 467 0 3729 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 16792

[startup+582.3 s]
/proc/loadavg: 2.05 2.00 1.91 3/179 12741
/proc/meminfo: memFree=30173592/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=16860 CPUtime=582.31
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 3981 0 0 0 44009 14222 0 0 25 0 1 0 14319761 17264640 3826 4089446400 134512640 136422188 4289396720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 4215 3826 236 467 0 3746 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 16860

[startup+642.301 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 12743
/proc/meminfo: memFree=30173632/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=16988 CPUtime=642.31
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 3997 0 0 0 48635 15596 0 0 25 0 1 0 14319761 17395712 3842 4089446400 134512640 136422188 4289396720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 4247 3842 236 467 0 3778 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 16988

[startup+702.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12743
/proc/meminfo: memFree=30173804/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=16988 CPUtime=702.31
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 4000 0 0 0 53240 16991 0 0 25 0 1 0 14319761 17395712 3845 4089446400 134512640 136422188 4289396720 18446744073709551615 134862172 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 4247 3845 236 467 0 3778 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 16988

[startup+762.305 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12745
/proc/meminfo: memFree=30173460/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=17200 CPUtime=762.31
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 4052 0 0 0 57834 18397 0 0 25 0 1 0 14319761 17612800 3897 4089446400 134512640 136422188 4289396720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 4300 3897 236 467 0 3831 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 17200

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12747
/proc/meminfo: memFree=30173508/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=17168 CPUtime=822.31
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 4074 0 0 0 62456 19775 0 0 25 0 1 0 14319761 17580032 3875 4089446400 134512640 136422188 4289396720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 4292 3875 236 467 0 3823 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 17168

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12752
/proc/meminfo: memFree=30171900/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=17096 CPUtime=882.31
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 4076 0 0 0 67070 21161 0 0 25 0 1 0 14319761 17506304 3877 4089446400 134512640 136422188 4289396720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 4274 3877 236 467 0 3805 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 17096

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12754
/proc/meminfo: memFree=30172116/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=17176 CPUtime=942.32
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 4123 0 0 0 71636 22596 0 0 25 0 1 0 14319761 17588224 3905 4089446400 134512640 136422188 4289396720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 4294 3905 236 467 0 3825 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 17176

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

[startup+947.106 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12754
/proc/meminfo: memFree=30172344/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=17176 CPUtime=947.12
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 4123 0 0 0 72001 22711 0 0 25 0 1 0 14319761 17588224 3905 4089446400 134512640 136422188 4289396720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 4294 3905 236 467 0 3825 0
Current children cumulated CPU time (s) 947.12
Current children cumulated vsize (KiB) 17176

[startup+959.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12754
/proc/meminfo: memFree=30172324/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=17176 CPUtime=959.91
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 4123 0 0 0 72968 23023 0 0 25 0 1 0 14319761 17588224 3905 4089446400 134512640 136422188 4289396720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 4294 3905 236 467 0 3825 0
Current children cumulated CPU time (s) 959.91
Current children cumulated vsize (KiB) 17176

[startup+963.101 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12754
/proc/meminfo: memFree=30172324/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=17176 CPUtime=963.11
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 4123 0 0 0 73212 23099 0 0 25 0 1 0 14319761 17588224 3905 4089446400 134512640 136422188 4289396720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 4294 3905 236 467 0 3825 0
Current children cumulated CPU time (s) 963.11
Current children cumulated vsize (KiB) 17176

[startup+966.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12754
/proc/meminfo: memFree=30172324/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=17176 CPUtime=966.31
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 4123 0 0 0 73457 23174 0 0 25 0 1 0 14319761 17588224 3905 4089446400 134512640 136422188 4289396720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 4294 3905 236 467 0 3825 0
Current children cumulated CPU time (s) 966.31
Current children cumulated vsize (KiB) 17176

[startup+967.1 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12754
/proc/meminfo: memFree=30172324/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=17176 CPUtime=967.12
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 4123 0 0 0 73519 23193 0 0 25 0 1 0 14319761 17588224 3905 4089446400 134512640 136422188 4289396720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 4294 3905 236 467 0 3825 0
Current children cumulated CPU time (s) 967.12
Current children cumulated vsize (KiB) 17176

[startup+967.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12754
/proc/meminfo: memFree=30172320/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=17176 CPUtime=967.92
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 4123 0 0 0 73579 23213 0 0 25 0 1 0 14319761 17588224 3905 4089446400 134512640 136422188 4289396720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 4294 3905 236 467 0 3825 0
Current children cumulated CPU time (s) 967.92
Current children cumulated vsize (KiB) 17176

[startup+968.101 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12754
/proc/meminfo: memFree=30172320/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=17176 CPUtime=968.11
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 4123 0 0 0 73594 23217 0 0 25 0 1 0 14319761 17588224 3905 4089446400 134512640 136422188 4289396720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 4294 3905 236 467 0 3825 0
Current children cumulated CPU time (s) 968.11
Current children cumulated vsize (KiB) 17176

[startup+968.201 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12754
/proc/meminfo: memFree=30172320/32950928 swapFree=67111528/67111528
[pid=12724] ppid=12722 vsize=17176 CPUtime=968.22
/proc/12724/stat : 12724 (pbct) R 12722 12724 12450 0 -1 4202496 4123 0 0 0 73602 23220 0 0 25 0 1 0 14319761 17588224 3905 4089446400 134512640 136422188 4289396720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12724/statm: 4294 3905 236 467 0 3825 0
Current children cumulated CPU time (s) 968.22
Current children cumulated vsize (KiB) 17176

Child status: 0
Real time (s): 968.232
CPU time (s): 968.255
CPU user time (s): 736.049
CPU system time (s): 232.206
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 17356

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

runsolver used 1.35179 second user time and 3.05653 second system time

The end

Launcher Data 

Begin job on node125 at 2010-07-07 02:04:20
IDJOB=2699461
IDBENCH=78977
IDSOLVER=1212
FILE ID=node125/2699461-1278461059
PBS_JOBID= 11233742
Free space on /tmp= 73628 MiB

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

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

MD5SUM BENCH= ccbb2f2628d7a379eab2ad56e88b2a24
RANDOM SEED=1791035643

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30189500 kB
Buffers:        106636 kB
Cached:        2438132 kB
SwapCached:          0 kB
Active:         708176 kB
Inactive:      1912268 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30189500 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4128 kB
Writeback:           0 kB
AnonPages:       75464 kB
Mapped:          15448 kB
Slab:            77920 kB
PageTables:       5220 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   217332 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= 73628 MiB
End job on node125 at 2010-07-07 02:20:28