Trace number 3728829

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
pwbo 2.02MSAT (TO) 1800.16 900.452

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900568706--soft-0-100-0.wbo
MD5SUM6afd7eef78419a10c166bbe4bb320384
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark37.9872
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 135280
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135279
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 711
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                     2.02 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing wbo file format. File HOME/instance-3728829-1338674713.wbo.
0.00/0.00	c Instance file HOME/instance-3728829-1338674713.wbo
0.00/0.00	c File size is 96755 bytes.
0.00/0.01	c Highest Coefficient sum: 711
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      2938                                                |
0.00/0.01	c |  Number Clauses:        2684                                                |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 23                                                  |
0.00/0.01	c |                                                                             |
0.00/0.02	c |  Problem Type:          Optimization                                        |
0.00/0.02	c |  Objective Function:    PB Constraint                                       |
0.00/0.02	c |                                                                             |
0.00/0.02	c ===============================================================================
1800.16/900.31	o 826
1800.16/900.31	o 758
1800.16/900.31	o 441
1800.16/900.31	o 404
1800.16/900.31	o 399
1800.16/900.31	o 392
1800.16/900.31	o 386
1800.16/900.31	o 359
1800.16/900.31	o 356
1800.16/900.31	o 334
1800.16/900.31	o 315
1800.16/900.31	o 311
1800.16/900.31	o 301
1800.16/900.31	o 287
1800.16/900.31	o 266
1800.16/900.31	o 260
1800.16/900.31	o 253
1800.16/900.31	o 247
1800.16/900.31	o 226
1800.16/900.31	o 210
1800.16/900.31	o 192
1800.16/900.31	o 190
1800.16/900.31	o 182
1800.16/900.31	o 175
1800.16/900.31	o 170
1800.16/900.31	o 169
1800.16/900.31	o 151
1800.16/900.31	o 140
1800.16/900.31	o 136
1800.16/900.31	o 112
1800.16/900.31	o 105
1800.16/900.31	o 97
1800.16/900.31	o 94
1800.16/900.31	o 86
1800.16/900.31	o 82
1800.16/900.31	o 81
1800.16/900.31	o 55
1800.16/900.31	o 49
1800.16/900.31	o 46
1800.16/900.31	o 42
1800.16/900.31	o 39
1800.16/900.31	o 35
1800.16/900.31	o 33
1800.16/900.31	o 26
1800.16/900.31	o 25
1800.16/900.31	o 21
1800.16/900.31	o 17
1800.16/900.31	o 12
1800.16/900.31	o 9
1800.16/900.31	o 5
1800.16/900.31	o 4
1800.16/900.31	o 2
1800.16/900.31	o 1
1800.16/900.31	c ===============================================================================
1800.16/900.31	c Wall Clock Time: 900.31 s
1800.16/900.31	c Best Solution: 1
1800.16/900.31	s SATISFIABLE
1800.16/900.31	v -x1 x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231

Verifier Data 

OK	1

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3728829-1338674713/watcher-3728829-1338674713 -o /tmp/evaluation-result-3728829-1338674713/solver-3728829-1338674713 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728829-1338674713.wbo 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 6225
/proc/meminfo: memFree=29210572/32873844 swapFree=7620/7620
[pid=6225] ppid=6221 vsize=4432 CPUtime=0 cores=1,3,5,7
/proc/6225/stat : 6225 (pwbo2.02) R 6221 6225 5748 0 -1 4202496 403 0 0 0 0 0 0 0 20 0 1 0 333596082 4538368 356 33554432000 4194304 5964478 140733358059712 140735830849032 4395199 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/6225/statm: 1108 356 164 433 0 648 0

