SAT 2011 Competition: 32 cores track competition: execution trace

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

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-3472524-1307824630/watcher-3472524-1307824630 -o /tmp/evaluation-result-3472524-1307824630/solver-3472524-1307824630 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472524-1307824630.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: 29.94 27.29 29.23 1/413 12424
/proc/meminfo: memFree=261947684/264257624 swapFree=67111528/67111528
[pid=12424] ppid=12422 vsize=22820 CPUtime=0.02 cores=0-31
/proc/12424/stat : 12424 (claspmt) R 12422 12424 11974 0 -1 4202496 1085 0 0 0 2 0 0 0 21 0 1 0 47849922 23367680 917 270582939648 4194304 4964800 140736152618320 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/12424/statm: 5705 918 383 189 0 579 0

[startup+0.0926391 s]
/proc/loadavg: 29.94 27.29 29.23 1/413 12424
/proc/meminfo: memFree=261947684/264257624 swapFree=67111528/67111528
[pid=12424] ppid=12422 vsize=27144 CPUtime=0.08 cores=0-31
/proc/12424/stat : 12424 (claspmt) R 12422 12424 11974 0 -1 4202496 2538 0 0 0 8 0 0 0 21 0 1 0 47849922 27795456 1987 270582939648 4194304 4964800 140736152618320 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/12424/statm: 6786 1988 383 189 0 1660 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 27144

[startup+0.100652 s]
/proc/loadavg: 29.94 27.29 29.23 1/413 12424
/proc/meminfo: memFree=261947684/264257624 swapFree=67111528/67111528
[pid=12424] ppid=12422 vsize=27672 CPUtime=0.08 cores=0-31
/proc/12424/stat : 12424 (claspmt) R 12422 12424 11974 0 -1 4202496 2690 0 0 0 8 0 0 0 21 0 1 0 47849922 28336128 2139 270582939648 4194304 4964800 140736152618320 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/12424/statm: 6918 2140 383 189 0 1792 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 27672

[startup+0.300654 s]
/proc/loadavg: 29.94 27.29 29.23 1/413 12424
/proc/meminfo: memFree=261947684/264257624 swapFree=67111528/67111528
[pid=12424] ppid=12422 vsize=37944 CPUtime=0.29 cores=0-31
/proc/12424/stat : 12424 (claspmt) R 12422 12424 11974 0 -1 4202496 5653 0 0 0 27 2 0 0 22 0 1 0 47849922 38854656 4414 270582939648 4194304 4964800 140736152618320 18446744073709551615 4607761 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/12424/statm: 9486 4414 396 189 0 4360 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37944

[startup+0.700664 s]
/proc/loadavg: 29.94 27.29 29.23 1/413 12424
/proc/meminfo: memFree=261947684/264257624 swapFree=67111528/67111528
[pid=12424] ppid=12422 vsize=37944 CPUtime=0.69 cores=0-31
/proc/12424/stat : 12424 (claspmt) R 12422 12424 11974 0 -1 4202496 5654 0 0 0 67 2 0 0 23 0 1 0 47849922 38854656 4415 270582939648 4194304 4964800 140736152618320 18446744073709551615 4607549 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/12424/statm: 9486 4415 396 189 0 4360 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37944

[startup+1.50143 s]
/proc/loadavg: 29.94 27.29 29.23 2/414 12425
/proc/meminfo: memFree=261931044/264257624 swapFree=67111528/67111528
[pid=12424] ppid=12422 vsize=624668 CPUtime=1.98 cores=0-31
/proc/12424/stat : 12424 (claspmt) R 12422 12424 11974 0 -1 4202496 6418 0 0 0 196 2 0 0 17 0 32 0 47849922 639660032 4705 270582939648 4194304 4964800 140736152618320 18446744073709551615 4652165 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/12424/statm: 156167 4705 450 189 0 150516 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 624668

