Trace number 3381251

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
claspmt 2.0-R4095-patched (fixed)SAT 1353.33 169.583

General information on the benchmark

NameSAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf
MD5SUM22bc1843113c53c5f8a8f8cec42dcbe5
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark135.159
Satisfiable
(Un)Satisfiability was proved
Number of variables352
Number of clauses2492
Sum of the clauses size11032
Maximum clause length6
Minimum clause length4
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 41592
Number of clauses of size 5736
Number of clauses of size over 5164

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...510669/instance-3381251-1305510669.cnf
0.00/0.00	c Solving...
1352.84/169.57	c Answer: 1
1352.84/169.57	v -1 2 3 4 -5 -6 7 -8 -9 10 -11 -12 13 -14 -15 16 17 18 19 -20 21 22 23 -24
1352.84/169.57	v -25 26 27 -28 -29 -30 31 32 -33 -34 -35 -36 37 -38 -39 40 -41 -42 43 44
1352.84/169.57	v -45 -46 -47 48 49 -50 -51 -52 53 54 -55 56 57 -58 -59 -60 -61 -62 -63 64
1352.84/169.57	v -65 -66 67 68 -69 -70 71 72 -73 -74 -75 76 77 -78 79 -80 -81 82 -83 84
1352.84/169.57	v 85 -86 -87 -88 89 -90 91 92 93 94 95 -96 -97 -98 -99 -100 -101 -102 103
1352.84/169.57	v -104 105 106 -107 108 -109 110 111 -112 113 114 -115 116 117 -118 -119
1352.84/169.57	v -120 -121 122 -123 124 -125 -126 127 128 -129 130 131 -132 133 134 135
1352.84/169.57	v 136 -137 138 139 -140 141 -142 -143 144 -145 146 -147 148 149 -150 -151
1352.84/169.57	v 152 153 -154 -155 -156 157 -158 159 160 -161 162 163 164 -165 166 -167
1352.84/169.57	v 168 -169 170 171 172 173 -174 175 176 177 178 -179 -180 181 -182 183 -184
1352.84/169.57	v 185 -186 -187 -188 -189 -190 191 -192 193 -194 195 -196 -197 198 -199 200
1352.84/169.57	v 201 202 203 204 -205 206 -207 208 -209 210 -211 -212 -213 -214 215 -216
1352.84/169.57	v 217 -218 -219 220 -221 222 223 224 225 -226 227 228 -229 230 231 232 -233
1352.84/169.57	v 234 -235 236 -237 -238 -239 -240 241 -242 -243 244 -245 246 247 -248 -249
1352.84/169.57	v 250 251 -252 253 -254 -255 256 257 -258 259 -260 -261 262 263 264 -265
1352.84/169.57	v -266 267 268 -269 -270 271 272 273 274 -275 276 277 278 279 -280 281 282
1352.84/169.57	v 283 -284 -285 -286 -287 288 -289 -290 -291 292 293 -294 295 -296 297 -298
1352.84/169.57	v -299 300 -301 -302 -303 -304 -305 306 307 -308 -309 -310 311 -312 313 -314
1352.84/169.57	v -315 -316 -317 -318 319 -320 -321 322 323 -324 -325 -326 327 328 -329 -330
1352.84/169.57	v 331 332 -333 334 -335 -336 -337 338 -339 340 -341 -342 -343 344 345 -346
1352.84/169.57	v -347 -348 -349 350 351 352 0
1352.84/169.58	s SATISFIABLE
1352.84/169.58	
1352.84/169.58	c Models        : 1+    
1352.84/169.58	c Time          : 169.571s (Solving: 169.57s 1st Model: 169.56s Unsat: 0.00s)
1352.84/169.58	c CPU Time      : 1353.310s

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3381251-1305510669/watcher-3381251-1305510669 -o /tmp/evaluation-result-3381251-1305510669/solver-3381251-1305510669 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3381251-1305510669.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 6.24 5.13 6.57 2/416 5633
/proc/meminfo: memFree=15648096/32950928 swapFree=45358780/67111528
[pid=5633] ppid=5631 vsize=21148 CPUtime=0 cores=0-7
/proc/5633/stat : 5633 (claspmt) R 5631 5633 5475 0 -1 4202496 614 0 0 0 0 0 0 0 25 0 1 0 662663602 21655552 542 33554432000 4194304 4964800 140733801297232 18446744073709551615 4621783 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/5633/statm: 5287 542 400 189 0 161 0
[pid=5633/tid=5634] ppid=5631 vsize=119516 CPUtime=0 cores=0-7
/proc/5633/task/5634/stat : 5634 (claspmt) R 5631 5633 5475 0 -1 4202560 27 0 0 0 0 0 0 0 25 0 8 0 662663603 122384384 889 33554432000 4194304 4964800 140733801297232 18446744073709551615 4380234 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5633/tid=5635] ppid=5631 vsize=119516 CPUtime=0 cores=0-7
/proc/5633/task/5635/stat : 5635 (claspmt) R 5631 5633 5475 0 -1 4202560 35 0 0 0 0 0 0 0 25 0 8 0 662663603 122384384 889 33554432000 4194304 4964800 140733801297232 18446744073709551615 4379129 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5633/tid=5636] ppid=5631 vsize=119516 CPUtime=0 cores=0-7
/proc/5633/task/5636/stat : 5636 (claspmt) R 5631 5633 5475 0 -1 4202560 45 0 0 0 0 0 0 0 25 0 8 0 662663603 122384384 897 33554432000 4194304 4964800 140733801297232 18446744073709551615 4362996 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=5633/tid=5637] ppid=5631 vsize=119516 CPUtime=0 cores=0-7
/proc/5633/task/5637/stat : 5637 (claspmt) R 5631 5633 5475 0 -1 4202560 29 0 0 0 0 0 0 0 25 0 8 0 662663603 122384384 897 33554432000 4194304 4964800 140733801297232 18446744073709551615 254512507801 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=5633/tid=5638] ppid=5631 vsize=119516 CPUtime=0 cores=0-7
/proc/5633/task/5638/stat : 5638 (claspmt) S 5631 5633 5475 0 -1 4202560 40 0 0 0 0 0 0 0 18 0 8 0 662663603 122384384 897 33554432000 4194304 4964800 140733801297232 18446744073709551615 254512507801 0 0 4096 18946 18446604447137600704 0 0 -1 6 0 0 0
[pid=5633/tid=5639] ppid=5631 vsize=119516 CPUtime=0 cores=0-7
/proc/5633/task/5639/stat : 5639 (claspmt) R 5631 5633 5475 0 -1 4202560 60 0 0 0 0 0 0 0 25 0 8 0 662663603 122384384 898 33554432000 4194304 4964800 140733801297232 18446744073709551615 254500353057 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5633/tid=5640] ppid=5631 vsize=119516 CPUtime=0 cores=0-7
/proc/5633/task/5640/stat : 5640 (claspmt) S 5631 5633 5475 0 -1 4202560 37 0 0 0 0 0 0 0 25 0 8 0 662663603 122384384 898 33554432000 4194304 4964800 140733801297232 18446744073709551615 254512507801 0 0 4096 18946 18446604447137600704 0 0 -1 0 0 0 0