[startup+0.042958 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 6225
/proc/meminfo: memFree=29210572/32873844 swapFree=7620/7620
[pid=6225] ppid=6221 vsize=164272 CPUtime=0.05 cores=1,3,5,7
/proc/6225/stat : 6225 (pwbo2.02) S 6221 6225 5748 0 -1 4202496 2309 0 0 0 5 0 0 0 20 0 3 0 333596082 168214528 1934 33554432000 4194304 5964478 140733358059712 140733358059232 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6225/statm: 41068 1934 198 433 0 40632 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 164272

[startup+0.100186 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 6225
/proc/meminfo: memFree=29210572/32873844 swapFree=7620/7620
[pid=6225] ppid=6221 vsize=164272 CPUtime=0.16 cores=1,3,5,7
/proc/6225/stat : 6225 (pwbo2.02) S 6221 6225 5748 0 -1 4202496 3530 0 0 0 16 0 0 0 20 0 3 0 333596082 168214528 2557 33554432000 4194304 5964478 140733358059712 140733358059232 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6225/statm: 41068 2557 198 433 0 40632 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 164272

[startup+0.300131 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 6225
/proc/meminfo: memFree=29210572/32873844 swapFree=7620/7620
[pid=6225] ppid=6221 vsize=164272 CPUtime=0.57 cores=1,3,5,7
/proc/6225/stat : 6225 (pwbo2.02) S 6221 6225 5748 0 -1 4202496 5571 0 0 0 56 1 0 0 20 0 3 0 333596082 168214528 3491 33554432000 4194304 5964478 140733358059712 140733358059232 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6225/statm: 41068 3491 198 433 0 40632 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 164272

[startup+0.700144 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 6225
/proc/meminfo: memFree=29210572/32873844 swapFree=7620/7620
[pid=6225] ppid=6221 vsize=164272 CPUtime=1.36 cores=1,3,5,7
/proc/6225/stat : 6225 (pwbo2.02) S 6221 6225 5748 0 -1 4202496 7559 0 0 0 135 1 0 0 20 0 3 0 333596082 168214528 4681 33554432000 4194304 5964478 140733358059712 140733358059232 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6225/statm: 41068 4681 198 433 0 40632 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 164272

[startup+1.50027 s]
/proc/loadavg: 2.02 2.01 2.00 6/182 6231
/proc/meminfo: memFree=29170132/32873844 swapFree=7620/7620
[pid=6225] ppid=6221 vsize=164272 CPUtime=2.96 cores=1,3,5,7
/proc/6225/stat : 6225 (pwbo2.02) S 6221 6225 5748 0 -1 4202496 9985 0 0 0 294 2 0 0 20 0 3 0 333596082 168214528 6159 33554432000 4194304 5964478 140733358059712 140733358059232 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6225/statm: 41068 6159 198 433 0 40632 0
[pid=6225/tid=6228] ppid=6221 vsize=164272 CPUtime=1.46 cores=1,3,5,7
/proc/6225/task/6228/stat : 6228 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 3237 0 0 0 146 0 0 0 20 0 3 0 333596083 168214528 6159 33554432000 4194304 5964478 140733358059712 139940557920248 4400784 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6225/tid=6229] ppid=6221 vsize=164272 CPUtime=1.47 cores=1,3,5,7
/proc/6225/task/6229/stat : 6229 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 5658 0 0 0 146 1 0 0 20 0 3 0 333596083 168214528 6159 33554432000 4194304 5964478 140733358059712 139940547430920 4403677 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 164272

[startup+3.10026 s]
/proc/loadavg: 2.18 2.04 2.01 6/182 6231
/proc/meminfo: memFree=29155112/32873844 swapFree=7620/7620
[pid=6225] ppid=6221 vsize=164272 CPUtime=6.16 cores=1,3,5,7
/proc/6225/stat : 6225 (pwbo2.02) S 6221 6225 5748 0 -1 4202496 13572 0 0 0 613 3 0 0 20 0 3 0 333596082 168214528 9532 33554432000 4194304 5964478 140733358059712 140733358059232 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6225/statm: 41068 9532 198 433 0 40632 0
[pid=6225/tid=6228] ppid=6221 vsize=164272 CPUtime=3.05 cores=1,3,5,7
/proc/6225/task/6228/stat : 6228 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 6056 0 0 0 304 1 0 0 20 0 3 0 333596083 168214528 9532 33554432000 4194304 5964478 140733358059712 139940557920248 4400091 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6225/tid=6229] ppid=6221 vsize=164272 CPUtime=3.06 cores=1,3,5,7
/proc/6225/task/6229/stat : 6229 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 6426 0 0 0 305 1 0 0 20 0 3 0 333596083 168214528 9532 33554432000 4194304 5964478 140733358059712 139940547430696 4400024 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 164272

[startup+6.30029 s]
/proc/loadavg: 2.18 2.04 2.01 6/182 6231
/proc/meminfo: memFree=29103164/32873844 swapFree=7620/7620
[pid=6225] ppid=6221 vsize=164272 CPUtime=12.56 cores=1,3,5,7
/proc/6225/stat : 6225 (pwbo2.02) S 6221 6225 5748 0 -1 4202496 21075 0 0 0 1251 5 0 0 20 0 3 0 333596082 168214528 16520 33554432000 4194304 5964478 140733358059712 140733358059232 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6225/statm: 41068 16520 198 433 0 40632 0
[pid=6225/tid=6228] ppid=6221 vsize=164272 CPUtime=6.25 cores=1,3,5,7
/proc/6225/task/6228/stat : 6228 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 12521 0 0 0 622 3 0 0 20 0 3 0 333596083 168214528 16520 33554432000 4194304 5964478 140733358059712 139940557920248 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6225/tid=6229] ppid=6221 vsize=164272 CPUtime=6.25 cores=1,3,5,7
/proc/6225/task/6229/stat : 6229 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 7464 0 0 0 624 1 0 0 20 0 3 0 333596083 168214528 16520 33554432000 4194304 5964478 140733358059712 139940547431064 4400435 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 164272

[startup+12.7003 s]
/proc/loadavg: 2.46 2.10 2.03 6/182 6231
/proc/meminfo: memFree=28938828/32873844 swapFree=7620/7620
[pid=6225] ppid=6221 vsize=230204 CPUtime=25.36 cores=1,3,5,7
/proc/6225/stat : 6225 (pwbo2.02) S 6221 6225 5748 0 -1 4202496 38781 0 0 0 2525 11 0 0 20 0 3 0 333596082 235728896 33925 33554432000 4194304 5964478 140733358059712 140733358059232 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6225/statm: 57551 33925 198 433 0 57115 0
[pid=6225/tid=6228] ppid=6221 vsize=230204 CPUtime=12.63 cores=1,3,5,7
/proc/6225/task/6228/stat : 6228 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 28417 0 0 0 1255 8 0 0 20 0 3 0 333596083 235728896 33925 33554432000 4194304 5964478 140733358059712 139940557920248 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6225/tid=6229] ppid=6221 vsize=230204 CPUtime=12.64 cores=1,3,5,7
/proc/6225/task/6229/stat : 6229 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 9274 0 0 0 1262 2 0 0 20 0 3 0 333596083 235728896 33925 33554432000 4194304 5964478 140733358059712 139940547430712 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 230204