[startup+3.10263 s]
/proc/loadavg: 29.94 27.29 29.23 33/445 12456
/proc/meminfo: memFree=261913168/264257624 swapFree=67111528/67111528
[pid=12424] ppid=12422 vsize=886812 CPUtime=52.61 cores=0-31
/proc/12424/stat : 12424 (claspmt) R 12422 12424 11974 0 -1 4202496 16319 0 0 0 5225 36 0 0 19 0 32 0 47849922 908095488 14606 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668689 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/12424/statm: 221703 14608 461 189 0 216052 0
[pid=12424/tid=12426] ppid=12422 vsize=886812 CPUtime=1.58 cores=0-31
/proc/12424/task/12426/stat : 12426 (claspmt) R 12422 12424 11974 0 -1 4202560 198 0 0 0 158 0 0 0 17 0 32 0 47850051 908095488 14608 270582939648 4194304 4964800 140736152618320 18446744073709551615 258650623120 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12424/tid=12427] ppid=12422 vsize=886812 CPUtime=1.57 cores=0-31
/proc/12424/task/12427/stat : 12427 (claspmt) R 12422 12424 11974 0 -1 4202560 463 0 0 0 156 1 0 0 17 0 32 0 47850051 908095488 14609 270582939648 4194304 4964800 140736152618320 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=12424/tid=12428] ppid=12422 vsize=886812 CPUtime=1.58 cores=0-31
/proc/12424/task/12428/stat : 12428 (claspmt) R 12422 12424 11974 0 -1 4202560 201 0 0 0 158 0 0 0 17 0 32 0 47850051 908095488 14609 270582939648 4194304 4964800 140736152618320 18446744073709551615 4627259 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12424/tid=12429] ppid=12422 vsize=886812 CPUtime=1.58 cores=0-31
/proc/12424/task/12429/stat : 12429 (claspmt) R 12422 12424 11974 0 -1 4202560 396 0 0 0 158 0 0 0 18 0 32 0 47850051 908095488 14609 270582939648 4194304 4964800 140736152618320 18446744073709551615 4660408 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=12424/tid=12430] ppid=12422 vsize=886812 CPUtime=1.68 cores=0-31
/proc/12424/task/12430/stat : 12430 (claspmt) R 12422 12424 11974 0 -1 4202560 55 0 0 0 168 0 0 0 24 0 32 0 47850051 908095488 14610 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=12424/tid=12431] ppid=12422 vsize=886812 CPUtime=1.57 cores=0-31
/proc/12424/task/12431/stat : 12431 (claspmt) R 12422 12424 11974 0 -1 4202560 554 0 0 0 156 1 0 0 17 0 32 0 47850051 908095488 14611 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668756 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=12424/tid=12432] ppid=12422 vsize=886812 CPUtime=1.58 cores=0-31
/proc/12424/task/12432/stat : 12432 (claspmt) R 12422 12424 11974 0 -1 4202560 900 0 0 0 155 3 0 0 19 0 32 0 47850051 908095488 14611 270582939648 4194304 4964800 140736152618320 18446744073709551615 258650623117 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=12424/tid=12433] ppid=12422 vsize=886812 CPUtime=1.57 cores=0-31
/proc/12424/task/12433/stat : 12433 (claspmt) R 12422 12424 11974 0 -1 4202560 463 0 0 0 156 1 0 0 20 0 32 0 47850051 908095488 14612 270582939648 4194304 4964800 140736152618320 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=12424/tid=12434] ppid=12422 vsize=886812 CPUtime=1.54 cores=0-31
/proc/12424/task/12434/stat : 12434 (claspmt) R 12422 12424 11974 0 -1 4202560 160 0 0 0 154 0 0 0 17 0 32 0 47850051 908095488 14613 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=12424/tid=12435] ppid=12422 vsize=886812 CPUtime=1.57 cores=0-31
/proc/12424/task/12435/stat : 12435 (claspmt) R 12422 12424 11974 0 -1 4202560 506 0 0 0 156 1 0 0 17 0 32 0 47850052 908095488 14613 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=12424/tid=12436] ppid=12422 vsize=886812 CPUtime=1.57 cores=0-31
/proc/12424/task/12436/stat : 12436 (claspmt) R 12422 12424 11974 0 -1 4202560 306 0 0 0 157 0 0 0 17 0 32 0 47850052 908095488 14614 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12424/tid=12437] ppid=12422 vsize=886812 CPUtime=1.57 cores=0-31
/proc/12424/task/12437/stat : 12437 (claspmt) R 12422 12424 11974 0 -1 4202560 302 0 0 0 157 0 0 0 17 0 32 0 47850052 908095488 14614 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668709 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12424/tid=12438] ppid=12422 vsize=886812 CPUtime=1.78 cores=0-31
/proc/12424/task/12438/stat : 12438 (claspmt) R 12422 12424 11974 0 -1 4202560 22 0 0 0 178 0 0 0 25 0 32 0 47850052 908095488 14614 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12424/tid=12439] ppid=12422 vsize=886812 CPUtime=1.55 cores=0-31
/proc/12424/task/12439/stat : 12439 (claspmt) R 12422 12424 11974 0 -1 4202560 431 0 0 0 154 1 0 0 19 0 32 0 47850052 908095488 14614 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=12424/tid=12440] ppid=12422 vsize=886812 CPUtime=1.56 cores=0-31
/proc/12424/task/12440/stat : 12440 (claspmt) R 12422 12424 11974 0 -1 4202560 494 0 0 0 155 1 0 0 20 0 32 0 47850052 908095488 14614 270582939648 4194304 4964800 140736152618320 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=12424/tid=12441] ppid=12422 vsize=886812 CPUtime=1.58 cores=0-31
/proc/12424/task/12441/stat : 12441 (claspmt) R 12422 12424 11974 0 -1 4202560 394 0 0 0 157 1 0 0 20 0 32 0 47850052 908095488 14614 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=12424/tid=12442] ppid=12422 vsize=886812 CPUtime=1.59 cores=0-31
/proc/12424/task/12442/stat : 12442 (claspmt) R 12422 12424 11974 0 -1 4202560 229 0 0 0 159 0 0 0 17 0 32 0 47850052 908095488 14614 270582939648 4194304 4964800 140736152618320 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=12424/tid=12443] ppid=12422 vsize=886812 CPUtime=1.55 cores=0-31
/proc/12424/task/12443/stat : 12443 (claspmt) R 12422 12424 11974 0 -1 4202560 458 0 0 0 153 2 0 0 18 0 32 0 47850052 908095488 14614 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=12424/tid=12444] ppid=12422 vsize=886812 CPUtime=1.58 cores=0-31
/proc/12424/task/12444/stat : 12444 (claspmt) R 12422 12424 11974 0 -1 4202560 170 0 0 0 158 0 0 0 17 0 32 0 47850052 908095488 14616 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668725 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12424/tid=12445] ppid=12422 vsize=886812 CPUtime=1.59 cores=0-31
/proc/12424/task/12445/stat : 12445 (claspmt) R 12422 12424 11974 0 -1 4202560 241 0 0 0 159 0 0 0 20 0 32 0 47850052 908095488 14617 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=12424/tid=12446] ppid=12422 vsize=886812 CPUtime=1.79 cores=0-31
/proc/12424/task/12446/stat : 12446 (claspmt) R 12422 12424 11974 0 -1 4202560 35 0 0 0 179 0 0 0 20 0 32 0 47850052 908095488 14618 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=12424/tid=12447] ppid=12422 vsize=886812 CPUtime=1.57 cores=0-31
/proc/12424/task/12447/stat : 12447 (claspmt) R 12422 12424 11974 0 -1 4202560 443 0 0 0 156 1 0 0 20 0 32 0 47850052 908095488 14620 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670313 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=12424/tid=12448] ppid=12422 vsize=886812 CPUtime=1.57 cores=0-31
/proc/12424/task/12448/stat : 12448 (claspmt) R 12422 12424 11974 0 -1 4202560 502 0 0 0 156 1 0 0 20 0 32 0 47850052 908095488 14620 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668681 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=12424/tid=12449] ppid=12422 vsize=886812 CPUtime=1.58 cores=0-31
/proc/12424/task/12449/stat : 12449 (claspmt) R 12422 12424 11974 0 -1 4202560 211 0 0 0 158 0 0 0 18 0 32 0 47850052 908095488 14620 270582939648 4194304 4964800 140736152618320 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=12424/tid=12450] ppid=12422 vsize=886812 CPUtime=1.58 cores=0-31
/proc/12424/task/12450/stat : 12450 (claspmt) R 12422 12424 11974 0 -1 4202560 216 0 0 0 158 0 0 0 17 0 32 0 47850052 908095488 14620 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=12424/tid=12451] ppid=12422 vsize=886812 CPUtime=1.58 cores=0-31
/proc/12424/task/12451/stat : 12451 (claspmt) R 12422 12424 11974 0 -1 4202560 477 0 0 0 157 1 0 0 17 0 32 0 47850052 908095488 14620 270582939648 4194304 4964800 140736152618320 18446744073709551615 4379076 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=12424/tid=12452] ppid=12422 vsize=886812 CPUtime=1.57 cores=0-31
/proc/12424/task/12452/stat : 12452 (claspmt) R 12422 12424 11974 0 -1 4202560 316 0 0 0 157 0 0 0 18 0 32 0 47850052 908095488 14620 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12424/tid=12453] ppid=12422 vsize=886812 CPUtime=1.59 cores=0-31
/proc/12424/task/12453/stat : 12453 (claspmt) R 12422 12424 11974 0 -1 4202560 285 0 0 0 159 0 0 0 17 0 32 0 47850052 908095488 14620 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=12424/tid=12454] ppid=12422 vsize=886812 CPUtime=1.74 cores=0-31
/proc/12424/task/12454/stat : 12454 (claspmt) R 12422 12424 11974 0 -1 4202560 44 0 0 0 174 0 0 0 25 0 32 0 47850052 908095488 14620 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=12424/tid=12455] ppid=12422 vsize=886812 CPUtime=1.54 cores=0-31
/proc/12424/task/12455/stat : 12455 (claspmt) R 12422 12424 11974 0 -1 4202560 438 0 0 0 153 1 0 0 19 0 32 0 47850052 908095488 14620 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670097 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=12424/tid=12456] ppid=12422 vsize=886812 CPUtime=1.57 cores=0-31
/proc/12424/task/12456/stat : 12456 (claspmt) R 12422 12424 11974 0 -1 4202560 487 0 0 0 156 1 0 0 17 0 32 0 47850052 908095488 14620 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 52.61
Current children cumulated vsize (KiB) 886812

