SAT 2011 Competition: 32 cores track competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
claspmt 2.0-R4095-patched (fixed)	SAT	2669.83	85.6578

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3472520-1307824468/watcher-3472520-1307824468 -o /tmp/evaluation-result-3472520-1307824468/solver-3472520-1307824468 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472520-1307824468.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): 262144000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 262195200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 9.55 24.54 28.88 1/413 12144
/proc/meminfo: memFree=261949032/264257624 swapFree=67111528/67111528
[pid=12144] ppid=12142 vsize=22808 CPUtime=0.02 cores=0-31
/proc/12144/stat : 12144 (claspmt) R 12142 12144 11974 0 -1 4202496 1066 0 0 0 2 0 0 0 20 0 1 0 47833690 23355392 897 270582939648 4194304 4964800 140733796609952 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/12144/statm: 5702 898 383 189 0 576 0

[startup+0.0745951 s]
/proc/loadavg: 9.55 24.54 28.88 1/413 12144
/proc/meminfo: memFree=261949032/264257624 swapFree=67111528/67111528
[pid=12144] ppid=12142 vsize=26668 CPUtime=0.06 cores=0-31
/proc/12144/stat : 12144 (claspmt) R 12142 12144 11974 0 -1 4202496 2070 0 0 0 6 0 0 0 20 0 1 0 47833690 27308032 1699 270582939648 4194304 4964800 140733796609952 18446744073709551615 258650653381 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/12144/statm: 6667 1710 383 189 0 1541 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 26668

[startup+0.100618 s]
/proc/loadavg: 9.55 24.54 28.88 1/413 12144
/proc/meminfo: memFree=261949032/264257624 swapFree=67111528/67111528
[pid=12144] ppid=12142 vsize=27528 CPUtime=0.09 cores=0-31
/proc/12144/stat : 12144 (claspmt) R 12142 12144 11974 0 -1 4202496 2657 0 0 0 9 0 0 0 20 0 1 0 47833690 28188672 2105 270582939648 4194304 4964800 140733796609952 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/12144/statm: 6915 2106 383 189 0 1789 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27528

[startup+0.300604 s]
/proc/loadavg: 9.55 24.54 28.88 1/413 12144
/proc/meminfo: memFree=261949032/264257624 swapFree=67111528/67111528
[pid=12144] ppid=12142 vsize=34948 CPUtime=0.29 cores=0-31
/proc/12144/stat : 12144 (claspmt) R 12142 12144 11974 0 -1 4202496 4764 0 0 0 28 1 0 0 21 0 1 0 47833690 35786752 3931 270582939648 4194304 4964800 140733796609952 18446744073709551615 258650646780 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/12144/statm: 8737 3931 396 189 0 3611 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34948

[startup+0.700616 s]
/proc/loadavg: 9.55 24.54 28.88 1/413 12144
/proc/meminfo: memFree=261949032/264257624 swapFree=67111528/67111528
[pid=12144] ppid=12142 vsize=34948 CPUtime=0.69 cores=0-31
/proc/12144/stat : 12144 (claspmt) R 12142 12144 11974 0 -1 4202496 4765 0 0 0 68 1 0 0 22 0 1 0 47833690 35786752 3932 270582939648 4194304 4964800 140733796609952 18446744073709551615 4607549 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/12144/statm: 8737 3932 396 189 0 3611 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34948

[startup+1.5005 s]
/proc/loadavg: 9.55 24.54 28.88 2/414 12145
/proc/meminfo: memFree=261934376/264257624 swapFree=67111528/67111528
[pid=12144] ppid=12142 vsize=950160 CPUtime=7.62 cores=0-31
/proc/12144/stat : 12144 (claspmt) R 12142 12144 11974 0 -1 4202496 7400 0 0 0 751 11 0 0 17 0 32 0 47833690 972963840 6129 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668753 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/12144/statm: 237540 6129 461 189 0 231889 0
Current children cumulated CPU time (s) 7.62
Current children cumulated vsize (KiB) 950160