[startup+25.5003 s]
/proc/loadavg: 2.69 2.17 2.05 6/183 6232
/proc/meminfo: memFree=28645800/32873844 swapFree=7620/7620
[pid=6225] ppid=6221 vsize=296696 CPUtime=50.94 cores=1,3,5,7
/proc/6225/stat : 6225 (pwbo2.02) S 6221 6225 5748 0 -1 4202496 66250 0 0 0 5074 20 0 0 20 0 3 0 333596082 303816704 61564 33554432000 4194304 5964478 140733358059712 140733358059232 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6225/statm: 74174 61564 198 433 0 73738 0
[pid=6225/tid=6228] ppid=6221 vsize=296696 CPUtime=25.39 cores=1,3,5,7
/proc/6225/task/6228/stat : 6228 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 43600 0 0 0 2526 13 0 0 20 0 3 0 333596083 303816704 61564 33554432000 4194304 5964478 140733358059712 139940557920248 4400078 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=6225/tid=6229] ppid=6221 vsize=296696 CPUtime=25.39 cores=1,3,5,7
/proc/6225/task/6229/stat : 6229 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 21560 0 0 0 2532 7 0 0 20 0 3 0 333596083 303816704 61564 33554432000 4194304 5964478 140733358059712 139940547430816 4403717 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 296696

[startup+51.1003 s]
/proc/loadavg: 3.14 2.31 2.10 6/183 6232
/proc/meminfo: memFree=28356972/32873844 swapFree=7620/7620
[pid=6225] ppid=6221 vsize=496036 CPUtime=102.12 cores=1,3,5,7
/proc/6225/stat : 6225 (pwbo2.02) S 6221 6225 5748 0 -1 4202496 106420 0 0 0 10179 33 0 0 20 0 3 0 333596082 507940864 101718 33554432000 4194304 5964478 140733358059712 140733358059232 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6225/statm: 124009 101718 198 433 0 123573 0
[pid=6225/tid=6228] ppid=6221 vsize=496036 CPUtime=50.91 cores=1,3,5,7
/proc/6225/task/6228/stat : 6228 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 64189 0 0 0 5071 20 0 0 20 0 3 0 333596083 507940864 101718 33554432000 4194304 5964478 140733358059712 139940557920160 4400678 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6225/tid=6229] ppid=6221 vsize=496036 CPUtime=50.91 cores=1,3,5,7
/proc/6225/task/6229/stat : 6229 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 41141 0 0 0 5079 12 0 0 20 0 3 0 333596083 507940864 101718 33554432000 4194304 5964478 140733358059712 139940547430624 4400787 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 496036