[startup+6.30175 s]
/proc/loadavg: 30.11 27.37 29.25 33/445 12456
/proc/meminfo: memFree=261842424/264257624 swapFree=67111528/67111528
[pid=12424] ppid=12422 vsize=892324 CPUtime=154.66 cores=0-31
/proc/12424/stat : 12424 (claspmt) R 12422 12424 11974 0 -1 4202496 34074 0 0 0 15381 85 0 0 19 0 32 0 47849922 913739776 32361 270582939648 4194304 4964800 140736152618320 18446744073709551615 4669276 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/12424/statm: 223081 32361 461 189 0 217430 0
[pid=12424/tid=12426] ppid=12422 vsize=892324 CPUtime=4.78 cores=0-31
/proc/12424/task/12426/stat : 12426 (claspmt) R 12422 12424 11974 0 -1 4202560 590 0 0 0 477 1 0 0 25 0 32 0 47850051 913739776 32362 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12424/tid=12427] ppid=12422 vsize=892324 CPUtime=4.76 cores=0-31
/proc/12424/task/12427/stat : 12427 (claspmt) R 12422 12424 11974 0 -1 4202560 1391 0 0 0 473 3 0 0 22 0 32 0 47850051 913739776 32362 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=12424/tid=12428] ppid=12422 vsize=892324 CPUtime=4.77 cores=0-31
/proc/12424/task/12428/stat : 12428 (claspmt) R 12422 12424 11974 0 -1 4202560 597 0 0 0 476 1 0 0 18 0 32 0 47850051 913739776 32363 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668709 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12424/tid=12429] ppid=12422 vsize=892324 CPUtime=4.77 cores=0-31
/proc/12424/task/12429/stat : 12429 (claspmt) R 12422 12424 11974 0 -1 4202560 1082 0 0 0 475 2 0 0 25 0 32 0 47850051 913739776 32363 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=12424/tid=12430] ppid=12422 vsize=892324 CPUtime=4.88 cores=0-31
/proc/12424/task/12430/stat : 12430 (claspmt) R 12422 12424 11974 0 -1 4202560 130 0 0 0 488 0 0 0 19 0 32 0 47850051 913739776 32363 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=12424/tid=12431] ppid=12422 vsize=892324 CPUtime=4.77 cores=0-31
/proc/12424/task/12431/stat : 12431 (claspmt) R 12422 12424 11974 0 -1 4202560 1073 0 0 0 474 3 0 0 22 0 32 0 47850051 913739776 32363 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=12424/tid=12432] ppid=12422 vsize=892324 CPUtime=4.76 cores=0-31
/proc/12424/task/12432/stat : 12432 (claspmt) R 12422 12424 11974 0 -1 4202560 1971 0 0 0 470 6 0 0 19 0 32 0 47850051 913739776 32363 270582939648 4194304 4964800 140736152618320 18446744073709551615 4660298 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=12424/tid=12433] ppid=12422 vsize=892324 CPUtime=4.76 cores=0-31
/proc/12424/task/12433/stat : 12433 (claspmt) R 12422 12424 11974 0 -1 4202560 953 0 0 0 473 3 0 0 20 0 32 0 47850051 913739776 32363 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=12424/tid=12434] ppid=12422 vsize=892324 CPUtime=4.73 cores=0-31
/proc/12424/task/12434/stat : 12434 (claspmt) R 12422 12424 11974 0 -1 4202560 587 0 0 0 472 1 0 0 19 0 32 0 47850051 913739776 32363 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=12424/tid=12435] ppid=12422 vsize=892324 CPUtime=4.75 cores=0-31
/proc/12424/task/12435/stat : 12435 (claspmt) R 12422 12424 11974 0 -1 4202560 1491 0 0 0 472 3 0 0 25 0 32 0 47850052 913739776 32363 270582939648 4194304 4964800 140736152618320 18446744073709551615 4669535 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=12424/tid=12436] ppid=12422 vsize=892324 CPUtime=4.77 cores=0-31
/proc/12424/task/12436/stat : 12436 (claspmt) R 12422 12424 11974 0 -1 4202560 736 0 0 0 476 1 0 0 20 0 32 0 47850052 913739776 32363 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12424/tid=12437] ppid=12422 vsize=892324 CPUtime=4.77 cores=0-31
/proc/12424/task/12437/stat : 12437 (claspmt) R 12422 12424 11974 0 -1 4202560 1005 0 0 0 474 3 0 0 19 0 32 0 47850052 913739776 32363 270582939648 4194304 4964800 140736152618320 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12424/tid=12438] ppid=12422 vsize=892324 CPUtime=4.98 cores=0-31
/proc/12424/task/12438/stat : 12438 (claspmt) R 12422 12424 11974 0 -1 4202560 85 0 0 0 498 0 0 0 25 0 32 0 47850052 913739776 32363 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668681 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12424/tid=12439] ppid=12422 vsize=892324 CPUtime=4.74 cores=0-31
/proc/12424/task/12439/stat : 12439 (claspmt) R 12422 12424 11974 0 -1 4202560 860 0 0 0 472 2 0 0 18 0 32 0 47850052 913739776 32363 270582939648 4194304 4964800 140736152618320 18446744073709551615 4320963 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=12424/tid=12440] ppid=12422 vsize=892324 CPUtime=4.75 cores=0-31
/proc/12424/task/12440/stat : 12440 (claspmt) R 12422 12424 11974 0 -1 4202560 1549 0 0 0 470 5 0 0 25 0 32 0 47850052 913739776 32363 270582939648 4194304 4964800 140736152618320 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=12424/tid=12441] ppid=12422 vsize=892324 CPUtime=4.77 cores=0-31
/proc/12424/task/12441/stat : 12441 (claspmt) R 12422 12424 11974 0 -1 4202560 808 0 0 0 475 2 0 0 19 0 32 0 47850052 913739776 32363 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=12424/tid=12442] ppid=12422 vsize=892324 CPUtime=4.79 cores=0-31
/proc/12424/task/12442/stat : 12442 (claspmt) R 12422 12424 11974 0 -1 4202560 641 0 0 0 477 2 0 0 18 0 32 0 47850052 913739776 32363 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=12424/tid=12443] ppid=12422 vsize=892324 CPUtime=4.62 cores=0-31
/proc/12424/task/12443/stat : 12443 (claspmt) R 12422 12424 11974 0 -1 4202560 1302 0 0 0 459 3 0 0 19 0 32 0 47850052 913739776 32364 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=12424/tid=12444] ppid=12422 vsize=892324 CPUtime=4.77 cores=0-31
/proc/12424/task/12444/stat : 12444 (claspmt) R 12422 12424 11974 0 -1 4202560 641 0 0 0 476 1 0 0 19 0 32 0 47850052 913739776 32364 270582939648 4194304 4964800 140736152618320 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12424/tid=12445] ppid=12422 vsize=892324 CPUtime=4.78 cores=0-31
/proc/12424/task/12445/stat : 12445 (claspmt) R 12422 12424 11974 0 -1 4202560 783 0 0 0 477 1 0 0 19 0 32 0 47850052 913739776 32364 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=12424/tid=12446] ppid=12422 vsize=892324 CPUtime=4.99 cores=0-31
/proc/12424/task/12446/stat : 12446 (claspmt) R 12422 12424 11974 0 -1 4202560 101 0 0 0 499 0 0 0 25 0 32 0 47850052 913739776 32364 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=12424/tid=12447] ppid=12422 vsize=892324 CPUtime=4.77 cores=0-31
/proc/12424/task/12447/stat : 12447 (claspmt) R 12422 12424 11974 0 -1 4202560 915 0 0 0 475 2 0 0 25 0 32 0 47850052 913739776 32364 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668681 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=12424/tid=12448] ppid=12422 vsize=892456 CPUtime=4.76 cores=0-31
/proc/12424/task/12448/stat : 12448 (claspmt) R 12422 12424 11974 0 -1 4202560 1552 0 0 0 472 4 0 0 23 0 32 0 47850052 913874944 32365 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=12424/tid=12449] ppid=12422 vsize=892456 CPUtime=4.78 cores=0-31
/proc/12424/task/12449/stat : 12449 (claspmt) R 12422 12424 11974 0 -1 4202560 594 0 0 0 476 2 0 0 18 0 32 0 47850052 913874944 32365 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668794 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=12424/tid=12450] ppid=12422 vsize=892456 CPUtime=4.78 cores=0-31
/proc/12424/task/12450/stat : 12450 (claspmt) R 12422 12424 11974 0 -1 4202560 602 0 0 0 477 1 0 0 20 0 32 0 47850052 913874944 32365 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0

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

