Trace number 3712726

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.01OPTIMUM 857.97 429.259

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900544484--soft-0-100-0.wbo
MD5SUMe3f6753fad3114c64a2e1439cb62c0aa
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 benchmark23.2795
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 137946
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 137945
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 741
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.01 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing wbo file format. File HOME/instance-3712726-1338204018.wbo.
0.00/0.00	c Instance file HOME/instance-3712726-1338204018.wbo
0.00/0.00	c File size is 96781 bytes.
0.00/0.01	c Highest Coefficient sum: 741
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.01	c |  Problem Type:          Optimization                                        |
0.00/0.01	c |  Objective Function:    PB Constraint                                       |
0.00/0.01	c |                                                                             |
0.00/0.01	c ===============================================================================
857.97/429.15	o 464
857.97/429.15	o 455
857.97/429.15	o 433
857.97/429.15	o 424
857.97/429.15	o 359
857.97/429.15	o 350
857.97/429.15	o 291
857.97/429.15	o 287
857.97/429.15	o 277
857.97/429.15	o 264
857.97/429.15	o 256
857.97/429.15	o 232
857.97/429.15	o 229
857.97/429.15	o 221
857.97/429.15	o 218
857.97/429.15	o 215
857.97/429.15	o 194
857.97/429.15	o 187
857.97/429.15	o 186
857.97/429.15	o 172
857.97/429.15	o 171
857.97/429.15	o 166
857.97/429.15	o 163
857.97/429.15	o 158
857.97/429.15	o 146
857.97/429.15	o 131
857.97/429.15	o 129
857.97/429.15	o 125
857.97/429.15	o 115
857.97/429.15	o 110
857.97/429.15	o 97
857.97/429.15	o 90
857.97/429.15	o 86
857.97/429.15	o 82
857.97/429.15	o 74
857.97/429.15	o 68
857.97/429.15	o 58
857.97/429.15	o 55
857.97/429.15	o 54
857.97/429.15	o 50
857.97/429.15	o 43
857.97/429.15	o 42
857.97/429.15	o 38
857.97/429.15	o 23
857.97/429.15	o 19
857.97/429.15	o 15
857.97/429.15	o 14
857.97/429.15	o 13
857.97/429.15	o 11
857.97/429.15	o 10
857.97/429.15	o 8
857.97/429.15	o 5
857.97/429.15	o 3
857.97/429.15	o 1
857.97/429.15	c ===============================================================================
857.97/429.15	c Wall Clock Time: 429.16 s
857.97/429.15	c Best Solution: 1
857.97/429.15	s OPTIMUM FOUND
857.97/429.15	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-3712726-1338204018/watcher-3712726-1338204018 -o /tmp/evaluation-result-3712726-1338204018/solver-3712726-1338204018 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712726-1338204018.wbo 

running on 4 cores: 0,2,4,6

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: 3.84 3.97 3.99 4/179 22641
/proc/meminfo: memFree=30324324/32873844 swapFree=6080/6080
[pid=22641] ppid=22639 vsize=4572 CPUtime=0 cores=0,2,4,6
/proc/22641/stat : 22641 (pwbo2.01) R 22639 22641 20249 0 -1 4202496 437 0 0 0 0 0 0 0 20 0 1 0 286526406 4681728 389 33554432000 4194304 5964478 140737266223904 140737266222152 4395513 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/22641/statm: 1143 389 168 433 0 683 0

[startup+0.0488701 s]
/proc/loadavg: 3.84 3.97 3.99 4/179 22641
/proc/meminfo: memFree=30324324/32873844 swapFree=6080/6080
[pid=22641] ppid=22639 vsize=164272 CPUtime=0.07 cores=0,2,4,6
/proc/22641/stat : 22641 (pwbo2.01) S 22639 22641 20249 0 -1 4202496 2636 0 0 0 7 0 0 0 20 0 3 0 286526406 168214528 2212 33554432000 4194304 5964478 140737266223904 140737266223424 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22641/statm: 41068 2212 198 433 0 40632 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 164272

[startup+0.100182 s]
/proc/loadavg: 3.84 3.97 3.99 4/179 22641
/proc/meminfo: memFree=30324324/32873844 swapFree=6080/6080
[pid=22641] ppid=22639 vsize=164272 CPUtime=0.17 cores=0,2,4,6
/proc/22641/stat : 22641 (pwbo2.01) S 22639 22641 20249 0 -1 4202496 3196 0 0 0 16 1 0 0 20 0 3 0 286526406 168214528 2567 33554432000 4194304 5964478 140737266223904 140737266223424 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22641/statm: 41068 2567 198 433 0 40632 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 164272