[startup+102.307 s]
/proc/loadavg: 3.65 2.59 2.20 6/183 6232
/proc/meminfo: memFree=28011304/32873844 swapFree=7620/7620
[pid=6225] ppid=6221 vsize=693700 CPUtime=204.49 cores=1,3,5,7
/proc/6225/stat : 6225 (pwbo2.02) S 6221 6225 5748 0 -1 4202496 155707 0 0 0 20386 63 0 0 20 0 3 0 333596082 710348800 150979 33554432000 4194304 5964478 140733358059712 140733358059232 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6225/statm: 173425 150979 198 433 0 172989 0
[pid=6225/tid=6228] ppid=6221 vsize=693700 CPUtime=101.96 cores=1,3,5,7
/proc/6225/task/6228/stat : 6228 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 99498 0 0 0 10161 35 0 0 20 0 3 0 333596083 710348800 150979 33554432000 4194304 5964478 140733358059712 139940557920248 5136490 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6225/tid=6229] ppid=6221 vsize=693700 CPUtime=101.99 cores=1,3,5,7
/proc/6225/task/6229/stat : 6229 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 55119 0 0 0 10170 29 0 0 20 0 3 0 333596083 710348800 150979 33554432000 4194304 5964478 140733358059712 139940547430816 4400078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.49
Current children cumulated vsize (KiB) 693700

[startup+162.3 s]
/proc/loadavg: 3.87 2.85 2.31 6/183 6233
/proc/meminfo: memFree=27581324/32873844 swapFree=7620/7620
[pid=6225] ppid=6221 vsize=891692 CPUtime=324.43 cores=1,3,5,7
/proc/6225/stat : 6225 (pwbo2.02) S 6221 6225 5748 0 -1 4202496 193634 0 0 0 32365 78 0 0 20 0 3 0 333596082 913092608 190546 33554432000 4194304 5964478 140733358059712 140733358059232 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6225/statm: 222923 190546 198 433 0 222487 0
[pid=6225/tid=6228] ppid=6221 vsize=891692 CPUtime=161.78 cores=1,3,5,7
/proc/6225/task/6228/stat : 6228 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 116074 0 0 0 16135 43 0 0 20 0 3 0 333596083 913092608 190546 33554432000 4194304 5964478 140733358059712 139940557920160 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6225/tid=6229] ppid=6221 vsize=891692 CPUtime=161.83 cores=1,3,5,7
/proc/6225/task/6229/stat : 6229 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 76470 0 0 0 16145 38 0 0 20 0 3 0 333596083 913092608 190546 33554432000 4194304 5964478 140733358059712 139940547430712 4400067 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.43
Current children cumulated vsize (KiB) 891692

[startup+222.3 s]
/proc/loadavg: 3.95 3.05 2.42 6/183 6233
/proc/meminfo: memFree=27229628/32873844 swapFree=7620/7620
[pid=6225] ppid=6221 vsize=1089012 CPUtime=444.4 cores=1,3,5,7
/proc/6225/stat : 6225 (pwbo2.02) S 6221 6225 5748 0 -1 4202496 248722 0 0 0 44329 111 0 0 20 0 3 0 333596082 1115148288 245626 33554432000 4194304 5964478 140733358059712 140733358059232 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6225/statm: 272253 245626 198 433 0 271817 0
[pid=6225/tid=6228] ppid=6221 vsize=1089012 CPUtime=221.62 cores=1,3,5,7
/proc/6225/task/6228/stat : 6228 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 158395 0 0 0 22097 65 0 0 20 0 3 0 333596083 1115148288 245626 33554432000 4194304 5964478 140733358059712 139940557920248 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6225/tid=6229] ppid=6221 vsize=1089012 CPUtime=221.67 cores=1,3,5,7
/proc/6225/task/6229/stat : 6229 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 89237 0 0 0 22116 51 0 0 20 0 3 0 333596083 1115148288 245626 33554432000 4194304 5964478 140733358059712 139940547430472 4400078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.4
Current children cumulated vsize (KiB) 1089012