[pid=12424/tid=12431] ppid=12422 vsize=1709836 CPUtime=318.24 cores=0-31
/proc/12424/task/12431/stat : 12431 (claspmt) R 12422 12424 11974 0 -1 4202560 6703 0 0 0 31808 16 0 0 25 0 32 0 47850051 1750872064 295718 270582939648 4194304 4964800 140736152618320 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=12424/tid=12432] ppid=12422 vsize=1709836 CPUtime=318.22 cores=0-31
/proc/12424/task/12432/stat : 12432 (claspmt) R 12422 12424 11974 0 -1 4202560 14895 0 0 0 31772 50 0 0 25 0 32 0 47850051 1750872064 295718 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=12424/tid=12433] ppid=12422 vsize=1709836 CPUtime=318.26 cores=0-31
/proc/12424/task/12433/stat : 12433 (claspmt) R 12422 12424 11974 0 -1 4202560 6322 0 0 0 31804 22 0 0 25 0 32 0 47850051 1750872064 295718 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=12424/tid=12434] ppid=12422 vsize=1709836 CPUtime=318.19 cores=0-31
/proc/12424/task/12434/stat : 12434 (claspmt) R 12422 12424 11974 0 -1 4202560 6801 0 0 0 31801 18 0 0 25 0 32 0 47850051 1750872064 295718 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=12424/tid=12435] ppid=12422 vsize=1709836 CPUtime=318.25 cores=0-31
/proc/12424/task/12435/stat : 12435 (claspmt) R 12422 12424 11974 0 -1 4202560 17623 0 0 0 31785 40 0 0 25 0 32 0 47850052 1750872064 295718 270582939648 4194304 4964800 140736152618320 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=12424/tid=12436] ppid=12422 vsize=1709836 CPUtime=318.11 cores=0-31
/proc/12424/task/12436/stat : 12436 (claspmt) R 12422 12424 11974 0 -1 4202560 6280 0 0 0 31794 17 0 0 25 0 32 0 47850052 1750872064 295718 270582939648 4194304 4964800 140736152618320 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12424/tid=12437] ppid=12422 vsize=1709836 CPUtime=318.27 cores=0-31
/proc/12424/task/12437/stat : 12437 (claspmt) R 12422 12424 11974 0 -1 4202560 8438 0 0 0 31803 24 0 0 25 0 32 0 47850052 1750872064 295718 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12424/tid=12438] ppid=12422 vsize=1709836 CPUtime=315.89 cores=0-31
/proc/12424/task/12438/stat : 12438 (claspmt) R 12422 12424 11974 0 -1 4202560 7185 0 0 0 31568 21 0 0 25 0 32 0 47850052 1750872064 295718 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12424/tid=12439] ppid=12422 vsize=1709836 CPUtime=318.23 cores=0-31
/proc/12424/task/12439/stat : 12439 (claspmt) R 12422 12424 11974 0 -1 4202560 6262 0 0 0 31807 16 0 0 23 0 32 0 47850052 1750872064 295718 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=12424/tid=12440] ppid=12422 vsize=1709836 CPUtime=317.75 cores=0-31
/proc/12424/task/12440/stat : 12440 (claspmt) R 12422 12424 11974 0 -1 4202560 14123 0 0 0 31729 46 0 0 25 0 32 0 47850052 1750872064 295718 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12424/tid=12441] ppid=12422 vsize=1709836 CPUtime=318.26 cores=0-31
/proc/12424/task/12441/stat : 12441 (claspmt) R 12422 12424 11974 0 -1 4202560 5902 0 0 0 31805 21 0 0 25 0 32 0 47850052 1750872064 295718 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=12424/tid=12442] ppid=12422 vsize=1709836 CPUtime=318.22 cores=0-31
/proc/12424/task/12442/stat : 12442 (claspmt) R 12422 12424 11974 0 -1 4202560 7126 0 0 0 31799 23 0 0 25 0 32 0 47850052 1750872064 295718 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=12424/tid=12443] ppid=12422 vsize=1709836 CPUtime=318.07 cores=0-31
/proc/12424/task/12443/stat : 12443 (claspmt) R 12422 12424 11974 0 -1 4202560 17757 0 0 0 31763 44 0 0 25 0 32 0 47850052 1750872064 295718 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=12424/tid=12444] ppid=12422 vsize=1709836 CPUtime=315.17 cores=0-31
/proc/12424/task/12444/stat : 12444 (claspmt) R 12422 12424 11974 0 -1 4202560 5660 0 0 0 31501 16 0 0 25 0 32 0 47850052 1750872064 295720 270582939648 4194304 4964800 140736152618320 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=12424/tid=12445] ppid=12422 vsize=1709836 CPUtime=318.27 cores=0-31
/proc/12424/task/12445/stat : 12445 (claspmt) R 12422 12424 11974 0 -1 4202560 8387 0 0 0 31806 21 0 0 25 0 32 0 47850052 1750872064 295720 270582939648 4194304 4964800 140736152618320 18446744073709551615 4627536 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=12424/tid=12446] ppid=12422 vsize=1709836 CPUtime=318.47 cores=0-31
/proc/12424/task/12446/stat : 12446 (claspmt) R 12422 12424 11974 0 -1 4202560 7341 0 0 0 31826 21 0 0 25 0 32 0 47850052 1750872064 295720 270582939648 4194304 4964800 140736152618320 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=12424/tid=12447] ppid=12422 vsize=1709836 CPUtime=318.25 cores=0-31
/proc/12424/task/12447/stat : 12447 (claspmt) R 12422 12424 11974 0 -1 4202560 6560 0 0 0 31807 18 0 0 25 0 32 0 47850052 1750872064 295720 270582939648 4194304 4964800 140736152618320 18446744073709551615 4669386 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=12424/tid=12448] ppid=12422 vsize=1709836 CPUtime=318.2 cores=0-31
/proc/12424/task/12448/stat : 12448 (claspmt) R 12422 12424 11974 0 -1 4202560 14469 0 0 0 31773 47 0 0 25 0 32 0 47850052 1750872064 295720 270582939648 4194304 4964800 140736152618320 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=12424/tid=12449] ppid=12422 vsize=1709836 CPUtime=318.26 cores=0-31
/proc/12424/task/12449/stat : 12449 (claspmt) R 12422 12424 11974 0 -1 4202560 5813 0 0 0 31806 20 0 0 25 0 32 0 47850052 1750872064 295720 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668805 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=12424/tid=12450] ppid=12422 vsize=1709836 CPUtime=318.21 cores=0-31
/proc/12424/task/12450/stat : 12450 (claspmt) R 12422 12424 11974 0 -1 4202560 7178 0 0 0 31800 21 0 0 25 0 32 0 47850052 1750872064 295720 270582939648 4194304 4964800 140736152618320 18446744073709551615 4660419 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=12424/tid=12451] ppid=12422 vsize=1709836 CPUtime=318.24 cores=0-31
/proc/12424/task/12451/stat : 12451 (claspmt) R 12422 12424 11974 0 -1 4202560 17444 0 0 0 31786 38 0 0 25 0 32 0 47850052 1750872064 295720 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=12424/tid=12452] ppid=12422 vsize=1709836 CPUtime=318.26 cores=0-31
/proc/12424/task/12452/stat : 12452 (claspmt) R 12422 12424 11974 0 -1 4202560 6164 0 0 0 31812 14 0 0 25 0 32 0 47850052 1750872064 295720 270582939648 4194304 4964800 140736152618320 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12424/tid=12453] ppid=12422 vsize=1709836 CPUtime=318.27 cores=0-31
/proc/12424/task/12453/stat : 12453 (claspmt) R 12422 12424 11974 0 -1 4202560 8791 0 0 0 31807 20 0 0 25 0 32 0 47850052 1750872064 295720 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=12424/tid=12454] ppid=12422 vsize=1709836 CPUtime=318.42 cores=0-31
/proc/12424/task/12454/stat : 12454 (claspmt) R 12422 12424 11974 0 -1 4202560 6912 0 0 0 31821 21 0 0 25 0 32 0 47850052 1750872064 295720 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=12424/tid=12455] ppid=12422 vsize=1709836 CPUtime=317.84 cores=0-31
/proc/12424/task/12455/stat : 12455 (claspmt) R 12422 12424 11974 0 -1 4202560 6293 0 0 0 31765 19 0 0 25 0 32 0 47850052 1750872064 295720 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12424/tid=12456] ppid=12422 vsize=1709836 CPUtime=318.23 cores=0-31
/proc/12424/task/12456/stat : 12456 (claspmt) R 12422 12424 11974 0 -1 4202560 13902 0 0 0 31780 43 0 0 25 0 32 0 47850052 1750872064 295720 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 10176.8
Current children cumulated vsize (KiB) 1709836