[startup+0.300132 s]
/proc/loadavg: 3.84 3.97 3.99 4/179 22641
/proc/meminfo: memFree=30324324/32873844 swapFree=6080/6080
[pid=22641] ppid=22639 vsize=164272 CPUtime=0.57 cores=0,2,4,6
/proc/22641/stat : 22641 (pwbo2.01) S 22639 22641 20249 0 -1 4202496 5055 0 0 0 55 2 0 0 20 0 3 0 286526406 168214528 3611 33554432000 4194304 5964478 140737266223904 140737266223424 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22641/statm: 41068 3611 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: 3.84 3.97 3.99 4/179 22641
/proc/meminfo: memFree=30324324/32873844 swapFree=6080/6080
[pid=22641] ppid=22639 vsize=164272 CPUtime=1.37 cores=0,2,4,6
/proc/22641/stat : 22641 (pwbo2.01) S 22639 22641 20249 0 -1 4202496 7083 0 0 0 132 5 0 0 20 0 3 0 286526406 168214528 4824 33554432000 4194304 5964478 140737266223904 140737266223424 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22641/statm: 41068 4824 198 433 0 40632 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 164272

[startup+1.50026 s]
/proc/loadavg: 3.84 3.97 3.99 5/182 22644
/proc/meminfo: memFree=30300368/32873844 swapFree=6080/6080
[pid=22641] ppid=22639 vsize=164272 CPUtime=2.96 cores=0,2,4,6
/proc/22641/stat : 22641 (pwbo2.01) S 22639 22641 20249 0 -1 4202496 10324 0 0 0 289 7 0 0 20 0 3 0 286526406 168214528 6963 33554432000 4194304 5964478 140737266223904 140737266223424 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22641/statm: 41068 6963 198 433 0 40632 0
[pid=22641/tid=22643] ppid=22639 vsize=164272 CPUtime=1.46 cores=0,2,4,6
/proc/22641/task/22643/stat : 22643 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 3614 0 0 0 139 7 0 0 20 0 3 0 286526407 168214528 6963 33554432000 4194304 5964478 140737266223904 139689087326200 5136404 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22641/tid=22644] ppid=22639 vsize=164272 CPUtime=1.47 cores=0,2,4,6
/proc/22641/task/22644/stat : 22644 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 5618 0 0 0 147 0 0 0 20 0 3 0 286526407 168214528 6963 33554432000 4194304 5964478 140737266223904 139689076836808 4403692 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 164272

[startup+3.10027 s]
/proc/loadavg: 3.84 3.97 3.99 5/182 22644
/proc/meminfo: memFree=30289332/32873844 swapFree=6080/6080
[pid=22641] ppid=22639 vsize=164272 CPUtime=6.17 cores=0,2,4,6
/proc/22641/stat : 22641 (pwbo2.01) S 22639 22641 20249 0 -1 4202496 12322 0 0 0 609 8 0 0 20 0 3 0 286526406 168214528 8750 33554432000 4194304 5964478 140737266223904 140737266223424 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22641/statm: 41068 8750 198 433 0 40632 0
[pid=22641/tid=22643] ppid=22639 vsize=164272 CPUtime=3.05 cores=0,2,4,6
/proc/22641/task/22643/stat : 22643 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 4970 0 0 0 298 7 0 0 20 0 3 0 286526407 168214528 8750 33554432000 4194304 5964478 140737266223904 139689087326200 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22641/tid=22644] ppid=22639 vsize=164272 CPUtime=3.06 cores=0,2,4,6
/proc/22641/task/22644/stat : 22644 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 6260 0 0 0 306 0 0 0 20 0 3 0 286526407 168214528 8750 33554432000 4194304 5964478 140737266223904 139689076836872 4381699 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 164272