[startup+3.10156 s]
/proc/loadavg: 9.55 24.54 28.88 33/445 12176
/proc/meminfo: memFree=261913076/264257624 swapFree=67111528/67111528
[pid=12144] ppid=12142 vsize=951644 CPUtime=58.6 cores=0-31
/proc/12144/stat : 12144 (claspmt) R 12142 12144 11974 0 -1 4202496 19184 0 0 0 5814 46 0 0 19 0 32 0 47833690 974483456 17913 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668734 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/12144/statm: 237911 17913 461 189 0 232260 0
[pid=12144/tid=12146] ppid=12142 vsize=951644 CPUtime=1.77 cores=0-31
/proc/12144/task/12146/stat : 12146 (claspmt) R 12142 12144 11974 0 -1 4202560 351 0 0 0 177 0 0 0 18 0 32 0 47833801 974483456 17913 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668756 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12144/tid=12147] ppid=12142 vsize=951644 CPUtime=1.77 cores=0-31
/proc/12144/task/12147/stat : 12147 (claspmt) R 12142 12144 11974 0 -1 4202560 674 0 0 0 176 1 0 0 18 0 32 0 47833801 974483456 17913 270582939648 4194304 4964800 140733796609952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12144/tid=12148] ppid=12142 vsize=951644 CPUtime=1.78 cores=0-31
/proc/12144/task/12148/stat : 12148 (claspmt) R 12142 12144 11974 0 -1 4202560 283 0 0 0 178 0 0 0 18 0 32 0 47833801 974483456 17913 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668709 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12144/tid=12149] ppid=12142 vsize=951644 CPUtime=1.77 cores=0-31
/proc/12144/task/12149/stat : 12149 (claspmt) R 12142 12144 11974 0 -1 4202560 427 0 0 0 176 1 0 0 18 0 32 0 47833801 974483456 17913 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668732 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12144/tid=12150] ppid=12142 vsize=951644 CPUtime=1.86 cores=0-31
/proc/12144/task/12150/stat : 12150 (claspmt) R 12142 12144 11974 0 -1 4202560 55 0 0 0 186 0 0 0 18 0 32 0 47833801 974483456 17913 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668728 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=12144/tid=12151] ppid=12142 vsize=951644 CPUtime=1.75 cores=0-31
/proc/12144/task/12151/stat : 12151 (claspmt) R 12142 12144 11974 0 -1 4202560 505 0 0 0 174 1 0 0 25 0 32 0 47833801 974483456 17913 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=12144/tid=12152] ppid=12142 vsize=951644 CPUtime=1.76 cores=0-31
/proc/12144/task/12152/stat : 12152 (claspmt) R 12142 12144 11974 0 -1 4202560 843 0 0 0 174 2 0 0 18 0 32 0 47833801 974483456 17913 270582939648 4194304 4964800 140733796609952 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=12144/tid=12153] ppid=12142 vsize=951644 CPUtime=1.77 cores=0-31
/proc/12144/task/12153/stat : 12153 (claspmt) R 12142 12144 11974 0 -1 4202560 500 0 0 0 176 1 0 0 18 0 32 0 47833801 974483456 17913 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=12144/tid=12154] ppid=12142 vsize=951644 CPUtime=1.77 cores=0-31
/proc/12144/task/12154/stat : 12154 (claspmt) R 12142 12144 11974 0 -1 4202560 495 0 0 0 176 1 0 0 17 0 32 0 47833801 974483456 17913 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=12144/tid=12155] ppid=12142 vsize=951644 CPUtime=1.77 cores=0-31
/proc/12144/task/12155/stat : 12155 (claspmt) R 12142 12144 11974 0 -1 4202560 643 0 0 0 176 1 0 0 19 0 32 0 47833801 974483456 17913 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=12144/tid=12156] ppid=12142 vsize=951644 CPUtime=1.78 cores=0-31
/proc/12144/task/12156/stat : 12156 (claspmt) R 12142 12144 11974 0 -1 4202560 266 0 0 0 177 1 0 0 17 0 32 0 47833801 974483456 17913 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12144/tid=12157] ppid=12142 vsize=951644 CPUtime=1.78 cores=0-31
/proc/12144/task/12157/stat : 12157 (claspmt) R 12142 12144 11974 0 -1 4202560 365 0 0 0 178 0 0 0 18 0 32 0 47833801 974483456 17913 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668681 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=12144/tid=12158] ppid=12142 vsize=951644 CPUtime=1.96 cores=0-31
/proc/12144/task/12158/stat : 12158 (claspmt) R 12142 12144 11974 0 -1 4202560 68 0 0 0 196 0 0 0 20 0 32 0 47833801 974483456 17913 270582939648 4194304 4964800 140733796609952 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=12144/tid=12159] ppid=12142 vsize=951644 CPUtime=1.76 cores=0-31
/proc/12144/task/12159/stat : 12159 (claspmt) R 12142 12144 11974 0 -1 4202560 546 0 0 0 175 1 0 0 18 0 32 0 47833801 974483456 17913 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=12144/tid=12160] ppid=12142 vsize=951644 CPUtime=1.76 cores=0-31
/proc/12144/task/12160/stat : 12160 (claspmt) R 12142 12144 11974 0 -1 4202560 784 0 0 0 174 2 0 0 18 0 32 0 47833801 974483456 17913 270582939648 4194304 4964800 140733796609952 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=12144/tid=12161] ppid=12142 vsize=951644 CPUtime=1.79 cores=0-31
/proc/12144/task/12161/stat : 12161 (claspmt) R 12142 12144 11974 0 -1 4202560 320 0 0 0 178 1 0 0 18 0 32 0 47833801 974483456 17913 270582939648 4194304 4964800 140733796609952 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=12144/tid=12162] ppid=12142 vsize=951644 CPUtime=1.77 cores=0-31
/proc/12144/task/12162/stat : 12162 (claspmt) R 12142 12144 11974 0 -1 4202560 344 0 0 0 177 0 0 0 18 0 32 0 47833801 974483456 17913 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=12144/tid=12163] ppid=12142 vsize=951644 CPUtime=1.76 cores=0-31
/proc/12144/task/12163/stat : 12163 (claspmt) R 12142 12144 11974 0 -1 4202560 605 0 0 0 174 2 0 0 18 0 32 0 47833801 974483456 17913 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668709 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=12144/tid=12164] ppid=12142 vsize=951644 CPUtime=1.77 cores=0-31
/proc/12144/task/12164/stat : 12164 (claspmt) R 12142 12144 11974 0 -1 4202560 296 0 0 0 177 0 0 0 20 0 32 0 47833801 974483456 17913 270582939648 4194304 4964800 140733796609952 18446744073709551615 4670538 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=12144/tid=12165] ppid=12142 vsize=951644 CPUtime=1.77 cores=0-31
/proc/12144/task/12165/stat : 12165 (claspmt) R 12142 12144 11974 0 -1 4202560 531 0 0 0 175 2 0 0 18 0 32 0 47833801 974483456 17913 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=12144/tid=12166] ppid=12142 vsize=951644 CPUtime=1.91 cores=0-31
/proc/12144/task/12166/stat : 12166 (claspmt) R 12142 12144 11974 0 -1 4202560 57 0 0 0 191 0 0 0 24 0 32 0 47833801 974483456 17913 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=12144/tid=12167] ppid=12142 vsize=951644 CPUtime=1.77 cores=0-31
/proc/12144/task/12167/stat : 12167 (claspmt) R 12142 12144 11974 0 -1 4202560 558 0 0 0 175 2 0 0 18 0 32 0 47833801 974483456 17913 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=12144/tid=12168] ppid=12142 vsize=951644 CPUtime=1.75 cores=0-31
/proc/12144/task/12168/stat : 12168 (claspmt) R 12142 12144 11974 0 -1 4202560 848 0 0 0 173 2 0 0 18 0 32 0 47833801 974483456 17913 270582939648 4194304 4964800 140733796609952 18446744073709551615 4660157 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=12144/tid=12169] ppid=12142 vsize=951644 CPUtime=1.75 cores=0-31
/proc/12144/task/12169/stat : 12169 (claspmt) R 12142 12144 11974 0 -1 4202560 329 0 0 0 175 0 0 0 18 0 32 0 47833801 974483456 17913 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=12144/tid=12170] ppid=12142 vsize=951644 CPUtime=1.78 cores=0-31
/proc/12144/task/12170/stat : 12170 (claspmt) R 12142 12144 11974 0 -1 4202560 431 0 0 0 178 0 0 0 18 0 32 0 47833801 974483456 17913 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12144/tid=12171] ppid=12142 vsize=951644 CPUtime=1.76 cores=0-31
/proc/12144/task/12171/stat : 12171 (claspmt) R 12142 12144 11974 0 -1 4202560 652 0 0 0 174 2 0 0 19 0 32 0 47833802 974483456 17913 270582939648 4194304 4964800 140733796609952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=12144/tid=12172] ppid=12142 vsize=951644 CPUtime=1.77 cores=0-31
/proc/12144/task/12172/stat : 12172 (claspmt) R 12142 12144 11974 0 -1 4202560 256 0 0 0 177 0 0 0 20 0 32 0 47833802 974483456 17913 270582939648 4194304 4964800 140733796609952 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=12144/tid=12173] ppid=12142 vsize=951644 CPUtime=1.78 cores=0-31
/proc/12144/task/12173/stat : 12173 (claspmt) R 12142 12144 11974 0 -1 4202560 523 0 0 0 177 1 0 0 18 0 32 0 47833802 974483456 17913 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12144/tid=12174] ppid=12142 vsize=951644 CPUtime=1.97 cores=0-31
/proc/12144/task/12174/stat : 12174 (claspmt) R 12142 12144 11974 0 -1 4202560 62 0 0 0 197 0 0 0 25 0 32 0 47833802 974483456 17913 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668725 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=12144/tid=12175] ppid=12142 vsize=951644 CPUtime=1.76 cores=0-31
/proc/12144/task/12175/stat : 12175 (claspmt) R 12142 12144 11974 0 -1 4202560 599 0 0 0 175 1 0 0 19 0 32 0 47833802 974483456 17913 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668748 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=12144/tid=12176] ppid=12142 vsize=951644 CPUtime=1.73 cores=0-31
/proc/12144/task/12176/stat : 12176 (claspmt) R 12142 12144 11974 0 -1 4202560 780 0 0 0 170 3 0 0 20 0 32 0 47833803 974483456 17913 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 58.6
Current children cumulated vsize (KiB) 951644