[startup+326.302 s]
/proc/loadavg: 32.00 30.43 30.05 33/445 12466
/proc/meminfo: memFree=260765212/264257624 swapFree=67111528/67111528
[pid=12424] ppid=12422 vsize=1710388 CPUtime=10381.3 cores=0-31
/proc/12424/stat : 12424 (claspmt) R 12422 12424 11974 0 -1 4202496 299876 0 0 0 1037305 828 0 0 25 0 32 0 47849922 1751437312 297393 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668777 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/12424/statm: 427597 297393 463 189 0 421946 0
[pid=12424/tid=12426] ppid=12422 vsize=1710388 CPUtime=324.61 cores=0-31
/proc/12424/task/12426/stat : 12426 (claspmt) R 12422 12424 11974 0 -1 4202560 7084 0 0 0 32442 19 0 0 25 0 32 0 47850051 1751437312 297393 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12424/tid=12427] ppid=12422 vsize=1710388 CPUtime=324.65 cores=0-31
/proc/12424/task/12427/stat : 12427 (claspmt) R 12422 12424 11974 0 -1 4202560 17031 0 0 0 32430 35 0 0 25 0 32 0 47850051 1751437312 297393 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=12424/tid=12428] ppid=12422 vsize=1710388 CPUtime=322.29 cores=0-31
/proc/12424/task/12428/stat : 12428 (claspmt) R 12422 12424 11974 0 -1 4202560 5928 0 0 0 32212 17 0 0 25 0 32 0 47850051 1751437312 297393 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=12424/tid=12429] ppid=12422 vsize=1710388 CPUtime=324.55 cores=0-31
/proc/12424/task/12429/stat : 12429 (claspmt) R 12422 12424 11974 0 -1 4202560 9231 0 0 0 32435 20 0 0 25 0 32 0 47850051 1751437312 297393 270582939648 4194304 4964800 140736152618320 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=12424/tid=12430] ppid=12422 vsize=1710388 CPUtime=324.75 cores=0-31
/proc/12424/task/12430/stat : 12430 (claspmt) R 12422 12424 11974 0 -1 4202560 7306 0 0 0 32458 17 0 0 25 0 32 0 47850051 1751437312 297393 270582939648 4194304 4964800 140736152618320 18446744073709551615 4669535 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=12424/tid=12431] ppid=12422 vsize=1710388 CPUtime=324.64 cores=0-31
/proc/12424/task/12431/stat : 12431 (claspmt) R 12422 12424 11974 0 -1 4202560 6707 0 0 0 32448 16 0 0 25 0 32 0 47850051 1751437312 297393 270582939648 4194304 4964800 140736152618320 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=12424/tid=12432] ppid=12422 vsize=1710388 CPUtime=324.62 cores=0-31
/proc/12424/task/12432/stat : 12432 (claspmt) R 12422 12424 11974 0 -1 4202560 14928 0 0 0 32412 50 0 0 25 0 32 0 47850051 1751437312 297393 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=12424/tid=12433] ppid=12422 vsize=1710388 CPUtime=324.66 cores=0-31
/proc/12424/task/12433/stat : 12433 (claspmt) R 12422 12424 11974 0 -1 4202560 6339 0 0 0 32444 22 0 0 25 0 32 0 47850051 1751437312 297393 270582939648 4194304 4964800 140736152618320 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=12424/tid=12434] ppid=12422 vsize=1710388 CPUtime=324.53 cores=0-31
/proc/12424/task/12434/stat : 12434 (claspmt) R 12422 12424 11974 0 -1 4202560 6899 0 0 0 32434 19 0 0 25 0 32 0 47850051 1751437312 297393 270582939648 4194304 4964800 140736152618320 18446744073709551615 4320886 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=12424/tid=12435] ppid=12422 vsize=1710388 CPUtime=324.64 cores=0-31
/proc/12424/task/12435/stat : 12435 (claspmt) R 12422 12424 11974 0 -1 4202560 17695 0 0 0 32424 40 0 0 25 0 32 0 47850052 1751437312 297393 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=12424/tid=12436] ppid=12422 vsize=1710388 CPUtime=324.51 cores=0-31
/proc/12424/task/12436/stat : 12436 (claspmt) R 12422 12424 11974 0 -1 4202560 6366 0 0 0 32433 18 0 0 25 0 32 0 47850052 1751437312 297393 270582939648 4194304 4964800 140736152618320 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12424/tid=12437] ppid=12422 vsize=1710388 CPUtime=324.67 cores=0-31
/proc/12424/task/12437/stat : 12437 (claspmt) R 12422 12424 11974 0 -1 4202560 8524 0 0 0 32443 24 0 0 25 0 32 0 47850052 1751437312 297393 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12424/tid=12438] ppid=12422 vsize=1710388 CPUtime=322.29 cores=0-31
/proc/12424/task/12438/stat : 12438 (claspmt) R 12422 12424 11974 0 -1 4202560 7310 0 0 0 32207 22 0 0 25 0 32 0 47850052 1751437312 297393 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12424/tid=12439] ppid=12422 vsize=1710388 CPUtime=324.63 cores=0-31
/proc/12424/task/12439/stat : 12439 (claspmt) R 12422 12424 11974 0 -1 4202560 6282 0 0 0 32446 17 0 0 25 0 32 0 47850052 1751437312 297393 270582939648 4194304 4964800 140736152618320 18446744073709551615 4653539 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=12424/tid=12440] ppid=12422 vsize=1710388 CPUtime=324.14 cores=0-31
/proc/12424/task/12440/stat : 12440 (claspmt) R 12422 12424 11974 0 -1 4202560 14150 0 0 0 32368 46 0 0 25 0 32 0 47850052 1751437312 297393 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12424/tid=12441] ppid=12422 vsize=1710388 CPUtime=324.66 cores=0-31
/proc/12424/task/12441/stat : 12441 (claspmt) R 12422 12424 11974 0 -1 4202560 5921 0 0 0 32445 21 0 0 25 0 32 0 47850052 1751437312 297393 270582939648 4194304 4964800 140736152618320 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=12424/tid=12442] ppid=12422 vsize=1710388 CPUtime=324.62 cores=0-31
/proc/12424/task/12442/stat : 12442 (claspmt) R 12422 12424 11974 0 -1 4202560 7151 0 0 0 32439 23 0 0 25 0 32 0 47850052 1751437312 297393 270582939648 4194304 4964800 140736152618320 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=12424/tid=12443] ppid=12422 vsize=1710388 CPUtime=324.47 cores=0-31
/proc/12424/task/12443/stat : 12443 (claspmt) R 12422 12424 11974 0 -1 4202560 18014 0 0 0 32403 44 0 0 25 0 32 0 47850052 1751437312 297393 270582939648 4194304 4964800 140736152618320 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=12424/tid=12444] ppid=12422 vsize=1710388 CPUtime=321.44 cores=0-31
/proc/12424/task/12444/stat : 12444 (claspmt) R 12422 12424 11974 0 -1 4202560 5721 0 0 0 32128 16 0 0 25 0 32 0 47850052 1751437312 297393 270582939648 4194304 4964800 140736152618320 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=12424/tid=12445] ppid=12422 vsize=1710388 CPUtime=324.66 cores=0-31
/proc/12424/task/12445/stat : 12445 (claspmt) R 12422 12424 11974 0 -1 4202560 8525 0 0 0 32445 21 0 0 25 0 32 0 47850052 1751437312 297393 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=12424/tid=12446] ppid=12422 vsize=1710388 CPUtime=324.87 cores=0-31
/proc/12424/task/12446/stat : 12446 (claspmt) R 12422 12424 11974 0 -1 4202560 7351 0 0 0 32466 21 0 0 25 0 32 0 47850052 1751437312 297393 270582939648 4194304 4964800 140736152618320 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=12424/tid=12447] ppid=12422 vsize=1710388 CPUtime=324.65 cores=0-31
/proc/12424/task/12447/stat : 12447 (claspmt) R 12422 12424 11974 0 -1 4202560 6573 0 0 0 32447 18 0 0 25 0 32 0 47850052 1751437312 297393 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=12424/tid=12448] ppid=12422 vsize=1710388 CPUtime=324.6 cores=0-31
/proc/12424/task/12448/stat : 12448 (claspmt) R 12422 12424 11974 0 -1 4202560 14485 0 0 0 32412 48 0 0 25 0 32 0 47850052 1751437312 297393 270582939648 4194304 4964800 140736152618320 18446744073709551615 4320848 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=12424/tid=12449] ppid=12422 vsize=1710388 CPUtime=324.66 cores=0-31
/proc/12424/task/12449/stat : 12449 (claspmt) R 12422 12424 11974 0 -1 4202560 5851 0 0 0 32446 20 0 0 25 0 32 0 47850052 1751437312 297393 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=12424/tid=12450] ppid=12422 vsize=1710388 CPUtime=324.61 cores=0-31
/proc/12424/task/12450/stat : 12450 (claspmt) R 12422 12424 11974 0 -1 4202560 7185 0 0 0 32440 21 0 0 25 0 32 0 47850052 1751437312 297393 270582939648 4194304 4964800 140736152618320 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=12424/tid=12451] ppid=12422 vsize=1710388 CPUtime=324.63 cores=0-31
/proc/12424/task/12451/stat : 12451 (claspmt) R 12422 12424 11974 0 -1 4202560 17603 0 0 0 32425 38 0 0 25 0 32 0 47850052 1751437312 297393 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=12424/tid=12452] ppid=12422 vsize=1710388 CPUtime=324.66 cores=0-31
/proc/12424/task/12452/stat : 12452 (claspmt) R 12422 12424 11974 0 -1 4202560 6210 0 0 0 32452 14 0 0 25 0 32 0 47850052 1751437312 297393 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12424/tid=12453] ppid=12422 vsize=1710388 CPUtime=324.66 cores=0-31
/proc/12424/task/12453/stat : 12453 (claspmt) R 12422 12424 11974 0 -1 4202560 8830 0 0 0 32446 20 0 0 25 0 32 0 47850052 1751437312 297393 270582939648 4194304 4964800 140736152618320 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=12424/tid=12454] ppid=12422 vsize=1710388 CPUtime=324.82 cores=0-31
/proc/12424/task/12454/stat : 12454 (claspmt) R 12422 12424 11974 0 -1 4202560 6922 0 0 0 32461 21 0 0 25 0 32 0 47850052 1751437312 297393 270582939648 4194304 4964800 140736152618320 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=12424/tid=12455] ppid=12422 vsize=1710388 CPUtime=324.24 cores=0-31
/proc/12424/task/12455/stat : 12455 (claspmt) R 12422 12424 11974 0 -1 4202560 6316 0 0 0 32405 19 0 0 25 0 32 0 47850052 1751437312 297393 270582939648 4194304 4964800 140736152618320 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12424/tid=12456] ppid=12422 vsize=1710388 CPUtime=324.62 cores=0-31
/proc/12424/task/12456/stat : 12456 (claspmt) R 12422 12424 11974 0 -1 4202560 13920 0 0 0 32419 43 0 0 25 0 32 0 47850052 1751437312 297393 270582939648 4194304 4964800 140736152618320 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 10381.3
Current children cumulated vsize (KiB) 1710388