[startup+0.104611 s]
/proc/loadavg: 6.24 5.13 6.57 2/416 5633
/proc/meminfo: memFree=15648096/32950928 swapFree=45358780/67111528
[pid=5633] ppid=5631 vsize=250852 CPUtime=0.66 cores=0-7
/proc/5633/stat : 5633 (claspmt) R 5631 5633 5475 0 -1 4202496 1397 0 0 0 65 1 0 0 18 0 8 0 662663602 256872448 1312 33554432000 4194304 4964800 140733801297232 18446744073709551615 4321023 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/5633/statm: 62713 1312 464 189 0 57062 0
[pid=5633/tid=5634] ppid=5631 vsize=250852 CPUtime=0.08 cores=0-7
/proc/5633/task/5634/stat : 5634 (claspmt) R 5631 5633 5475 0 -1 4202560 83 0 0 0 8 0 0 0 18 0 8 0 662663603 256872448 1312 33554432000 4194304 4964800 140733801297232 18446744073709551615 4659398 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5633/tid=5635] ppid=5631 vsize=250852 CPUtime=0.08 cores=0-7
/proc/5633/task/5635/stat : 5635 (claspmt) R 5631 5633 5475 0 -1 4202560 97 0 0 0 8 0 0 0 18 0 8 0 662663603 256872448 1312 33554432000 4194304 4964800 140733801297232 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=5633/tid=5636] ppid=5631 vsize=250852 CPUtime=0.04 cores=0-7
/proc/5633/task/5636/stat : 5636 (claspmt) R 5631 5633 5475 0 -1 4202560 72 0 0 0 4 0 0 0 25 0 8 0 662663603 256872448 1312 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670530 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5633/tid=5637] ppid=5631 vsize=250852 CPUtime=0.08 cores=0-7
/proc/5633/task/5637/stat : 5637 (claspmt) R 5631 5633 5475 0 -1 4202560 83 0 0 0 8 0 0 0 18 0 8 0 662663603 256872448 1312 33554432000 4194304 4964800 140733801297232 18446744073709551615 4668585 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5633/tid=5638] ppid=5631 vsize=250852 CPUtime=0.08 cores=0-7
/proc/5633/task/5638/stat : 5638 (claspmt) R 5631 5633 5475 0 -1 4202560 87 0 0 0 8 0 0 0 18 0 8 0 662663603 256872448 1312 33554432000 4194304 4964800 140733801297232 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5633/tid=5639] ppid=5631 vsize=250852 CPUtime=0.08 cores=0-7
/proc/5633/task/5639/stat : 5639 (claspmt) R 5631 5633 5475 0 -1 4202560 101 0 0 0 8 0 0 0 25 0 8 0 662663603 256872448 1312 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670361 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5633/tid=5640] ppid=5631 vsize=250852 CPUtime=0.08 cores=0-7
/proc/5633/task/5640/stat : 5640 (claspmt) R 5631 5633 5475 0 -1 4202560 119 0 0 0 8 0 0 0 18 0 8 0 662663603 256872448 1312 33554432000 4194304 4964800 140733801297232 18446744073709551615 4320939 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 250852

[startup+0.200591 s]
/proc/loadavg: 6.24 5.13 6.57 2/416 5633
/proc/meminfo: memFree=15648096/32950928 swapFree=45358780/67111528
[pid=5633] ppid=5631 vsize=251140 CPUtime=1.42 cores=0-7
/proc/5633/stat : 5633 (claspmt) R 5631 5633 5475 0 -1 4202496 1650 0 0 0 141 1 0 0 18 0 8 0 662663602 257167360 1565 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670328 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/5633/statm: 62785 1565 464 189 0 57134 0
[pid=5633/tid=5634] ppid=5631 vsize=251140 CPUtime=0.18 cores=0-7
/proc/5633/task/5634/stat : 5634 (claspmt) R 5631 5633 5475 0 -1 4202560 114 0 0 0 18 0 0 0 18 0 8 0 662663603 257167360 1565 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5633/tid=5635] ppid=5631 vsize=251140 CPUtime=0.18 cores=0-7
/proc/5633/task/5635/stat : 5635 (claspmt) R 5631 5633 5475 0 -1 4202560 137 0 0 0 18 0 0 0 18 0 8 0 662663603 257167360 1565 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670496 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=5633/tid=5636] ppid=5631 vsize=251140 CPUtime=0.13 cores=0-7
/proc/5633/task/5636/stat : 5636 (claspmt) R 5631 5633 5475 0 -1 4202560 101 0 0 0 13 0 0 0 25 0 8 0 662663603 257167360 1565 33554432000 4194304 4964800 140733801297232 18446744073709551615 4660263 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5633/tid=5637] ppid=5631 vsize=251140 CPUtime=0.18 cores=0-7
/proc/5633/task/5637/stat : 5637 (claspmt) R 5631 5633 5475 0 -1 4202560 117 0 0 0 18 0 0 0 18 0 8 0 662663603 257167360 1565 33554432000 4194304 4964800 140733801297232 18446744073709551615 4660157 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5633/tid=5638] ppid=5631 vsize=251140 CPUtime=0.17 cores=0-7
/proc/5633/task/5638/stat : 5638 (claspmt) R 5631 5633 5475 0 -1 4202560 107 0 0 0 17 0 0 0 18 0 8 0 662663603 257167360 1565 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5633/tid=5639] ppid=5631 vsize=251140 CPUtime=0.18 cores=0-7
/proc/5633/task/5639/stat : 5639 (claspmt) R 5631 5633 5475 0 -1 4202560 133 0 0 0 18 0 0 0 25 0 8 0 662663603 257167360 1566 33554432000 4194304 4964800 140733801297232 18446744073709551615 4361215 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5633/tid=5640] ppid=5631 vsize=251140 CPUtime=0.17 cores=0-7
/proc/5633/task/5640/stat : 5640 (claspmt) R 5631 5633 5475 0 -1 4202560 160 0 0 0 17 0 0 0 18 0 8 0 662663603 257167360 1566 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670361 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 251140