[startup+6.30167 s]
/proc/loadavg: 11.35 24.66 28.89 33/445 12176
/proc/meminfo: memFree=261826348/264257624 swapFree=67111528/67111528
[pid=12144] ppid=12142 vsize=957528 CPUtime=160.7 cores=0-31
/proc/12144/stat : 12144 (claspmt) R 12142 12144 11974 0 -1 4202496 36169 0 0 0 15977 93 0 0 18 0 32 0 47833690 980508672 34898 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668698 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/12144/statm: 239382 34899 461 189 0 233731 0
[pid=12144/tid=12146] ppid=12142 vsize=957528 CPUtime=4.97 cores=0-31
/proc/12144/task/12146/stat : 12146 (claspmt) R 12142 12144 11974 0 -1 4202560 690 0 0 0 496 1 0 0 20 0 32 0 47833801 980508672 34899 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12144/tid=12147] ppid=12142 vsize=957528 CPUtime=4.95 cores=0-31
/proc/12144/task/12147/stat : 12147 (claspmt) R 12142 12144 11974 0 -1 4202560 1762 0 0 0 491 4 0 0 20 0 32 0 47833801 980508672 34900 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12144/tid=12148] ppid=12142 vsize=957528 CPUtime=4.98 cores=0-31
/proc/12144/task/12148/stat : 12148 (claspmt) R 12142 12144 11974 0 -1 4202560 709 0 0 0 497 1 0 0 20 0 32 0 47833801 980508672 34900 270582939648 4194304 4964800 140733796609952 18446744073709551615 4669399 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12144/tid=12149] ppid=12142 vsize=957528 CPUtime=4.97 cores=0-31
/proc/12144/task/12149/stat : 12149 (claspmt) R 12142 12144 11974 0 -1 4202560 1104 0 0 0 494 3 0 0 19 0 32 0 47833801 980508672 34900 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668789 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12144/tid=12150] ppid=12142 vsize=957528 CPUtime=5.06 cores=0-31
/proc/12144/task/12150/stat : 12150 (claspmt) R 12142 12144 11974 0 -1 4202560 120 0 0 0 506 0 0 0 25 0 32 0 47833801 980508672 34900 270582939648 4194304 4964800 140733796609952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=12144/tid=12151] ppid=12142 vsize=957528 CPUtime=4.94 cores=0-31
/proc/12144/task/12151/stat : 12151 (claspmt) R 12142 12144 11974 0 -1 4202560 918 0 0 0 492 2 0 0 19 0 32 0 47833801 980508672 34900 270582939648 4194304 4964800 140733796609952 18446744073709551615 4670340 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=12144/tid=12152] ppid=12142 vsize=957528 CPUtime=4.96 cores=0-31
/proc/12144/task/12152/stat : 12152 (claspmt) R 12142 12144 11974 0 -1 4202560 1836 0 0 0 491 5 0 0 18 0 32 0 47833801 980508672 34900 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=12144/tid=12153] ppid=12142 vsize=957528 CPUtime=4.98 cores=0-31
/proc/12144/task/12153/stat : 12153 (claspmt) R 12142 12144 11974 0 -1 4202560 825 0 0 0 495 3 0 0 25 0 32 0 47833801 980508672 34900 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668748 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=12144/tid=12154] ppid=12142 vsize=957528 CPUtime=4.97 cores=0-31
/proc/12144/task/12154/stat : 12154 (claspmt) R 12142 12144 11974 0 -1 4202560 852 0 0 0 494 3 0 0 25 0 32 0 47833801 980508672 34900 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668725 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=12144/tid=12155] ppid=12142 vsize=957528 CPUtime=4.96 cores=0-31
/proc/12144/task/12155/stat : 12155 (claspmt) R 12142 12144 11974 0 -1 4202560 1522 0 0 0 494 2 0 0 25 0 32 0 47833801 980508672 34903 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668698 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=12144/tid=12156] ppid=12142 vsize=957528 CPUtime=4.97 cores=0-31
/proc/12144/task/12156/stat : 12156 (claspmt) R 12142 12144 11974 0 -1 4202560 720 0 0 0 496 1 0 0 25 0 32 0 47833801 980508672 34903 270582939648 4194304 4964800 140733796609952 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12144/tid=12157] ppid=12142 vsize=957528 CPUtime=4.97 cores=0-31
/proc/12144/task/12157/stat : 12157 (claspmt) R 12142 12144 11974 0 -1 4202560 935 0 0 0 495 2 0 0 25 0 32 0 47833801 980508672 34903 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=12144/tid=12158] ppid=12142 vsize=957528 CPUtime=5.16 cores=0-31
/proc/12144/task/12158/stat : 12158 (claspmt) R 12142 12144 11974 0 -1 4202560 133 0 0 0 516 0 0 0 25 0 32 0 47833801 980508672 34904 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668748 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=12144/tid=12159] ppid=12142 vsize=957528 CPUtime=4.96 cores=0-31
/proc/12144/task/12159/stat : 12159 (claspmt) R 12142 12144 11974 0 -1 4202560 991 0 0 0 494 2 0 0 25 0 32 0 47833801 980508672 34904 270582939648 4194304 4964800 140733796609952 18446744073709551615 4321020 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=12144/tid=12160] ppid=12142 vsize=957528 CPUtime=4.96 cores=0-31
/proc/12144/task/12160/stat : 12160 (claspmt) R 12142 12144 11974 0 -1 4202560 1830 0 0 0 491 5 0 0 19 0 32 0 47833801 980508672 34905 270582939648 4194304 4964800 140733796609952 18446744073709551615 4669026 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=12144/tid=12161] ppid=12142 vsize=957528 CPUtime=4.99 cores=0-31
/proc/12144/task/12161/stat : 12161 (claspmt) R 12142 12144 11974 0 -1 4202560 659 0 0 0 497 2 0 0 19 0 32 0 47833801 980508672 34905 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668789 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=12144/tid=12162] ppid=12142 vsize=957528 CPUtime=4.96 cores=0-31
/proc/12144/task/12162/stat : 12162 (claspmt) R 12142 12144 11974 0 -1 4202560 740 0 0 0 495 1 0 0 25 0 32 0 47833801 980508672 34906 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=12144/tid=12163] ppid=12142 vsize=957528 CPUtime=4.95 cores=0-31
/proc/12144/task/12163/stat : 12163 (claspmt) R 12142 12144 11974 0 -1 4202560 1556 0 0 0 490 5 0 0 23 0 32 0 47833801 980508672 34906 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668725 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=12144/tid=12164] ppid=12142 vsize=957528 CPUtime=4.96 cores=0-31
/proc/12144/task/12164/stat : 12164 (claspmt) R 12142 12144 11974 0 -1 4202560 747 0 0 0 495 1 0 0 25 0 32 0 47833801 980508672 34906 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=12144/tid=12165] ppid=12142 vsize=957528 CPUtime=4.96 cores=0-31
/proc/12144/task/12165/stat : 12165 (claspmt) R 12142 12144 11974 0 -1 4202560 1166 0 0 0 493 3 0 0 25 0 32 0 47833801 980508672 34906 270582939648 4194304 4964800 140733796609952 18446744073709551615 4627248 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=12144/tid=12166] ppid=12142 vsize=957528 CPUtime=5.11 cores=0-31
/proc/12144/task/12166/stat : 12166 (claspmt) R 12142 12144 11974 0 -1 4202560 118 0 0 0 511 0 0 0 25 0 32 0 47833801 980508672 34907 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668814 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=12144/tid=12167] ppid=12142 vsize=957528 CPUtime=4.96 cores=0-31
/proc/12144/task/12167/stat : 12167 (claspmt) R 12142 12144 11974 0 -1 4202560 978 0 0 0 493 3 0 0 21 0 32 0 47833801 980508672 34907 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=12144/tid=12168] ppid=12142 vsize=957528 CPUtime=4.95 cores=0-31
/proc/12144/task/12168/stat : 12168 (claspmt) R 12142 12144 11974 0 -1 4202560 1885 0 0 0 490 5 0 0 18 0 32 0 47833801 980508672 34907 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668728 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=12144/tid=12169] ppid=12142 vsize=957528 CPUtime=4.94 cores=0-31
/proc/12144/task/12169/stat : 12169 (claspmt) R 12142 12144 11974 0 -1 4202560 708 0 0 0 492 2 0 0 25 0 32 0 47833801 980508672 34907 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668756 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=12144/tid=12170] ppid=12142 vsize=957528 CPUtime=4.98 cores=0-31
/proc/12144/task/12170/stat : 12170 (claspmt) R 12142 12144 11974 0 -1 4202560 794 0 0 0 496 2 0 0 25 0 32 0 47833801 980508672 34907 270582939648 4194304 4964800 140733796609952 18446744073709551615 4669500 0 0 4096 18946 0 0 0 -1 4 0 0 0

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