[startup+327.901 s]
/proc/loadavg: 32.00 30.45 30.06 33/445 12466
/proc/meminfo: memFree=260758124/264257624 swapFree=67111528/67111528
[pid=12424] ppid=12422 vsize=1620172 CPUtime=10429.6 cores=0-31
/proc/12424/stat : 12424 (claspmt) R 12422 12424 11974 0 -1 4202496 301383 0 0 0 1042123 833 0 0 25 0 1 0 47849922 1659056128 298816 270582939648 4194304 4964800 140736152618320 18446744073709551615 258650611056 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12424/statm: 405043 298816 474 189 0 399392 0
Current children cumulated CPU time (s) 10429.6
Current children cumulated vsize (KiB) 1620172

[startup+328.701 s]
/proc/loadavg: 32.00 30.45 30.06 33/445 12466
/proc/meminfo: memFree=260758124/264257624 swapFree=67111528/67111528
[pid=12424] ppid=12422 vsize=1620172 CPUtime=10430.4 cores=0-31
/proc/12424/stat : 12424 (claspmt) R 12422 12424 11974 0 -1 4202496 301383 0 0 0 1042203 833 0 0 25 0 1 0 47849922 1659056128 298759 270582939648 4194304 4964800 140736152618320 18446744073709551615 258650610907 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12424/statm: 405043 298759 474 189 0 399392 0
Current children cumulated CPU time (s) 10430.4
Current children cumulated vsize (KiB) 1620172

