SAT 2011 Competition: 32 cores track competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)	SAT	98.791	4.01741

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3400876-1307099730/watcher-3400876-1307099730 -o /tmp/evaluation-result-3400876-1307099730/solver-3400876-1307099730 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400876-1307099730.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

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


[startup+0 s]
/proc/loadavg: 28.09 29.30 28.15 1/413 14615
/proc/meminfo: memFree=262941608/264257624 swapFree=67054988/67111528
[pid=14615] ppid=14613 vsize=797972 CPUtime=0.57 cores=0-31
/proc/14615/stat : 14615 (strangenight2-m) R 14613 14615 14531 0 -1 4202496 1470 0 0 0 49 8 0 0 25 0 32 0 15885352 817123328 1302 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/14615/statm: 199493 1311 322 95 0 194475 0
[pid=14615/tid=14616] ppid=14613 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14615/task/14616/stat : 14616 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 20 0 0 0 1 0 0 0 24 0 32 0 15885352 817123328 1432 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14615/tid=14617] ppid=14613 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14615/task/14617/stat : 14617 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 41 0 0 0 1 0 0 0 24 0 32 0 15885352 817123328 1526 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14615/tid=14618] ppid=14613 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14615/task/14618/stat : 14618 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 69 0 0 0 1 0 0 0 23 0 32 0 15885352 817123328 1577 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14615/tid=14619] ppid=14613 vsize=797972 CPUtime=0 cores=0-31
/proc/14615/task/14619/stat : 14619 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 73 0 0 0 0 0 0 0 23 0 32 0 15885352 817123328 1653 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14615/tid=14620] ppid=14613 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14615/task/14620/stat : 14620 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 28 0 0 0 1 0 0 0 18 0 32 0 15885352 817123328 1734 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14615/tid=14621] ppid=14613 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14615/task/14621/stat : 14621 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 76 0 0 0 1 0 0 0 24 0 32 0 15885352 817123328 1781 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14615/tid=14622] ppid=14613 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14615/task/14622/stat : 14622 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 79 0 0 0 1 0 0 0 24 0 32 0 15885352 817123328 1844 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14615/tid=14623] ppid=14613 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14615/task/14623/stat : 14623 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 64 0 0 0 1 0 0 0 25 0 32 0 15885352 817123328 1897 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14615/tid=14624] ppid=14613 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14615/task/14624/stat : 14624 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 55 0 0 0 1 0 0 0 25 0 32 0 15885352 817123328 1956 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14615/tid=14625] ppid=14613 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14615/task/14625/stat : 14625 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 31 0 0 0 1 0 0 0 25 0 32 0 15885352 817123328 2026 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14615/tid=14626] ppid=14613 vsize=797972 CPUtime=0 cores=0-31
/proc/14615/task/14626/stat : 14626 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 42 0 0 0 0 0 0 0 24 0 32 0 15885352 817123328 2116 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14615/tid=14627] ppid=14613 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14615/task/14627/stat : 14627 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 97 0 0 0 1 0 0 0 25 0 32 0 15885352 817123328 2194 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14615/tid=14628] ppid=14613 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14615/task/14628/stat : 14628 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 106 0 0 0 1 0 0 0 25 0 32 0 15885352 817123328 2239 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14615/tid=14629] ppid=14613 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14615/task/14629/stat : 14629 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 49 0 0 0 1 0 0 0 25 0 32 0 15885352 817123328 2318 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14615/tid=14630] ppid=14613 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14615/task/14630/stat : 14630 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 48 0 0 0 1 0 0 0 25 0 32 0 15885353 817123328 2388 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14615/tid=14631] ppid=14613 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14615/task/14631/stat : 14631 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 60 0 0 0 1 0 0 0 25 0 32 0 15885353 817123328 2457 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14615/tid=14632] ppid=14613 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14615/task/14632/stat : 14632 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 74 0 0 0 1 0 0 0 25 0 32 0 15885353 817123328 2507 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14615/tid=14633] ppid=14613 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14615/task/14633/stat : 14633 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 79 0 0 0 1 0 0 0 25 0 32 0 15885353 817123328 2556 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14615/tid=14634] ppid=14613 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14615/task/14634/stat : 14634 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 66 0 0 0 1 0 0 0 25 0 32 0 15885353 817123328 2636 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14615/tid=14635] ppid=14613 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14615/task/14635/stat : 14635 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 83 0 0 0 1 0 0 0 25 0 32 0 15885353 817123328 2706 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14615/tid=14636] ppid=14613 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14615/task/14636/stat : 14636 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 70 0 0 0 1 0 0 0 25 0 32 0 15885353 817123328 2772 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14615/tid=14637] ppid=14613 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14615/task/14637/stat : 14637 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 56 0 0 0 1 0 0 0 25 0 32 0 15885353 817123328 2844 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14615/tid=14638] ppid=14613 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14615/task/14638/stat : 14638 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 65 0 0 0 1 0 0 0 25 0 32 0 15885353 817123328 2926 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14615/tid=14639] ppid=14613 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14615/task/14639/stat : 14639 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 79 0 0 0 1 0 0 0 25 0 32 0 15885353 817123328 2999 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14615/tid=14640] ppid=14613 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14615/task/14640/stat : 14640 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 78 0 0 0 1 0 0 0 25 0 32 0 15885353 817123328 3099 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14615/tid=14641] ppid=14613 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14615/task/14641/stat : 14641 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 112 0 0 0 1 0 0 0 25 0 32 0 15885353 817123328 3174 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14615/tid=14642] ppid=14613 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14615/task/14642/stat : 14642 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 108 0 0 0 1 0 0 0 25 0 32 0 15885353 817123328 3242 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14615/tid=14643] ppid=14613 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14615/task/14643/stat : 14643 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 90 0 0 0 1 0 0 0 25 0 32 0 15885353 817123328 3332 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14615/tid=14644] ppid=14613 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14615/task/14644/stat : 14644 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 76 0 0 0 1 0 0 0 25 0 32 0 15885353 817123328 3397 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14615/tid=14645] ppid=14613 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14615/task/14645/stat : 14645 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 90 0 0 0 1 0 0 0 25 0 32 0 15885353 817123328 3441 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14615/tid=14646] ppid=14613 vsize=797972 CPUtime=0.01 cores=0-31
/proc/14615/task/14646/stat : 14646 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 75 0 0 0 1 0 0 0 25 0 32 0 15885353 817123328 3525 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0