Current children cumulated vsize (KiB) 995924

[startup+83.1014 s]
/proc/loadavg: 26.16 26.31 29.14 33/445 12178
/proc/meminfo: memFree=261343148/264257624 swapFree=67111528/67111528
[pid=12144] ppid=12142 vsize=995924 CPUtime=2614.59 cores=0-31
/proc/12144/stat : 12144 (claspmt) R 12142 12144 11974 0 -1 4202496 154760 0 0 0 261027 432 0 0 25 0 32 0 47833690 1019826176 153473 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668702 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/12144/statm: 248981 153473 463 189 0 243330 0
[pid=12144/tid=12146] ppid=12142 vsize=995924 CPUtime=81.72 cores=0-31
/proc/12144/task/12146/stat : 12146 (claspmt) R 12142 12144 11974 0 -1 4202560 3363 0 0 0 8164 8 0 0 25 0 32 0 47833801 1019826176 153473 270582939648 4194304 4964800 140733796609952 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12144/tid=12147] ppid=12142 vsize=995924 CPUtime=81.71 cores=0-31
/proc/12144/task/12147/stat : 12147 (claspmt) R 12142 12144 11974 0 -1 4202560 8395 0 0 0 8150 21 0 0 25 0 32 0 47833801 1019826176 153473 270582939648 4194304 4964800 140733796609952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12144/tid=12148] ppid=12142 vsize=995924 CPUtime=81.74 cores=0-31
/proc/12144/task/12148/stat : 12148 (claspmt) R 12142 12144 11974 0 -1 4202560 3059 0 0 0 8166 8 0 0 25 0 32 0 47833801 1019826176 153473 270582939648 4194304 4964800 140733796609952 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=12144/tid=12149] ppid=12142 vsize=995924 CPUtime=81.71 cores=0-31
/proc/12144/task/12149/stat : 12149 (claspmt) R 12142 12144 11974 0 -1 4202560 4655 0 0 0 8159 12 0 0 25 0 32 0 47833801 1019826176 153473 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668766 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12144/tid=12150] ppid=12142 vsize=995924 CPUtime=81.81 cores=0-31
/proc/12144/task/12150/stat : 12150 (claspmt) R 12142 12144 11974 0 -1 4202560 3500 0 0 0 8171 10 0 0 25 0 32 0 47833801 1019826176 153473 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668748 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=12144/tid=12151] ppid=12142 vsize=995924 CPUtime=81.72 cores=0-31
/proc/12144/task/12151/stat : 12151 (claspmt) R 12142 12144 11974 0 -1 4202560 3496 0 0 0 8164 8 0 0 25 0 32 0 47833801 1019826176 153473 270582939648 4194304 4964800 140733796609952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=12144/tid=12152] ppid=12142 vsize=995924 CPUtime=81.7 cores=0-31
/proc/12144/task/12152/stat : 12152 (claspmt) R 12142 12144 11974 0 -1 4202560 7380 0 0 0 8145 25 0 0 25 0 32 0 47833801 1019826176 153473 270582939648 4194304 4964800 140733796609952 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=12144/tid=12153] ppid=12142 vsize=995924 CPUtime=80.42 cores=0-31
/proc/12144/task/12153/stat : 12153 (claspmt) R 12142 12144 11974 0 -1 4202560 3110 0 0 0 8032 10 0 0 25 0 32 0 47833801 1019826176 153473 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12144/tid=12154] ppid=12142 vsize=995924 CPUtime=81.72 cores=0-31
/proc/12144/task/12154/stat : 12154 (claspmt) R 12142 12144 11974 0 -1 4202560 3695 0 0 0 8162 10 0 0 25 0 32 0 47833801 1019826176 153473 270582939648 4194304 4964800 140733796609952 18446744073709551615 4627272 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=12144/tid=12155] ppid=12142 vsize=995924 CPUtime=81.71 cores=0-31
/proc/12144/task/12155/stat : 12155 (claspmt) R 12142 12144 11974 0 -1 4202560 8261 0 0 0 8152 19 0 0 25 0 32 0 47833801 1019826176 153473 270582939648 4194304 4964800 140733796609952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=12144/tid=12156] ppid=12142 vsize=995924 CPUtime=81.73 cores=0-31
/proc/12144/task/12156/stat : 12156 (claspmt) R 12142 12144 11974 0 -1 4202560 3118 0 0 0 8167 6 0 0 25 0 32 0 47833801 1019826176 153473 270582939648 4194304 4964800 140733796609952 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12144/tid=12157] ppid=12142 vsize=995924 CPUtime=81.72 cores=0-31
/proc/12144/task/12157/stat : 12157 (claspmt) R 12142 12144 11974 0 -1 4202560 4633 0 0 0 8160 12 0 0 25 0 32 0 47833801 1019826176 153473 270582939648 4194304 4964800 140733796609952 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=12144/tid=12158] ppid=12142 vsize=995924 CPUtime=81.91 cores=0-31
/proc/12144/task/12158/stat : 12158 (claspmt) R 12142 12144 11974 0 -1 4202560 3552 0 0 0 8184 7 0 0 25 0 32 0 47833801 1019826176 153473 270582939648 4194304 4964800 140733796609952 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=12144/tid=12159] ppid=12142 vsize=995924 CPUtime=81.71 cores=0-31
/proc/12144/task/12159/stat : 12159 (claspmt) R 12142 12144 11974 0 -1 4202560 3767 0 0 0 8160 11 0 0 25 0 32 0 47833801 1019826176 153473 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=12144/tid=12160] ppid=12142 vsize=995924 CPUtime=81.68 cores=0-31
/proc/12144/task/12160/stat : 12160 (claspmt) R 12142 12144 11974 0 -1 4202560 8047 0 0 0 8143 25 0 0 25 0 32 0 47833801 1019826176 153473 270582939648 4194304 4964800 140733796609952 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=12144/tid=12161] ppid=12142 vsize=995924 CPUtime=81.75 cores=0-31
/proc/12144/task/12161/stat : 12161 (claspmt) R 12142 12144 11974 0 -1 4202560 2978 0 0 0 8165 10 0 0 25 0 32 0 47833801 1019826176 153473 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=12144/tid=12162] ppid=12142 vsize=995924 CPUtime=81.71 cores=0-31
/proc/12144/task/12162/stat : 12162 (claspmt) R 12142 12144 11974 0 -1 4202560 3486 0 0 0 8161 10 0 0 25 0 32 0 47833801 1019826176 153473 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668777 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=12144/tid=12163] ppid=12142 vsize=995924 CPUtime=81.7 cores=0-31
/proc/12144/task/12163/stat : 12163 (claspmt) R 12142 12144 11974 0 -1 4202560 7930 0 0 0 8148 22 0 0 25 0 32 0 47833801 1019826176 153473 270582939648 4194304 4964800 140733796609952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=12144/tid=12164] ppid=12142 vsize=995924 CPUtime=81.72 cores=0-31
/proc/12144/task/12164/stat : 12164 (claspmt) R 12142 12144 11974 0 -1 4202560 3140 0 0 0 8165 7 0 0 25 0 32 0 47833801 1019826176 153473 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668759 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=12144/tid=12165] ppid=12142 vsize=995924 CPUtime=81.71 cores=0-31
/proc/12144/task/12165/stat : 12165 (claspmt) R 12142 12144 11974 0 -1 4202560 4797 0 0 0 8159 12 0 0 25 0 32 0 47833801 1019826176 153473 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668728 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=12144/tid=12166] ppid=12142 vsize=995924 CPUtime=81.84 cores=0-31
/proc/12144/task/12166/stat : 12166 (claspmt) R 12142 12144 11974 0 -1 4202560 3546 0 0 0 8175 9 0 0 25 0 32 0 47833801 1019826176 153473 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668814 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=12144/tid=12167] ppid=12142 vsize=995924 CPUtime=81.71 cores=0-31
/proc/12144/task/12167/stat : 12167 (claspmt) R 12142 12144 11974 0 -1 4202560 3690 0 0 0 8160 11 0 0 25 0 32 0 47833801 1019826176 153473 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668728 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=12144/tid=12168] ppid=12142 vsize=995924 CPUtime=81.67 cores=0-31
/proc/12144/task/12168/stat : 12168 (claspmt) R 12142 12144 11974 0 -1 4202560 7609 0 0 0 8143 24 0 0 25 0 32 0 47833801 1019826176 153473 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=12144/tid=12169] ppid=12142 vsize=995924 CPUtime=80.85 cores=0-31
/proc/12144/task/12169/stat : 12169 (claspmt) R 12142 12144 11974 0 -1 4202560 3161 0 0 0 8074 11 0 0 25 0 32 0 47833801 1019826176 153473 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=12144/tid=12170] ppid=12142 vsize=995924 CPUtime=81.68 cores=0-31
/proc/12144/task/12170/stat : 12170 (claspmt) R 12142 12144 11974 0 -1 4202560 3568 0 0 0 8157 11 0 0 25 0 32 0 47833801 1019826176 153473 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668748 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12144/tid=12171] ppid=12142 vsize=995924 CPUtime=81.71 cores=0-31
/proc/12144/task/12171/stat : 12171 (claspmt) R 12142 12144 11974 0 -1 4202560 8166 0 0 0 8152 19 0 0 25 0 32 0 47833802 1019826176 153473 270582939648 4194304 4964800 140733796609952 18446744073709551615 4670415 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=12144/tid=12172] ppid=12142 vsize=995924 CPUtime=81.73 cores=0-31
/proc/12144/task/12172/stat : 12172 (claspmt) R 12142 12144 11974 0 -1 4202560 3180 0 0 0 8163 10 0 0 25 0 32 0 47833802 1019826176 153473 270582939648 4194304 4964800 140733796609952 18446744073709551615 4670520 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=12144/tid=12173] ppid=12142 vsize=995924 CPUtime=81.74 cores=0-31
/proc/12144/task/12173/stat : 12173 (claspmt) R 12142 12144 11974 0 -1 4202560 4676 0 0 0 8159 15 0 0 25 0 32 0 47833802 1019826176 153473 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12144/tid=12174] ppid=12142 vsize=995924 CPUtime=81.92 cores=0-31
/proc/12144/task/12174/stat : 12174 (claspmt) R 12142 12144 11974 0 -1 4202560 3632 0 0 0 8183 9 0 0 25 0 32 0 47833802 1019826176 153473 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668794 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=12144/tid=12175] ppid=12142 vsize=995924 CPUtime=81.72 cores=0-31
/proc/12144/task/12175/stat : 12175 (claspmt) R 12142 12144 11974 0 -1 4202560 3656 0 0 0 8163 9 0 0 25 0 32 0 47833802 1019826176 153473 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668794 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=12144/tid=12176] ppid=12142 vsize=995924 CPUtime=81.55 cores=0-31
/proc/12144/task/12176/stat : 12176 (claspmt) R 12142 12144 11974 0 -1 4202560 7650 0 0 0 8131 24 0 0 25 0 32 0 47833803 1019826176 153473 270582939648 4194304 4964800 140733796609952 18446744073709551615 4321099 0 0 4096 18946 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 2614.59
Current children cumulated vsize (KiB) 995924