[startup+329.101 s]
/proc/loadavg: 32.00 30.45 30.06 2/414 12466
/proc/meminfo: memFree=260757612/264257624 swapFree=67111528/67111528
[pid=12424] ppid=12422 vsize=1620172 CPUtime=10430.8 cores=0-31
/proc/12424/stat : 12424 (claspmt) R 12422 12424 11974 0 -1 4202496 301383 0 0 0 1042243 833 0 0 25 0 1 0 47849922 1659056128 298740 270582939648 4194304 4964800 140736152618320 18446744073709551615 258650610817 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12424/statm: 405043 298740 474 189 0 399392 0
Current children cumulated CPU time (s) 10430.8
Current children cumulated vsize (KiB) 1620172

[startup+329.301 s]
/proc/loadavg: 32.00 30.45 30.06 2/414 12466
/proc/meminfo: memFree=260757612/264257624 swapFree=67111528/67111528
[pid=12424] ppid=12422 vsize=1620172 CPUtime=10431 cores=0-31
/proc/12424/stat : 12424 (claspmt) R 12422 12424 11974 0 -1 4202496 301383 0 0 0 1042263 833 0 0 25 0 1 0 47849922 1659056128 298470 270582939648 4194304 4964800 140736152618320 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12424/statm: 405043 298086 474 189 0 399392 0
Current children cumulated CPU time (s) 10431
Current children cumulated vsize (KiB) 1620172