[startup+0.300572 s]
/proc/loadavg: 6.24 5.13 6.57 2/416 5633
/proc/meminfo: memFree=15648096/32950928 swapFree=45358780/67111528
[pid=5633] ppid=5631 vsize=316676 CPUtime=2.22 cores=0-7
/proc/5633/stat : 5633 (claspmt) R 5631 5633 5475 0 -1 4202496 1867 0 0 0 221 1 0 0 18 0 8 0 662663602 324276224 1782 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670323 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/5633/statm: 79169 1782 464 189 0 73518 0
[pid=5633/tid=5634] ppid=5631 vsize=316676 CPUtime=0.28 cores=0-7
/proc/5633/task/5634/stat : 5634 (claspmt) R 5631 5633 5475 0 -1 4202560 165 0 0 0 28 0 0 0 18 0 8 0 662663603 324276224 1782 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5633/tid=5635] ppid=5631 vsize=316676 CPUtime=0.28 cores=0-7
/proc/5633/task/5635/stat : 5635 (claspmt) R 5631 5633 5475 0 -1 4202560 182 0 0 0 28 0 0 0 18 0 8 0 662663603 324276224 1782 33554432000 4194304 4964800 140733801297232 18446744073709551615 4320939 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=5633/tid=5636] ppid=5631 vsize=316676 CPUtime=0.23 cores=0-7
/proc/5633/task/5636/stat : 5636 (claspmt) R 5631 5633 5475 0 -1 4202560 115 0 0 0 23 0 0 0 25 0 8 0 662663603 324276224 1782 33554432000 4194304 4964800 140733801297232 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5633/tid=5637] ppid=5631 vsize=316676 CPUtime=0.28 cores=0-7
/proc/5633/task/5637/stat : 5637 (claspmt) R 5631 5633 5475 0 -1 4202560 141 0 0 0 28 0 0 0 18 0 8 0 662663603 324276224 1782 33554432000 4194304 4964800 140733801297232 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5633/tid=5638] ppid=5631 vsize=316676 CPUtime=0.27 cores=0-7
/proc/5633/task/5638/stat : 5638 (claspmt) R 5631 5633 5475 0 -1 4202560 125 0 0 0 27 0 0 0 18 0 8 0 662663603 324276224 1782 33554432000 4194304 4964800 140733801297232 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5633/tid=5639] ppid=5631 vsize=316676 CPUtime=0.28 cores=0-7
/proc/5633/task/5639/stat : 5639 (claspmt) R 5631 5633 5475 0 -1 4202560 151 0 0 0 28 0 0 0 25 0 8 0 662663603 324276224 1782 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5633/tid=5640] ppid=5631 vsize=316676 CPUtime=0.27 cores=0-7
/proc/5633/task/5640/stat : 5640 (claspmt) R 5631 5633 5475 0 -1 4202560 183 0 0 0 27 0 0 0 18 0 8 0 662663603 324276224 1782 33554432000 4194304 4964800 140733801297232 18446744073709551615 4321010 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 316676

[startup+0.700492 s]
/proc/loadavg: 6.24 5.13 6.57 2/416 5633
/proc/meminfo: memFree=15648096/32950928 swapFree=45358780/67111528
[pid=5633] ppid=5631 vsize=317104 CPUtime=5.42 cores=0-7
/proc/5633/stat : 5633 (claspmt) R 5631 5633 5475 0 -1 4202496 2341 0 0 0 541 1 0 0 18 0 8 0 662663602 324714496 2256 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670520 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/5633/statm: 79276 2256 464 189 0 73625 0
[pid=5633/tid=5634] ppid=5631 vsize=317104 CPUtime=0.68 cores=0-7
/proc/5633/task/5634/stat : 5634 (claspmt) R 5631 5633 5475 0 -1 4202560 226 0 0 0 68 0 0 0 18 0 8 0 662663603 324714496 2256 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670343 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5633/tid=5635] ppid=5631 vsize=317104 CPUtime=0.68 cores=0-7
/proc/5633/task/5635/stat : 5635 (claspmt) R 5631 5633 5475 0 -1 4202560 301 0 0 0 68 0 0 0 18 0 8 0 662663603 324714496 2256 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=5633/tid=5636] ppid=5631 vsize=317104 CPUtime=0.63 cores=0-7
/proc/5633/task/5636/stat : 5636 (claspmt) R 5631 5633 5475 0 -1 4202560 145 0 0 0 63 0 0 0 25 0 8 0 662663603 324714496 2256 33554432000 4194304 4964800 140733801297232 18446744073709551615 254500350629 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5633/tid=5637] ppid=5631 vsize=317104 CPUtime=0.68 cores=0-7
/proc/5633/task/5637/stat : 5637 (claspmt) R 5631 5633 5475 0 -1 4202560 214 0 0 0 68 0 0 0 18 0 8 0 662663603 324714496 2256 33554432000 4194304 4964800 140733801297232 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5633/tid=5638] ppid=5631 vsize=317104 CPUtime=0.67 cores=0-7
/proc/5633/task/5638/stat : 5638 (claspmt) R 5631 5633 5475 0 -1 4202560 176 0 0 0 67 0 0 0 18 0 8 0 662663603 324714496 2256 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5633/tid=5639] ppid=5631 vsize=317104 CPUtime=0.68 cores=0-7
/proc/5633/task/5639/stat : 5639 (claspmt) R 5631 5633 5475 0 -1 4202560 168 0 0 0 68 0 0 0 25 0 8 0 662663603 324714496 2256 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5633/tid=5640] ppid=5631 vsize=317104 CPUtime=0.67 cores=0-7
/proc/5633/task/5640/stat : 5640 (claspmt) R 5631 5633 5475 0 -1 4202560 253 0 0 0 67 0 0 0 18 0 8 0 662663603 324714496 2256 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670351 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.42
Current children cumulated vsize (KiB) 317104