[startup+84.7214 s]
/proc/loadavg: 26.16 26.31 29.14 33/445 12178
/proc/meminfo: memFree=261341164/264257624 swapFree=67111528/67111528
[pid=12144] ppid=12142 vsize=996128 CPUtime=2666.36 cores=0-31
/proc/12144/stat : 12144 (claspmt) R 12142 12144 11974 0 -1 4202496 155084 0 0 0 266203 433 0 0 25 0 32 0 47833690 1020035072 153797 270582939648 4194304 4964800 140733796609952 18446744073709551615 4660495 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/12144/statm: 249032 153797 463 189 0 243381 0
[pid=12144/tid=12146] ppid=12142 vsize=996128 CPUtime=83.34 cores=0-31
/proc/12144/task/12146/stat : 12146 (claspmt) R 12142 12144 11974 0 -1 4202560 3363 0 0 0 8326 8 0 0 25 0 32 0 47833801 1020035072 153797 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12144/tid=12147] ppid=12142 vsize=996128 CPUtime=83.33 cores=0-31
/proc/12144/task/12147/stat : 12147 (claspmt) R 12142 12144 11974 0 -1 4202560 8432 0 0 0 8312 21 0 0 25 0 32 0 47833801 1020035072 153797 270582939648 4194304 4964800 140733796609952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12144/tid=12148] ppid=12142 vsize=996128 CPUtime=83.36 cores=0-31
/proc/12144/task/12148/stat : 12148 (claspmt) R 12142 12144 11974 0 -1 4202560 3084 0 0 0 8328 8 0 0 25 0 32 0 47833801 1020035072 153797 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=12144/tid=12149] ppid=12142 vsize=996128 CPUtime=83.33 cores=0-31
/proc/12144/task/12149/stat : 12149 (claspmt) R 12142 12144 11974 0 -1 4202560 4659 0 0 0 8321 12 0 0 25 0 32 0 47833801 1020035072 153797 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12144/tid=12150] ppid=12142 vsize=996128 CPUtime=83.43 cores=0-31
/proc/12144/task/12150/stat : 12150 (claspmt) R 12142 12144 11974 0 -1 4202560 3500 0 0 0 8333 10 0 0 25 0 32 0 47833801 1020035072 153797 270582939648 4194304 4964800 140733796609952 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=12144/tid=12151] ppid=12142 vsize=996128 CPUtime=83.34 cores=0-31
/proc/12144/task/12151/stat : 12151 (claspmt) R 12142 12144 11974 0 -1 4202560 3505 0 0 0 8326 8 0 0 25 0 32 0 47833801 1020035072 153797 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668777 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=12144/tid=12152] ppid=12142 vsize=996128 CPUtime=83.32 cores=0-31
/proc/12144/task/12152/stat : 12152 (claspmt) R 12142 12144 11974 0 -1 4202560 7380 0 0 0 8307 25 0 0 25 0 32 0 47833801 1020035072 153797 270582939648 4194304 4964800 140733796609952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=12144/tid=12153] ppid=12142 vsize=996128 CPUtime=82.04 cores=0-31
/proc/12144/task/12153/stat : 12153 (claspmt) R 12142 12144 11974 0 -1 4202560 3112 0 0 0 8194 10 0 0 25 0 32 0 47833801 1020035072 153797 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12144/tid=12154] ppid=12142 vsize=996128 CPUtime=83.34 cores=0-31
/proc/12144/task/12154/stat : 12154 (claspmt) R 12142 12144 11974 0 -1 4202560 3696 0 0 0 8324 10 0 0 25 0 32 0 47833801 1020035072 153797 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668829 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=12144/tid=12155] ppid=12142 vsize=996128 CPUtime=83.33 cores=0-31
/proc/12144/task/12155/stat : 12155 (claspmt) R 12142 12144 11974 0 -1 4202560 8298 0 0 0 8314 19 0 0 25 0 32 0 47833801 1020035072 153797 270582939648 4194304 4964800 140733796609952 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=12144/tid=12156] ppid=12142 vsize=996128 CPUtime=83.35 cores=0-31
/proc/12144/task/12156/stat : 12156 (claspmt) R 12142 12144 11974 0 -1 4202560 3118 0 0 0 8329 6 0 0 25 0 32 0 47833801 1020035072 153797 270582939648 4194304 4964800 140733796609952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12144/tid=12157] ppid=12142 vsize=996128 CPUtime=83.34 cores=0-31
/proc/12144/task/12157/stat : 12157 (claspmt) R 12142 12144 11974 0 -1 4202560 4633 0 0 0 8322 12 0 0 25 0 32 0 47833801 1020035072 153797 270582939648 4194304 4964800 140733796609952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=12144/tid=12158] ppid=12142 vsize=996128 CPUtime=83.53 cores=0-31
/proc/12144/task/12158/stat : 12158 (claspmt) R 12142 12144 11974 0 -1 4202560 3553 0 0 0 8346 7 0 0 25 0 32 0 47833801 1020035072 153797 270582939648 4194304 4964800 140733796609952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=12144/tid=12159] ppid=12142 vsize=996128 CPUtime=83.33 cores=0-31
/proc/12144/task/12159/stat : 12159 (claspmt) R 12142 12144 11974 0 -1 4202560 3773 0 0 0 8322 11 0 0 25 0 32 0 47833801 1020035072 153797 270582939648 4194304 4964800 140733796609952 18446744073709551615 4660157 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=12144/tid=12160] ppid=12142 vsize=996128 CPUtime=83.3 cores=0-31
/proc/12144/task/12160/stat : 12160 (claspmt) R 12142 12144 11974 0 -1 4202560 8054 0 0 0 8305 25 0 0 25 0 32 0 47833801 1020035072 153797 270582939648 4194304 4964800 140733796609952 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=12144/tid=12161] ppid=12142 vsize=996128 CPUtime=83.37 cores=0-31
/proc/12144/task/12161/stat : 12161 (claspmt) R 12142 12144 11974 0 -1 4202560 2986 0 0 0 8327 10 0 0 25 0 32 0 47833801 1020035072 153797 270582939648 4194304 4964800 140733796609952 18446744073709551615 4321097 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=12144/tid=12162] ppid=12142 vsize=996128 CPUtime=83.33 cores=0-31
/proc/12144/task/12162/stat : 12162 (claspmt) R 12142 12144 11974 0 -1 4202560 3494 0 0 0 8323 10 0 0 25 0 32 0 47833801 1020035072 153797 270582939648 4194304 4964800 140733796609952 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=12144/tid=12163] ppid=12142 vsize=996128 CPUtime=83.32 cores=0-31
/proc/12144/task/12163/stat : 12163 (claspmt) R 12142 12144 11974 0 -1 4202560 7970 0 0 0 8310 22 0 0 25 0 32 0 47833801 1020035072 153797 270582939648 4194304 4964800 140733796609952 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=12144/tid=12164] ppid=12142 vsize=996128 CPUtime=83.34 cores=0-31
/proc/12144/task/12164/stat : 12164 (claspmt) R 12142 12144 11974 0 -1 4202560 3149 0 0 0 8327 7 0 0 25 0 32 0 47833801 1020035072 153797 270582939648 4194304 4964800 140733796609952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=12144/tid=12165] ppid=12142 vsize=996128 CPUtime=83.33 cores=0-31
/proc/12144/task/12165/stat : 12165 (claspmt) R 12142 12144 11974 0 -1 4202560 4818 0 0 0 8321 12 0 0 25 0 32 0 47833801 1020035072 153797 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668681 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=12144/tid=12166] ppid=12142 vsize=996128 CPUtime=83.46 cores=0-31
/proc/12144/task/12166/stat : 12166 (claspmt) R 12142 12144 11974 0 -1 4202560 3546 0 0 0 8337 9 0 0 25 0 32 0 47833801 1020035072 153797 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=12144/tid=12167] ppid=12142 vsize=996128 CPUtime=83.33 cores=0-31
/proc/12144/task/12167/stat : 12167 (claspmt) R 12142 12144 11974 0 -1 4202560 3691 0 0 0 8322 11 0 0 25 0 32 0 47833801 1020035072 153797 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=12144/tid=12168] ppid=12142 vsize=996128 CPUtime=83.29 cores=0-31
/proc/12144/task/12168/stat : 12168 (claspmt) R 12142 12144 11974 0 -1 4202560 7609 0 0 0 8305 24 0 0 25 0 32 0 47833801 1020035072 153797 270582939648 4194304 4964800 140733796609952 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=12144/tid=12169] ppid=12142 vsize=996128 CPUtime=82.42 cores=0-31
/proc/12144/task/12169/stat : 12169 (claspmt) R 12142 12144 11974 0 -1 4202560 3161 0 0 0 8231 11 0 0 25 0 32 0 47833801 1020035072 153797 270582939648 4194304 4964800 140733796609952 18446744073709551615 4669523 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=12144/tid=12170] ppid=12142 vsize=996128 CPUtime=83.3 cores=0-31
/proc/12144/task/12170/stat : 12170 (claspmt) R 12142 12144 11974 0 -1 4202560 3573 0 0 0 8319 11 0 0 25 0 32 0 47833801 1020035072 153797 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12144/tid=12171] ppid=12142 vsize=996128 CPUtime=83.33 cores=0-31
/proc/12144/task/12171/stat : 12171 (claspmt) R 12142 12144 11974 0 -1 4202560 8214 0 0 0 8314 19 0 0 25 0 32 0 47833802 1020035072 153797 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=12144/tid=12172] ppid=12142 vsize=996128 CPUtime=83.35 cores=0-31
/proc/12144/task/12172/stat : 12172 (claspmt) R 12142 12144 11974 0 -1 4202560 3180 0 0 0 8325 10 0 0 25 0 32 0 47833802 1020035072 153797 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=12144/tid=12173] ppid=12142 vsize=996128 CPUtime=83.35 cores=0-31
/proc/12144/task/12173/stat : 12173 (claspmt) R 12142 12144 11974 0 -1 4202560 4705 0 0 0 8320 15 0 0 25 0 32 0 47833802 1020035072 153797 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668805 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12144/tid=12174] ppid=12142 vsize=996128 CPUtime=83.54 cores=0-31
/proc/12144/task/12174/stat : 12174 (claspmt) R 12142 12144 11974 0 -1 4202560 3649 0 0 0 8345 9 0 0 25 0 32 0 47833802 1020035072 153797 270582939648 4194304 4964800 140733796609952 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=12144/tid=12175] ppid=12142 vsize=996128 CPUtime=83.34 cores=0-31
/proc/12144/task/12175/stat : 12175 (claspmt) R 12142 12144 11974 0 -1 4202560 3664 0 0 0 8325 9 0 0 25 0 32 0 47833802 1020035072 153797 270582939648 4194304 4964800 140733796609952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=12144/tid=12176] ppid=12142 vsize=996128 CPUtime=83.17 cores=0-31
/proc/12144/task/12176/stat : 12176 (claspmt) R 12142 12144 11974 0 -1 4202560 7651 0 0 0 8293 24 0 0 25 0 32 0 47833803 1020035072 153797 270582939648 4194304 4964800 140733796609952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 2666.36
Current children cumulated vsize (KiB) 996128