[startup+0.0493649 s]
/proc/loadavg: 28.09 29.30 28.15 1/413 14615
/proc/meminfo: memFree=262941608/264257624 swapFree=67054988/67111528
[pid=14615] ppid=14613 vsize=797972 CPUtime=1.03 cores=0-31
/proc/14615/stat : 14615 (strangenight2-m) R 14613 14615 14531 0 -1 4202496 7444 0 0 0 49 54 0 0 25 0 32 0 15885352 817123328 7271 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/14615/statm: 199493 7302 327 95 0 194475 0
[pid=14615/tid=14616] ppid=14613 vsize=797972 CPUtime=0.02 cores=0-31
/proc/14615/task/14616/stat : 14616 (strangenight2-m) D 14613 14615 14531 0 -1 4202560 195 0 0 0 1 1 0 0 24 0 32 0 15885352 817123328 7303 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14615/tid=14617] ppid=14613 vsize=798104 CPUtime=0.02 cores=0-31
/proc/14615/task/14617/stat : 14617 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 217 0 0 0 1 1 0 0 24 0 32 0 15885352 817258496 7312 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14615/tid=14618] ppid=14613 vsize=798104 CPUtime=0.02 cores=0-31
/proc/14615/task/14618/stat : 14618 (strangenight2-m) D 14613 14615 14531 0 -1 4202560 264 0 0 0 1 1 0 0 24 0 32 0 15885352 817258496 7314 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14615/tid=14619] ppid=14613 vsize=798104 CPUtime=0.01 cores=0-31
/proc/14615/task/14619/stat : 14619 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 266 0 0 0 0 1 0 0 24 0 32 0 15885352 817258496 7327 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14615/tid=14620] ppid=14613 vsize=798104 CPUtime=0.02 cores=0-31
/proc/14615/task/14620/stat : 14620 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 200 0 0 0 1 1 0 0 18 0 32 0 15885352 817258496 7347 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14615/tid=14621] ppid=14613 vsize=798104 CPUtime=0.02 cores=0-31
/proc/14615/task/14621/stat : 14621 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 271 0 0 0 1 1 0 0 24 0 32 0 15885352 817258496 7411 268435456000 4194304 4580107 140736689358496 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14615/tid=14622] ppid=14613 vsize=798104 CPUtime=0.02 cores=0-31
/proc/14615/task/14622/stat : 14622 (strangenight2-m) D 14613 14615 14531 0 -1 4202560 271 0 0 0 1 1 0 0 24 0 32 0 15885352 817258496 7412 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14615/tid=14623] ppid=14613 vsize=798104 CPUtime=0.02 cores=0-31
/proc/14615/task/14623/stat : 14623 (strangenight2-m) D 14613 14615 14531 0 -1 4202560 229 0 0 0 1 1 0 0 25 0 32 0 15885352 817258496 7412 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14615/tid=14624] ppid=14613 vsize=798104 CPUtime=0.02 cores=0-31
/proc/14615/task/14624/stat : 14624 (strangenight2-m) D 14613 14615 14531 0 -1 4202560 249 0 0 0 1 1 0 0 25 0 32 0 15885352 817258496 7412 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14615/tid=14625] ppid=14613 vsize=798104 CPUtime=0.02 cores=0-31
/proc/14615/task/14625/stat : 14625 (strangenight2-m) D 14613 14615 14531 0 -1 4202560 210 0 0 0 1 1 0 0 25 0 32 0 15885352 817258496 7412 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14615/tid=14626] ppid=14613 vsize=798104 CPUtime=0.01 cores=0-31
/proc/14615/task/14626/stat : 14626 (strangenight2-m) D 14613 14615 14531 0 -1 4202560 210 0 0 0 0 1 0 0 25 0 32 0 15885352 817258496 7415 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14615/tid=14627] ppid=14613 vsize=798104 CPUtime=0.02 cores=0-31
/proc/14615/task/14627/stat : 14627 (strangenight2-m) D 14613 14615 14531 0 -1 4202560 277 0 0 0 1 1 0 0 25 0 32 0 15885352 817258496 7418 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14615/tid=14628] ppid=14613 vsize=798104 CPUtime=0.02 cores=0-31
/proc/14615/task/14628/stat : 14628 (strangenight2-m) S 14613 14615 14531 0 -1 4202560 274 0 0 0 1 1 0 0 25 0 32 0 15885352 817258496 7434 268435456000 4194304 4580107 140736689358496 18446744073709551615 258651060958 0 0 4096 2 18446744071566928264 0 0 -1 20 0 0 0
[pid=14615/tid=14629] ppid=14613 vsize=798104 CPUtime=0.02 cores=0-31
/proc/14615/task/14629/stat : 14629 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 217 0 0 0 1 1 0 0 25 0 32 0 15885352 817258496 7479 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14615/tid=14630] ppid=14613 vsize=798104 CPUtime=0.02 cores=0-31
/proc/14615/task/14630/stat : 14630 (strangenight2-m) D 14613 14615 14531 0 -1 4202560 208 0 0 0 1 1 0 0 25 0 32 0 15885353 817258496 7483 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14615/tid=14631] ppid=14613 vsize=798104 CPUtime=0.02 cores=0-31
/proc/14615/task/14631/stat : 14631 (strangenight2-m) D 14613 14615 14531 0 -1 4202560 210 0 0 0 1 1 0 0 25 0 32 0 15885353 817258496 7483 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14615/tid=14632] ppid=14613 vsize=798104 CPUtime=0.03 cores=0-31
/proc/14615/task/14632/stat : 14632 (strangenight2-m) D 14613 14615 14531 0 -1 4202560 248 0 0 0 1 2 0 0 25 0 32 0 15885353 817258496 7484 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14615/tid=14633] ppid=14613 vsize=798104 CPUtime=0.02 cores=0-31
/proc/14615/task/14633/stat : 14633 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 239 0 0 0 1 1 0 0 25 0 32 0 15885353 817258496 7498 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14615/tid=14634] ppid=14613 vsize=798104 CPUtime=0.02 cores=0-31
/proc/14615/task/14634/stat : 14634 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 215 0 0 0 1 1 0 0 25 0 32 0 15885353 817258496 7546 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14615/tid=14635] ppid=14613 vsize=798104 CPUtime=0.02 cores=0-31
/proc/14615/task/14635/stat : 14635 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 257 0 0 0 1 1 0 0 25 0 32 0 15885353 817258496 7546 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14615/tid=14636] ppid=14613 vsize=798104 CPUtime=0.02 cores=0-31
/proc/14615/task/14636/stat : 14636 (strangenight2-m) D 14613 14615 14531 0 -1 4202560 222 0 0 0 1 1 0 0 25 0 32 0 15885353 817258496 7546 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14615/tid=14637] ppid=14613 vsize=814512 CPUtime=0.02 cores=0-31
/proc/14615/task/14637/stat : 14637 (strangenight2-m) D 14613 14615 14531 0 -1 4202560 204 0 0 0 1 1 0 0 25 0 32 0 15885353 834060288 7549 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14615/tid=14638] ppid=14613 vsize=822716 CPUtime=0.02 cores=0-31
/proc/14615/task/14638/stat : 14638 (strangenight2-m) D 14613 14615 14531 0 -1 4202560 217 0 0 0 1 1 0 0 25 0 32 0 15885353 842461184 7565 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14615/tid=14639] ppid=14613 vsize=822716 CPUtime=0.03 cores=0-31
/proc/14615/task/14639/stat : 14639 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 219 0 0 0 1 2 0 0 25 0 32 0 15885353 842461184 7578 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14615/tid=14640] ppid=14613 vsize=822716 CPUtime=0.02 cores=0-31
/proc/14615/task/14640/stat : 14640 (strangenight2-m) D 14613 14615 14531 0 -1 4202560 212 0 0 0 1 1 0 0 25 0 32 0 15885353 842461184 7578 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14615/tid=14641] ppid=14613 vsize=830920 CPUtime=0.02 cores=0-31
/proc/14615/task/14641/stat : 14641 (strangenight2-m) D 14613 14615 14531 0 -1 4202560 265 0 0 0 1 1 0 0 25 0 32 0 15885353 850862080 7581 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14615/tid=14642] ppid=14613 vsize=839124 CPUtime=0.02 cores=0-31
/proc/14615/task/14642/stat : 14642 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 239 0 0 0 1 1 0 0 25 0 32 0 15885353 859262976 7598 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14615/tid=14643] ppid=14613 vsize=839124 CPUtime=0.02 cores=0-31
/proc/14615/task/14643/stat : 14643 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 222 0 0 0 1 1 0 0 25 0 32 0 15885353 859262976 7609 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14615/tid=14644] ppid=14613 vsize=839124 CPUtime=0.02 cores=0-31
/proc/14615/task/14644/stat : 14644 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 223 0 0 0 1 1 0 0 25 0 32 0 15885353 859262976 7609 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14615/tid=14645] ppid=14613 vsize=839124 CPUtime=0.02 cores=0-31
/proc/14615/task/14645/stat : 14645 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 223 0 0 0 1 1 0 0 25 0 32 0 15885353 859262976 7624 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14615/tid=14646] ppid=14613 vsize=839124 CPUtime=0.02 cores=0-31
/proc/14615/task/14646/stat : 14646 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 208 0 0 0 1 1 0 0 25 0 32 0 15885353 859262976 7643 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 797972