[startup+282.3 s]
/proc/loadavg: 3.98 3.22 2.51 6/183 6233
/proc/meminfo: memFree=26968636/32873844 swapFree=7620/7620
[pid=6225] ppid=6221 vsize=1221612 CPUtime=564.38 cores=1,3,5,7
/proc/6225/stat : 6225 (pwbo2.02) S 6221 6225 5748 0 -1 4202496 299145 0 0 0 56288 150 0 0 20 0 3 0 333596082 1250930688 296049 33554432000 4194304 5964478 140733358059712 140733358059232 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6225/statm: 305403 296049 198 433 0 304967 0
[pid=6225/tid=6228] ppid=6221 vsize=1221612 CPUtime=281.47 cores=1,3,5,7
/proc/6225/task/6228/stat : 6228 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 194532 0 0 0 28060 87 0 0 20 0 3 0 333596083 1250930688 296049 33554432000 4194304 5964478 140733358059712 139940557920248 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6225/tid=6229] ppid=6221 vsize=1221612 CPUtime=281.52 cores=1,3,5,7
/proc/6225/task/6229/stat : 6229 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 103523 0 0 0 28081 71 0 0 20 0 3 0 333596083 1250930688 296049 33554432000 4194304 5964478 140733358059712 139940547430472 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.38
Current children cumulated vsize (KiB) 1221612

[startup+342.3 s]
/proc/loadavg: 4.07 3.39 2.61 6/184 6236
/proc/meminfo: memFree=26737520/32873844 swapFree=7620/7620
[pid=6225] ppid=6221 vsize=1418792 CPUtime=684.36 cores=1,3,5,7
/proc/6225/stat : 6225 (pwbo2.02) S 6221 6225 5748 0 -1 4202496 336907 0 0 0 68261 175 0 0 20 0 3 0 333596082 1452843008 333811 33554432000 4194304 5964478 140733358059712 140733358059232 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6225/statm: 354698 333811 198 433 0 354262 0

################
# More data... #
################

Current children cumulated CPU time (s) 1044.31
Current children cumulated vsize (KiB) 1551788

[startup+582.3 s]
/proc/loadavg: 4.00 3.72 2.92 6/183 6237
/proc/meminfo: memFree=26135000/32873844 swapFree=7620/7620
[pid=6225] ppid=6221 vsize=1683336 CPUtime=1164.29 cores=1,3,5,7
/proc/6225/stat : 6225 (pwbo2.02) S 6221 6225 5748 0 -1 4202496 396132 0 0 0 116195 234 0 0 20 0 3 0 333596082 1723736064 393036 33554432000 4194304 5964478 140733358059712 140733358059232 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6225/statm: 420834 393036 198 433 0 420398 0
[pid=6225/tid=6228] ppid=6221 vsize=1683336 CPUtime=580.7 cores=1,3,5,7
/proc/6225/task/6228/stat : 6228 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 231794 0 0 0 57959 111 0 0 20 0 3 0 333596083 1723736064 393036 33554432000 4194304 5964478 140733358059712 139940557920248 4400097 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6225/tid=6229] ppid=6221 vsize=1683336 CPUtime=580.75 cores=1,3,5,7
/proc/6225/task/6229/stat : 6229 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 163248 0 0 0 57937 138 0 0 20 0 3 0 333596083 1723736064 393036 33554432000 4194304 5964478 140733358059712 139940547430712 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.29
Current children cumulated vsize (KiB) 1683336