[startup+85.1006 s]
/proc/loadavg: 26.16 26.31 29.14 33/445 12178
/proc/meminfo: memFree=261341164/264257624 swapFree=67111528/67111528
[pid=12144] ppid=12142 vsize=905780 CPUtime=2669.26 cores=0-31
/proc/12144/stat : 12144 (claspmt) R 12142 12144 11974 0 -1 4202496 155123 0 0 0 266493 433 0 0 25 0 1 0 47833690 927518720 153755 270582939648 4194304 4964800 140733796609952 18446744073709551615 258650611056 0 0 4096 18946 0 0 0 17 7 0 0 0
/proc/12144/statm: 226445 153755 474 189 0 220794 0
Current children cumulated CPU time (s) 2669.26
Current children cumulated vsize (KiB) 905780

[startup+85.5006 s]
/proc/loadavg: 26.16 26.31 29.14 33/445 12178
/proc/meminfo: memFree=261341164/264257624 swapFree=67111528/67111528
[pid=12144] ppid=12142 vsize=905780 CPUtime=2669.66 cores=0-31
/proc/12144/stat : 12144 (claspmt) R 12142 12144 11974 0 -1 4202496 155123 0 0 0 266533 433 0 0 25 0 1 0 47833690 927518720 153663 270582939648 4194304 4964800 140733796609952 18446744073709551615 258650610817 0 0 4096 18946 0 0 0 17 7 0 0 0
/proc/12144/statm: 226445 153663 474 189 0 220794 0
Current children cumulated CPU time (s) 2669.66
Current children cumulated vsize (KiB) 905780