[startup+0.104408 s]
/proc/loadavg: 28.09 29.30 28.15 1/413 14615
/proc/meminfo: memFree=262941608/264257624 swapFree=67054988/67111528
[pid=14615] ppid=14613 vsize=1454944 CPUtime=1.74 cores=0-31
/proc/14615/stat : 14615 (strangenight2-m) R 14613 14615 14531 0 -1 4202496 12220 0 0 0 68 106 0 0 17 0 32 0 15885352 1489862656 12038 268435456000 4194304 4580107 140736689358496 18446744073709551615 258651061007 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/14615/statm: 363736 12045 334 95 0 358718 0
[pid=14615/tid=14616] ppid=14613 vsize=1454944 CPUtime=0.05 cores=0-31
/proc/14615/task/14616/stat : 14616 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 366 0 0 0 2 3 0 0 17 0 32 0 15885352 1489862656 12050 268435456000 4194304 4580107 140736689358496 18446744073709551615 258651060958 0 0 4096 2 18446604454493920736 0 0 -1 1 0 0 0
[pid=14615/tid=14617] ppid=14613 vsize=1454944 CPUtime=0.05 cores=0-31
/proc/14615/task/14617/stat : 14617 (strangenight2-m) S 14613 14615 14531 0 -1 4202560 376 0 0 0 2 3 0 0 17 0 32 0 15885352 1489862656 12050 268435456000 4194304 4580107 140736689358496 18446744073709551615 258651060958 0 0 4096 2 18446604473008242144 0 0 -1 2 0 0 0
[pid=14615/tid=14618] ppid=14613 vsize=1454944 CPUtime=0.03 cores=0-31
/proc/14615/task/14618/stat : 14618 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 363 0 0 0 1 2 0 0 17 0 32 0 15885352 1489862656 12056 268435456000 4194304 4580107 140736689358496 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14615/tid=14619] ppid=14613 vsize=1454944 CPUtime=0.03 cores=0-31
/proc/14615/task/14619/stat : 14619 (strangenight2-m) S 14613 14615 14531 0 -1 4202560 381 0 0 0 1 2 0 0 17 0 32 0 15885352 1489862656 12060 268435456000 4194304 4580107 140736689358496 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14615/tid=14620] ppid=14613 vsize=1454944 CPUtime=0.03 cores=0-31
/proc/14615/task/14620/stat : 14620 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 354 0 0 0 1 2 0 0 17 0 32 0 15885352 1489862656 12061 268435456000 4194304 4580107 140736689358496 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14615/tid=14621] ppid=14613 vsize=1454944 CPUtime=0.04 cores=0-31
/proc/14615/task/14621/stat : 14621 (strangenight2-m) S 14613 14615 14531 0 -1 4202560 372 0 0 0 2 2 0 0 17 0 32 0 15885352 1489862656 12065 268435456000 4194304 4580107 140736689358496 18446744073709551615 258651060958 0 0 4096 2 18446604484583128544 0 0 -1 8 0 0 0
[pid=14615/tid=14622] ppid=14613 vsize=1454944 CPUtime=0.05 cores=0-31
/proc/14615/task/14622/stat : 14622 (strangenight2-m) D 14613 14615 14531 0 -1 4202560 370 0 0 0 2 3 0 0 17 0 32 0 15885352 1489862656 12066 268435456000 4194304 4580107 140736689358496 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14615/tid=14623] ppid=14613 vsize=1454944 CPUtime=0.05 cores=0-31
/proc/14615/task/14623/stat : 14623 (strangenight2-m) S 14613 14615 14531 0 -1 4202560 375 0 0 0 2 3 0 0 17 0 32 0 15885352 1489862656 12073 268435456000 4194304 4580107 140736689358496 18446744073709551615 258651060958 0 0 4096 2 18446604473420914144 0 0 -1 5 0 0 0
[pid=14615/tid=14624] ppid=14613 vsize=1454944 CPUtime=0.05 cores=0-31
/proc/14615/task/14624/stat : 14624 (strangenight2-m) S 14613 14615 14531 0 -1 4202560 363 0 0 0 2 3 0 0 17 0 32 0 15885352 1489862656 12080 268435456000 4194304 4580107 140736689358496 18446744073709551615 258651060958 0 0 4096 2 18446604504835276256 0 0 -1 3 0 0 0
[pid=14615/tid=14625] ppid=14613 vsize=1454944 CPUtime=0.05 cores=0-31
/proc/14615/task/14625/stat : 14625 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 370 0 0 0 2 3 0 0 17 0 32 0 15885352 1489862656 12086 268435456000 4194304 4580107 140736689358496 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14615/tid=14626] ppid=14613 vsize=1454944 CPUtime=0.03 cores=0-31
/proc/14615/task/14626/stat : 14626 (strangenight2-m) S 14613 14615 14531 0 -1 4202560 374 0 0 0 0 3 0 0 17 0 32 0 15885352 1489862656 12090 268435456000 4194304 4580107 140736689358496 18446744073709551615 258651060958 0 0 4096 2 18446604482401197536 0 0 -1 0 0 0 0
[pid=14615/tid=14627] ppid=14613 vsize=1454944 CPUtime=0.04 cores=0-31
/proc/14615/task/14627/stat : 14627 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 397 0 0 0 2 2 0 0 17 0 32 0 15885352 1489862656 12101 268435456000 4194304 4580107 140736689358496 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14615/tid=14628] ppid=14613 vsize=1454944 CPUtime=0.04 cores=0-31
/proc/14615/task/14628/stat : 14628 (strangenight2-m) S 14613 14615 14531 0 -1 4202560 348 0 0 0 2 2 0 0 17 0 32 0 15885352 1489862656 12102 268435456000 4194304 4580107 140736689358496 18446744073709551615 258651060958 0 0 4096 2 18446604490279624160 0 0 -1 12 0 0 0
[pid=14615/tid=14629] ppid=14613 vsize=1454944 CPUtime=0.05 cores=0-31
/proc/14615/task/14629/stat : 14629 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 367 0 0 0 2 3 0 0 17 0 32 0 15885352 1489862656 12107 268435456000 4194304 4580107 140736689358496 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14615/tid=14630] ppid=14613 vsize=1454944 CPUtime=0.05 cores=0-31
/proc/14615/task/14630/stat : 14630 (strangenight2-m) S 14613 14615 14531 0 -1 4202560 365 0 0 0 2 3 0 0 17 0 32 0 15885353 1489862656 12112 268435456000 4194304 4580107 140736689358496 18446744073709551615 258651060958 0 0 4096 2 18446604459975450080 0 0 -1 9 0 0 0
[pid=14615/tid=14631] ppid=14613 vsize=1454944 CPUtime=0.05 cores=0-31
/proc/14615/task/14631/stat : 14631 (strangenight2-m) S 14613 14615 14531 0 -1 4202560 347 0 0 0 2 3 0 0 17 0 32 0 15885353 1489862656 12119 268435456000 4194304 4580107 140736689358496 18446744073709551615 258651060958 0 0 4096 2 18446604482401197536 0 0 -1 6 0 0 0
[pid=14615/tid=14632] ppid=14613 vsize=1454944 CPUtime=0.05 cores=0-31

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