[startup+642.3 s]
/proc/loadavg: 4.00 3.77 2.98 6/183 6237
/proc/meminfo: memFree=26028884/32873844 swapFree=7620/7620
[pid=6225] ppid=6221 vsize=1749012 CPUtime=1284.29 cores=1,3,5,7
/proc/6225/stat : 6225 (pwbo2.02) S 6221 6225 5748 0 -1 4202496 421838 0 0 0 128178 251 0 0 20 0 3 0 333596082 1790988288 418742 33554432000 4194304 5964478 140733358059712 140733358059232 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6225/statm: 437253 418742 198 433 0 436817 0
[pid=6225/tid=6228] ppid=6221 vsize=1749012 CPUtime=640.56 cores=1,3,5,7
/proc/6225/task/6228/stat : 6228 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 257453 0 0 0 63927 129 0 0 20 0 3 0 333596083 1790988288 418742 33554432000 4194304 5964478 140733358059712 139940557920248 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6225/tid=6229] ppid=6221 vsize=1749012 CPUtime=640.61 cores=1,3,5,7
/proc/6225/task/6229/stat : 6229 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 163295 0 0 0 63922 139 0 0 20 0 3 0 333596083 1790988288 418742 33554432000 4194304 5964478 140733358059712 139940547430472 4400089 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.29
Current children cumulated vsize (KiB) 1749012

[startup+702.3 s]
/proc/loadavg: 4.00 3.81 3.04 6/183 6237
/proc/meminfo: memFree=25904168/32873844 swapFree=7620/7620
[pid=6225] ppid=6221 vsize=1880368 CPUtime=1404.26 cores=1,3,5,7
/proc/6225/stat : 6225 (pwbo2.02) S 6221 6225 5748 0 -1 4202496 443872 0 0 0 140158 268 0 0 20 0 3 0 333596082 1925496832 440776 33554432000 4194304 5964478 140733358059712 140733358059232 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6225/statm: 470092 440776 198 433 0 469656 0
[pid=6225/tid=6228] ppid=6221 vsize=1880368 CPUtime=700.4 cores=1,3,5,7
/proc/6225/task/6228/stat : 6228 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 279423 0 0 0 69894 146 0 0 20 0 3 0 333596083 1925496832 440776 33554432000 4194304 5964478 140733358059712 139940557920248 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6225/tid=6229] ppid=6221 vsize=1880368 CPUtime=700.44 cores=1,3,5,7
/proc/6225/task/6229/stat : 6229 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 163359 0 0 0 69903 141 0 0 20 0 3 0 333596083 1925496832 440776 33554432000 4194304 5964478 140733358059712 139940547430472 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.26
Current children cumulated vsize (KiB) 1880368

[startup+762.307 s]
/proc/loadavg: 4.00 3.84 3.10 6/183 6238
/proc/meminfo: memFree=25499608/32873844 swapFree=7620/7620
[pid=6225] ppid=6221 vsize=2011728 CPUtime=1524.24 cores=1,3,5,7
/proc/6225/stat : 6225 (pwbo2.02) S 6221 6225 5748 0 -1 4202496 484897 0 0 0 152123 301 0 0 20 0 3 0 333596082 2060009472 481801 33554432000 4194304 5964478 140733358059712 140733358059232 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6225/statm: 502932 481801 198 433 0 502496 0
[pid=6225/tid=6228] ppid=6221 vsize=2011728 CPUtime=760.25 cores=1,3,5,7
/proc/6225/task/6228/stat : 6228 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 302735 0 0 0 75864 161 0 0 20 0 3 0 333596083 2060009472 481804 33554432000 4194304 5964478 140733358059712 139940557920248 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6225/tid=6229] ppid=6221 vsize=2011728 CPUtime=760.3 cores=1,3,5,7
/proc/6225/task/6229/stat : 6229 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 181075 0 0 0 75868 162 0 0 20 0 3 0 333596083 2060009472 481804 33554432000 4194304 5964478 140733358059712 139940547430712 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.24
Current children cumulated vsize (KiB) 2011728

[startup+822.3 s]
/proc/loadavg: 4.00 3.87 3.15 6/183 6238
/proc/meminfo: memFree=25156564/32873844 swapFree=7620/7620
[pid=6225] ppid=6221 vsize=2208524 CPUtime=1644.2 cores=1,3,5,7
/proc/6225/stat : 6225 (pwbo2.02) S 6221 6225 5748 0 -1 4202496 537524 0 0 0 164069 351 0 0 20 0 3 0 333596082 2261528576 534748 33554432000 4194304 5964478 140733358059712 140733358059232 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6225/statm: 552131 534748 198 433 0 551695 0
[pid=6225/tid=6228] ppid=6221 vsize=2208524 CPUtime=820.08 cores=1,3,5,7
/proc/6225/task/6228/stat : 6228 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 327243 0 0 0 81833 175 0 0 20 0 3 0 333596083 2261528576 534748 33554432000 4194304 5964478 140733358059712 139940557920248 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6225/tid=6229] ppid=6221 vsize=2208524 CPUtime=820.13 cores=1,3,5,7
/proc/6225/task/6229/stat : 6229 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 209191 0 0 0 81814 199 0 0 20 0 3 0 333596083 2261528576 534748 33554432000 4194304 5964478 140733358059712 139940547430712 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.2
Current children cumulated vsize (KiB) 2208524