[startup+1.50033 s]
/proc/loadavg: 6.38 5.17 6.57 9/424 5641
/proc/meminfo: memFree=15639856/32950928 swapFree=45358780/67111528
[pid=5633] ppid=5631 vsize=317364 CPUtime=11.8 cores=0-7
/proc/5633/stat : 5633 (claspmt) R 5631 5633 5475 0 -1 4202496 2808 0 0 0 1178 2 0 0 20 0 8 0 662663602 324980736 2723 33554432000 4194304 4964800 140733801297232 18446744073709551615 4333247 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/5633/statm: 79341 2723 464 189 0 73690 0
[pid=5633/tid=5634] ppid=5631 vsize=317364 CPUtime=1.48 cores=0-7
/proc/5633/task/5634/stat : 5634 (claspmt) R 5631 5633 5475 0 -1 4202560 323 0 0 0 148 0 0 0 20 0 8 0 662663603 324980736 2723 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5633/tid=5635] ppid=5631 vsize=317364 CPUtime=1.48 cores=0-7
/proc/5633/task/5635/stat : 5635 (claspmt) R 5631 5633 5475 0 -1 4202560 400 0 0 0 148 0 0 0 20 0 8 0 662663603 324980736 2723 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670496 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=5633/tid=5636] ppid=5631 vsize=317364 CPUtime=1.41 cores=0-7
/proc/5633/task/5636/stat : 5636 (claspmt) R 5631 5633 5475 0 -1 4202560 159 0 0 0 141 0 0 0 25 0 8 0 662663603 324980736 2723 33554432000 4194304 4964800 140733801297232 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5633/tid=5637] ppid=5631 vsize=317364 CPUtime=1.48 cores=0-7
/proc/5633/task/5637/stat : 5637 (claspmt) R 5631 5633 5475 0 -1 4202560 313 0 0 0 148 0 0 0 20 0 8 0 662663603 324980736 2723 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5633/tid=5638] ppid=5631 vsize=317364 CPUtime=1.47 cores=0-7
/proc/5633/task/5638/stat : 5638 (claspmt) R 5631 5633 5475 0 -1 4202560 197 0 0 0 147 0 0 0 20 0 8 0 662663603 324980736 2723 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5633/tid=5639] ppid=5631 vsize=317364 CPUtime=1.48 cores=0-7
/proc/5633/task/5639/stat : 5639 (claspmt) R 5631 5633 5475 0 -1 4202560 212 0 0 0 148 0 0 0 25 0 8 0 662663603 324980736 2723 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5633/tid=5640] ppid=5631 vsize=317364 CPUtime=1.47 cores=0-7
/proc/5633/task/5640/stat : 5640 (claspmt) R 5631 5633 5475 0 -1 4202560 309 0 0 0 147 0 0 0 20 0 8 0 662663603 324980736 2723 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.8
Current children cumulated vsize (KiB) 317364

[startup+3.10101 s]
/proc/loadavg: 6.38 5.17 6.57 9/424 5641
/proc/meminfo: memFree=15637428/32950928 swapFree=45358780/67111528
[pid=5633] ppid=5631 vsize=317764 CPUtime=24.58 cores=0-7
/proc/5633/stat : 5633 (claspmt) R 5631 5633 5475 0 -1 4202496 3368 0 0 0 2455 3 0 0 25 0 8 0 662663602 325390336 3283 33554432000 4194304 4964800 140733801297232 18446744073709551615 4653348 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/5633/statm: 79441 3283 464 189 0 73790 0
[pid=5633/tid=5634] ppid=5631 vsize=317764 CPUtime=3.07 cores=0-7
/proc/5633/task/5634/stat : 5634 (claspmt) R 5631 5633 5475 0 -1 4202560 424 0 0 0 307 0 0 0 25 0 8 0 662663603 325390336 3283 33554432000 4194304 4964800 140733801297232 18446744073709551615 4320939 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5633/tid=5635] ppid=5631 vsize=317764 CPUtime=3.08 cores=0-7
/proc/5633/task/5635/stat : 5635 (claspmt) R 5631 5633 5475 0 -1 4202560 499 0 0 0 308 0 0 0 25 0 8 0 662663603 325390336 3283 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=5633/tid=5636] ppid=5631 vsize=317764 CPUtime=2.99 cores=0-7
/proc/5633/task/5636/stat : 5636 (claspmt) R 5631 5633 5475 0 -1 4202560 206 0 0 0 299 0 0 0 25 0 8 0 662663603 325390336 3283 33554432000 4194304 4964800 140733801297232 18446744073709551615 4362900 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5633/tid=5637] ppid=5631 vsize=317764 CPUtime=3.08 cores=0-7
/proc/5633/task/5637/stat : 5637 (claspmt) R 5631 5633 5475 0 -1 4202560 401 0 0 0 308 0 0 0 25 0 8 0 662663603 325390336 3283 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5633/tid=5638] ppid=5631 vsize=317764 CPUtime=3.07 cores=0-7
/proc/5633/task/5638/stat : 5638 (claspmt) R 5631 5633 5475 0 -1 4202560 230 0 0 0 307 0 0 0 25 0 8 0 662663603 325390336 3283 33554432000 4194304 4964800 140733801297232 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5633/tid=5639] ppid=5631 vsize=317764 CPUtime=3.08 cores=0-7
/proc/5633/task/5639/stat : 5639 (claspmt) R 5631 5633 5475 0 -1 4202560 237 0 0 0 308 0 0 0 25 0 8 0 662663603 325390336 3283 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5633/tid=5640] ppid=5631 vsize=317764 CPUtime=3.07 cores=0-7
/proc/5633/task/5640/stat : 5640 (claspmt) R 5631 5633 5475 0 -1 4202560 415 0 0 0 307 0 0 0 25 0 8 0 662663603 325390336 3283 33554432000 4194304 4964800 140733801297232 18446744073709551615 4321020 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.58
Current children cumulated vsize (KiB) 317764