/proc/14615/task/14640/stat : 14640 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3597 0 0 0 243 13 0 0 18 0 32 0 15885353 2122117120 89061 268435456000 4194304 4580107 140736689358496 18446744073709551615 4489374 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14615/tid=14641] ppid=14613 vsize=2072380 CPUtime=2.4 cores=0-31
/proc/14615/task/14641/stat : 14641 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3766 0 0 0 229 11 0 0 18 0 32 0 15885353 2122117120 89061 268435456000 4194304 4580107 140736689358496 18446744073709551615 4318695 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14615/tid=14642] ppid=14613 vsize=2072380 CPUtime=2.41 cores=0-31
/proc/14615/task/14642/stat : 14642 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3431 0 0 0 229 12 0 0 18 0 32 0 15885353 2122117120 89061 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14615/tid=14643] ppid=14613 vsize=2072380 CPUtime=1.94 cores=0-31
/proc/14615/task/14643/stat : 14643 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 2873 0 0 0 180 14 0 0 16 0 32 0 15885353 2122117120 89061 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14615/tid=14644] ppid=14613 vsize=2072380 CPUtime=2.44 cores=0-31
/proc/14615/task/14644/stat : 14644 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3399 0 0 0 231 13 0 0 18 0 32 0 15885353 2122117120 89062 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14615/tid=14645] ppid=14613 vsize=2072380 CPUtime=2.17 cores=0-31
/proc/14615/task/14645/stat : 14645 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3434 0 0 0 202 15 0 0 17 0 32 0 15885353 2122117120 89062 268435456000 4194304 4580107 140736689358496 18446744073709551615 4294767 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14615/tid=14646] ppid=14613 vsize=2072380 CPUtime=2.59 cores=0-31
/proc/14615/task/14646/stat : 14646 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 1533 0 0 0 250 9 0 0 17 0 32 0 15885353 2122117120 89063 268435456000 4194304 4580107 140736689358496 18446744073709551615 4318741 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 71.69
Current children cumulated vsize (KiB) 2072380

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