[startup+85.6006 s]
/proc/loadavg: 26.16 26.31 29.14 33/445 12178
/proc/meminfo: memFree=261341164/264257624 swapFree=67111528/67111528
[pid=12144] ppid=12142 vsize=890616 CPUtime=2669.77 cores=0-31
/proc/12144/stat : 12144 (claspmt) R 12142 12144 11974 0 -1 4202496 155123 0 0 0 266542 435 0 0 25 0 1 0 47833690 911990784 118624 270582939648 4194304 4964800 140733796609952 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 7 0 0 0
/proc/12144/statm: 222654 118337 474 189 0 217003 0
Current children cumulated CPU time (s) 2669.77
Current children cumulated vsize (KiB) 890616

Child status: 10
Real time (s): 85.6578
CPU time (s): 2669.83
CPU user time (s): 2665.42
CPU system time (s): 4.40933
CPU usage (%): 3116.86
Max. virtual memory (cumulated for all children) (KiB): 996128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2665.42
system time used= 4.40933
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155124
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= 58406
involuntary context switches= 5062

runsolver used 0.561914 second user time and 1.89271 second system time

The end

Begin job on node200 at 2011-06-11 22:34:28
IDJOB=3472520
IDBENCH=85965
IDSOLVER=1961
FILE ID=node200/3472520-1307824468
RUNJOBID= node200-1307824379-11988
PBS_JOBID= 13551021
Free space on /tmp= 61740 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT05/industrial/grieu05/vmpc/vmpc_34.renamed-as.sat05-1926.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-3472520-1307824468/watcher-3472520-1307824468 -o /tmp/evaluation-result-3472520-1307824468/solver-3472520-1307824468 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472520-1307824468.cnf

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