[startup+6.30038 s]
/proc/loadavg: 6.38 5.17 6.57 9/424 5641
/proc/meminfo: memFree=15633212/32950928 swapFree=45358780/67111528
[pid=5633] ppid=5631 vsize=318444 CPUtime=50.13 cores=0-7
/proc/5633/stat : 5633 (claspmt) R 5631 5633 5475 0 -1 4202496 4230 0 0 0 5008 5 0 0 25 0 8 0 662663602 326086656 4145 33554432000 4194304 4964800 140733801297232 18446744073709551615 4320961 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/5633/statm: 79611 4145 464 189 0 73960 0
[pid=5633/tid=5634] ppid=5631 vsize=318444 CPUtime=6.26 cores=0-7
/proc/5633/task/5634/stat : 5634 (claspmt) R 5631 5633 5475 0 -1 4202560 630 0 0 0 626 0 0 0 19 0 8 0 662663603 326086656 4145 33554432000 4194304 4964800 140733801297232 18446744073709551615 4320865 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5633/tid=5635] ppid=5631 vsize=318444 CPUtime=6.27 cores=0-7
/proc/5633/task/5635/stat : 5635 (claspmt) R 5631 5633 5475 0 -1 4202560 620 0 0 0 627 0 0 0 25 0 8 0 662663603 326086656 4145 33554432000 4194304 4964800 140733801297232 18446744073709551615 4669216 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=5633/tid=5636] ppid=5631 vsize=318444 CPUtime=6.15 cores=0-7
/proc/5633/task/5636/stat : 5636 (claspmt) R 5631 5633 5475 0 -1 4202560 266 0 0 0 615 0 0 0 25 0 8 0 662663603 326086656 4145 33554432000 4194304 4964800 140733801297232 18446744073709551615 4378984 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5633/tid=5637] ppid=5631 vsize=318444 CPUtime=6.28 cores=0-7
/proc/5633/task/5637/stat : 5637 (claspmt) R 5631 5633 5475 0 -1 4202560 558 0 0 0 628 0 0 0 25 0 8 0 662663603 326086656 4145 33554432000 4194304 4964800 140733801297232 18446744073709551615 4684767 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5633/tid=5638] ppid=5631 vsize=318444 CPUtime=6.27 cores=0-7
/proc/5633/task/5638/stat : 5638 (claspmt) R 5631 5633 5475 0 -1 4202560 271 0 0 0 627 0 0 0 25 0 8 0 662663603 326086656 4145 33554432000 4194304 4964800 140733801297232 18446744073709551615 4627914 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5633/tid=5639] ppid=5631 vsize=318444 CPUtime=6.28 cores=0-7
/proc/5633/task/5639/stat : 5639 (claspmt) R 5631 5633 5475 0 -1 4202560 313 0 0 0 628 0 0 0 25 0 8 0 662663603 326086656 4145 33554432000 4194304 4964800 140733801297232 18446744073709551615 4668681 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5633/tid=5640] ppid=5631 vsize=318444 CPUtime=6.26 cores=0-7
/proc/5633/task/5640/stat : 5640 (claspmt) R 5631 5633 5475 0 -1 4202560 531 0 0 0 626 0 0 0 25 0 8 0 662663603 326086656 4145 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 5 0 0 0

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

/proc/5633/task/5638/stat : 5638 (claspmt) R 5631 5633 5475 0 -1 4202560 1001 0 0 0 10215 8 0 0 25 0 8 0 662663603 331833344 10308 33554432000 4194304 4964800 140733801297232 18446744073709551615 4660449 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5633/tid=5639] ppid=5631 vsize=324056 CPUtime=102.23 cores=0-7
/proc/5633/task/5639/stat : 5639 (claspmt) R 5631 5633 5475 0 -1 4202560 657 0 0 0 10217 6 0 0 25 0 8 0 662663603 331833344 10308 33554432000 4194304 4964800 140733801297232 18446744073709551615 4668698 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5633/tid=5640] ppid=5631 vsize=324056 CPUtime=102.22 cores=0-7
/proc/5633/task/5640/stat : 5640 (claspmt) R 5631 5633 5475 0 -1 4202560 1083 0 0 0 10216 6 0 0 25 0 8 0 662663603 331833344 10308 33554432000 4194304 4964800 140733801297232 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 816.42
Current children cumulated vsize (KiB) 324056

[startup+162.3 s]
/proc/loadavg: 7.88 6.34 6.79 9/424 5645
/proc/meminfo: memFree=15602512/32950928 swapFree=45358780/67111528
[pid=5633] ppid=5631 vsize=325196 CPUtime=1295.25 cores=0-7
/proc/5633/stat : 5633 (claspmt) R 5631 5633 5475 0 -1 4202496 11790 0 0 0 129443 82 0 0 25 0 8 0 662663602 333000704 11705 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/5633/statm: 81299 11705 464 189 0 75648 0
[pid=5633/tid=5634] ppid=5631 vsize=325196 CPUtime=162.16 cores=0-7
/proc/5633/task/5634/stat : 5634 (claspmt) R 5631 5633 5475 0 -1 4202560 2452 0 0 0 16204 12 0 0 19 0 8 0 662663603 333000704 11705 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5633/tid=5635] ppid=5631 vsize=325196 CPUtime=162.16 cores=0-7
/proc/5633/task/5635/stat : 5635 (claspmt) R 5631 5633 5475 0 -1 4202560 1791 0 0 0 16205 11 0 0 25 0 8 0 662663603 333000704 11705 33554432000 4194304 4964800 140733801297232 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=5633/tid=5636] ppid=5631 vsize=325196 CPUtime=160.45 cores=0-7
/proc/5633/task/5636/stat : 5636 (claspmt) R 5631 5633 5475 0 -1 4202560 687 0 0 0 16036 9 0 0 25 0 8 0 662663603 333000704 11705 33554432000 4194304 4964800 140733801297232 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=5633/tid=5637] ppid=5631 vsize=325196 CPUtime=162.2 cores=0-7
/proc/5633/task/5637/stat : 5637 (claspmt) R 5631 5633 5475 0 -1 4202560 1761 0 0 0 16210 10 0 0 25 0 8 0 662663603 333000704 11705 33554432000 4194304 4964800 140733801297232 18446744073709551615 4688993 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5633/tid=5638] ppid=5631 vsize=325196 CPUtime=162.19 cores=0-7
/proc/5633/task/5638/stat : 5638 (claspmt) R 5631 5633 5475 0 -1 4202560 1188 0 0 0 16207 12 0 0 25 0 8 0 662663603 333000704 11705 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5633/tid=5639] ppid=5631 vsize=325196 CPUtime=162.15 cores=0-7
/proc/5633/task/5639/stat : 5639 (claspmt) R 5631 5633 5475 0 -1 4202560 841 0 0 0 16206 9 0 0 25 0 8 0 662663603 333000704 11705 33554432000 4194304 4964800 140733801297232 18446744073709551615 4684009 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5633/tid=5640] ppid=5631 vsize=325196 CPUtime=161.66 cores=0-7
/proc/5633/task/5640/stat : 5640 (claspmt) R 5631 5633 5475 0 -1 4202560 1203 0 0 0 16157 9 0 0 21 0 8 0 662663603 333000704 11705 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1295.25
Current children cumulated vsize (KiB) 325196

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