[startup+3.20345 s]
/proc/loadavg: 28.09 29.30 28.15 35/445 14649
/proc/meminfo: memFree=262578324/264257624 swapFree=67054988/67111528
[pid=14615] ppid=14613 vsize=2072380 CPUtime=73.77 cores=0-31
/proc/14615/stat : 14615 (strangenight2-m) R 14613 14615 14531 0 -1 4202496 105130 0 0 0 6930 447 0 0 16 0 32 0 15885352 2122117120 89265 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293192 0 0 4096 2 18446744073709551615 0 0 17 11 0 0 0
/proc/14615/statm: 518095 89266 375 95 0 513077 0
[pid=14615/tid=14616] ppid=14613 vsize=2072380 CPUtime=2.06 cores=0-31
/proc/14615/task/14616/stat : 14616 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3118 0 0 0 190 16 0 0 16 0 32 0 15885352 2122117120 89266 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14615/tid=14617] ppid=14613 vsize=2072380 CPUtime=2.31 cores=0-31
/proc/14615/task/14617/stat : 14617 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3018 0 0 0 218 13 0 0 18 0 32 0 15885352 2122117120 89266 268435456000 4194304 4580107 140736689358496 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14615/tid=14618] ppid=14613 vsize=2072380 CPUtime=2.28 cores=0-31
/proc/14615/task/14618/stat : 14618 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3575 0 0 0 214 14 0 0 18 0 32 0 15885352 2122117120 89266 268435456000 4194304 4580107 140736689358496 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14615/tid=14619] ppid=14613 vsize=2072380 CPUtime=2.37 cores=0-31
/proc/14615/task/14619/stat : 14619 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3504 0 0 0 225 12 0 0 18 0 32 0 15885352 2122117120 89266 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14615/tid=14620] ppid=14613 vsize=2072380 CPUtime=2.04 cores=0-31
/proc/14615/task/14620/stat : 14620 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3010 0 0 0 192 12 0 0 16 0 32 0 15885352 2122117120 89266 268435456000 4194304 4580107 140736689358496 18446744073709551615 4294347 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14615/tid=14621] ppid=14613 vsize=2072380 CPUtime=2.17 cores=0-31
/proc/14615/task/14621/stat : 14621 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3351 0 0 0 202 15 0 0 16 0 32 0 15885352 2122117120 89266 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14615/tid=14622] ppid=14613 vsize=2072380 CPUtime=2.36 cores=0-31
/proc/14615/task/14622/stat : 14622 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3563 0 0 0 223 13 0 0 18 0 32 0 15885352 2122117120 89266 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14615/tid=14623] ppid=14613 vsize=2072380 CPUtime=2.42 cores=0-31
/proc/14615/task/14623/stat : 14623 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3010 0 0 0 231 11 0 0 18 0 32 0 15885352 2122117120 89266 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293100 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14615/tid=14624] ppid=14613 vsize=2072380 CPUtime=2.22 cores=0-31
/proc/14615/task/14624/stat : 14624 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 2690 0 0 0 210 12 0 0 16 0 32 0 15885352 2122117120 89266 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14615/tid=14625] ppid=14613 vsize=2072380 CPUtime=2.29 cores=0-31
/proc/14615/task/14625/stat : 14625 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3660 0 0 0 215 14 0 0 17 0 32 0 15885352 2122117120 89266 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14615/tid=14626] ppid=14613 vsize=2072380 CPUtime=2.28 cores=0-31
/proc/14615/task/14626/stat : 14626 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3035 0 0 0 215 13 0 0 18 0 32 0 15885352 2122117120 89266 268435456000 4194304 4580107 140736689358496 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14615/tid=14627] ppid=14613 vsize=2072380 CPUtime=2.27 cores=0-31
/proc/14615/task/14627/stat : 14627 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3475 0 0 0 210 17 0 0 16 0 32 0 15885352 2122117120 89267 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14615/tid=14628] ppid=14613 vsize=2072380 CPUtime=2.24 cores=0-31
/proc/14615/task/14628/stat : 14628 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3545 0 0 0 212 12 0 0 17 0 32 0 15885352 2122117120 89267 268435456000 4194304 4580107 140736689358496 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14615/tid=14629] ppid=14613 vsize=2072380 CPUtime=2.09 cores=0-31
/proc/14615/task/14629/stat : 14629 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3113 0 0 0 195 14 0 0 16 0 32 0 15885352 2122117120 89267 268435456000 4194304 4580107 140736689358496 18446744073709551615 4318767 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14615/tid=14630] ppid=14613 vsize=2072380 CPUtime=2.41 cores=0-31
/proc/14615/task/14630/stat : 14630 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3585 0 0 0 228 13 0 0 17 0 32 0 15885353 2122117120 89267 268435456000 4194304 4580107 140736689358496 18446744073709551615 4318735 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14615/tid=14631] ppid=14613 vsize=2072380 CPUtime=2.31 cores=0-31
/proc/14615/task/14631/stat : 14631 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 2948 0 0 0 219 12 0 0 18 0 32 0 15885353 2122117120 89267 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14615/tid=14632] ppid=14613 vsize=2072380 CPUtime=2.05 cores=0-31
/proc/14615/task/14632/stat : 14632 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3348 0 0 0 190 15 0 0 16 0 32 0 15885353 2122117120 89267 268435456000 4194304 4580107 140736689358496 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=14615/tid=14633] ppid=14613 vsize=2072380 CPUtime=2.3 cores=0-31
/proc/14615/task/14633/stat : 14633 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3642 0 0 0 216 14 0 0 16 0 32 0 15885353 2122117120 89267 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14615/tid=14634] ppid=14613 vsize=2072380 CPUtime=2.52 cores=0-31
/proc/14615/task/14634/stat : 14634 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3351 0 0 0 240 12 0 0 18 0 32 0 15885353 2122117120 89267 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293920 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14615/tid=14635] ppid=14613 vsize=2072380 CPUtime=2.12 cores=0-31
/proc/14615/task/14635/stat : 14635 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3249 0 0 0 195 17 0 0 16 0 32 0 15885353 2122117120 89267 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14615/tid=14636] ppid=14613 vsize=2072380 CPUtime=2.47 cores=0-31
/proc/14615/task/14636/stat : 14636 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3524 0 0 0 236 11 0 0 18 0 32 0 15885353 2122117120 89267 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14615/tid=14637] ppid=14613 vsize=2072380 CPUtime=2.32 cores=0-31
/proc/14615/task/14637/stat : 14637 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3772 0 0 0 219 13 0 0 17 0 32 0 15885353 2122117120 89267 268435456000 4194304 4580107 140736689358496 18446744073709551615 4318458 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14615/tid=14638] ppid=14613 vsize=2072380 CPUtime=2.1 cores=0-31
/proc/14615/task/14638/stat : 14638 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 2993 0 0 0 194 16 0 0 16 0 32 0 15885353 2122117120 89267 268435456000 4194304 4580107 140736689358496 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14615/tid=14639] ppid=14613 vsize=2072380 CPUtime=2.41 cores=0-31
/proc/14615/task/14639/stat : 14639 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3550 0 0 0 225 16 0 0 18 0 32 0 15885353 2122117120 89267 268435456000 4194304 4580107 140736689358496 18446744073709551615 4316600 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14615/tid=14640] ppid=14613 vsize=2072380 CPUtime=2.62 cores=0-31
/proc/14615/task/14640/stat : 14640 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3602 0 0 0 249 13 0 0 18 0 32 0 15885353 2122117120 89267 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14615/tid=14641] ppid=14613 vsize=2072380 CPUtime=2.46 cores=0-31
/proc/14615/task/14641/stat : 14641 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3774 0 0 0 235 11 0 0 18 0 32 0 15885353 2122117120 89267 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14615/tid=14642] ppid=14613 vsize=2072380 CPUtime=2.48 cores=0-31
/proc/14615/task/14642/stat : 14642 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3437 0 0 0 236 12 0 0 18 0 32 0 15885353 2122117120 89267 268435456000 4194304 4580107 140736689358496 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14615/tid=14643] ppid=14613 vsize=2072380 CPUtime=2 cores=0-31
/proc/14615/task/14643/stat : 14643 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 2880 0 0 0 186 14 0 0 16 0 32 0 15885353 2122117120 89267 268435456000 4194304 4580107 140736689358496 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14615/tid=14644] ppid=14613 vsize=2072380 CPUtime=2.51 cores=0-31
/proc/14615/task/14644/stat : 14644 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3406 0 0 0 238 13 0 0 18 0 32 0 15885353 2122117120 89267 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14615/tid=14645] ppid=14613 vsize=2072380 CPUtime=2.24 cores=0-31
/proc/14615/task/14645/stat : 14645 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3441 0 0 0 209 15 0 0 17 0 32 0 15885353 2122117120 89268 268435456000 4194304 4580107 140736689358496 18446744073709551615 4321636 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14615/tid=14646] ppid=14613 vsize=2072380 CPUtime=2.66 cores=0-31
/proc/14615/task/14646/stat : 14646 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 1538 0 0 0 257 9 0 0 18 0 32 0 15885353 2122117120 89268 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 73.77
Current children cumulated vsize (KiB) 2072380