[startup+6.30028 s]
/proc/loadavg: 3.85 3.97 3.99 5/182 22644
/proc/meminfo: memFree=30254364/32873844 swapFree=6080/6080
[pid=22641] ppid=22639 vsize=164272 CPUtime=12.56 cores=0,2,4,6
/proc/22641/stat : 22641 (pwbo2.01) S 22639 22641 20249 0 -1 4202496 18671 0 0 0 1246 10 0 0 20 0 3 0 286526406 168214528 14790 33554432000 4194304 5964478 140737266223904 140737266223424 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22641/statm: 41068 14790 198 433 0 40632 0
[pid=22641/tid=22643] ppid=22639 vsize=164272 CPUtime=6.25 cores=0,2,4,6
/proc/22641/task/22643/stat : 22643 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 10432 0 0 0 616 9 0 0 20 0 3 0 286526407 168214528 14790 33554432000 4194304 5964478 140737266223904 139689087326200 4400075 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22641/tid=22644] ppid=22639 vsize=164272 CPUtime=6.25 cores=0,2,4,6
/proc/22641/task/22644/stat : 22644 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 7147 0 0 0 624 1 0 0 20 0 3 0 286526407 168214528 14790 33554432000 4194304 5964478 140737266223904 139689076837016 4220675 0 0 4096 16387 0 0 0 -1 4 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: 3.86 3.97 3.99 5/182 22644
/proc/meminfo: memFree=30175372/32873844 swapFree=6080/6080
[pid=22641] ppid=22639 vsize=230748 CPUtime=25.36 cores=0,2,4,6
/proc/22641/stat : 22641 (pwbo2.01) S 22639 22641 20249 0 -1 4202496 33469 0 0 0 2521 15 0 0 20 0 3 0 286526406 236285952 29588 33554432000 4194304 5964478 140737266223904 140737266223424 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22641/statm: 57687 29588 198 433 0 57251 0
[pid=22641/tid=22643] ppid=22639 vsize=230748 CPUtime=12.63 cores=0,2,4,6
/proc/22641/task/22643/stat : 22643 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 21347 0 0 0 1251 12 0 0 20 0 3 0 286526407 236285952 29588 33554432000 4194304 5964478 140737266223904 139689087326200 4388475 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22644] ppid=22639 vsize=230748 CPUtime=12.64 cores=0,2,4,6
/proc/22641/task/22644/stat : 22644 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 11030 0 0 0 1262 2 0 0 20 0 3 0 286526407 236285952 29588 33554432000 4194304 5964478 140737266223904 139689076836424 4400081 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 230748

[startup+25.5004 s]
/proc/loadavg: 3.89 3.97 3.99 5/182 22644
/proc/meminfo: memFree=29970632/32873844 swapFree=6080/6080
[pid=22641] ppid=22639 vsize=362508 CPUtime=50.95 cores=0,2,4,6
/proc/22641/stat : 22641 (pwbo2.01) S 22639 22641 20249 0 -1 4202496 74653 0 0 0 5070 25 0 0 20 0 3 0 286526406 371208192 70586 33554432000 4194304 5964478 140737266223904 140737266223424 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22641/statm: 90627 70586 198 433 0 90191 0
[pid=22641/tid=22643] ppid=22639 vsize=362508 CPUtime=25.39 cores=0,2,4,6
/proc/22641/task/22643/stat : 22643 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 46059 0 0 0 2520 19 0 0 20 0 3 0 286526407 371208192 70586 33554432000 4194304 5964478 140737266223904 139689087326200 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22644] ppid=22639 vsize=362508 CPUtime=25.4 cores=0,2,4,6
/proc/22641/task/22644/stat : 22644 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 27502 0 0 0 2535 5 0 0 20 0 3 0 286526407 371208192 70586 33554432000 4194304 5964478 140737266223904 139689076836664 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 362508

[startup+51.1003 s]
/proc/loadavg: 3.93 3.97 3.99 5/181 22644
/proc/meminfo: memFree=29722220/32873844 swapFree=6080/6080
[pid=22641] ppid=22639 vsize=626260 CPUtime=102.14 cores=0,2,4,6
/proc/22641/stat : 22641 (pwbo2.01) S 22639 22641 20249 0 -1 4202496 125331 0 0 0 10173 41 0 0 20 0 3 0 286526406 641290240 121264 33554432000 4194304 5964478 140737266223904 140737266223424 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22641/statm: 156565 121264 198 433 0 156129 0
[pid=22641/tid=22643] ppid=22639 vsize=626260 CPUtime=50.92 cores=0,2,4,6
/proc/22641/task/22643/stat : 22643 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 67719 0 0 0 5065 27 0 0 20 0 3 0 286526407 641290240 121264 33554432000 4194304 5964478 140737266223904 139689087326200 4378976 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22644] ppid=22639 vsize=626260 CPUtime=50.94 cores=0,2,4,6
/proc/22641/task/22644/stat : 22644 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 56520 0 0 0 5080 14 0 0 20 0 3 0 286526407 641290240 121264 33554432000 4194304 5964478 140737266223904 139689076836424 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 626260