[startup+166.401 s]
/proc/loadavg: 7.89 6.37 6.80 9/424 5645
/proc/meminfo: memFree=15602264/32950928 swapFree=45358780/67111528
[pid=5633] ppid=5631 vsize=325196 CPUtime=1327.98 cores=0-7
/proc/5633/stat : 5633 (claspmt) R 5631 5633 5475 0 -1 4202496 11870 0 0 0 132714 84 0 0 25 0 8 0 662663602 333000704 11785 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670321 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/5633/statm: 81299 11785 464 189 0 75648 0
[pid=5633/tid=5634] ppid=5631 vsize=325196 CPUtime=166.26 cores=0-7
/proc/5633/task/5634/stat : 5634 (claspmt) R 5631 5633 5475 0 -1 4202560 2457 0 0 0 16614 12 0 0 25 0 8 0 662663603 333000704 11785 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5633/tid=5635] ppid=5631 vsize=325196 CPUtime=166.24 cores=0-7
/proc/5633/task/5635/stat : 5635 (claspmt) R 5631 5633 5475 0 -1 4202560 1804 0 0 0 16613 11 0 0 25 0 8 0 662663603 333000704 11785 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670313 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=5633/tid=5636] ppid=5631 vsize=325196 CPUtime=164.55 cores=0-7
/proc/5633/task/5636/stat : 5636 (claspmt) R 5631 5633 5475 0 -1 4202560 709 0 0 0 16446 9 0 0 25 0 8 0 662663603 333000704 11785 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=5633/tid=5637] ppid=5631 vsize=325196 CPUtime=166.3 cores=0-7
/proc/5633/task/5637/stat : 5637 (claspmt) R 5631 5633 5475 0 -1 4202560 1772 0 0 0 16620 10 0 0 25 0 8 0 662663603 333000704 11785 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670496 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5633/tid=5638] ppid=5631 vsize=325196 CPUtime=166.29 cores=0-7
/proc/5633/task/5638/stat : 5638 (claspmt) R 5631 5633 5475 0 -1 4202560 1195 0 0 0 16617 12 0 0 25 0 8 0 662663603 333000704 11785 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670403 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5633/tid=5639] ppid=5631 vsize=325196 CPUtime=166.25 cores=0-7
/proc/5633/task/5639/stat : 5639 (claspmt) R 5631 5633 5475 0 -1 4202560 846 0 0 0 16615 10 0 0 25 0 8 0 662663603 333000704 11785 33554432000 4194304 4964800 140733801297232 18446744073709551615 4332098 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5633/tid=5640] ppid=5631 vsize=325196 CPUtime=165.7 cores=0-7
/proc/5633/task/5640/stat : 5640 (claspmt) R 5631 5633 5475 0 -1 4202560 1203 0 0 0 16561 9 0 0 22 0 8 0 662663603 333000704 11785 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670538 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1327.98
Current children cumulated vsize (KiB) 325196

[startup+168.001 s]
/proc/loadavg: 7.89 6.37 6.80 9/424 5646
/proc/meminfo: memFree=15602140/32950928 swapFree=45358780/67111528
[pid=5633] ppid=5631 vsize=325196 CPUtime=1340.76 cores=0-7
/proc/5633/stat : 5633 (claspmt) R 5631 5633 5475 0 -1 4202496 11877 0 0 0 133992 84 0 0 25 0 8 0 662663602 333000704 11792 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670534 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/5633/statm: 81299 11792 464 189 0 75648 0
[pid=5633/tid=5634] ppid=5631 vsize=325196 CPUtime=167.87 cores=0-7
/proc/5633/task/5634/stat : 5634 (claspmt) R 5631 5633 5475 0 -1 4202560 2457 0 0 0 16774 13 0 0 25 0 8 0 662663603 333000704 11792 33554432000 4194304 4964800 140733801297232 18446744073709551615 4338823 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5633/tid=5635] ppid=5631 vsize=325196 CPUtime=167.84 cores=0-7
/proc/5633/task/5635/stat : 5635 (claspmt) R 5631 5633 5475 0 -1 4202560 1804 0 0 0 16773 11 0 0 18 0 8 0 662663603 333000704 11792 33554432000 4194304 4964800 140733801297232 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=5633/tid=5636] ppid=5631 vsize=325196 CPUtime=166.15 cores=0-7
/proc/5633/task/5636/stat : 5636 (claspmt) R 5631 5633 5475 0 -1 4202560 709 0 0 0 16606 9 0 0 25 0 8 0 662663603 333000704 11792 33554432000 4194304 4964800 140733801297232 18446744073709551615 4668777 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=5633/tid=5637] ppid=5631 vsize=325196 CPUtime=167.9 cores=0-7
/proc/5633/task/5637/stat : 5637 (claspmt) R 5631 5633 5475 0 -1 4202560 1772 0 0 0 16780 10 0 0 25 0 8 0 662663603 333000704 11792 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5633/tid=5638] ppid=5631 vsize=325196 CPUtime=167.89 cores=0-7
/proc/5633/task/5638/stat : 5638 (claspmt) R 5631 5633 5475 0 -1 4202560 1196 0 0 0 16777 12 0 0 25 0 8 0 662663603 333000704 11792 33554432000 4194304 4964800 140733801297232 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5633/tid=5639] ppid=5631 vsize=325196 CPUtime=167.85 cores=0-7
/proc/5633/task/5639/stat : 5639 (claspmt) R 5631 5633 5475 0 -1 4202560 852 0 0 0 16775 10 0 0 25 0 8 0 662663603 333000704 11792 33554432000 4194304 4964800 140733801297232 18446744073709551615 4342208 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5633/tid=5640] ppid=5631 vsize=325196 CPUtime=167.29 cores=0-7
/proc/5633/task/5640/stat : 5640 (claspmt) R 5631 5633 5475 0 -1 4202560 1203 0 0 0 16719 10 0 0 18 0 8 0 662663603 333000704 11792 33554432000 4194304 4964800 140733801297232 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1340.76
Current children cumulated vsize (KiB) 325196