[startup+882.3 s]
/proc/loadavg: 4.00 3.89 3.20 6/183 6238
/proc/meminfo: memFree=24930292/32873844 swapFree=7620/7620
[pid=6225] ppid=6221 vsize=2275012 CPUtime=1764.16 cores=1,3,5,7
/proc/6225/stat : 6225 (pwbo2.02) S 6221 6225 5748 0 -1 4202496 555522 0 0 0 176049 367 0 0 20 0 3 0 333596082 2329612288 552717 33554432000 4194304 5964478 140733358059712 140733358059232 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6225/statm: 568753 552717 198 433 0 568317 0
[pid=6225/tid=6228] ppid=6221 vsize=2275012 CPUtime=879.92 cores=1,3,5,7
/proc/6225/task/6228/stat : 6228 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 337367 0 0 0 87810 182 0 0 20 0 3 0 333596083 2329612288 552717 33554432000 4194304 5964478 140733358059712 139940557920352 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6225/tid=6229] ppid=6221 vsize=2275012 CPUtime=879.95 cores=1,3,5,7
/proc/6225/task/6229/stat : 6229 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 217065 0 0 0 87784 211 0 0 20 0 3 0 333596083 2329612288 552717 33554432000 4194304 5964478 140733358059712 139940547430624 4400103 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1764.16
Current children cumulated vsize (KiB) 2275012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.00 3.89 3.22 5/184 6241
/proc/meminfo: memFree=24889332/32873844 swapFree=7620/7620
[pid=6225] ppid=6221 vsize=2275012 CPUtime=1800.16 cores=1,3,5,7
/proc/6225/stat : 6225 (pwbo2.02) S 6221 6225 5748 0 -1 4202496 555523 0 0 0 179649 367 0 0 20 0 3 0 333596082 2329612288 552740 33554432000 4194304 5964478 140733358059712 140733358059232 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6225/statm: 568753 552740 198 433 0 568317 0
[pid=6225/tid=6228] ppid=6221 vsize=2275012 CPUtime=897.88 cores=1,3,5,7
/proc/6225/task/6228/stat : 6228 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 337368 0 0 0 89606 182 0 0 20 0 3 0 333596083 2329612288 552740 33554432000 4194304 5964478 140733358059712 139940557920352 4409635 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6225/tid=6229] ppid=6221 vsize=2275012 CPUtime=897.91 cores=1,3,5,7
/proc/6225/task/6229/stat : 6229 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 217065 0 0 0 89580 211 0 0 20 0 3 0 333596083 2329612288 552740 33554432000 4194304 5964478 140733358059712 139940547430624 4388205 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 2275012

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

############
# WARNING:
# current cumulated CPU time (1798.11 s) is less than in the last sample (1800.16 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (2.05005 s) to the 'lost time'.

[startup+900.3 s]
/proc/loadavg: 4.00 3.89 3.22 5/184 6241
/proc/meminfo: memFree=24889332/32873844 swapFree=7620/7620
[pid=6225] ppid=6221 vsize=2275012 CPUtime=1800.16 cores=1,3,5,7
/proc/6225/stat : 6225 (pwbo2.02) S 6221 6225 5748 0 -1 4202496 555523 0 0 0 179649 367 0 0 20 0 3 0 333596082 2329612288 552740 33554432000 4194304 5964478 140733358059712 140733358059232 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6225/statm: 568753 552740 198 433 0 568317 0
[pid=6225/tid=6228] ppid=6221 vsize=2275012 CPUtime=897.88 cores=1,3,5,7
/proc/6225/task/6228/stat : 6228 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 337368 0 0 0 89606 182 0 0 20 0 3 0 333596083 2329612288 552740 33554432000 4194304 5964478 140733358059712 139940557920352 4409635 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=6225/tid=6229] ppid=6221 vsize=2275012 CPUtime=897.91 cores=1,3,5,7
/proc/6225/task/6229/stat : 6229 (pwbo2.02) R 6221 6225 5748 0 -1 4202560 217065 0 0 0 89580 211 0 0 20 0 3 0 333596083 2329612288 552740 33554432000 4194304 5964478 140733358059712 139940547430624 4388205 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 2275012