[startup+3.60146 s]
/proc/loadavg: 28.09 29.30 28.15 35/445 14649
/proc/meminfo: memFree=262578324/264257624 swapFree=67054988/67111528
[pid=14615] ppid=14613 vsize=2072380 CPUtime=86.5 cores=0-31
/proc/14615/stat : 14615 (strangenight2-m) R 14613 14615 14531 0 -1 4202496 107284 0 0 0 8202 448 0 0 16 0 32 0 15885352 2122117120 91419 268435456000 4194304 4580107 140736689358496 18446744073709551615 4489474 0 0 4096 2 18446744073709551615 0 0 17 11 0 0 0
/proc/14615/statm: 518095 91419 375 95 0 513077 0
[pid=14615/tid=14616] ppid=14613 vsize=2072380 CPUtime=2.46 cores=0-31
/proc/14615/task/14616/stat : 14616 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3187 0 0 0 230 16 0 0 16 0 32 0 15885352 2122117120 91420 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14615/tid=14617] ppid=14613 vsize=2072380 CPUtime=2.71 cores=0-31
/proc/14615/task/14617/stat : 14617 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3090 0 0 0 258 13 0 0 18 0 32 0 15885352 2122117120 91420 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14615/tid=14618] ppid=14613 vsize=2072380 CPUtime=2.68 cores=0-31
/proc/14615/task/14618/stat : 14618 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3628 0 0 0 254 14 0 0 18 0 32 0 15885352 2122117120 91420 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14615/tid=14619] ppid=14613 vsize=2072380 CPUtime=2.77 cores=0-31
/proc/14615/task/14619/stat : 14619 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3565 0 0 0 265 12 0 0 18 0 32 0 15885352 2122117120 91420 268435456000 4194304 4580107 140736689358496 18446744073709551615 4317112 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14615/tid=14620] ppid=14613 vsize=2072380 CPUtime=2.44 cores=0-31
/proc/14615/task/14620/stat : 14620 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3090 0 0 0 232 12 0 0 16 0 32 0 15885352 2122117120 91420 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293121 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14615/tid=14621] ppid=14613 vsize=2072380 CPUtime=2.57 cores=0-31
/proc/14615/task/14621/stat : 14621 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3411 0 0 0 242 15 0 0 16 0 32 0 15885352 2122117120 91420 268435456000 4194304 4580107 140736689358496 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14615/tid=14622] ppid=14613 vsize=2072380 CPUtime=2.76 cores=0-31
/proc/14615/task/14622/stat : 14622 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3628 0 0 0 263 13 0 0 18 0 32 0 15885352 2122117120 91420 268435456000 4194304 4580107 140736689358496 18446744073709551615 4321081 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14615/tid=14623] ppid=14613 vsize=2072380 CPUtime=2.82 cores=0-31
/proc/14615/task/14623/stat : 14623 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3075 0 0 0 271 11 0 0 18 0 32 0 15885352 2122117120 91420 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14615/tid=14624] ppid=14613 vsize=2072380 CPUtime=2.62 cores=0-31
/proc/14615/task/14624/stat : 14624 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 2762 0 0 0 250 12 0 0 17 0 32 0 15885352 2122117120 91420 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14615/tid=14625] ppid=14613 vsize=2072380 CPUtime=2.69 cores=0-31
/proc/14615/task/14625/stat : 14625 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3716 0 0 0 255 14 0 0 18 0 32 0 15885352 2122117120 91420 268435456000 4194304 4580107 140736689358496 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14615/tid=14626] ppid=14613 vsize=2072380 CPUtime=2.68 cores=0-31
/proc/14615/task/14626/stat : 14626 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3099 0 0 0 255 13 0 0 18 0 32 0 15885352 2122117120 91421 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293728 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14615/tid=14627] ppid=14613 vsize=2072380 CPUtime=2.67 cores=0-31
/proc/14615/task/14627/stat : 14627 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3554 0 0 0 250 17 0 0 16 0 32 0 15885352 2122117120 91421 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293158 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14615/tid=14628] ppid=14613 vsize=2072380 CPUtime=2.64 cores=0-31
/proc/14615/task/14628/stat : 14628 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3614 0 0 0 252 12 0 0 17 0 32 0 15885352 2122117120 91421 268435456000 4194304 4580107 140736689358496 18446744073709551615 4321894 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14615/tid=14629] ppid=14613 vsize=2072380 CPUtime=2.49 cores=0-31
/proc/14615/task/14629/stat : 14629 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3188 0 0 0 235 14 0 0 16 0 32 0 15885352 2122117120 91421 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14615/tid=14630] ppid=14613 vsize=2072380 CPUtime=2.81 cores=0-31
/proc/14615/task/14630/stat : 14630 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3649 0 0 0 268 13 0 0 18 0 32 0 15885353 2122117120 91421 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14615/tid=14631] ppid=14613 vsize=2072380 CPUtime=2.71 cores=0-31
/proc/14615/task/14631/stat : 14631 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3011 0 0 0 259 12 0 0 18 0 32 0 15885353 2122117120 91421 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14615/tid=14632] ppid=14613 vsize=2072380 CPUtime=2.44 cores=0-31
/proc/14615/task/14632/stat : 14632 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3409 0 0 0 229 15 0 0 16 0 32 0 15885353 2122117120 91421 268435456000 4194304 4580107 140736689358496 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=14615/tid=14633] ppid=14613 vsize=2072380 CPUtime=2.7 cores=0-31
/proc/14615/task/14633/stat : 14633 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3707 0 0 0 256 14 0 0 17 0 32 0 15885353 2122117120 91421 268435456000 4194304 4580107 140736689358496 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14615/tid=14634] ppid=14613 vsize=2072380 CPUtime=2.92 cores=0-31
/proc/14615/task/14634/stat : 14634 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3427 0 0 0 280 12 0 0 19 0 32 0 15885353 2122117120 91422 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14615/tid=14635] ppid=14613 vsize=2072380 CPUtime=2.52 cores=0-31
/proc/14615/task/14635/stat : 14635 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3314 0 0 0 235 17 0 0 16 0 32 0 15885353 2122117120 91423 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293295 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14615/tid=14636] ppid=14613 vsize=2072380 CPUtime=2.86 cores=0-31
/proc/14615/task/14636/stat : 14636 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3600 0 0 0 275 11 0 0 19 0 32 0 15885353 2122117120 91424 268435456000 4194304 4580107 140736689358496 18446744073709551615 4318755 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14615/tid=14637] ppid=14613 vsize=2072380 CPUtime=2.71 cores=0-31
/proc/14615/task/14637/stat : 14637 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3845 0 0 0 258 13 0 0 18 0 32 0 15885353 2122117120 91424 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14615/tid=14638] ppid=14613 vsize=2072380 CPUtime=2.5 cores=0-31
/proc/14615/task/14638/stat : 14638 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3071 0 0 0 234 16 0 0 16 0 32 0 15885353 2122117120 91424 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14615/tid=14639] ppid=14613 vsize=2072380 CPUtime=2.8 cores=0-31
/proc/14615/task/14639/stat : 14639 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3622 0 0 0 264 16 0 0 18 0 32 0 15885353 2122117120 91424 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293704 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14615/tid=14640] ppid=14613 vsize=2072380 CPUtime=3.02 cores=0-31
/proc/14615/task/14640/stat : 14640 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3666 0 0 0 289 13 0 0 18 0 32 0 15885353 2122117120 91425 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14615/tid=14641] ppid=14613 vsize=2072380 CPUtime=2.86 cores=0-31
/proc/14615/task/14641/stat : 14641 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3837 0 0 0 275 11 0 0 19 0 32 0 15885353 2122117120 91425 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14615/tid=14642] ppid=14613 vsize=2072380 CPUtime=2.88 cores=0-31
/proc/14615/task/14642/stat : 14642 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3505 0 0 0 276 12 0 0 19 0 32 0 15885353 2122117120 91425 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14615/tid=14643] ppid=14613 vsize=2072380 CPUtime=2.4 cores=0-31
/proc/14615/task/14643/stat : 14643 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 2951 0 0 0 226 14 0 0 16 0 32 0 15885353 2122117120 91425 268435456000 4194304 4580107 140736689358496 18446744073709551615 4321597 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14615/tid=14644] ppid=14613 vsize=2072380 CPUtime=2.91 cores=0-31
/proc/14615/task/14644/stat : 14644 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3463 0 0 0 278 13 0 0 19 0 32 0 15885353 2122117120 91425 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14615/tid=14645] ppid=14613 vsize=2072380 CPUtime=2.63 cores=0-31
/proc/14615/task/14645/stat : 14645 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 3500 0 0 0 248 15 0 0 18 0 32 0 15885353 2122117120 91425 268435456000 4194304 4580107 140736689358496 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14615/tid=14646] ppid=14613 vsize=2072380 CPUtime=3.06 cores=0-31
/proc/14615/task/14646/stat : 14646 (strangenight2-m) R 14613 14615 14531 0 -1 4202560 1591 0 0 0 296 10 0 0 18 0 32 0 15885353 2122117120 91426 268435456000 4194304 4580107 140736689358496 18446744073709551615 4316670 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 86.5
Current children cumulated vsize (KiB) 2072380