[startup+102.307 s]
/proc/loadavg: 4.05 3.99 3.99 5/181 22645
/proc/meminfo: memFree=29457896/32873844 swapFree=6080/6080
[pid=22641] ppid=22639 vsize=693768 CPUtime=204.53 cores=0,2,4,6
/proc/22641/stat : 22641 (pwbo2.01) S 22639 22641 20249 0 -1 4202496 156169 0 0 0 20399 54 0 0 20 0 3 0 286526406 710418432 152095 33554432000 4194304 5964478 140737266223904 140737266223424 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22641/statm: 173442 152095 198 433 0 173006 0
[pid=22641/tid=22643] ppid=22639 vsize=693768 CPUtime=101.99 cores=0,2,4,6
/proc/22641/task/22643/stat : 22643 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 76327 0 0 0 10167 32 0 0 20 0 3 0 286526407 710418432 152095 33554432000 4194304 5964478 140737266223904 139689087326232 4400040 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22641/tid=22644] ppid=22639 vsize=693768 CPUtime=102.01 cores=0,2,4,6
/proc/22641/task/22644/stat : 22644 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 78750 0 0 0 10178 23 0 0 20 0 3 0 286526407 710418432 152095 33554432000 4194304 5964478 140737266223904 139689076836664 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 204.53
Current children cumulated vsize (KiB) 693768

[startup+162.3 s]
/proc/loadavg: 4.02 3.99 3.99 5/181 22645
/proc/meminfo: memFree=29187976/32873844 swapFree=6080/6080
[pid=22641] ppid=22639 vsize=891200 CPUtime=324.49 cores=0,2,4,6
/proc/22641/stat : 22641 (pwbo2.01) S 22639 22641 20249 0 -1 4202496 215654 0 0 0 32374 75 0 0 20 0 3 0 286526406 912588800 211441 33554432000 4194304 5964478 140737266223904 140737266223424 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22641/statm: 222800 211441 198 433 0 222364 0
[pid=22641/tid=22643] ppid=22639 vsize=891200 CPUtime=161.81 cores=0,2,4,6
/proc/22641/task/22643/stat : 22643 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 112128 0 0 0 16135 46 0 0 20 0 3 0 286526407 912588800 211441 33554432000 4194304 5964478 140737266223904 139689087326200 4400040 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22644] ppid=22639 vsize=891200 CPUtime=161.85 cores=0,2,4,6
/proc/22641/task/22644/stat : 22644 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 102434 0 0 0 16153 32 0 0 20 0 3 0 286526407 912588800 211441 33554432000 4194304 5964478 140737266223904 139689076836664 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 324.49
Current children cumulated vsize (KiB) 891200

[startup+222.3 s]
/proc/loadavg: 4.00 3.99 3.99 5/181 22645
/proc/meminfo: memFree=29030276/32873844 swapFree=6080/6080
[pid=22641] ppid=22639 vsize=1023708 CPUtime=444.46 cores=0,2,4,6
/proc/22641/stat : 22641 (pwbo2.01) S 22639 22641 20249 0 -1 4202496 236670 0 0 0 44364 82 0 0 20 0 3 0 286526406 1048276992 232277 33554432000 4194304 5964478 140737266223904 140737266223424 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22641/statm: 255927 232277 198 433 0 255491 0
[pid=22641/tid=22643] ppid=22639 vsize=1023708 CPUtime=221.65 cores=0,2,4,6
/proc/22641/task/22643/stat : 22643 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 120680 0 0 0 22116 49 0 0 20 0 3 0 286526407 1048276992 232277 33554432000 4194304 5964478 140737266223904 139689087326232 4400081 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22644] ppid=22639 vsize=1023708 CPUtime=221.7 cores=0,2,4,6
/proc/22641/task/22644/stat : 22644 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 114898 0 0 0 22132 38 0 0 20 0 3 0 286526407 1048276992 232277 33554432000 4194304 5964478 140737266223904 139689076836696 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 444.46
Current children cumulated vsize (KiB) 1023708