[startup+168.801 s]
/proc/loadavg: 7.89 6.37 6.80 9/424 5646
/proc/meminfo: memFree=15602016/32950928 swapFree=45358780/67111528
[pid=5633] ppid=5631 vsize=325196 CPUtime=1347.15 cores=0-7
/proc/5633/stat : 5633 (claspmt) R 5631 5633 5475 0 -1 4202496 11895 0 0 0 134630 85 0 0 25 0 8 0 662663602 333000704 11810 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670330 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/5633/statm: 81299 11810 464 189 0 75648 0
[pid=5633/tid=5634] ppid=5631 vsize=325196 CPUtime=168.67 cores=0-7
/proc/5633/task/5634/stat : 5634 (claspmt) R 5631 5633 5475 0 -1 4202560 2457 0 0 0 16854 13 0 0 25 0 8 0 662663603 333000704 11810 33554432000 4194304 4964800 140733801297232 18446744073709551615 4321042 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5633/tid=5635] ppid=5631 vsize=325196 CPUtime=168.64 cores=0-7
/proc/5633/task/5635/stat : 5635 (claspmt) R 5631 5633 5475 0 -1 4202560 1809 0 0 0 16853 11 0 0 19 0 8 0 662663603 333000704 11810 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=5633/tid=5636] ppid=5631 vsize=325196 CPUtime=166.96 cores=0-7
/proc/5633/task/5636/stat : 5636 (claspmt) R 5631 5633 5475 0 -1 4202560 721 0 0 0 16686 10 0 0 25 0 8 0 662663603 333000704 11810 33554432000 4194304 4964800 140733801297232 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=5633/tid=5637] ppid=5631 vsize=325196 CPUtime=168.69 cores=0-7
/proc/5633/task/5637/stat : 5637 (claspmt) R 5631 5633 5475 0 -1 4202560 1773 0 0 0 16859 10 0 0 25 0 8 0 662663603 333000704 11810 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5633/tid=5638] ppid=5631 vsize=325196 CPUtime=168.69 cores=0-7
/proc/5633/task/5638/stat : 5638 (claspmt) R 5631 5633 5475 0 -1 4202560 1196 0 0 0 16857 12 0 0 25 0 8 0 662663603 333000704 11810 33554432000 4194304 4964800 140733801297232 18446744073709551615 4627168 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5633/tid=5639] ppid=5631 vsize=325196 CPUtime=168.65 cores=0-7
/proc/5633/task/5639/stat : 5639 (claspmt) R 5631 5633 5475 0 -1 4202560 852 0 0 0 16855 10 0 0 25 0 8 0 662663603 333000704 11810 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5633/tid=5640] ppid=5631 vsize=325196 CPUtime=168.07 cores=0-7
/proc/5633/task/5640/stat : 5640 (claspmt) R 5631 5633 5475 0 -1 4202560 1203 0 0 0 16797 10 0 0 19 0 8 0 662663603 333000704 11810 33554432000 4194304 4964800 140733801297232 18446744073709551615 4668698 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1347.15
Current children cumulated vsize (KiB) 325196

[startup+169.201 s]
/proc/loadavg: 7.89 6.37 6.80 9/424 5646
/proc/meminfo: memFree=15602016/32950928 swapFree=45358780/67111528
[pid=5633] ppid=5631 vsize=325196 CPUtime=1350.34 cores=0-7
/proc/5633/stat : 5633 (claspmt) R 5631 5633 5475 0 -1 4202496 11900 0 0 0 134949 85 0 0 25 0 8 0 662663602 333000704 11815 33554432000 4194304 4964800 140733801297232 18446744073709551615 4321102 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/5633/statm: 81299 11815 464 189 0 75648 0
[pid=5633/tid=5634] ppid=5631 vsize=325196 CPUtime=169.06 cores=0-7
/proc/5633/task/5634/stat : 5634 (claspmt) R 5631 5633 5475 0 -1 4202560 2457 0 0 0 16893 13 0 0 25 0 8 0 662663603 333000704 11815 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5633/tid=5635] ppid=5631 vsize=325196 CPUtime=169.04 cores=0-7
/proc/5633/task/5635/stat : 5635 (claspmt) R 5631 5633 5475 0 -1 4202560 1809 0 0 0 16893 11 0 0 20 0 8 0 662663603 333000704 11815 33554432000 4194304 4964800 140733801297232 18446744073709551615 254500796959 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=5633/tid=5636] ppid=5631 vsize=325196 CPUtime=167.36 cores=0-7
/proc/5633/task/5636/stat : 5636 (claspmt) R 5631 5633 5475 0 -1 4202560 726 0 0 0 16726 10 0 0 25 0 8 0 662663603 333000704 11815 33554432000 4194304 4964800 140733801297232 18446744073709551615 4668672 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=5633/tid=5637] ppid=5631 vsize=325196 CPUtime=169.09 cores=0-7
/proc/5633/task/5637/stat : 5637 (claspmt) R 5631 5633 5475 0 -1 4202560 1773 0 0 0 16899 10 0 0 25 0 8 0 662663603 333000704 11815 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5633/tid=5638] ppid=5631 vsize=325196 CPUtime=169.09 cores=0-7
/proc/5633/task/5638/stat : 5638 (claspmt) R 5631 5633 5475 0 -1 4202560 1196 0 0 0 16897 12 0 0 25 0 8 0 662663603 333000704 11815 33554432000 4194304 4964800 140733801297232 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5633/tid=5639] ppid=5631 vsize=325196 CPUtime=169.05 cores=0-7
/proc/5633/task/5639/stat : 5639 (claspmt) R 5631 5633 5475 0 -1 4202560 852 0 0 0 16895 10 0 0 25 0 8 0 662663603 333000704 11815 33554432000 4194304 4964800 140733801297232 18446744073709551615 254500796959 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5633/tid=5640] ppid=5631 vsize=325196 CPUtime=168.47 cores=0-7
/proc/5633/task/5640/stat : 5640 (claspmt) R 5631 5633 5475 0 -1 4202560 1203 0 0 0 16837 10 0 0 20 0 8 0 662663603 333000704 11815 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1350.34
Current children cumulated vsize (KiB) 325196