[startup+4.00163 s]
/proc/loadavg: 28.09 29.30 28.15 35/445 14649
/proc/meminfo: memFree=262578324/264257624 swapFree=67054988/67111528
[pid=14615] ppid=14613 vsize=0 CPUtime=98.76 cores=0-31
/proc/14615/stat : 14615 (strangenight2-m) Z 14613 14615 14531 0 -1 4203548 114171 0 0 0 9424 452 0 0 17 0 2 0 15885352 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 11 0 0 0
/proc/14615/statm: 0 0 0 0 0 0 0
[pid=14615/tid=14621] ppid=14613 vsize=0 CPUtime=2.97 cores=0-31
/proc/14615/task/14621/stat : 14621 (strangenight2-m) R 14613 14615 14531 0 -1 4203588 3468 0 0 0 280 17 0 0 17 0 2 0 15885352 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 98.76
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 4.01741
CPU time (s): 98.791
CPU user time (s): 94.2487
CPU system time (s): 4.54231
CPU usage (%): 2459.07
Max. virtual memory (cumulated for all children) (KiB): 2087280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 94.2487
system time used= 4.54231
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114171
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= 208166
involuntary context switches= 5006

runsolver used 0.036994 second user time and 0.13098 second system time

The end

Begin job on node200 at 2011-06-03 13:15:30
IDJOB=3400876
IDBENCH=85974
IDSOLVER=1886
FILE ID=node200/3400876-1307099730
RUNJOBID= node200-1307099685-14545
PBS_JOBID= 13498408
Free space on /tmp= 61744 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT05/industrial/grieu05/vmpc/vmpc_25.renamed-as.sat05-1913.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400876-1307099730/watcher-3400876-1307099730 -o /tmp/evaluation-result-3400876-1307099730/solver-3400876-1307099730 -C 160000 -W 5100 -M 261000  ./strangenight2-mt --threads=32 HOME/instance-3400876-1307099730.cnf