[startup+282.3 s]
/proc/loadavg: 4.04 4.00 4.00 5/181 22645
/proc/meminfo: memFree=28877536/32873844 swapFree=6080/6080
[pid=22641] ppid=22639 vsize=1090084 CPUtime=564.44 cores=0,2,4,6
/proc/22641/stat : 22641 (pwbo2.01) S 22639 22641 20249 0 -1 4202496 243979 0 0 0 56359 85 0 0 20 0 3 0 286526406 1116246016 239586 33554432000 4194304 5964478 140737266223904 140737266223424 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22641/statm: 272521 239586 198 433 0 272085 0
[pid=22641/tid=22643] ppid=22639 vsize=1090084 CPUtime=281.49 cores=0,2,4,6
/proc/22641/task/22643/stat : 22643 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 120680 0 0 0 28099 50 0 0 20 0 3 0 286526407 1116246016 239586 33554432000 4194304 5964478 140737266223904 139689087326232 4400099 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22641/tid=22644] ppid=22639 vsize=1090084 CPUtime=281.54 cores=0,2,4,6
/proc/22641/task/22644/stat : 22644 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 122207 0 0 0 28112 42 0 0 20 0 3 0 286526407 1116246016 239586 33554432000 4194304 5964478 140737266223904 139689076836664 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 564.44
Current children cumulated vsize (KiB) 1090084

[startup+342.3 s]
/proc/loadavg: 4.01 4.00 4.00 5/181 22645
/proc/meminfo: memFree=28604516/32873844 swapFree=6080/6080
[pid=22641] ppid=22639 vsize=1222168 CPUtime=684.41 cores=0,2,4,6
/proc/22641/stat : 22641 (pwbo2.01) S 22639 22641 20249 0 -1 4202496 285355 0 0 0 68340 101 0 0 20 0 3 0 286526406 1251500032 280962 33554432000 4194304 5964478 140737266223904 140737266223424 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22641/statm: 305542 280962 198 433 0 305106 0

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

[pid=22641] ppid=22639 vsize=1485168 CPUtime=804.38 cores=0,2,4,6
/proc/22641/stat : 22641 (pwbo2.01) S 22639 22641 20249 0 -1 4202496 343827 0 0 0 80311 127 0 0 20 0 3 0 286526406 1520812032 339434 33554432000 4194304 5964478 140737266223904 140737266223424 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22641/statm: 371292 339434 198 433 0 370856 0
[pid=22641/tid=22643] ppid=22639 vsize=1485168 CPUtime=401.16 cores=0,2,4,6
/proc/22641/task/22643/stat : 22643 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 185781 0 0 0 40035 81 0 0 20 0 3 0 286526407 1520812032 339434 33554432000 4194304 5964478 140737266223904 139689087326200 4399904 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22641/tid=22644] ppid=22639 vsize=1485168 CPUtime=401.24 cores=0,2,4,6
/proc/22641/task/22644/stat : 22644 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 156954 0 0 0 40067 57 0 0 20 0 3 0 286526407 1520812032 339434 33554432000 4194304 5964478 140737266223904 139689076836664 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 804.38
Current children cumulated vsize (KiB) 1485168

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

[startup+429.1 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22646
/proc/meminfo: memFree=28066388/32873844 swapFree=6080/6080
[pid=22641] ppid=22639 vsize=1550704 CPUtime=857.97 cores=0,2,4,6
/proc/22641/stat : 22641 (pwbo2.01) S 22639 22641 20249 0 -1 4202496 361016 0 0 0 85664 133 0 0 20 0 3 0 286526406 1587920896 356623 33554432000 4194304 5964478 140737266223904 140737266223424 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22641/statm: 387676 356625 198 433 0 387240 0
[pid=22641/tid=22643] ppid=22639 vsize=1550704 CPUtime=427.88 cores=0,2,4,6
/proc/22641/task/22643/stat : 22643 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 202967 0 0 0 42701 87 0 0 20 0 3 0 286526407 1587920896 356625 33554432000 4194304 5964478 140737266223904 139689087326200 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22644] ppid=22639 vsize=1550704 CPUtime=427.97 cores=0,2,4,6
/proc/22641/task/22644/stat : 22644 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 156959 0 0 0 42740 57 0 0 20 0 3 0 286526407 1587920896 356625 33554432000 4194304 5964478 140737266223904 139689076836664 4399896 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 857.97
Current children cumulated vsize (KiB) 1550704