MD5SUM BENCH= 349e2f9eff952d4e42f8e1caefaa382b
RANDOM SEED=116335194

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.045
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.09
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.045
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.02
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.045
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.045
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.09
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.045
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.09
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.045
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.06
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.045
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.07
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.045
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.06
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.045
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	: 3989.99
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.045
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.045
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	: 3990.09
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.045
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.06
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.045
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.04
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.045
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.03
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.045
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.045
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.045
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.05
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.045
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.09
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.045
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.08
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.045
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	: 3989.97
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.045
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.04
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.045
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.10
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.045
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.10
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.045
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.04
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.045
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	: 3990.04
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.045
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.045
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.08
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.045
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.08
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.045
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.04
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.045
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.045
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.18
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.045
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.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      261950084 kB
Buffers:        297240 kB
Cached:        1684972 kB
SwapCached:          0 kB
Active:         327236 kB
Inactive:      1718348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      261950084 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3620 kB
Writeback:           0 kB
AnonPages:       63640 kB
Mapped:          14872 kB
Slab:           185684 kB
PageTables:       4420 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   163152 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-11 22:35:54

Name	SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf
MD5SUM	349e2f9eff952d4e42f8e1caefaa382b
Bench Category	APPLICATION (applications instances)
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	2669.83
Satisfiable
(Un)Satisfiability was proved
Number of variables	1156
Number of clauses	194072
Sum of the clauses size	507926
Maximum clause length	34
Minimum clause length	2
Number of clauses of size 1	0
Number of clauses of size 2	76398
Number of clauses of size 3	117606
Number of clauses of size 4	0
Number of clauses of size 5	0
Number of clauses of size over 5	68

Trace number 3472520

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data