[startup+900.412 s]
/proc/loadavg: 4.00 3.89 3.22 5/184 6241
/proc/meminfo: memFree=24889332/32873844 swapFree=7620/7620
[pid=6225] ppid=6221 vsize=0 CPUtime=1798.11 cores=1,3,5,7
/proc/6225/stat : 6225 (pwbo2.02) Z 6221 6225 5748 0 -1 4202508 555524 0 0 0 179420 391 0 0 20 0 2 0 333596082 0 0 33554432000 0 0 0 0 0 0 16384 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6225/statm: 0 0 0 0 0 0 0
[pid=6225/tid=6228] ppid=6221 vsize=0 CPUtime=897.98 cores=1,3,5,7
/proc/6225/task/6228/stat : 6228 (pwbo2.02) R 6221 6225 5748 0 -1 4203588 337368 0 0 0 89606 192 0 0 20 0 2 0 333596083 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.11
Current children cumulated vsize (KiB) 0
#
############


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

[startup+900.412 s]
/proc/loadavg: 4.00 3.89 3.22 5/184 6241
/proc/meminfo: memFree=24889332/32873844 swapFree=7620/7620
[pid=6225] ppid=6221 vsize=0 CPUtime=1798.11 cores=1,3,5,7
/proc/6225/stat : 6225 (pwbo2.02) Z 6221 6225 5748 0 -1 4202508 555524 0 0 0 179420 391 0 0 20 0 2 0 333596082 0 0 33554432000 0 0 0 0 0 0 16384 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6225/statm: 0 0 0 0 0 0 0
[pid=6225/tid=6228] ppid=6221 vsize=0 CPUtime=897.98 cores=1,3,5,7
/proc/6225/task/6228/stat : 6228 (pwbo2.02) R 6221 6225 5748 0 -1 4203588 337368 0 0 0 89606 192 0 0 20 0 2 0 333596083 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.11
Current children cumulated vsize (KiB) 0

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6225 and gives
#  childrusage.ru_utime.tv_sec=1791
#  childrusage.ru_utime.tv_usec=886591
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=91378
# CPU time returned by wait4() is 1795.98
# while last known CPU time is 1798.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 2.05005
#  lost CPU user time (s): 2.29004
#  lost CPU system time (s): -0.24

Real time (s): 900.452
CPU time (s): 1800.16
CPU user time (s): 1796.49
CPU system time (s): 3.67
CPU usage (%): 199.917
Max. virtual memory (cumulated for all children) (KiB): 2275012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.89
system time used= 4.09138
maximum resident set size= 2210964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 555524
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= 782
involuntary context switches= 1979

runsolver used 1.9907 second user time and 5.43517 second system time

The end

Launcher Data 

Begin job on node135 at 2012-06-03 00:05:13
IDJOB=3728829
IDBENCH=79263
IDSOLVER=2316
FILE ID=node135/3728829-1338674713
RUNJOBID= node135-1338674713-6199
PBS_JOBID= 14636508
Free space on /tmp= 70980 MiB

SOLVER NAME= pwbo 2.02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900568706--soft-0-100-0.wbo
COMMAND LINE= pwbo2.02 -file-format=wbo -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3728829-1338674713/watcher-3728829-1338674713 -o /tmp/evaluation-result-3728829-1338674713/solver-3728829-1338674713 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728829-1338674713.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 6afd7eef78419a10c166bbe4bb320384
RANDOM SEED=2146858080

node135.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5238.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29212264 kB
Buffers:          345264 kB
Cached:          2465032 kB
SwapCached:         1676 kB
Active:          1129484 kB
Inactive:        1692300 kB
Active(anon):       1568 kB
Inactive(anon):    12048 kB
Active(file):    1127916 kB
Inactive(file):  1680252 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67105796 kB
Dirty:             10848 kB
Writeback:             0 kB
AnonPages:         17280 kB
Mapped:             9620 kB
Shmem:               132 kB
Slab:             699772 kB
SReclaimable:     141256 kB
SUnreclaim:       558516 kB
KernelStack:        1416 kB
PageTables:         3800 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     102912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70968 MiB
End job on node135 at 2012-06-03 00:20:15