[startup+429.2 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22646
/proc/meminfo: memFree=28066388/32873844 swapFree=6080/6080
[pid=22641] ppid=22639 vsize=0 CPUtime=857.07 cores=0,2,4,6
/proc/22641/stat : 22641 (pwbo2.01) Z 22639 22641 20249 0 -1 4203532 361082 0 0 0 85563 144 0 0 20 0 2 0 286526406 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22641/statm: 0 0 0 0 0 0 0
[pid=22641/tid=22644] ppid=22639 vsize=0 CPUtime=428.07 cores=0,2,4,6
/proc/22641/task/22644/stat : 22644 (pwbo2.01) R 22639 22641 20249 0 -1 4202564 156964 0 0 0 42746 61 0 0 20 0 2 0 286526407 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 857.07
Current children cumulated vsize (KiB) 0
#
############


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

[startup+409.5 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22646
/proc/meminfo: memFree=28147360/32873844 swapFree=6080/6080
[pid=22641] ppid=22639 vsize=1485168 CPUtime=818.78 cores=0,2,4,6
/proc/22641/stat : 22641 (pwbo2.01) S 22639 22641 20249 0 -1 4202496 347431 0 0 0 81750 128 0 0 20 0 3 0 286526406 1520812032 343038 33554432000 4194304 5964478 140737266223904 140737266223424 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22641/statm: 371292 343038 198 433 0 370856 0
[pid=22641/tid=22643] ppid=22639 vsize=1485168 CPUtime=408.34 cores=0,2,4,6
/proc/22641/task/22643/stat : 22643 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 189385 0 0 0 40752 82 0 0 20 0 3 0 286526407 1520812032 343038 33554432000 4194304 5964478 140737266223904 139689087326200 4400040 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22641/tid=22644] ppid=22639 vsize=1485168 CPUtime=408.42 cores=0,2,4,6
/proc/22641/task/22644/stat : 22644 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 156954 0 0 0 40785 57 0 0 20 0 3 0 286526407 1520812032 343038 33554432000 4194304 5964478 140737266223904 139689076836664 4388229 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 818.78
Current children cumulated vsize (KiB) 1485168

[startup+422.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22646
/proc/meminfo: memFree=28096768/32873844 swapFree=6080/6080
[pid=22641] ppid=22639 vsize=1550704 CPUtime=844.38 cores=0,2,4,6
/proc/22641/stat : 22641 (pwbo2.01) S 22639 22641 20249 0 -1 4202496 355471 0 0 0 84307 131 0 0 20 0 3 0 286526406 1587920896 351078 33554432000 4194304 5964478 140737266223904 140737266223424 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22641/statm: 387676 351078 198 433 0 387240 0
[pid=22641/tid=22643] ppid=22639 vsize=1550704 CPUtime=421.11 cores=0,2,4,6
/proc/22641/task/22643/stat : 22643 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 197423 0 0 0 42026 85 0 0 20 0 3 0 286526407 1587920896 351078 33554432000 4194304 5964478 140737266223904 139689087326200 4400062 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22644] ppid=22639 vsize=1550704 CPUtime=421.19 cores=0,2,4,6
/proc/22641/task/22644/stat : 22644 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 156956 0 0 0 42062 57 0 0 20 0 3 0 286526407 1587920896 351078 33554432000 4194304 5964478 140737266223904 139689076836664 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 844.38
Current children cumulated vsize (KiB) 1550704

[startup+425.5 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22646
/proc/meminfo: memFree=28085484/32873844 swapFree=6080/6080
[pid=22641] ppid=22639 vsize=1550704 CPUtime=850.77 cores=0,2,4,6
/proc/22641/stat : 22641 (pwbo2.01) S 22639 22641 20249 0 -1 4202496 358502 0 0 0 84945 132 0 0 20 0 3 0 286526406 1587920896 354109 33554432000 4194304 5964478 140737266223904 140737266223424 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22641/statm: 387676 354109 198 433 0 387240 0
[pid=22641/tid=22643] ppid=22639 vsize=1550704 CPUtime=424.29 cores=0,2,4,6
/proc/22641/task/22643/stat : 22643 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 200454 0 0 0 42343 86 0 0 20 0 3 0 286526407 1587920896 354109 33554432000 4194304 5964478 140737266223904 139689087326200 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22644] ppid=22639 vsize=1550704 CPUtime=424.38 cores=0,2,4,6
/proc/22641/task/22644/stat : 22644 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 156956 0 0 0 42381 57 0 0 20 0 3 0 286526407 1587920896 354109 33554432000 4194304 5964478 140737266223904 139689076836664 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 850.77
Current children cumulated vsize (KiB) 1550704

[startup+427.1 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22646
/proc/meminfo: memFree=28075812/32873844 swapFree=6080/6080
[pid=22641] ppid=22639 vsize=1550704 CPUtime=853.98 cores=0,2,4,6
/proc/22641/stat : 22641 (pwbo2.01) S 22639 22641 20249 0 -1 4202496 359466 0 0 0 85265 133 0 0 20 0 3 0 286526406 1587920896 355073 33554432000 4194304 5964478 140737266223904 140737266223424 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22641/statm: 387676 355073 198 433 0 387240 0
[pid=22641/tid=22643] ppid=22639 vsize=1550704 CPUtime=425.89 cores=0,2,4,6
/proc/22641/task/22643/stat : 22643 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 201418 0 0 0 42502 87 0 0 20 0 3 0 286526407 1587920896 355073 33554432000 4194304 5964478 140737266223904 139689087326200 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22644] ppid=22639 vsize=1550704 CPUtime=425.97 cores=0,2,4,6
/proc/22641/task/22644/stat : 22644 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 156956 0 0 0 42540 57 0 0 20 0 3 0 286526407 1587920896 355073 33554432000 4194304 5964478 140737266223904 139689076836664 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 853.98
Current children cumulated vsize (KiB) 1550704

[startup+427.907 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22646
/proc/meminfo: memFree=28071720/32873844 swapFree=6080/6080
[pid=22641] ppid=22639 vsize=1550704 CPUtime=855.59 cores=0,2,4,6
/proc/22641/stat : 22641 (pwbo2.01) S 22639 22641 20249 0 -1 4202496 359981 0 0 0 85426 133 0 0 20 0 3 0 286526406 1587920896 355588 33554432000 4194304 5964478 140737266223904 140737266223424 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22641/statm: 387676 355588 198 433 0 387240 0
[pid=22641/tid=22643] ppid=22639 vsize=1550704 CPUtime=426.69 cores=0,2,4,6
/proc/22641/task/22643/stat : 22643 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 201933 0 0 0 42582 87 0 0 20 0 3 0 286526407 1587920896 355588 33554432000 4194304 5964478 140737266223904 139689087326200 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22644] ppid=22639 vsize=1550704 CPUtime=426.78 cores=0,2,4,6
/proc/22641/task/22644/stat : 22644 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 156956 0 0 0 42621 57 0 0 20 0 3 0 286526407 1587920896 355588 33554432000 4194304 5964478 140737266223904 139689076836664 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 855.59
Current children cumulated vsize (KiB) 1550704

[startup+428.7 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22646
/proc/meminfo: memFree=28071720/32873844 swapFree=6080/6080
[pid=22641] ppid=22639 vsize=1550704 CPUtime=857.17 cores=0,2,4,6
/proc/22641/stat : 22641 (pwbo2.01) S 22639 22641 20249 0 -1 4202496 360525 0 0 0 85584 133 0 0 20 0 3 0 286526406 1587920896 356132 33554432000 4194304 5964478 140737266223904 140737266223424 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22641/statm: 387676 356132 198 433 0 387240 0
[pid=22641/tid=22643] ppid=22639 vsize=1550704 CPUtime=427.48 cores=0,2,4,6
/proc/22641/task/22643/stat : 22643 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 202475 0 0 0 42661 87 0 0 20 0 3 0 286526407 1587920896 356132 33554432000 4194304 5964478 140737266223904 139689087326200 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22644] ppid=22639 vsize=1550704 CPUtime=427.57 cores=0,2,4,6
/proc/22641/task/22644/stat : 22644 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 156958 0 0 0 42700 57 0 0 20 0 3 0 286526407 1587920896 356132 33554432000 4194304 5964478 140737266223904 139689076836664 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 857.17
Current children cumulated vsize (KiB) 1550704

[startup+429.1 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22646
/proc/meminfo: memFree=28066388/32873844 swapFree=6080/6080
[pid=22641] ppid=22639 vsize=1550704 CPUtime=857.97 cores=0,2,4,6
/proc/22641/stat : 22641 (pwbo2.01) S 22639 22641 20249 0 -1 4202496 361016 0 0 0 85664 133 0 0 20 0 3 0 286526406 1587920896 356623 33554432000 4194304 5964478 140737266223904 140737266223424 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22641/statm: 387676 356625 198 433 0 387240 0
[pid=22641/tid=22643] ppid=22639 vsize=1550704 CPUtime=427.88 cores=0,2,4,6
/proc/22641/task/22643/stat : 22643 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 202967 0 0 0 42701 87 0 0 20 0 3 0 286526407 1587920896 356625 33554432000 4194304 5964478 140737266223904 139689087326200 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=22641/tid=22644] ppid=22639 vsize=1550704 CPUtime=427.97 cores=0,2,4,6
/proc/22641/task/22644/stat : 22644 (pwbo2.01) R 22639 22641 20249 0 -1 4202560 156959 0 0 0 42740 57 0 0 20 0 3 0 286526407 1587920896 356625 33554432000 4194304 5964478 140737266223904 139689076836664 4399896 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 857.97
Current children cumulated vsize (KiB) 1550704

[startup+429.2 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 22646
/proc/meminfo: memFree=28066388/32873844 swapFree=6080/6080
[pid=22641] ppid=22639 vsize=0 CPUtime=857.07 cores=0,2,4,6
/proc/22641/stat : 22641 (pwbo2.01) Z 22639 22641 20249 0 -1 4203532 361082 0 0 0 85563 144 0 0 20 0 2 0 286526406 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22641/statm: 0 0 0 0 0 0 0
[pid=22641/tid=22644] ppid=22639 vsize=0 CPUtime=428.07 cores=0,2,4,6
/proc/22641/task/22644/stat : 22644 (pwbo2.01) R 22639 22641 20249 0 -1 4202564 156964 0 0 0 42746 61 0 0 20 0 2 0 286526407 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 857.07
Current children cumulated vsize (KiB) 0

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22641 and gives
#  childrusage.ru_utime.tv_sec=854
#  childrusage.ru_utime.tv_usec=548088
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=561762
# CPU time returned by wait4() is 856.11
# while last known CPU time is 857.07
#
# 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): 0.900024
#  lost CPU user time (s): 1.01001
#  lost CPU system time (s): -0.11

Real time (s): 429.259
CPU time (s): 857.97
CPU user time (s): 856.64
CPU system time (s): 1.33
CPU usage (%): 199.872
Max. virtual memory (cumulated for all children) (KiB): 1550704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 854.548
system time used= 1.56176
maximum resident set size= 1426756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 361082
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= 622
involuntary context switches= 1211

runsolver used 0.872867 second user time and 2.03669 second system time

The end

Launcher Data 

Begin job on node139 at 2012-05-28 13:20:18
IDJOB=3712726
IDBENCH=79280
IDSOLVER=2292
FILE ID=node139/3712726-1338204018
RUNJOBID= node139-1338192730-20265
PBS_JOBID= 14624580
Free space on /tmp= 71648 MiB

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

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

MD5SUM BENCH= e3f6753fad3114c64a2e1439cb62c0aa
RANDOM SEED=534853432

node139.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.750
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.50
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.750
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	: 5331.91
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.750
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	: 5331.90
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.750
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	: 5331.91
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.750
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	: 5331.92
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.750
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	: 5331.91
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.750
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	: 5331.91
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.750
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30324960 kB
Buffers:          428420 kB
Cached:           452692 kB
SwapCached:          828 kB
Active:          1486524 kB
Inactive:         205308 kB
Active(anon):     803920 kB
Inactive(anon):     7968 kB
Active(file):     682604 kB
Inactive(file):   197340 kB
Unevictable:        6080 kB
Mlocked:            6080 kB
SwapTotal:      67108856 kB
SwapFree:       67104692 kB
Dirty:              5476 kB
Writeback:             0 kB
AnonPages:        814576 kB
Mapped:            12648 kB
Shmem:                 8 kB
Slab:             717032 kB
SReclaimable:     159428 kB
SUnreclaim:       557604 kB
KernelStack:        1480 kB
PageTables:         5572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     164204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    204800 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= 71640 MiB
End job on node139 at 2012-05-28 13:27:28