TIME LIMIT= 160000 seconds
MEMORY LIMIT= 261000 MiB
NBCORE= 32

MD5SUM BENCH= abfdaeca4a2f2b81a39754bd9f8c6939
RANDOM SEED=872761976

node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 16
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 8
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 17
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 18
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 19
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 20
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 9
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 22
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 23
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 24
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 10
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 26
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 27
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 11
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 31
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      262941896 kB
Buffers:        107032 kB
Cached:        1014324 kB
SwapCached:       8428 kB
Active:         107840 kB
Inactive:      1032376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262941896 kB
SwapTotal:    67111528 kB
SwapFree:     67054988 kB
Dirty:            6568 kB
Writeback:           0 kB
AnonPages:       16996 kB
Mapped:           8720 kB
Slab:            89160 kB
PageTables:       4356 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   182552 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61736 MiB
End job on node200 at 2011-06-03 13:15:34

Name	SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf
MD5SUM	abfdaeca4a2f2b81a39754bd9f8c6939
Bench Category	APPLICATION (applications instances)
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	74.0088
Satisfiable
(Un)Satisfiability was proved
Number of variables	625
Number of clauses	76775
Sum of the clauses size	201350
Maximum clause length	25
Minimum clause length	2
Number of clauses of size 1	0
Number of clauses of size 2	30075
Number of clauses of size 3	46650
Number of clauses of size 4	0
Number of clauses of size 5	0
Number of clauses of size over 5	50

Trace number 3400876

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data