0.00/0.01 c clasp version 2.0.0-RC2
0.00/0.01 c Reading from ...806114/instance-3472507-1307806114.cnf
30.28/30.36 c Solving...
70944.47/2607.25 s UNSATISFIABLE
70944.47/2607.25
70944.47/2607.25 c Models : 0
70944.47/2607.25 c Time : 2594.835s (Solving: 2564.48s 1st Model: 0.00s Unsat: 2564.48s)
70944.47/2607.25 c CPU Time : 70932.120s
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-3472507-1307806114/watcher-3472507-1307806114 -o /tmp/evaluation-result-3472507-1307806114/solver-3472507-1307806114 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472507-1307806114.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: 27.28 31.04 31.70 1/413 10565
/proc/meminfo: memFree=261992216/264257624 swapFree=67111528/67111528
[pid=10565] ppid=10563 vsize=145936 CPUtime=0.02 cores=0-31
/proc/10565/stat : 10565 (claspmt) R 10563 10565 10535 0 -1 4202496 1425 0 0 0 2 0 0 0 22 0 1 0 45998801 149438464 1354 270582939648 4194304 4964800 140734655180528 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 25 0 0 0
/proc/10565/statm: 36484 1358 373 189 0 31358 0
[startup+0.079905 s]
/proc/loadavg: 27.28 31.04 31.70 1/413 10565
/proc/meminfo: memFree=261992216/264257624 swapFree=67111528/67111528
[pid=10565] ppid=10563 vsize=145936 CPUtime=0.07 cores=0-31
/proc/10565/stat : 10565 (claspmt) R 10563 10565 10535 0 -1 4202496 4874 0 0 0 6 1 0 0 22 0 1 0 45998801 149438464 4803 270582939648 4194304 4964800 140734655180528 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 25 0 0 0
/proc/10565/statm: 36484 4808 373 189 0 31358 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 145936
[startup+0.100932 s]
/proc/loadavg: 27.28 31.04 31.70 1/413 10565
/proc/meminfo: memFree=261992216/264257624 swapFree=67111528/67111528
[pid=10565] ppid=10563 vsize=145936 CPUtime=0.09 cores=0-31
/proc/10565/stat : 10565 (claspmt) R 10563 10565 10535 0 -1 4202496 6480 0 0 0 8 1 0 0 22 0 1 0 45998801 149438464 6409 270582939648 4194304 4964800 140734655180528 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 25 0 0 0
/proc/10565/statm: 36484 6414 373 189 0 31358 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 145936
[startup+0.300918 s]
/proc/loadavg: 27.28 31.04 31.70 1/413 10565
/proc/meminfo: memFree=261992216/264257624 swapFree=67111528/67111528
[pid=10565] ppid=10563 vsize=145936 CPUtime=0.29 cores=0-31
/proc/10565/stat : 10565 (claspmt) R 10563 10565 10535 0 -1 4202496 21762 0 0 0 23 6 0 0 23 0 1 0 45998801 149438464 21691 270582939648 4194304 4964800 140734655180528 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 25 0 0 0
/proc/10565/statm: 36484 21695 373 189 0 31358 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 145936
[startup+0.700939 s]
/proc/loadavg: 27.28 31.04 31.70 1/413 10565
/proc/meminfo: memFree=261992216/264257624 swapFree=67111528/67111528
[pid=10565] ppid=10563 vsize=221200 CPUtime=0.69 cores=0-31
/proc/10565/stat : 10565 (claspmt) R 10563 10565 10535 0 -1 4202496 57765 0 0 0 56 13 0 0 25 0 1 0 45998801 226508800 49526 270582939648 4194304 4964800 140734655180528 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 25 0 0 0
/proc/10565/statm: 55300 49527 386 189 0 50174 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 221200
[startup+1.50094 s]
/proc/loadavg: 27.28 31.04 31.70 2/414 10566
/proc/meminfo: memFree=261774196/264257624 swapFree=67111528/67111528
[pid=10565] ppid=10563 vsize=301536 CPUtime=1.49 cores=0-31
/proc/10565/stat : 10565 (claspmt) R 10563 10565 10535 0 -1 4202496 85339 0 0 0 128 21 0 0 25 0 1 0 45998801 308772864 68408 270582939648 4194304 4964800 140734655180528 18446744073709551615 4599599 0 0 4096 18946 0 0 0 17 25 0 0 0
/proc/10565/statm: 75384 68410 386 189 0 70258 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 301536
[startup+3.10102 s]
/proc/loadavg: 27.28 31.04 31.70 2/414 10566
/proc/meminfo: memFree=261646584/264257624 swapFree=67111528/67111528
[pid=10565] ppid=10563 vsize=471768 CPUtime=3.09 cores=0-31
/proc/10565/stat : 10565 (claspmt) R 10563 10565 10535 0 -1 4202496 141130 0 0 0 276 33 0 0 25 0 1 0 45998801 483090432 109725 270582939648 4194304 4964800 140734655180528 18446744073709551615 4615600 0 0 4096 18946 0 0 0 17 25 0 0 0
/proc/10565/statm: 117942 109725 397 189 0 112816 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 471768
[startup+6.30112 s]
/proc/loadavg: 25.18 30.54 31.54 2/414 10566
/proc/meminfo: memFree=261524708/264257624 swapFree=67111528/67111528
[pid=10565] ppid=10563 vsize=517096 CPUtime=6.29 cores=0-31
/proc/10565/stat : 10565 (claspmt) R 10563 10565 10535 0 -1 4202496 152282 0 0 0 593 36 0 0 25 0 1 0 45998801 529506304 120877 270582939648 4194304 4964800 140734655180528 18446744073709551615 4615450 0 0 4096 18946 0 0 0 17 25 0 0 0
/proc/10565/statm: 129274 120877 397 189 0 124148 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 517096
[startup+12.7004 s]
/proc/loadavg: 23.24 30.05 31.37 2/414 10566
/proc/meminfo: memFree=261507940/264257624 swapFree=67111528/67111528
[pid=10565] ppid=10563 vsize=520000 CPUtime=12.69 cores=0-31
/proc/10565/stat : 10565 (claspmt) R 10563 10565 10535 0 -1 4202496 153573 0 0 0 1232 37 0 0 25 0 1 0 45998801 532480000 122168 270582939648 4194304 4964800 140734655180528 18446744073709551615 4601811 0 0 4096 18946 0 0 0 17 25 0 0 0
/proc/10565/statm: 130000 122168 401 189 0 124874 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 520000
[startup+25.5008 s]
/proc/loadavg: 18.45 28.65 30.89 2/414 10566
/proc/meminfo: memFree=261431384/264257624 swapFree=67111528/67111528
[pid=10565] ppid=10563 vsize=598276 CPUtime=25.48 cores=0-31
/proc/10565/stat : 10565 (claspmt) R 10563 10565 10535 0 -1 4202496 173149 0 0 0 2506 42 0 0 25 0 1 0 45998801 612634624 141744 270582939648 4194304 4964800 140734655180528 18446744073709551615 4621762 0 0 4096 18946 0 0 0 17 25 0 0 0
/proc/10565/statm: 149569 141744 401 189 0 144443 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 598276
[startup+51.1017 s]
/proc/loadavg: 15.03 27.05 30.31 5/445 10597
/proc/meminfo: memFree=258330324/264257624 swapFree=67111528/67111528
[pid=10565] ppid=10563 vsize=4612636 CPUtime=201.6 cores=0-31
/proc/10565/stat : 10565 (claspmt) S 10563 10565 10535 0 -1 4202496 1205433 0 0 0 10223 9937 0 0 18 0 32 0 45998801 4723339264 916544 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 24 0 0 0
/proc/10565/statm: 1153159 916544 440 189 0 1147508 0
[pid=10565/tid=10567] ppid=10563 vsize=4612636 CPUtime=3.4 cores=0-31
/proc/10565/task/10567/stat : 10567 (claspmt) S 10563 10565 10535 0 -1 4202560 26964 0 0 0 35 305 0 0 16 0 32 0 46001838 4723339264 916544 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604498286558688 0 0 -1 17 0 0 0
[pid=10565/tid=10568] ppid=10563 vsize=4612636 CPUtime=3.94 cores=0-31
/proc/10565/task/10568/stat : 10568 (claspmt) S 10563 10565 10535 0 -1 4202560 33714 0 0 0 57 337 0 0 18 0 32 0 46001838 4723339264 916544 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604500912348640 0 0 -1 8 0 0 0
[pid=10565/tid=10569] ppid=10563 vsize=4612636 CPUtime=3.92 cores=0-31
/proc/10565/task/10569/stat : 10569 (claspmt) S 10563 10565 10535 0 -1 4202560 34560 0 0 0 63 329 0 0 18 0 32 0 46001838 4723339264 916544 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604492979510752 0 0 -1 20 0 0 0
[pid=10565/tid=10570] ppid=10563 vsize=4612636 CPUtime=3.34 cores=0-31
/proc/10565/task/10570/stat : 10570 (claspmt) S 10563 10565 10535 0 -1 4202560 29099 0 0 0 34 300 0 0 16 0 32 0 46001838 4723339264 916544 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604503620681184 0 0 -1 10 0 0 0
[pid=10565/tid=10571] ppid=10563 vsize=4612636 CPUtime=17.88 cores=0-31
/proc/10565/task/10571/stat : 10571 (claspmt) R 10563 10565 10535 0 -1 4202560 31706 0 0 0 1495 293 0 0 25 0 32 0 46001838 4723339264 916544 270582939648 4194304 4964800 140734655180528 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=10565/tid=10572] ppid=10563 vsize=4612636 CPUtime=3.9 cores=0-31
/proc/10565/task/10572/stat : 10572 (claspmt) S 10563 10565 10535 0 -1 4202560 38375 0 0 0 59 331 0 0 17 0 32 0 46001838 4723339264 916544 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604498383617504 0 0 -1 3 0 0 0
[pid=10565/tid=10573] ppid=10563 vsize=4612636 CPUtime=3.98 cores=0-31
/proc/10565/task/10573/stat : 10573 (claspmt) S 10563 10565 10535 0 -1 4202560 34018 0 0 0 71 327 0 0 18 0 32 0 46001838 4723339264 916544 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604483338911200 0 0 -1 13 0 0 0
[pid=10565/tid=10574] ppid=10563 vsize=4612636 CPUtime=3.22 cores=0-31
/proc/10565/task/10574/stat : 10574 (claspmt) S 10563 10565 10535 0 -1 4202560 27129 0 0 0 41 281 0 0 17 0 32 0 46001838 4723339264 916544 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604640665583072 0 0 -1 7 0 0 0
[pid=10565/tid=10575] ppid=10563 vsize=4612636 CPUtime=3.7 cores=0-31
/proc/10565/task/10575/stat : 10575 (claspmt) S 10563 10565 10535 0 -1 4202560 28317 0 0 0 38 332 0 0 18 0 32 0 46001838 4723339264 916544 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604502388104672 0 0 -1 31 0 0 0
[pid=10565/tid=10576] ppid=10563 vsize=4612636 CPUtime=3.89 cores=0-31
/proc/10565/task/10576/stat : 10576 (claspmt) S 10563 10565 10535 0 -1 4202560 35980 0 0 0 56 333 0 0 18 0 32 0 46001838 4723339264 916544 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604493153967584 0 0 -1 22 0 0 0
[pid=10565/tid=10577] ppid=10563 vsize=4612636 CPUtime=3.87 cores=0-31
/proc/10565/task/10577/stat : 10577 (claspmt) S 10563 10565 10535 0 -1 4202560 38388 0 0 0 57 330 0 0 17 0 32 0 46001838 4723339264 916544 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604506088865248 0 0 -1 18 0 0 0
[pid=10565/tid=10578] ppid=10563 vsize=4612636 CPUtime=3.51 cores=0-31
/proc/10565/task/10578/stat : 10578 (claspmt) S 10563 10565 10535 0 -1 4202560 29572 0 0 0 34 317 0 0 17 0 32 0 46001838 4723339264 916544 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604498998943200 0 0 -1 14 0 0 0
[pid=10565/tid=10579] ppid=10563 vsize=4612636 CPUtime=17.71 cores=0-31
/proc/10565/task/10579/stat : 10579 (claspmt) R 10563 10565 10535 0 -1 4202560 31819 0 0 0 1449 322 0 0 25 0 32 0 46001838 4723339264 916544 270582939648 4194304 4964800 140734655180528 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=10565/tid=10580] ppid=10563 vsize=4612636 CPUtime=3.87 cores=0-31
/proc/10565/task/10580/stat : 10580 (claspmt) S 10563 10565 10535 0 -1 4202560 38756 0 0 0 57 330 0 0 17 0 32 0 46001838 4723339264 916544 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604503385906656 0 0 -1 1 0 0 0
[pid=10565/tid=10581] ppid=10563 vsize=4612636 CPUtime=3.94 cores=0-31
/proc/10565/task/10581/stat : 10581 (claspmt) S 10563 10565 10535 0 -1 4202560 34166 0 0 0 70 324 0 0 18 0 32 0 46001838 4723339264 916544 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604499791601120 0 0 -1 9 0 0 0
[pid=10565/tid=10582] ppid=10563 vsize=4612636 CPUtime=3.49 cores=0-31
/proc/10565/task/10582/stat : 10582 (claspmt) S 10563 10565 10535 0 -1 4202560 29465 0 0 0 34 315 0 0 17 0 32 0 46001838 4723339264 916544 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604506164010464 0 0 -1 6 0 0 0
[pid=10565/tid=10583] ppid=10563 vsize=4612636 CPUtime=3.26 cores=0-31
/proc/10565/task/10583/stat : 10583 (claspmt) S 10563 10565 10535 0 -1 4202560 29621 0 0 0 32 294 0 0 16 0 32 0 46001838 4723339264 916544 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604500715437536 0 0 -1 8 0 0 0
[pid=10565/tid=10584] ppid=10563 vsize=4612636 CPUtime=3.73 cores=0-31
/proc/10565/task/10584/stat : 10584 (claspmt) S 10563 10565 10535 0 -1 4202560 38255 0 0 0 63 310 0 0 17 0 32 0 46001838 4723339264 916544 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604499461553632 0 0 -1 16 0 0 0
[pid=10565/tid=10585] ppid=10563 vsize=4612636 CPUtime=3.89 cores=0-31
/proc/10565/task/10585/stat : 10585 (claspmt) S 10563 10565 10535 0 -1 4202560 36483 0 0 0 57 332 0 0 18 0 32 0 46001839 4723339264 916544 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604504588811744 0 0 -1 29 0 0 0
[pid=10565/tid=10586] ppid=10563 vsize=4612636 CPUtime=3.71 cores=0-31
/proc/10565/task/10586/stat : 10586 (claspmt) S 10563 10565 10535 0 -1 4202560 28193 0 0 0 38 333 0 0 18 0 32 0 46001839 4723339264 916544 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604501793717728 0 0 -1 21 0 0 0
[pid=10565/tid=10587] ppid=10563 vsize=4612636 CPUtime=17.8 cores=0-31
/proc/10565/task/10587/stat : 10587 (claspmt) R 10563 10565 10535 0 -1 4202560 32123 0 0 0 1464 316 0 0 25 0 32 0 46001839 4723339264 916544 270582939648 4194304 4964800 140734655180528 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=10565/tid=10588] ppid=10563 vsize=4612636 CPUtime=3.9 cores=0-31
/proc/10565/task/10588/stat : 10588 (claspmt) S 10563 10565 10535 0 -1 4202560 38547 0 0 0 60 330 0 0 17 0 32 0 46001839 4723339264 916544 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604498362031584 0 0 -1 11 0 0 0
[pid=10565/tid=10589] ppid=10563 vsize=4612636 CPUtime=4.05 cores=0-31
/proc/10565/task/10589/stat : 10589 (claspmt) S 10563 10565 10535 0 -1 4202560 32947 0 0 0 75 330 0 0 18 0 32 0 46001839 4723339264 916544 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604488488558048 0 0 -1 30 0 0 0
[pid=10565/tid=10590] ppid=10563 vsize=4612636 CPUtime=3.17 cores=0-31
/proc/10565/task/10590/stat : 10590 (claspmt) S 10563 10565 10535 0 -1 4202560 29822 0 0 0 30 287 0 0 16 0 32 0 46001839 4723339264 916544 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604500355259872 0 0 -1 15 0 0 0
[pid=10565/tid=10591] ppid=10563 vsize=4612636 CPUtime=3.49 cores=0-31
/proc/10565/task/10591/stat : 10591 (claspmt) S 10563 10565 10535 0 -1 4202560 29704 0 0 0 35 314 0 0 17 0 32 0 46001839 4723339264 916544 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604499500080608 0 0 -1 28 0 0 0
[pid=10565/tid=10592] ppid=10563 vsize=4612636 CPUtime=3.69 cores=0-31
/proc/10565/task/10592/stat : 10592 (claspmt) S 10563 10565 10535 0 -1 4202560 37825 0 0 0 56 313 0 0 17 0 32 0 46001839 4723339264 916544 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604485782814176 0 0 -1 27 0 0 0
[pid=10565/tid=10593] ppid=10563 vsize=4612636 CPUtime=3.91 cores=0-31
/proc/10565/task/10593/stat : 10593 (claspmt) S 10563 10565 10535 0 -1 4202560 38181 0 0 0 62 329 0 0 18 0 32 0 46001839 4723339264 916544 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604502674808288 0 0 -1 4 0 0 0
[pid=10565/tid=10594] ppid=10563 vsize=4612636 CPUtime=3.37 cores=0-31
/proc/10565/task/10594/stat : 10594 (claspmt) S 10563 10565 10535 0 -1 4202560 29614 0 0 0 33 304 0 0 16 0 32 0 46001839 4723339264 916544 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604500727422432 0 0 -1 19 0 0 0
[pid=10565/tid=10595] ppid=10563 vsize=4612636 CPUtime=17.63 cores=0-31
/proc/10565/task/10595/stat : 10595 (claspmt) R 10563 10565 10535 0 -1 4202560 31650 0 0 0 1442 321 0 0 25 0 32 0 46001839 4723339264 916544 270582939648 4194304 4964800 140734655180528 18446744073709551615 4668728 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=10565/tid=10596] ppid=10563 vsize=4612636 CPUtime=3.79 cores=0-31
/proc/10565/task/10596/stat : 10596 (claspmt) S 10563 10565 10535 0 -1 4202560 39031 0 0 0 60 319 0 0 17 0 32 0 46001839 4723339264 916544 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604498809462240 0 0 -1 24 0 0 0
[pid=10565/tid=10597] ppid=10563 vsize=4612636 CPUtime=4.01 cores=0-31
/proc/10565/task/10597/stat : 10597 (claspmt) S 10563 10565 10535 0 -1 4202560 32784 0 0 0 57 344 0 0 18 0 32 0 46001839 4723339264 916544 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604503904067040 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 201.6
Current children cumulated vsize (KiB) 4612636
[startup+102.32 s]
/proc/loadavg: 8.78 23.50 28.92 5/445 10599
/proc/meminfo: memFree=258328744/264257624 swapFree=67111528/67111528
[pid=10565] ppid=10563 vsize=4612636 CPUtime=406.44 cores=0-31
/proc/10565/stat : 10565 (claspmt) S 10563 10565 10535 0 -1 4202496 1205904 0 0 0 30705 9939 0 0 18 0 32 0 45998801 4723339264 917015 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 24 0 0 0
/proc/10565/statm: 1153159 917015 440 189 0 1147508 0
[pid=10565/tid=10567] ppid=10563 vsize=4612636 CPUtime=3.4 cores=0-31
/proc/10565/task/10567/stat : 10567 (claspmt) S 10563 10565 10535 0 -1 4202560 26964 0 0 0 35 305 0 0 16 0 32 0 46001838 4723339264 917015 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604498286558688 0 0 -1 17 0 0 0
[pid=10565/tid=10568] ppid=10563 vsize=4612636 CPUtime=3.94 cores=0-31
/proc/10565/task/10568/stat : 10568 (claspmt) S 10563 10565 10535 0 -1 4202560 33714 0 0 0 57 337 0 0 18 0 32 0 46001838 4723339264 917015 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604500912348640 0 0 -1 8 0 0 0
[pid=10565/tid=10569] ppid=10563 vsize=4612636 CPUtime=3.92 cores=0-31
/proc/10565/task/10569/stat : 10569 (claspmt) S 10563 10565 10535 0 -1 4202560 34560 0 0 0 63 329 0 0 18 0 32 0 46001838 4723339264 917015 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604492979510752 0 0 -1 20 0 0 0
[pid=10565/tid=10570] ppid=10563 vsize=4612636 CPUtime=3.34 cores=0-31
/proc/10565/task/10570/stat : 10570 (claspmt) S 10563 10565 10535 0 -1 4202560 29099 0 0 0 34 300 0 0 16 0 32 0 46001838 4723339264 917015 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604503620681184 0 0 -1 10 0 0 0
[pid=10565/tid=10571] ppid=10563 vsize=4612636 CPUtime=69.09 cores=0-31
/proc/10565/task/10571/stat : 10571 (claspmt) R 10563 10565 10535 0 -1 4202560 31707 0 0 0 6616 293 0 0 25 0 32 0 46001838 4723339264 917015 270582939648 4194304 4964800 140734655180528 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=10565/tid=10572] ppid=10563 vsize=4612636 CPUtime=3.9 cores=0-31
/proc/10565/task/10572/stat : 10572 (claspmt) S 10563 10565 10535 0 -1 4202560 38375 0 0 0 59 331 0 0 17 0 32 0 46001838 4723339264 917015 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604498383617504 0 0 -1 3 0 0 0
[pid=10565/tid=10573] ppid=10563 vsize=4612636 CPUtime=3.98 cores=0-31
/proc/10565/task/10573/stat : 10573 (claspmt) S 10563 10565 10535 0 -1 4202560 34018 0 0 0 71 327 0 0 18 0 32 0 46001838 4723339264 917015 270582939648 4194304 4964800 140734655180528 18446744073709551615 258662772457 0 0 4096 18946 18446604483338911200 0 0 -1 13 0 0 0
################
# More data... #
################
[pid=10565/tid=10582] ppid=10563 vsize=6167844 CPUtime=2138.71 cores=0-31
/proc/10565/task/10582/stat : 10582 (claspmt) R 10563 10565 10535 0 -1 4202560 33450 0 0 0 213535 336 0 0 25 0 32 0 46001838 6315872256 1330214 270582939648 4194304 4964800 140734655180528 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10565/tid=10583] ppid=10563 vsize=6167844 CPUtime=2138.48 cores=0-31
/proc/10565/task/10583/stat : 10583 (claspmt) R 10563 10565 10535 0 -1 4202560 32970 0 0 0 213543 305 0 0 25 0 32 0 46001838 6315872256 1330214 270582939648 4194304 4964800 140734655180528 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=10565/tid=10584] ppid=10563 vsize=6167844 CPUtime=2138.88 cores=0-31
/proc/10565/task/10584/stat : 10584 (claspmt) R 10563 10565 10535 0 -1 4202560 92518 0 0 0 213360 528 0 0 25 0 32 0 46001838 6315872256 1330214 270582939648 4194304 4964800 140734655180528 18446744073709551615 4678061 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=10565/tid=10585] ppid=10563 vsize=6167844 CPUtime=2139.09 cores=0-31
/proc/10565/task/10585/stat : 10585 (claspmt) R 10563 10565 10535 0 -1 4202560 45307 0 0 0 213546 363 0 0 25 0 32 0 46001839 6315872256 1330214 270582939648 4194304 4964800 140734655180528 18446744073709551615 4313761 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=10565/tid=10586] ppid=10563 vsize=6167844 CPUtime=2131.91 cores=0-31
/proc/10565/task/10586/stat : 10586 (claspmt) R 10563 10565 10535 0 -1 4202560 41733 0 0 0 212800 391 0 0 25 0 32 0 46001839 6315872256 1330214 270582939648 4194304 4964800 140734655180528 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10565/tid=10587] ppid=10563 vsize=6167844 CPUtime=2515.15 cores=0-31
/proc/10565/task/10587/stat : 10587 (claspmt) R 10563 10565 10535 0 -1 4202560 32880 0 0 0 251198 317 0 0 25 0 32 0 46001839 6315872256 1330214 270582939648 4194304 4964800 140734655180528 18446744073709551615 4678045 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=10565/tid=10588] ppid=10563 vsize=6167844 CPUtime=2118.88 cores=0-31
/proc/10565/task/10588/stat : 10588 (claspmt) R 10563 10565 10535 0 -1 4202560 48349 0 0 0 211519 369 0 0 25 0 32 0 46001839 6315872256 1330214 270582939648 4194304 4964800 140734655180528 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=10565/tid=10589] ppid=10563 vsize=6167844 CPUtime=2138.74 cores=0-31
/proc/10565/task/10589/stat : 10589 (claspmt) R 10563 10565 10535 0 -1 4202560 50028 0 0 0 213472 402 0 0 25 0 32 0 46001839 6315872256 1330214 270582939648 4194304 4964800 140734655180528 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=10565/tid=10590] ppid=10563 vsize=6167844 CPUtime=2138.39 cores=0-31
/proc/10565/task/10590/stat : 10590 (claspmt) R 10563 10565 10535 0 -1 4202560 33618 0 0 0 213532 307 0 0 25 0 32 0 46001839 6315872256 1330214 270582939648 4194304 4964800 140734655180528 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=10565/tid=10591] ppid=10563 vsize=6167844 CPUtime=2138.69 cores=0-31
/proc/10565/task/10591/stat : 10591 (claspmt) R 10563 10565 10535 0 -1 4202560 33164 0 0 0 213541 328 0 0 25 0 32 0 46001839 6315872256 1330214 270582939648 4194304 4964800 140734655180528 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=10565/tid=10592] ppid=10563 vsize=6167844 CPUtime=2138.85 cores=0-31
/proc/10565/task/10592/stat : 10592 (claspmt) R 10563 10565 10535 0 -1 4202560 95444 0 0 0 213316 569 0 0 25 0 32 0 46001839 6315872256 1330214 270582939648 4194304 4964800 140734655180528 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=10565/tid=10593] ppid=10563 vsize=6167844 CPUtime=2139.08 cores=0-31
/proc/10565/task/10593/stat : 10593 (claspmt) R 10563 10565 10535 0 -1 4202560 44846 0 0 0 213556 352 0 0 25 0 32 0 46001839 6315872256 1330214 270582939648 4194304 4964800 140734655180528 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10565/tid=10594] ppid=10563 vsize=6167844 CPUtime=2138.35 cores=0-31
/proc/10565/task/10594/stat : 10594 (claspmt) R 10563 10565 10535 0 -1 4202560 43368 0 0 0 213477 358 0 0 25 0 32 0 46001839 6315872256 1330214 270582939648 4194304 4964800 140734655180528 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=10565/tid=10595] ppid=10563 vsize=6167844 CPUtime=2528.35 cores=0-31
/proc/10565/task/10595/stat : 10595 (claspmt) R 10563 10565 10535 0 -1 4202560 32552 0 0 0 252512 323 0 0 25 0 32 0 46001839 6315872256 1330214 270582939648 4194304 4964800 140734655180528 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=10565/tid=10596] ppid=10563 vsize=6167844 CPUtime=2139 cores=0-31
/proc/10565/task/10596/stat : 10596 (claspmt) R 10563 10565 10535 0 -1 4202560 47375 0 0 0 213553 347 0 0 25 0 32 0 46001839 6315872256 1330214 270582939648 4194304 4964800 140734655180528 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=10565/tid=10597] ppid=10563 vsize=6167844 CPUtime=2138.86 cores=0-31
/proc/10565/task/10597/stat : 10597 (claspmt) R 10563 10565 10535 0 -1 4202560 44166 0 0 0 213494 392 0 0 25 0 32 0 46001839 6315872256 1330214 270582939648 4194304 4964800 140734655180528 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 69900.5
Current children cumulated vsize (KiB) 6167844
Solver just ended. Dumping a history of the last processes samples
[startup+2585.5 s]
/proc/loadavg: 32.10 32.08 31.02 33/445 10677
/proc/meminfo: memFree=256668780/264257624 swapFree=67111528/67111528
[pid=10565] ppid=10563 vsize=6167844 CPUtime=70642 cores=0-31
/proc/10565/stat : 10565 (claspmt) R 10563 10565 10535 0 -1 4202496 1619545 0 0 0 7052522 11683 0 0 25 0 32 0 45998801 6315872256 1330376 270582939648 4194304 4964800 140734655180528 18446744073709551615 4653186 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/10565/statm: 1541961 1330376 463 189 0 1536310 0
[pid=10565/tid=10567] ppid=10563 vsize=6167844 CPUtime=2161.8 cores=0-31
/proc/10565/task/10567/stat : 10567 (claspmt) R 10563 10565 10535 0 -1 4202560 30187 0 0 0 215861 319 0 0 25 0 32 0 46001838 6315872256 1330376 270582939648 4194304 4964800 140734655180528 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=10565/tid=10568] ppid=10563 vsize=6167844 CPUtime=2161.66 cores=0-31
/proc/10565/task/10568/stat : 10568 (claspmt) R 10563 10565 10535 0 -1 4202560 72786 0 0 0 215669 497 0 0 25 0 32 0 46001838 6315872256 1330376 270582939648 4194304 4964800 140734655180528 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=10565/tid=10569] ppid=10563 vsize=6167844 CPUtime=2161.15 cores=0-31
/proc/10565/task/10569/stat : 10569 (claspmt) R 10563 10565 10535 0 -1 4202560 42259 0 0 0 215738 377 0 0 25 0 32 0 46001838 6315872256 1330376 270582939648 4194304 4964800 140734655180528 18446744073709551615 4660402 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10565/tid=10570] ppid=10563 vsize=6167844 CPUtime=2161.74 cores=0-31
/proc/10565/task/10570/stat : 10570 (claspmt) R 10563 10565 10535 0 -1 4202560 45909 0 0 0 215805 369 0 0 25 0 32 0 46001838 6315872256 1330376 270582939648 4194304 4964800 140734655180528 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=10565/tid=10571] ppid=10563 vsize=6167844 CPUtime=2541.2 cores=0-31
/proc/10565/task/10571/stat : 10571 (claspmt) R 10563 10565 10535 0 -1 4202560 31735 0 0 0 253827 293 0 0 25 0 32 0 46001838 6315872256 1330376 270582939648 4194304 4964800 140734655180528 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=10565/tid=10572] ppid=10563 vsize=6167844 CPUtime=2162.3 cores=0-31
/proc/10565/task/10572/stat : 10572 (claspmt) R 10563 10565 10535 0 -1 4202560 46310 0 0 0 215868 362 0 0 25 0 32 0 46001838 6315872256 1330376 270582939648 4194304 4964800 140734655180528 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10565/tid=10573] ppid=10563 vsize=6167844 CPUtime=2162.38 cores=0-31
/proc/10565/task/10573/stat : 10573 (claspmt) R 10563 10565 10535 0 -1 4202560 48275 0 0 0 215853 385 0 0 25 0 32 0 46001838 6315872256 1330376 270582939648 4194304 4964800 140734655180528 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=10565/tid=10574] ppid=10563 vsize=6167844 CPUtime=2154.44 cores=0-31
/proc/10565/task/10574/stat : 10574 (claspmt) R 10563 10565 10535 0 -1 4202560 30636 0 0 0 215146 298 0 0 25 0 32 0 46001838 6315872256 1330376 270582939648 4194304 4964800 140734655180528 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10565/tid=10575] ppid=10563 vsize=6167844 CPUtime=2161.98 cores=0-31
/proc/10565/task/10575/stat : 10575 (claspmt) R 10563 10565 10535 0 -1 4202560 31239 0 0 0 215855 343 0 0 25 0 32 0 46001838 6315872256 1330376 270582939648 4194304 4964800 140734655180528 18446744073709551615 4324688 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10565/tid=10576] ppid=10563 vsize=6167844 CPUtime=2162.27 cores=0-31
/proc/10565/task/10576/stat : 10576 (claspmt) R 10563 10565 10535 0 -1 4202560 86286 0 0 0 215666 561 0 0 25 0 32 0 46001838 6315872256 1330376 270582939648 4194304 4964800 140734655180528 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=10565/tid=10577] ppid=10563 vsize=6167844 CPUtime=2162.26 cores=0-31
/proc/10565/task/10577/stat : 10577 (claspmt) R 10563 10565 10535 0 -1 4202560 46177 0 0 0 215869 357 0 0 25 0 32 0 46001838 6315872256 1330376 270582939648 4194304 4964800 140734655180528 18446744073709551615 4660444 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=10565/tid=10578] ppid=10563 vsize=6167844 CPUtime=2161.91 cores=0-31
/proc/10565/task/10578/stat : 10578 (claspmt) R 10563 10565 10535 0 -1 4202560 44760 0 0 0 215809 382 0 0 25 0 32 0 46001838 6315872256 1330376 270582939648 4194304 4964800 140734655180528 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=10565/tid=10579] ppid=10563 vsize=6167844 CPUtime=2509.44 cores=0-31
/proc/10565/task/10579/stat : 10579 (claspmt) R 10563 10565 10535 0 -1 4202560 31829 0 0 0 250622 322 0 0 25 0 32 0 46001838 6315872256 1330376 270582939648 4194304 4964800 140734655180528 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=10565/tid=10580] ppid=10563 vsize=6167844 CPUtime=2135.56 cores=0-31
/proc/10565/task/10580/stat : 10580 (claspmt) R 10563 10565 10535 0 -1 4202560 47677 0 0 0 213194 362 0 0 25 0 32 0 46001838 6315872256 1330376 270582939648 4194304 4964800 140734655180528 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=10565/tid=10581] ppid=10563 vsize=6167844 CPUtime=2162.35 cores=0-31
/proc/10565/task/10581/stat : 10581 (claspmt) R 10563 10565 10535 0 -1 4202560 50081 0 0 0 215840 395 0 0 25 0 32 0 46001838 6315872256 1330376 270582939648 4194304 4964800 140734655180528 18446744073709551615 4669460 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=10565/tid=10582] ppid=10563 vsize=6167844 CPUtime=2161.91 cores=0-31
/proc/10565/task/10582/stat : 10582 (claspmt) R 10563 10565 10535 0 -1 4202560 33450 0 0 0 215855 336 0 0 25 0 32 0 46001838 6315872256 1330376 270582939648 4194304 4964800 140734655180528 18446744073709551615 4370269 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10565/tid=10583] ppid=10563 vsize=6167844 CPUtime=2161.67 cores=0-31
/proc/10565/task/10583/stat : 10583 (claspmt) R 10563 10565 10535 0 -1 4202560 32970 0 0 0 215862 305 0 0 25 0 32 0 46001838 6315872256 1330376 270582939648 4194304 4964800 140734655180528 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=10565/tid=10584] ppid=10563 vsize=6167844 CPUtime=2162.08 cores=0-31
/proc/10565/task/10584/stat : 10584 (claspmt) R 10563 10565 10535 0 -1 4202560 92518 0 0 0 215680 528 0 0 25 0 32 0 46001838 6315872256 1330376 270582939648 4194304 4964800 140734655180528 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=10565/tid=10585] ppid=10563 vsize=6167844 CPUtime=2162.28 cores=0-31
/proc/10565/task/10585/stat : 10585 (claspmt) R 10563 10565 10535 0 -1 4202560 45307 0 0 0 215865 363 0 0 25 0 32 0 46001839 6315872256 1330376 270582939648 4194304 4964800 140734655180528 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=10565/tid=10586] ppid=10563 vsize=6167844 CPUtime=2155.1 cores=0-31
/proc/10565/task/10586/stat : 10586 (claspmt) R 10563 10565 10535 0 -1 4202560 41733 0 0 0 215119 391 0 0 25 0 32 0 46001839 6315872256 1330376 270582939648 4194304 4964800 140734655180528 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10565/tid=10587] ppid=10563 vsize=6167844 CPUtime=2538.35 cores=0-31
/proc/10565/task/10587/stat : 10587 (claspmt) R 10563 10565 10535 0 -1 4202560 32880 0 0 0 253518 317 0 0 25 0 32 0 46001839 6315872256 1330376 270582939648 4194304 4964800 140734655180528 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=10565/tid=10588] ppid=10563 vsize=6167844 CPUtime=2142.08 cores=0-31
/proc/10565/task/10588/stat : 10588 (claspmt) R 10563 10565 10535 0 -1 4202560 48349 0 0 0 213839 369 0 0 25 0 32 0 46001839 6315872256 1330376 270582939648 4194304 4964800 140734655180528 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=10565/tid=10589] ppid=10563 vsize=6167844 CPUtime=2161.93 cores=0-31
/proc/10565/task/10589/stat : 10589 (claspmt) R 10563 10565 10535 0 -1 4202560 50028 0 0 0 215791 402 0 0 25 0 32 0 46001839 6315872256 1330376 270582939648 4194304 4964800 140734655180528 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=10565/tid=10590] ppid=10563 vsize=6167844 CPUtime=2161.58 cores=0-31
/proc/10565/task/10590/stat : 10590 (claspmt) R 10563 10565 10535 0 -1 4202560 33618 0 0 0 215851 307 0 0 25 0 32 0 46001839 6315872256 1330376 270582939648 4194304 4964800 140734655180528 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=10565/tid=10591] ppid=10563 vsize=6167844 CPUtime=2161.89 cores=0-31
/proc/10565/task/10591/stat : 10591 (claspmt) R 10563 10565 10535 0 -1 4202560 33164 0 0 0 215861 328 0 0 25 0 32 0 46001839 6315872256 1330376 270582939648 4194304 4964800 140734655180528 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=10565/tid=10592] ppid=10563 vsize=6167844 CPUtime=2162.05 cores=0-31
/proc/10565/task/10592/stat : 10592 (claspmt) R 10563 10565 10535 0 -1 4202560 95444 0 0 0 215636 569 0 0 25 0 32 0 46001839 6315872256 1330376 270582939648 4194304 4964800 140734655180528 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=10565/tid=10593] ppid=10563 vsize=6167844 CPUtime=2162.27 cores=0-31
/proc/10565/task/10593/stat : 10593 (claspmt) R 10563 10565 10535 0 -1 4202560 44846 0 0 0 215875 352 0 0 25 0 32 0 46001839 6315872256 1330376 270582939648 4194304 4964800 140734655180528 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10565/tid=10594] ppid=10563 vsize=6167844 CPUtime=2161.54 cores=0-31
/proc/10565/task/10594/stat : 10594 (claspmt) R 10563 10565 10535 0 -1 4202560 43373 0 0 0 215796 358 0 0 25 0 32 0 46001839 6315872256 1330376 270582939648 4194304 4964800 140734655180528 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=10565/tid=10595] ppid=10563 vsize=6167844 CPUtime=2551.55 cores=0-31
/proc/10565/task/10595/stat : 10595 (claspmt) R 10563 10565 10535 0 -1 4202560 32552 0 0 0 254832 323 0 0 25 0 32 0 46001839 6315872256 1330376 270582939648 4194304 4964800 140734655180528 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=10565/tid=10596] ppid=10563 vsize=6167844 CPUtime=2162.19 cores=0-31
/proc/10565/task/10596/stat : 10596 (claspmt) R 10563 10565 10535 0 -1 4202560 47375 0 0 0 215872 347 0 0 25 0 32 0 46001839 6315872256 1330376 270582939648 4194304 4964800 140734655180528 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=10565/tid=10597] ppid=10563 vsize=6167844 CPUtime=2162.05 cores=0-31
/proc/10565/task/10597/stat : 10597 (claspmt) R 10563 10565 10535 0 -1 4202560 44166 0 0 0 215813 392 0 0 25 0 32 0 46001839 6315872256 1330376 270582939648 4194304 4964800 140734655180528 18446744073709551615 4660444 0 0 4096 18946 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 70642
Current children cumulated vsize (KiB) 6167844
[startup+2598.3 s]
/proc/loadavg: 32.23 32.11 31.04 2/414 10677
/proc/meminfo: memFree=256792664/264257624 swapFree=67111528/67111528
[pid=10565] ppid=10563 vsize=5953548 CPUtime=70935.6 cores=0-31
/proc/10565/stat : 10565 (claspmt) R 10563 10565 10535 0 -1 4202496 1619558 0 0 0 7081866 11691 0 0 25 0 1 0 45998801 6096433152 1299309 270582939648 4194304 4964800 140734655180528 18446744073709551615 258650604673 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10565/statm: 1488387 1299309 474 189 0 1482736 0
Current children cumulated CPU time (s) 70935.6
Current children cumulated vsize (KiB) 5953548
[startup+2601.53 s]
/proc/loadavg: 29.73 31.60 30.88 2/414 10677
/proc/meminfo: memFree=257115808/264257624 swapFree=67111528/67111528
[pid=10565] ppid=10563 vsize=5630316 CPUtime=70938.8 cores=0-31
/proc/10565/stat : 10565 (claspmt) R 10563 10565 10535 0 -1 4202496 1619558 0 0 0 7082187 11693 0 0 25 0 1 0 45998801 5765443584 1218460 270582939648 4194304 4964800 140734655180528 18446744073709551615 258650604673 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10565/statm: 1407579 1218460 474 189 0 1401928 0
Current children cumulated CPU time (s) 70938.8
Current children cumulated vsize (KiB) 5630316
[startup+2604.7 s]
/proc/loadavg: 27.43 31.09 30.72 2/414 10677
/proc/meminfo: memFree=257764080/264257624 swapFree=67111528/67111528
[pid=10565] ppid=10563 vsize=4983852 CPUtime=70942 cores=0-31
/proc/10565/stat : 10565 (claspmt) R 10563 10565 10535 0 -1 4202496 1619558 0 0 0 7082502 11698 0 0 25 0 1 0 45998801 5103464448 1056545 270582939648 4194304 4964800 140734655180528 18446744073709551615 258650612305 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10565/statm: 1245963 1056545 474 189 0 1240312 0
Current children cumulated CPU time (s) 70942
Current children cumulated vsize (KiB) 4983852
[startup+2606.3 s]
/proc/loadavg: 27.43 31.09 30.72 2/414 10677
/proc/meminfo: memFree=257996580/264257624 swapFree=67111528/67111528
[pid=10565] ppid=10563 vsize=4660620 CPUtime=70943.6 cores=0-31
/proc/10565/stat : 10565 (claspmt) R 10563 10565 10535 0 -1 4202496 1619558 0 0 0 7082656 11701 0 0 25 0 1 0 45998801 4772474880 975426 270582939648 4194304 4964800 140734655180528 18446744073709551615 258650613570 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10565/statm: 1165155 975426 474 189 0 1159504 0
Current children cumulated CPU time (s) 70943.6
Current children cumulated vsize (KiB) 4660620
[startup+2607.1 s]
/proc/loadavg: 27.43 31.09 30.72 2/414 10677
/proc/meminfo: memFree=258208392/264257624 swapFree=67111528/67111528
[pid=10565] ppid=10563 vsize=4456556 CPUtime=70944.4 cores=0-31
/proc/10565/stat : 10565 (claspmt) R 10563 10565 10535 0 -1 4202496 1619558 0 0 0 7082734 11703 0 0 25 0 1 0 45998801 4563513344 914651 270582939648 4194304 4964800 140734655180528 18446744073709551615 258650604673 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10565/statm: 1114139 914651 474 189 0 1108488 0
Current children cumulated CPU time (s) 70944.4
Current children cumulated vsize (KiB) 4456556
[startup+2607.3 s]
/proc/loadavg: 27.43 31.09 30.72 2/414 10677
/proc/meminfo: memFree=258208392/264257624 swapFree=67111528/67111528
[pid=10565] ppid=10563 vsize=0 CPUtime=70944.6 cores=0-31
/proc/10565/stat : 10565 (claspmt) R 10563 10565 10535 0 -1 4202500 1619559 0 0 0 7082741 11716 0 0 25 0 1 0 45998801 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/10565/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 70944.6
Current children cumulated vsize (KiB) 0
[startup+2607.4 s]
/proc/loadavg: 27.43 31.09 30.72 2/414 10677
/proc/meminfo: memFree=258208392/264257624 swapFree=67111528/67111528
[pid=10565] ppid=10563 vsize=0 CPUtime=70944.7 cores=0-31
/proc/10565/stat : 10565 (claspmt) R 10563 10565 10535 0 -1 4202500 1619559 0 0 0 7082741 11726 0 0 25 0 1 0 45998801 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/10565/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 70944.7
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 2607.43
CPU time (s): 70944.7
CPU user time (s): 70827.4
CPU system time (s): 117.291
CPU usage (%): 2720.87
Max. virtual memory (cumulated for all children) (KiB): 6167844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 70827.4
system time used= 117.291
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1619559
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= 487271
involuntary context switches= 162723
runsolver used 15.0127 second user time and 58.2701 second system time
The end
Begin job on node200 at 2011-06-11 17:28:39
IDJOB=3472507
IDBENCH=84238
IDSOLVER=1961
FILE ID=node200/3472507-1307806114
RUNJOBID= node200-1307806114-10549
PBS_JOBID= 13550802
Free space on /tmp= 61680 MiB
SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT03/industrial/schuppan/l2s/valves-gates-1-k617-unsat.shuffled-as.sat03-412.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-3472507-1307806114/watcher-3472507-1307806114 -o /tmp/evaluation-result-3472507-1307806114/solver-3472507-1307806114 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472507-1307806114.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32
MD5SUM BENCH= cb369c4583eb075a3a8cb5a04701e120
RANDOM SEED=847691637
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: 261993016 kB
Buffers: 291868 kB
Cached: 1642940 kB
SwapCached: 0 kB
Active: 382764 kB
Inactive: 1615364 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 261993016 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 64388 kB
Writeback: 0 kB
AnonPages: 63464 kB
Mapped: 14480 kB
Slab: 186832 kB
PageTables: 4448 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 165084 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= 61676 MiB
End job on node200 at 2011-06-11 18:12:07