[startup+169.401 s]
/proc/loadavg: 7.89 6.37 6.80 9/424 5646
/proc/meminfo: memFree=15601892/32950928 swapFree=45358780/67111528
[pid=5633] ppid=5631 vsize=325196 CPUtime=1351.99 cores=0-7
/proc/5633/stat : 5633 (claspmt) R 5631 5633 5475 0 -1 4202496 11900 0 0 0 135114 85 0 0 25 0 8 0 662663602 333000704 11815 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/5633/statm: 81299 11815 464 189 0 75648 0
[pid=5633/tid=5634] ppid=5631 vsize=325196 CPUtime=169.28 cores=0-7
/proc/5633/task/5634/stat : 5634 (claspmt) R 5631 5633 5475 0 -1 4202560 2457 0 0 0 16915 13 0 0 25 0 8 0 662663603 333000704 11815 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5633/tid=5635] ppid=5631 vsize=325196 CPUtime=169.25 cores=0-7
/proc/5633/task/5635/stat : 5635 (claspmt) R 5631 5633 5475 0 -1 4202560 1809 0 0 0 16914 11 0 0 20 0 8 0 662663603 333000704 11815 33554432000 4194304 4964800 140733801297232 18446744073709551615 4668611 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=5633/tid=5636] ppid=5631 vsize=325196 CPUtime=167.57 cores=0-7
/proc/5633/task/5636/stat : 5636 (claspmt) R 5631 5633 5475 0 -1 4202560 726 0 0 0 16747 10 0 0 25 0 8 0 662663603 333000704 11815 33554432000 4194304 4964800 140733801297232 18446744073709551615 4660123 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=5633/tid=5637] ppid=5631 vsize=325196 CPUtime=169.31 cores=0-7
/proc/5633/task/5637/stat : 5637 (claspmt) R 5631 5633 5475 0 -1 4202560 1773 0 0 0 16921 10 0 0 25 0 8 0 662663603 333000704 11815 33554432000 4194304 4964800 140733801297232 18446744073709551615 4342157 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5633/tid=5638] ppid=5631 vsize=325196 CPUtime=169.3 cores=0-7
/proc/5633/task/5638/stat : 5638 (claspmt) R 5631 5633 5475 0 -1 4202560 1196 0 0 0 16918 12 0 0 25 0 8 0 662663603 333000704 11815 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5633/tid=5639] ppid=5631 vsize=325196 CPUtime=169.27 cores=0-7
/proc/5633/task/5639/stat : 5639 (claspmt) R 5631 5633 5475 0 -1 4202560 852 0 0 0 16917 10 0 0 25 0 8 0 662663603 333000704 11815 33554432000 4194304 4964800 140733801297232 18446744073709551615 4363605 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5633/tid=5640] ppid=5631 vsize=325196 CPUtime=168.67 cores=0-7
/proc/5633/task/5640/stat : 5640 (claspmt) R 5631 5633 5475 0 -1 4202560 1203 0 0 0 16857 10 0 0 20 0 8 0 662663603 333000704 11815 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1351.99
Current children cumulated vsize (KiB) 325196

[startup+169.516 s]
/proc/loadavg: 7.89 6.37 6.80 9/424 5646
/proc/meminfo: memFree=15601892/32950928 swapFree=45358780/67111528
[pid=5633] ppid=5631 vsize=325196 CPUtime=1352.84 cores=0-7
/proc/5633/stat : 5633 (claspmt) R 5631 5633 5475 0 -1 4202496 11900 0 0 0 135199 85 0 0 25 0 8 0 662663602 333000704 11815 33554432000 4194304 4964800 140733801297232 18446744073709551615 4668725 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/5633/statm: 81299 11815 464 189 0 75648 0
[pid=5633/tid=5634] ppid=5631 vsize=325196 CPUtime=169.38 cores=0-7
/proc/5633/task/5634/stat : 5634 (claspmt) R 5631 5633 5475 0 -1 4202560 2457 0 0 0 16925 13 0 0 25 0 8 0 662663603 333000704 11815 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5633/tid=5635] ppid=5631 vsize=325196 CPUtime=169.35 cores=0-7
/proc/5633/task/5635/stat : 5635 (claspmt) R 5631 5633 5475 0 -1 4202560 1809 0 0 0 16924 11 0 0 21 0 8 0 662663603 333000704 11815 33554432000 4194304 4964800 140733801297232 18446744073709551615 4668725 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=5633/tid=5636] ppid=5631 vsize=325196 CPUtime=167.67 cores=0-7
/proc/5633/task/5636/stat : 5636 (claspmt) R 5631 5633 5475 0 -1 4202560 726 0 0 0 16757 10 0 0 25 0 8 0 662663603 333000704 11815 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670343 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=5633/tid=5637] ppid=5631 vsize=325196 CPUtime=169.41 cores=0-7
/proc/5633/task/5637/stat : 5637 (claspmt) R 5631 5633 5475 0 -1 4202560 1773 0 0 0 16931 10 0 0 25 0 8 0 662663603 333000704 11815 33554432000 4194304 4964800 140733801297232 18446744073709551615 4362514 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5633/tid=5638] ppid=5631 vsize=325196 CPUtime=169.4 cores=0-7
/proc/5633/task/5638/stat : 5638 (claspmt) R 5631 5633 5475 0 -1 4202560 1196 0 0 0 16928 12 0 0 25 0 8 0 662663603 333000704 11815 33554432000 4194304 4964800 140733801297232 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5633/tid=5639] ppid=5631 vsize=325196 CPUtime=169.37 cores=0-7
/proc/5633/task/5639/stat : 5639 (claspmt) R 5631 5633 5475 0 -1 4202560 852 0 0 0 16927 10 0 0 25 0 8 0 662663603 333000704 11815 33554432000 4194304 4964800 140733801297232 18446744073709551615 4321069 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5633/tid=5640] ppid=5631 vsize=325196 CPUtime=168.77 cores=0-7
/proc/5633/task/5640/stat : 5640 (claspmt) R 5631 5633 5475 0 -1 4202560 1203 0 0 0 16867 10 0 0 20 0 8 0 662663603 333000704 11815 33554432000 4194304 4964800 140733801297232 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1352.84
Current children cumulated vsize (KiB) 325196

Child status: 10
Real time (s): 169.583
CPU time (s): 1353.33
CPU user time (s): 1352.47
CPU system time (s): 0.857869
CPU usage (%): 798.033
Max. virtual memory (cumulated for all children) (KiB): 325196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1352.47
system time used= 0.857869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11912
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= 127623
involuntary context switches= 5982

runsolver used 0.688895 second user time and 1.63775 second system time

The end

Launcher Data 

Begin job on node149 at 2011-05-16 03:51:09
IDJOB=3381251
IDBENCH=85355
IDSOLVER=1865
FILE ID=node149/3381251-1305510669
RUNJOBID= node149-1305510360-5489
PBS_JOBID= 13325523
Free space on /tmp= 73544 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3381251-1305510669/watcher-3381251-1305510669 -o /tmp/evaluation-result-3381251-1305510669/solver-3381251-1305510669 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3381251-1305510669.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 22bc1843113c53c5f8a8f8cec42dcbe5
RANDOM SEED=980033627

node149.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      15648376 kB
Buffers:         23776 kB
Cached:         199260 kB
SwapCached:      36196 kB
Active:        8175368 kB
Inactive:      8857808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15648376 kB
SwapTotal:    67111528 kB
SwapFree:     45358780 kB
Dirty:             836 kB
Writeback:           0 kB
AnonPages:    16786880 kB
Mapped:          23528 kB
Slab:            94860 kB
PageTables:     105380 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 134195412 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73544 MiB
End job on node149 at 2011-05-16 03:53:59