[startup+329.401 s]
/proc/loadavg: 32.00 30.45 30.06 2/414 12466
/proc/meminfo: memFree=260757612/264257624 swapFree=67111528/67111528
[pid=12424] ppid=12422 vsize=799812 CPUtime=10431.1 cores=0-31
/proc/12424/stat : 12424 (claspmt) R 12422 12424 11974 0 -1 4202496 301383 0 0 0 1042264 842 0 0 25 0 1 0 47849922 819007488 18774 270582939648 4194304 4964800 140736152618320 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/12424/statm: 199953 18262 474 189 0 194302 0
Current children cumulated CPU time (s) 10431.1
Current children cumulated vsize (KiB) 799812

Child status: 10
Real time (s): 329.409
CPU time (s): 10431.1
CPU user time (s): 10422.6
CPU system time (s): 8.43572
CPU usage (%): 3166.61
Max. virtual memory (cumulated for all children) (KiB): 1710528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10422.6
system time used= 8.43572
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 301384
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= 105213
involuntary context switches= 20547

runsolver used 1.9787 second user time and 7.37388 second system time

The end

Begin job on node200 at 2011-06-11 22:37:10
IDJOB=3472524
IDBENCH=85987
IDSOLVER=1961
FILE ID=node200/3472524-1307824630
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_35.renamed-as.sat05-1921.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-3472524-1307824630/watcher-3472524-1307824630 -o /tmp/evaluation-result-3472524-1307824630/solver-3472524-1307824630 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472524-1307824630.cnf

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

MD5SUM BENCH= 5fda0e0fb8a21967728dfe29bf2d4ea5
RANDOM SEED=1929908947

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:      261948592 kB
Buffers:        297576 kB
Cached:        1686780 kB
SwapCached:          0 kB
Active:         327840 kB
Inactive:      1720200 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      261948592 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4032 kB
Writeback:           0 kB
AnonPages:       64304 kB
Mapped:          14380 kB
Slab:           185688 kB
PageTables:       5444 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   159476 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:42:40

Name	SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf
MD5SUM	5fda0e0fb8a21967728dfe29bf2d4ea5
Bench Category	APPLICATION (applications instances)
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	258.795
Satisfiable
(Un)Satisfiability was proved
Number of variables	1225
Number of clauses	211785
Sum of the clauses size	554190
Maximum clause length	35
Minimum clause length	2
Number of clauses of size 1	0
Number of clauses of size 2	83405
Number of clauses of size 3	128310
Number of clauses of size 4	0
Number of clauses of size 5	0
Number of clauses of size over 5	70

Trace number 3472524

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data