0.00/0.00 This is pico-portfolio, a naive parallel portfolio
0.00/0.00 Copyright (C) 2011 Olivier Roussel
0.00/0.00 Using 32 processing units
0.00/0.00 This portfolio uses the following solvers:
0.00/0.00 [1] cryptominisat 2.7.1 (Mate Soos)
0.00/0.00 [2] clasp 1.3.6 (Martin Gebser, Benjamin Kaufmann, and Torsten Schaub)
0.00/0.00 [3] TNM 2009 (Wanxia Wei and Chu Min Li)
0.00/0.00 [4] march_hi 2009 (Marijn Heule and Hans Van Maaren)
0.00/0.00 [5] plingeling 276-6264d55-100731 (Armin Biere)
0.00/0.00 Starting cryptominisat 2.7.1 on core(s) 0
0.00/0.00 Starting clasp 1.3.6 on core(s) 1
0.00/0.00 Starting TNM 2009 on core(s) 2
0.00/0.00 Starting march_hi 2009 on core(s) 3
0.00/0.00 Starting plingeling 276-6264d55-100731 on core(s) 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
1742.86/54.78 s UNSATISFIABLE
1745.73/54.83 solver [4] march_hi 2009 answered
1745.73/54.83 Done
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3347693-1306139615/watcher-3347693-1306139615 -o /tmp/evaluation-result-3347693-1306139615/solver-3347693-1306139615 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347693-1306139615.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): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 23.34 27.25 27.20 1/413 32595
/proc/meminfo: memFree=255319504/264257624 swapFree=67111528/67111528
[pid=32595] ppid=32593 vsize=18324 CPUtime=0 cores=0-31
/proc/32595/stat : 32595 (ppfolio) S 32593 32595 32468 0 -1 4202496 512 0 0 0 0 0 0 0 17 0 1 0 725447913 18763776 385 268435456000 4194304 4287625 140735976514096 18446744073709551615 258650975999 0 0 4096 65536 0 0 0 17 16 0 0 0
/proc/32595/statm: 4581 385 337 23 0 91 0
[startup+0.0854201 s]
/proc/loadavg: 23.34 27.25 27.20 1/413 32595
/proc/meminfo: memFree=255319504/264257624 swapFree=67111528/67111528
[pid=32595] ppid=32593 vsize=18324 CPUtime=0 cores=0-31
/proc/32595/stat : 32595 (ppfolio) S 32593 32595 32468 0 -1 4202496 512 0 0 0 0 0 0 0 17 0 1 0 725447913 18763776 385 268435456000 4194304 4287625 140735976514096 18446744073709551615 258650975999 0 0 4096 65536 0 0 0 17 16 0 0 0
/proc/32595/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.171112 s]
/proc/loadavg: 23.34 27.25 27.20 1/413 32595
/proc/meminfo: memFree=255319504/264257624 swapFree=67111528/67111528
[pid=32595] ppid=32593 vsize=18324 CPUtime=0 cores=0-31
/proc/32595/stat : 32595 (ppfolio) S 32593 32595 32468 0 -1 4202496 512 0 0 0 0 0 0 0 16 0 1 0 725447913 18763776 385 268435456000 4194304 4287625 140735976514096 18446744073709551615 258650975999 0 0 4096 65536 9201917957951717375 0 0 17 16 0 0 0
/proc/32595/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.377635 s]
/proc/loadavg: 23.34 27.25 27.20 1/413 32595
/proc/meminfo: memFree=255319504/264257624 swapFree=67111528/67111528
[pid=32595] ppid=32593 vsize=18324 CPUtime=0 cores=0-31
/proc/32595/stat : 32595 (ppfolio) S 32593 32595 32468 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 725447913 18763776 385 268435456000 4194304 4287625 140735976514096 18446744073709551615 258650975999 0 0 4096 65536 9201917957951717375 0 0 17 16 0 0 0
/proc/32595/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700648 s]
/proc/loadavg: 23.34 27.25 27.20 1/413 32595
/proc/meminfo: memFree=255319504/264257624 swapFree=67111528/67111528
[pid=32595] ppid=32593 vsize=18324 CPUtime=0 cores=0-31
/proc/32595/stat : 32595 (ppfolio) S 32593 32595 32468 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 725447913 18763776 385 268435456000 4194304 4287625 140735976514096 18446744073709551615 258650975999 0 0 4096 65536 9201917957951717375 0 0 17 16 0 0 0
/proc/32595/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50167 s]
/proc/loadavg: 23.34 27.25 27.20 35/447 32634
/proc/meminfo: memFree=255238120/264257624 swapFree=67111528/67111528
[pid=32595] ppid=32593 vsize=18324 CPUtime=0 cores=0-31
/proc/32595/stat : 32595 (ppfolio) S 32593 32595 32468 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 725447913 18763776 385 268435456000 4194304 4287625 140735976514096 18446744073709551615 258650975999 0 0 4096 65536 9201917957951717375 0 0 17 16 0 0 0
/proc/32595/statm: 4581 385 337 23 0 91 0
[pid=32596] ppid=32595 vsize=311736 CPUtime=1.48 cores=0
/proc/32596/stat : 32596 (cryptominisat) R 32595 32595 32468 0 -1 4202496 1710 0 0 0 148 0 0 0 20 0 1 0 725447914 319217664 919 268435456000 4194304 4587354 140736805555728 18446744073709551615 4238616 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32596/statm: 77934 919 325 96 0 74496 0
[pid=32597] ppid=32595 vsize=13504 CPUtime=1.48 cores=1
/proc/32597/stat : 32597 (clasp) R 32595 32595 32468 0 -1 4202496 841 0 0 0 148 0 0 0 20 0 1 0 725447914 13828096 733 268435456000 4194304 4785740 140734159967968 18446744073709551615 4277561 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32597/statm: 3376 733 338 145 0 421 0
[pid=32598] ppid=32595 vsize=455848 CPUtime=1.48 cores=2
/proc/32598/stat : 32598 (TNM) R 32595 32595 32468 0 -1 4202496 318 0 0 0 148 0 0 0 20 0 1 0 725447914 466788352 216 268435456000 134512640 134534564 4292055040 18446744073709551615 134530796 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32598/statm: 113962 216 95 6 0 112627 0
[pid=32599] ppid=32595 vsize=7164 CPUtime=1.48 cores=3
/proc/32599/stat : 32599 (march_hi) R 32595 32595 32468 0 -1 4202496 413 0 0 0 148 0 0 0 20 0 1 0 725447914 7335936 307 268435456000 4194304 4331988 140733868060400 18446744073709551615 4237360 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32599/statm: 1791 307 173 34 0 233 0
[pid=32600] ppid=32595 vsize=646920 CPUtime=39.45 cores=4-31
/proc/32600/stat : 32600 (plingeling) S 32595 32595 32468 0 -1 4202496 30674 1243 0 0 3892 52 0 1 18 0 29 0 725447914 662446080 25132 268435456000 4194304 4356188 140736077404608 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/32600/statm: 161730 25132 158 40 0 160274 0
[pid=32600/tid=32607] ppid=32595 vsize=646920 CPUtime=1.4 cores=4-31
/proc/32600/task/32607/stat : 32607 (plingeling) R 32595 32595 32468 0 -1 4202560 1306 1243 0 0 138 1 0 1 19 0 29 0 725447918 662446080 25132 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331504 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32600/tid=32608] ppid=32595 vsize=646920 CPUtime=1.4 cores=4-31
/proc/32600/task/32608/stat : 32608 (plingeling) R 32595 32595 32468 0 -1 4202560 967 1243 0 0 137 2 0 1 19 0 29 0 725447918 662446080 25132 268435456000 4194304 4356188 140736077404608 18446744073709551615 4241912 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32600/tid=32609] ppid=32595 vsize=646920 CPUtime=1.41 cores=4-31
/proc/32600/task/32609/stat : 32609 (plingeling) R 32595 32595 32468 0 -1 4202560 1353 1243 0 0 138 2 0 1 18 0 29 0 725447918 662446080 25132 268435456000 4194304 4356188 140736077404608 18446744073709551615 4279490 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=32600/tid=32610] ppid=32595 vsize=646920 CPUtime=1.45 cores=4-31
/proc/32600/task/32610/stat : 32610 (plingeling) R 32595 32595 32468 0 -1 4202560 600 1243 0 0 143 1 0 1 19 0 29 0 725447918 662446080 25132 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331050 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=32600/tid=32611] ppid=32595 vsize=646920 CPUtime=1.42 cores=4-31
/proc/32600/task/32611/stat : 32611 (plingeling) R 32595 32595 32468 0 -1 4202560 942 1243 0 0 140 1 0 1 19 0 29 0 725447918 662446080 25132 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=32600/tid=32612] ppid=32595 vsize=646920 CPUtime=1.43 cores=4-31
/proc/32600/task/32612/stat : 32612 (plingeling) R 32595 32595 32468 0 -1 4202560 1328 1243 0 0 140 2 0 1 19 0 29 0 725447918 662446080 25132 268435456000 4194304 4356188 140736077404608 18446744073709551615 4234229 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32600/tid=32613] ppid=32595 vsize=646920 CPUtime=1.43 cores=4-31
/proc/32600/task/32613/stat : 32613 (plingeling) R 32595 32595 32468 0 -1 4202560 864 1243 0 0 141 1 0 1 19 0 29 0 725447918 662446080 25132 268435456000 4194304 4356188 140736077404608 18446744073709551615 4283934 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32600/tid=32614] ppid=32595 vsize=646920 CPUtime=1.39 cores=4-31
/proc/32600/task/32614/stat : 32614 (plingeling) R 32595 32595 32468 0 -1 4202560 1269 1243 0 0 136 2 0 1 18 0 29 0 725447918 662446080 25132 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331203 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32600/tid=32615] ppid=32595 vsize=646920 CPUtime=1.41 cores=4-31
/proc/32600/task/32615/stat : 32615 (plingeling) R 32595 32595 32468 0 -1 4202560 1055 1243 0 0 139 1 0 1 19 0 29 0 725447918 662446080 25132 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331296 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=32600/tid=32616] ppid=32595 vsize=646920 CPUtime=1.41 cores=4-31
/proc/32600/task/32616/stat : 32616 (plingeling) R 32595 32595 32468 0 -1 4202560 789 1243 0 0 140 0 0 1 19 0 29 0 725447918 662446080 25132 268435456000 4194304 4356188 140736077404608 18446744073709551615 4274287 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32600/tid=32617] ppid=32595 vsize=646920 CPUtime=1.4 cores=4-31
/proc/32600/task/32617/stat : 32617 (plingeling) R 32595 32595 32468 0 -1 4202560 865 1243 0 0 138 1 0 1 19 0 29 0 725447918 662446080 25132 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331035 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=32600/tid=32618] ppid=32595 vsize=646920 CPUtime=1.42 cores=4-31
/proc/32600/task/32618/stat : 32618 (plingeling) R 32595 32595 32468 0 -1 4202560 670 1243 0 0 141 0 0 1 23 0 29 0 725447918 662446080 25132 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331311 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32600/tid=32619] ppid=32595 vsize=646920 CPUtime=1.41 cores=4-31
/proc/32600/task/32619/stat : 32619 (plingeling) R 32595 32595 32468 0 -1 4202560 1286 1243 0 0 138 2 0 1 23 0 29 0 725447918 662446080 25132 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331337 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=32600/tid=32620] ppid=32595 vsize=646920 CPUtime=1.41 cores=4-31
/proc/32600/task/32620/stat : 32620 (plingeling) R 32595 32595 32468 0 -1 4202560 1007 1243 0 0 139 1 0 1 19 0 29 0 725447918 662446080 25132 268435456000 4194304 4356188 140736077404608 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=32600/tid=32621] ppid=32595 vsize=646920 CPUtime=1.43 cores=4-31
/proc/32600/task/32621/stat : 32621 (plingeling) R 32595 32595 32468 0 -1 4202560 1239 1243 0 0 140 2 0 1 19 0 29 0 725447919 662446080 25132 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331144 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32600/tid=32622] ppid=32595 vsize=646920 CPUtime=1.4 cores=4-31
/proc/32600/task/32622/stat : 32622 (plingeling) R 32595 32595 32468 0 -1 4202560 1441 1243 0 0 137 2 0 1 19 0 29 0 725447919 662446080 25132 268435456000 4194304 4356188 140736077404608 18446744073709551615 4267864 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=32600/tid=32623] ppid=32595 vsize=646920 CPUtime=1.36 cores=4-31
/proc/32600/task/32623/stat : 32623 (plingeling) R 32595 32595 32468 0 -1 4202560 1384 1243 0 0 133 2 0 1 18 0 29 0 725447919 662446080 25132 268435456000 4194304 4356188 140736077404608 18446744073709551615 4273762 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32600/tid=32624] ppid=32595 vsize=646920 CPUtime=1.39 cores=4-31
/proc/32600/task/32624/stat : 32624 (plingeling) R 32595 32595 32468 0 -1 4202560 1195 1243 0 0 136 2 0 1 19 0 29 0 725447919 662446080 25132 268435456000 4194304 4356188 140736077404608 18446744073709551615 4332003 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=32600/tid=32625] ppid=32595 vsize=646920 CPUtime=1.41 cores=4-31
/proc/32600/task/32625/stat : 32625 (plingeling) R 32595 32595 32468 0 -1 4202560 933 1243 0 0 139 1 0 1 19 0 29 0 725447919 662446080 25132 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331311 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=32600/tid=32626] ppid=32595 vsize=646920 CPUtime=1.43 cores=4-31
/proc/32600/task/32626/stat : 32626 (plingeling) R 32595 32595 32468 0 -1 4202560 492 1243 0 0 142 0 0 1 19 0 29 0 725447919 662446080 25132 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=32600/tid=32627] ppid=32595 vsize=646920 CPUtime=1.41 cores=4-31
/proc/32600/task/32627/stat : 32627 (plingeling) R 32595 32595 32468 0 -1 4202560 1268 1243 0 0 138 2 0 1 18 0 29 0 725447919 662446080 25132 268435456000 4194304 4356188 140736077404608 18446744073709551615 4274258 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=32600/tid=32628] ppid=32595 vsize=646920 CPUtime=1.39 cores=4-31
/proc/32600/task/32628/stat : 32628 (plingeling) R 32595 32595 32468 0 -1 4202560 1289 1243 0 0 136 2 0 1 19 0 29 0 725447919 662446080 25132 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331305 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=32600/tid=32629] ppid=32595 vsize=646920 CPUtime=1.41 cores=4-31
/proc/32600/task/32629/stat : 32629 (plingeling) R 32595 32595 32468 0 -1 4202560 916 1243 0 0 139 1 0 1 19 0 29 0 725447919 662446080 25132 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=32600/tid=32630] ppid=32595 vsize=646920 CPUtime=1.39 cores=4-31
/proc/32600/task/32630/stat : 32630 (plingeling) R 32595 32595 32468 0 -1 4202560 1289 1243 0 0 136 2 0 1 22 0 29 0 725447919 662446080 25132 268435456000 4194304 4356188 140736077404608 18446744073709551615 4210875 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=32600/tid=32631] ppid=32595 vsize=646920 CPUtime=1.42 cores=4-31
/proc/32600/task/32631/stat : 32631 (plingeling) R 32595 32595 32468 0 -1 4202560 1246 1243 0 0 139 2 0 1 19 0 29 0 725447919 662446080 25132 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=32600/tid=32632] ppid=32595 vsize=646920 CPUtime=1.4 cores=4-31
/proc/32600/task/32632/stat : 32632 (plingeling) R 32595 32595 32468 0 -1 4202560 1131 1243 0 0 137 2 0 1 22 0 29 0 725447919 662446080 25132 268435456000 4194304 4356188 140736077404608 18446744073709551615 4234339 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32600/tid=32633] ppid=32595 vsize=646920 CPUtime=1.42 cores=4-31
/proc/32600/task/32633/stat : 32633 (plingeling) R 32595 32595 32468 0 -1 4202560 1088 1243 0 0 140 1 0 1 19 0 29 0 725447919 662446080 25132 268435456000 4194304 4356188 140736077404608 18446744073709551615 4234300 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32600/tid=32634] ppid=32595 vsize=646920 CPUtime=1.38 cores=4-31
/proc/32600/task/32634/stat : 32634 (plingeling) R 32595 32595 32468 0 -1 4202560 638 1243 0 0 136 1 0 1 22 0 29 0 725447919 662446080 25132 268435456000 4194304 4356188 140736077404608 18446744073709551615 4258717 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 45.37
Current children cumulated vsize (KiB) 1453496
[startup+3.10173 s]
/proc/loadavg: 23.34 27.25 27.20 33/447 32634
/proc/meminfo: memFree=255188056/264257624 swapFree=67111528/67111528
[pid=32595] ppid=32593 vsize=18324 CPUtime=0 cores=0-31
/proc/32595/stat : 32595 (ppfolio) S 32593 32595 32468 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 725447913 18763776 385 268435456000 4194304 4287625 140735976514096 18446744073709551615 258650975999 0 0 4096 65536 9201917957951717375 0 0 17 16 0 0 0
/proc/32595/statm: 4581 385 337 23 0 91 0
[pid=32596] ppid=32595 vsize=618024 CPUtime=3.09 cores=0
/proc/32596/stat : 32596 (cryptominisat) R 32595 32595 32468 0 -1 4202496 3701 0 0 0 308 1 0 0 25 0 1 0 725447914 632856576 2093 268435456000 4194304 4587354 140736805555728 18446744073709551615 4238611 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32596/statm: 154506 2093 332 96 0 151068 0
[pid=32597] ppid=32595 vsize=14180 CPUtime=3.08 cores=1
/proc/32597/stat : 32597 (clasp) R 32595 32595 32468 0 -1 4202496 985 0 0 0 308 0 0 0 25 0 1 0 725447914 14520320 877 268435456000 4194304 4785740 140734159967968 18446744073709551615 4548880 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32597/statm: 3545 877 338 145 0 590 0
[pid=32598] ppid=32595 vsize=455848 CPUtime=3.08 cores=2
/proc/32598/stat : 32598 (TNM) R 32595 32595 32468 0 -1 4202496 318 0 0 0 308 0 0 0 25 0 1 0 725447914 466788352 216 268435456000 134512640 134534564 4292055040 18446744073709551615 134528708 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32598/statm: 113962 216 95 6 0 112627 0
[pid=32599] ppid=32595 vsize=7164 CPUtime=3.08 cores=3
/proc/32599/stat : 32599 (march_hi) R 32595 32595 32468 0 -1 4202496 413 0 0 0 308 0 0 0 25 0 1 0 725447914 7335936 307 268435456000 4194304 4331988 140733868060400 18446744073709551615 4210510 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32599/statm: 1791 307 173 34 0 233 0
[pid=32600] ppid=32595 vsize=684676 CPUtime=84.03 cores=4-31
/proc/32600/stat : 32600 (plingeling) S 32595 32595 32468 0 -1 4202496 50233 1243 0 0 8318 84 0 1 18 0 29 0 725447914 701108224 34550 268435456000 4194304 4356188 140736077404608 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/32600/statm: 171169 34550 158 40 0 169713 0
[pid=32600/tid=32607] ppid=32595 vsize=684676 CPUtime=2.95 cores=4-31
/proc/32600/task/32607/stat : 32607 (plingeling) R 32595 32595 32468 0 -1 4202560 2042 1243 0 0 292 2 0 1 23 0 29 0 725447918 701108224 34550 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32600/tid=32608] ppid=32595 vsize=684676 CPUtime=2.99 cores=4-31
/proc/32600/task/32608/stat : 32608 (plingeling) R 32595 32595 32468 0 -1 4202560 1768 1243 0 0 295 3 0 1 18 0 29 0 725447918 701108224 34550 268435456000 4194304 4356188 140736077404608 18446744073709551615 4281183 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32600/tid=32609] ppid=32595 vsize=684676 CPUtime=3.02 cores=4-31
/proc/32600/task/32609/stat : 32609 (plingeling) R 32595 32595 32468 0 -1 4202560 1962 1243 0 0 298 3 0 1 20 0 29 0 725447918 701108224 34550 268435456000 4194304 4356188 140736077404608 18446744073709551615 4330982 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=32600/tid=32610] ppid=32595 vsize=684676 CPUtime=3.04 cores=4-31
/proc/32600/task/32610/stat : 32610 (plingeling) R 32595 32595 32468 0 -1 4202560 728 1243 0 0 302 1 0 1 23 0 29 0 725447918 701108224 34550 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=32600/tid=32611] ppid=32595 vsize=684676 CPUtime=3 cores=4-31
/proc/32600/task/32611/stat : 32611 (plingeling) R 32595 32595 32468 0 -1 4202560 1967 1243 0 0 297 2 0 1 23 0 29 0 725447918 701108224 34550 268435456000 4194304 4356188 140736077404608 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=32600/tid=32612] ppid=32595 vsize=684676 CPUtime=3.03 cores=4-31
/proc/32600/task/32612/stat : 32612 (plingeling) R 32595 32595 32468 0 -1 4202560 1970 1243 0 0 299 3 0 1 18 0 29 0 725447918 701108224 34550 268435456000 4194304 4356188 140736077404608 18446744073709551615 4334467 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32600/tid=32613] ppid=32595 vsize=684676 CPUtime=3.01 cores=4-31
/proc/32600/task/32613/stat : 32613 (plingeling) R 32595 32595 32468 0 -1 4202560 1730 1243 0 0 298 2 0 1 24 0 29 0 725447918 701108224 34550 268435456000 4194304 4356188 140736077404608 18446744073709551615 4244731 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=32600/tid=32614] ppid=32595 vsize=684676 CPUtime=2.99 cores=4-31
/proc/32600/task/32614/stat : 32614 (plingeling) R 32595 32595 32468 0 -1 4202560 1877 1243 0 0 294 4 0 1 21 0 29 0 725447918 701108224 34550 268435456000 4194304 4356188 140736077404608 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32600/tid=32615] ppid=32595 vsize=684676 CPUtime=3.01 cores=4-31
/proc/32600/task/32615/stat : 32615 (plingeling) R 32595 32595 32468 0 -1 4202560 1696 1243 0 0 297 3 0 1 22 0 29 0 725447918 701108224 34550 268435456000 4194304 4356188 140736077404608 18446744073709551615 4332023 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=32600/tid=32616] ppid=32595 vsize=684676 CPUtime=3 cores=4-31
/proc/32600/task/32616/stat : 32616 (plingeling) R 32595 32595 32468 0 -1 4202560 1655 1243 0 0 297 2 0 1 22 0 29 0 725447918 701108224 34550 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331019 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32600/tid=32617] ppid=32595 vsize=684676 CPUtime=3 cores=4-31
/proc/32600/task/32617/stat : 32617 (plingeling) R 32595 32595 32468 0 -1 4202560 1859 1243 0 0 296 3 0 1 22 0 29 0 725447918 701108224 34550 268435456000 4194304 4356188 140736077404608 18446744073709551615 4212579 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=32600/tid=32618] ppid=32595 vsize=684676 CPUtime=3.02 cores=4-31
/proc/32600/task/32618/stat : 32618 (plingeling) R 32595 32595 32468 0 -1 4202560 1152 1243 0 0 300 1 0 1 25 0 29 0 725447918 701108224 34550 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331144 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32600/tid=32619] ppid=32595 vsize=684676 CPUtime=3 cores=4-31
/proc/32600/task/32619/stat : 32619 (plingeling) R 32595 32595 32468 0 -1 4202560 1936 1243 0 0 297 2 0 1 25 0 29 0 725447918 701108224 34550 268435456000 4194304 4356188 140736077404608 18446744073709551615 4281914 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32600/tid=32620] ppid=32595 vsize=684676 CPUtime=2.99 cores=4-31
/proc/32600/task/32620/stat : 32620 (plingeling) R 32595 32595 32468 0 -1 4202560 1903 1243 0 0 295 3 0 1 18 0 29 0 725447918 701108224 34550 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=32600/tid=32621] ppid=32595 vsize=684676 CPUtime=3.02 cores=4-31
/proc/32600/task/32621/stat : 32621 (plingeling) R 32595 32595 32468 0 -1 4202560 1591 1243 0 0 299 2 0 1 18 0 29 0 725447919 701108224 34550 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32600/tid=32622] ppid=32595 vsize=684676 CPUtime=2.99 cores=4-31
/proc/32600/task/32622/stat : 32622 (plingeling) R 32595 32595 32468 0 -1 4202560 2530 1243 0 0 294 4 0 1 22 0 29 0 725447919 701108224 34550 268435456000 4194304 4356188 140736077404608 18446744073709551615 4330752 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=32600/tid=32623] ppid=32595 vsize=684676 CPUtime=2.95 cores=4-31
/proc/32600/task/32623/stat : 32623 (plingeling) R 32595 32595 32468 0 -1 4202560 2120 1243 0 0 291 3 0 1 20 0 29 0 725447919 701108224 34550 268435456000 4194304 4356188 140736077404608 18446744073709551615 4334501 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32600/tid=32624] ppid=32595 vsize=684676 CPUtime=3 cores=4-31
################
# More data... #
################
[pid=32595] ppid=32593 vsize=18324 CPUtime=0.01 cores=0-31
/proc/32595/stat : 32595 (ppfolio) S 32593 32595 32468 0 -1 4202496 512 0 0 0 0 1 0 0 15 0 1 0 725447913 18763776 385 268435456000 4194304 4287625 140735976514096 18446744073709551615 258650975999 0 0 4096 65536 9201917957951717375 0 0 17 16 0 0 0
/proc/32595/statm: 4581 385 337 23 0 91 0
[pid=32596] ppid=32595 vsize=620636 CPUtime=53.57 cores=0
/proc/32596/stat : 32596 (cryptominisat) R 32595 32595 32468 0 -1 4202496 31394 0 0 0 5349 8 0 0 25 0 1 0 725447914 635531264 4070 268435456000 4194304 4587354 140736805555728 18446744073709551615 4237684 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32596/statm: 155159 4070 332 96 0 151721 0
[pid=32597] ppid=32595 vsize=17680 CPUtime=53.57 cores=1
/proc/32597/stat : 32597 (clasp) R 32595 32595 32468 0 -1 4202496 1817 0 0 0 5357 0 0 0 25 0 1 0 725447914 18104320 1709 268435456000 4194304 4785740 140734159967968 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32597/statm: 4420 1709 338 145 0 1465 0
[pid=32598] ppid=32595 vsize=455848 CPUtime=53.57 cores=2
/proc/32598/stat : 32598 (TNM) R 32595 32595 32468 0 -1 4202496 318 0 0 0 5357 0 0 0 25 0 1 0 725447914 466788352 216 268435456000 134512640 134534564 4292055040 18446744073709551615 134530260 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32598/statm: 113962 216 95 6 0 112627 0
[pid=32599] ppid=32595 vsize=7520 CPUtime=53.57 cores=3
/proc/32599/stat : 32599 (march_hi) R 32595 32595 32468 0 -1 4202496 487 0 0 0 5357 0 0 0 25 0 1 0 725447914 7700480 381 268435456000 4194304 4331988 140733868060400 18446744073709551615 4226565 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32599/statm: 1880 381 173 34 0 322 0
[pid=32600] ppid=32595 vsize=1067200 CPUtime=1493.44 cores=4-31
/proc/32600/stat : 32600 (plingeling) S 32595 32595 32468 0 -1 4202496 469240 1243 0 0 148784 559 0 1 18 0 29 0 725447914 1092812800 130084 268435456000 4194304 4356188 140736077404608 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/32600/statm: 266800 130084 158 40 0 265344 0
[pid=32600/tid=32607] ppid=32595 vsize=1067200 CPUtime=52.84 cores=4-31
/proc/32600/task/32607/stat : 32607 (plingeling) R 32595 32595 32468 0 -1 4202560 18397 1243 0 0 5265 18 0 1 25 0 29 0 725447918 1092812800 130084 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331964 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=32600/tid=32608] ppid=32595 vsize=1067200 CPUtime=53.33 cores=4-31
/proc/32600/task/32608/stat : 32608 (plingeling) R 32595 32595 32468 0 -1 4202560 17963 1243 0 0 5308 24 0 1 25 0 29 0 725447918 1092812800 130084 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32600/tid=32609] ppid=32595 vsize=1067200 CPUtime=53.39 cores=4-31
/proc/32600/task/32609/stat : 32609 (plingeling) R 32595 32595 32468 0 -1 4202560 17708 1243 0 0 5319 19 0 1 25 0 29 0 725447918 1092812800 130084 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=32600/tid=32610] ppid=32595 vsize=1067200 CPUtime=53.18 cores=4-31
/proc/32600/task/32610/stat : 32610 (plingeling) R 32595 32595 32468 0 -1 4202560 6783 1243 0 0 5307 10 0 1 25 0 29 0 725447918 1092812800 130084 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32600/tid=32611] ppid=32595 vsize=1067200 CPUtime=53.4 cores=4-31
/proc/32600/task/32611/stat : 32611 (plingeling) R 32595 32595 32468 0 -1 4202560 18864 1243 0 0 5317 22 0 1 25 0 29 0 725447918 1092812800 130084 268435456000 4194304 4356188 140736077404608 18446744073709551615 4210562 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=32600/tid=32612] ppid=32595 vsize=1067200 CPUtime=53.39 cores=4-31
/proc/32600/task/32612/stat : 32612 (plingeling) R 32595 32595 32468 0 -1 4202560 16563 1243 0 0 5322 16 0 1 25 0 29 0 725447918 1092812800 130084 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331305 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32600/tid=32613] ppid=32595 vsize=1067200 CPUtime=53.34 cores=4-31
/proc/32600/task/32613/stat : 32613 (plingeling) R 32595 32595 32468 0 -1 4202560 18341 1243 0 0 5314 19 0 1 25 0 29 0 725447918 1092812800 130084 268435456000 4194304 4356188 140736077404608 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=32600/tid=32614] ppid=32595 vsize=1067200 CPUtime=53.42 cores=4-31
/proc/32600/task/32614/stat : 32614 (plingeling) R 32595 32595 32468 0 -1 4202560 16792 1243 0 0 5316 25 0 1 25 0 29 0 725447918 1092812800 130084 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32600/tid=32615] ppid=32595 vsize=1067200 CPUtime=53.34 cores=4-31
/proc/32600/task/32615/stat : 32615 (plingeling) R 32595 32595 32468 0 -1 4202560 17155 1243 0 0 5315 18 0 1 25 0 29 0 725447918 1092812800 130084 268435456000 4194304 4356188 140736077404608 18446744073709551615 4332041 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=32600/tid=32616] ppid=32595 vsize=1067200 CPUtime=53.3 cores=4-31
/proc/32600/task/32616/stat : 32616 (plingeling) R 32595 32595 32468 0 -1 4202560 21147 1243 0 0 5304 25 0 1 25 0 29 0 725447918 1092812800 130084 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331992 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32600/tid=32617] ppid=32595 vsize=1067200 CPUtime=53.37 cores=4-31
/proc/32600/task/32617/stat : 32617 (plingeling) R 32595 32595 32468 0 -1 4202560 17094 1243 0 0 5317 19 0 1 25 0 29 0 725447918 1092812800 130084 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=32600/tid=32618] ppid=32595 vsize=1067200 CPUtime=53.47 cores=4-31
/proc/32600/task/32618/stat : 32618 (plingeling) R 32595 32595 32468 0 -1 4202560 7170 1243 0 0 5336 10 0 1 25 0 29 0 725447918 1092812800 130084 268435456000 4194304 4356188 140736077404608 18446744073709551615 4332037 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32600/tid=32619] ppid=32595 vsize=1067200 CPUtime=53.33 cores=4-31
/proc/32600/task/32619/stat : 32619 (plingeling) R 32595 32595 32468 0 -1 4202560 19770 1243 0 0 5311 21 0 1 25 0 29 0 725447918 1092812800 130084 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32600/tid=32620] ppid=32595 vsize=1067200 CPUtime=53.34 cores=4-31
/proc/32600/task/32620/stat : 32620 (plingeling) R 32595 32595 32468 0 -1 4202560 18675 1243 0 0 5315 18 0 1 25 0 29 0 725447918 1092812800 130084 268435456000 4194304 4356188 140736077404608 18446744073709551615 4332007 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=32600/tid=32621] ppid=32595 vsize=1067200 CPUtime=53.42 cores=4-31
/proc/32600/task/32621/stat : 32621 (plingeling) R 32595 32595 32468 0 -1 4202560 18619 1243 0 0 5323 18 0 1 25 0 29 0 725447919 1092812800 130084 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32600/tid=32622] ppid=32595 vsize=1067200 CPUtime=53.43 cores=4-31
/proc/32600/task/32622/stat : 32622 (plingeling) R 32595 32595 32468 0 -1 4202560 14692 1243 0 0 5317 25 0 1 25 0 29 0 725447919 1092812800 130084 268435456000 4194304 4356188 140736077404608 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=32600/tid=32623] ppid=32595 vsize=1067200 CPUtime=53.33 cores=4-31
/proc/32600/task/32623/stat : 32623 (plingeling) R 32595 32595 32468 0 -1 4202560 20043 1243 0 0 5310 22 0 1 25 0 29 0 725447919 1092812800 130084 268435456000 4194304 4356188 140736077404608 18446744073709551615 4332145 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32600/tid=32624] ppid=32595 vsize=1067200 CPUtime=53.39 cores=4-31
/proc/32600/task/32624/stat : 32624 (plingeling) R 32595 32595 32468 0 -1 4202560 17487 1243 0 0 5315 23 0 1 25 0 29 0 725447919 1092812800 130084 268435456000 4194304 4356188 140736077404608 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=32600/tid=32625] ppid=32595 vsize=1067200 CPUtime=53.04 cores=4-31
/proc/32600/task/32625/stat : 32625 (plingeling) R 32595 32595 32468 0 -1 4202560 20042 1243 0 0 5285 18 0 1 25 0 29 0 725447919 1092812800 130084 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=32600/tid=32626] ppid=32595 vsize=1067200 CPUtime=53.46 cores=4-31
/proc/32600/task/32626/stat : 32626 (plingeling) R 32595 32595 32468 0 -1 4202560 6291 1243 0 0 5335 10 0 1 25 0 29 0 725447919 1092812800 130084 268435456000 4194304 4356188 140736077404608 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=32600/tid=32627] ppid=32595 vsize=1067200 CPUtime=53.36 cores=4-31
/proc/32600/task/32627/stat : 32627 (plingeling) R 32595 32595 32468 0 -1 4202560 18615 1243 0 0 5316 19 0 1 25 0 29 0 725447919 1092812800 130084 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331305 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=32600/tid=32628] ppid=32595 vsize=1067200 CPUtime=53.38 cores=4-31
/proc/32600/task/32628/stat : 32628 (plingeling) R 32595 32595 32468 0 -1 4202560 18125 1243 0 0 5316 21 0 1 25 0 29 0 725447919 1092812800 130084 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331264 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=32600/tid=32629] ppid=32595 vsize=1067200 CPUtime=53.25 cores=4-31
/proc/32600/task/32629/stat : 32629 (plingeling) R 32595 32595 32468 0 -1 4202560 17913 1243 0 0 5306 18 0 1 25 0 29 0 725447919 1092812800 130084 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331803 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=32600/tid=32630] ppid=32595 vsize=1067200 CPUtime=53.39 cores=4-31
/proc/32600/task/32630/stat : 32630 (plingeling) R 32595 32595 32468 0 -1 4202560 19532 1243 0 0 5308 30 0 1 25 0 29 0 725447919 1092812800 130084 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=32600/tid=32631] ppid=32595 vsize=1067200 CPUtime=53.3 cores=4-31
/proc/32600/task/32631/stat : 32631 (plingeling) R 32595 32595 32468 0 -1 4202560 18946 1243 0 0 5308 21 0 1 25 0 29 0 725447919 1092812800 130084 268435456000 4194304 4356188 140736077404608 18446744073709551615 4274252 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=32600/tid=32632] ppid=32595 vsize=1067200 CPUtime=53.43 cores=4-31
/proc/32600/task/32632/stat : 32632 (plingeling) R 32595 32595 32468 0 -1 4202560 17808 1243 0 0 5320 22 0 1 19 0 29 0 725447919 1092812800 130084 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32600/tid=32633] ppid=32595 vsize=1067200 CPUtime=53.4 cores=4-31
/proc/32600/task/32633/stat : 32633 (plingeling) R 32595 32595 32468 0 -1 4202560 17605 1243 0 0 5320 19 0 1 25 0 29 0 725447919 1092812800 130084 268435456000 4194304 4356188 140736077404608 18446744073709551615 4332109 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32600/tid=32634] ppid=32595 vsize=1067200 CPUtime=53.38 cores=4-31
/proc/32600/task/32634/stat : 32634 (plingeling) R 32595 32595 32468 0 -1 4202560 10276 1243 0 0 5322 15 0 1 25 0 29 0 725447919 1092812800 130084 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 1707.73
Current children cumulated vsize (KiB) 2187208
[startup+54.4015 s]
/proc/loadavg: 28.65 28.08 27.49 33/447 32636
/proc/meminfo: memFree=254779040/264257624 swapFree=67111528/67111528
[pid=32595] ppid=32593 vsize=18324 CPUtime=0.01 cores=0-31
/proc/32595/stat : 32595 (ppfolio) S 32593 32595 32468 0 -1 4202496 512 0 0 0 0 1 0 0 15 0 1 0 725447913 18763776 385 268435456000 4194304 4287625 140735976514096 18446744073709551615 258650975999 0 0 4096 65536 9201917957951717375 0 0 17 16 0 0 0
/proc/32595/statm: 4581 385 337 23 0 91 0
[pid=32596] ppid=32595 vsize=620636 CPUtime=54.37 cores=0
/proc/32596/stat : 32596 (cryptominisat) R 32595 32595 32468 0 -1 4202496 31626 0 0 0 5429 8 0 0 25 0 1 0 725447914 635531264 4294 268435456000 4194304 4587354 140736805555728 18446744073709551615 4238568 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32596/statm: 155159 4294 332 96 0 151721 0
[pid=32597] ppid=32595 vsize=17680 CPUtime=54.37 cores=1
/proc/32597/stat : 32597 (clasp) R 32595 32595 32468 0 -1 4202496 1832 0 0 0 5437 0 0 0 25 0 1 0 725447914 18104320 1724 268435456000 4194304 4785740 140734159967968 18446744073709551615 4551099 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32597/statm: 4420 1724 338 145 0 1465 0
[pid=32598] ppid=32595 vsize=455848 CPUtime=54.37 cores=2
/proc/32598/stat : 32598 (TNM) R 32595 32595 32468 0 -1 4202496 318 0 0 0 5437 0 0 0 25 0 1 0 725447914 466788352 216 268435456000 134512640 134534564 4292055040 18446744073709551615 134530796 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32598/statm: 113962 216 95 6 0 112627 0
[pid=32599] ppid=32595 vsize=7520 CPUtime=54.37 cores=3
/proc/32599/stat : 32599 (march_hi) R 32595 32595 32468 0 -1 4202496 487 0 0 0 5437 0 0 0 25 0 1 0 725447914 7700480 381 268435456000 4194304 4331988 140733868060400 18446744073709551615 4287015 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32599/statm: 1880 381 173 34 0 322 0
[pid=32600] ppid=32595 vsize=1061312 CPUtime=1515.78 cores=4-31
/proc/32600/stat : 32600 (plingeling) S 32595 32595 32468 0 -1 4202496 474808 1243 0 0 151016 561 0 1 18 0 29 0 725447914 1086783488 128612 268435456000 4194304 4356188 140736077404608 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/32600/statm: 265328 128612 158 40 0 263872 0
[pid=32600/tid=32607] ppid=32595 vsize=1061312 CPUtime=53.64 cores=4-31
/proc/32600/task/32607/stat : 32607 (plingeling) R 32595 32595 32468 0 -1 4202560 18461 1243 0 0 5345 18 0 1 25 0 29 0 725447918 1086783488 128612 268435456000 4194304 4356188 140736077404608 18446744073709551615 4332302 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=32600/tid=32608] ppid=32595 vsize=1061312 CPUtime=54.14 cores=4-31
/proc/32600/task/32608/stat : 32608 (plingeling) R 32595 32595 32468 0 -1 4202560 18347 1243 0 0 5388 25 0 1 25 0 29 0 725447918 1086783488 128612 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331296 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32600/tid=32609] ppid=32595 vsize=1061312 CPUtime=54.19 cores=4-31
/proc/32600/task/32609/stat : 32609 (plingeling) R 32595 32595 32468 0 -1 4202560 18092 1243 0 0 5399 19 0 1 25 0 29 0 725447918 1086783488 128612 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=32600/tid=32610] ppid=32595 vsize=1061312 CPUtime=53.95 cores=4-31
/proc/32600/task/32610/stat : 32610 (plingeling) R 32595 32595 32468 0 -1 4202560 6975 1243 0 0 5384 10 0 1 25 0 29 0 725447918 1086783488 128612 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32600/tid=32611] ppid=32595 vsize=1061312 CPUtime=54.2 cores=4-31
/proc/32600/task/32611/stat : 32611 (plingeling) R 32595 32595 32468 0 -1 4202560 18992 1243 0 0 5397 22 0 1 25 0 29 0 725447918 1086783488 128612 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=32600/tid=32612] ppid=32595 vsize=1061312 CPUtime=54.19 cores=4-31
/proc/32600/task/32612/stat : 32612 (plingeling) R 32595 32595 32468 0 -1 4202560 16563 1243 0 0 5402 16 0 1 25 0 29 0 725447918 1086783488 128612 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331328 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32600/tid=32613] ppid=32595 vsize=1061312 CPUtime=54.14 cores=4-31
/proc/32600/task/32613/stat : 32613 (plingeling) R 32595 32595 32468 0 -1 4202560 18341 1243 0 0 5394 19 0 1 25 0 29 0 725447918 1086783488 128612 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331960 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=32600/tid=32614] ppid=32595 vsize=1061312 CPUtime=54.22 cores=4-31
/proc/32600/task/32614/stat : 32614 (plingeling) R 32595 32595 32468 0 -1 4202560 16792 1243 0 0 5396 25 0 1 25 0 29 0 725447918 1086783488 128612 268435456000 4194304 4356188 140736077404608 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32600/tid=32615] ppid=32595 vsize=1061312 CPUtime=54.14 cores=4-31
/proc/32600/task/32615/stat : 32615 (plingeling) R 32595 32595 32468 0 -1 4202560 17539 1243 0 0 5394 19 0 1 25 0 29 0 725447918 1086783488 128612 268435456000 4194304 4356188 140736077404608 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=32600/tid=32616] ppid=32595 vsize=1061312 CPUtime=54.1 cores=4-31
/proc/32600/task/32616/stat : 32616 (plingeling) R 32595 32595 32468 0 -1 4202560 21595 1243 0 0 5384 25 0 1 25 0 29 0 725447918 1086783488 128612 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32600/tid=32617] ppid=32595 vsize=1061312 CPUtime=54.18 cores=4-31
/proc/32600/task/32617/stat : 32617 (plingeling) R 32595 32595 32468 0 -1 4202560 17478 1243 0 0 5397 20 0 1 25 0 29 0 725447918 1086783488 128612 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=32600/tid=32618] ppid=32595 vsize=1061312 CPUtime=54.27 cores=4-31
/proc/32600/task/32618/stat : 32618 (plingeling) R 32595 32595 32468 0 -1 4202560 7170 1243 0 0 5416 10 0 1 25 0 29 0 725447918 1086783488 128612 268435456000 4194304 4356188 140736077404608 18446744073709551615 4332003 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32600/tid=32619] ppid=32595 vsize=1061312 CPUtime=54.13 cores=4-31
/proc/32600/task/32619/stat : 32619 (plingeling) R 32595 32595 32468 0 -1 4202560 21178 1243 0 0 5390 22 0 1 25 0 29 0 725447918 1086783488 128612 268435456000 4194304 4356188 140736077404608 18446744073709551615 4241481 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32600/tid=32620] ppid=32595 vsize=1061312 CPUtime=54.14 cores=4-31
/proc/32600/task/32620/stat : 32620 (plingeling) R 32595 32595 32468 0 -1 4202560 19251 1243 0 0 5395 18 0 1 25 0 29 0 725447918 1086783488 128612 268435456000 4194304 4356188 140736077404608 18446744073709551615 4332225 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=32600/tid=32621] ppid=32595 vsize=1061312 CPUtime=54.22 cores=4-31
/proc/32600/task/32621/stat : 32621 (plingeling) R 32595 32595 32468 0 -1 4202560 18619 1243 0 0 5403 18 0 1 25 0 29 0 725447919 1086783488 128612 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331072 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32600/tid=32622] ppid=32595 vsize=1061312 CPUtime=54.23 cores=4-31
/proc/32600/task/32622/stat : 32622 (plingeling) R 32595 32595 32468 0 -1 4202560 14692 1243 0 0 5397 25 0 1 25 0 29 0 725447919 1086783488 128612 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331340 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=32600/tid=32623] ppid=32595 vsize=1061312 CPUtime=54.13 cores=4-31
/proc/32600/task/32623/stat : 32623 (plingeling) R 32595 32595 32468 0 -1 4202560 20299 1243 0 0 5390 22 0 1 25 0 29 0 725447919 1086783488 128612 268435456000 4194304 4356188 140736077404608 18446744073709551615 4332003 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32600/tid=32624] ppid=32595 vsize=1061312 CPUtime=54.19 cores=4-31
/proc/32600/task/32624/stat : 32624 (plingeling) R 32595 32595 32468 0 -1 4202560 17487 1243 0 0 5395 23 0 1 25 0 29 0 725447919 1086783488 128612 268435456000 4194304 4356188 140736077404608 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=32600/tid=32625] ppid=32595 vsize=1061312 CPUtime=53.84 cores=4-31
/proc/32600/task/32625/stat : 32625 (plingeling) R 32595 32595 32468 0 -1 4202560 20170 1243 0 0 5365 18 0 1 25 0 29 0 725447919 1086783488 128612 268435456000 4194304 4356188 140736077404608 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=32600/tid=32626] ppid=32595 vsize=1061312 CPUtime=54.26 cores=4-31
/proc/32600/task/32626/stat : 32626 (plingeling) R 32595 32595 32468 0 -1 4202560 6291 1243 0 0 5415 10 0 1 25 0 29 0 725447919 1086783488 128612 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331960 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=32600/tid=32627] ppid=32595 vsize=1061312 CPUtime=54.16 cores=4-31
/proc/32600/task/32627/stat : 32627 (plingeling) R 32595 32595 32468 0 -1 4202560 18871 1243 0 0 5396 19 0 1 25 0 29 0 725447919 1086783488 128612 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331355 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=32600/tid=32628] ppid=32595 vsize=1061312 CPUtime=54.17 cores=4-31
/proc/32600/task/32628/stat : 32628 (plingeling) R 32595 32595 32468 0 -1 4202560 18125 1243 0 0 5395 21 0 1 25 0 29 0 725447919 1086783488 128612 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331328 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=32600/tid=32629] ppid=32595 vsize=1061312 CPUtime=54.05 cores=4-31
/proc/32600/task/32629/stat : 32629 (plingeling) R 32595 32595 32468 0 -1 4202560 17913 1243 0 0 5386 18 0 1 25 0 29 0 725447919 1086783488 128612 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=32600/tid=32630] ppid=32595 vsize=1061312 CPUtime=54.19 cores=4-31
/proc/32600/task/32630/stat : 32630 (plingeling) R 32595 32595 32468 0 -1 4202560 19532 1243 0 0 5388 30 0 1 25 0 29 0 725447919 1086783488 128612 268435456000 4194304 4356188 140736077404608 18446744073709551615 4332037 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=32600/tid=32631] ppid=32595 vsize=1061312 CPUtime=54.1 cores=4-31
/proc/32600/task/32631/stat : 32631 (plingeling) R 32595 32595 32468 0 -1 4202560 19202 1243 0 0 5388 21 0 1 25 0 29 0 725447919 1086783488 128612 268435456000 4194304 4356188 140736077404608 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=32600/tid=32632] ppid=32595 vsize=1061312 CPUtime=54.22 cores=4-31
/proc/32600/task/32632/stat : 32632 (plingeling) R 32595 32595 32468 0 -1 4202560 17872 1243 0 0 5399 22 0 1 20 0 29 0 725447919 1086783488 128612 268435456000 4194304 4356188 140736077404608 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32600/tid=32633] ppid=32595 vsize=1061312 CPUtime=54.19 cores=4-31
/proc/32600/task/32633/stat : 32633 (plingeling) R 32595 32595 32468 0 -1 4202560 17861 1243 0 0 5399 19 0 1 25 0 29 0 725447919 1086783488 128612 268435456000 4194304 4356188 140736077404608 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32600/tid=32634] ppid=32595 vsize=1061312 CPUtime=54.18 cores=4-31
/proc/32600/task/32634/stat : 32634 (plingeling) R 32595 32595 32468 0 -1 4202560 10276 1243 0 0 5402 15 0 1 25 0 29 0 725447919 1086783488 128612 268435456000 4194304 4356188 140736077404608 18446744073709551615 4338293 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 1733.27
Current children cumulated vsize (KiB) 2181320
[startup+54.8017 s]
/proc/loadavg: 28.65 28.08 27.49 33/447 32636
/proc/meminfo: memFree=254779040/264257624 swapFree=67111528/67111528
[pid=32595] ppid=32593 vsize=18324 CPUtime=219.09 cores=0-31
/proc/32595/stat : 32595 (ppfolio) S 32593 32595 32468 0 -1 4202496 513 34367 0 0 0 2 21896 11 15 0 1 0 725447913 18763776 386 268435456000 4194304 4287625 140735976514096 18446744073709551615 258650975999 0 0 4096 65536 9192446627351101439 0 0 17 16 0 0 0
/proc/32595/statm: 4581 386 338 23 0 91 0
[pid=32600] ppid=32595 vsize=0 CPUtime=1526.64 cores=4-31
/proc/32600/stat : 32600 (plingeling) Z 32595 32595 32468 0 -1 4203548 475992 1243 0 0 152100 563 0 1 18 0 2 0 725447914 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/32600/statm: 0 0 0 0 0 0 0
[pid=32600/tid=32630] ppid=32595 vsize=0 CPUtime=54.59 cores=4-31
/proc/32600/task/32630/stat : 32630 (plingeling) R 32595 32595 32468 0 -1 4203588 19532 1243 0 0 5427 31 0 1 25 0 2 0 725447919 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 1745.73
Current children cumulated vsize (KiB) 18324
Child status: 0
Real time (s): 54.8393
CPU time (s): 1745.8
CPU user time (s): 1739.98
CPU system time (s): 5.82012
CPU usage (%): 3183.48
Max. virtual memory (cumulated for all children) (KiB): 5394232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1739.98
system time used= 5.82011
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 512135
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= 5074
involuntary context switches= 3939
runsolver used 0.306953 second user time and 1.25081 second system time
The end
Begin job on node200 at 2011-05-23 10:33:35
IDJOB=3347693
IDBENCH=87935
IDSOLVER=1808
FILE ID=node200/3347693-1306139615
RUNJOBID= node200-1306139614-32482
PBS_JOBID= 13387840
Free space on /tmp= 62048 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT02/industrial/aloul/Homer/homer14.shuffled.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347693-1306139615/watcher-3347693-1306139615 -o /tmp/evaluation-result-3347693-1306139615/solver-3347693-1306139615 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347693-1306139615.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 1d9569aa70fee033c68469753053c259
RANDOM SEED=898466321
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.049
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.049
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.07
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.049
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.049
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.049
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.17
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.049
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.08
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.049
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.06
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.049
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.08
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.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.09
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.049
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.049
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.02
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.049
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.17
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.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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 : 3989.98
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.049
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.06
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.049
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.04
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.049
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.049
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.09
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.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.05
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.049
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.07
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.049
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.08
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.049
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.23
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.049
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.06
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.049
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.09
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.049
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.049
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.09
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.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.09
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.049
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.05
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.049
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: 255319784 kB
Buffers: 459264 kB
Cached: 8069160 kB
SwapCached: 0 kB
Active: 7619100 kB
Inactive: 978264 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255319784 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 10100 kB
Writeback: 0 kB
AnonPages: 68744 kB
Mapped: 14252 kB
Slab: 255208 kB
PageTables: 4752 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 177544 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= 62036 MiB
End job on node200 at 2011-05-23 10:34:30