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
163.99/5.99 s UNSATISFIABLE
165.59/6.00 solver [5] plingeling 276-6264d55-100731 answered
165.59/6.00 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-3347593-1305388076/watcher-3347593-1305388076 -o /tmp/evaluation-result-3347593-1305388076/solver-3347593-1305388076 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347593-1305388076.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: 31.86 31.50 31.77 1/413 30860
/proc/meminfo: memFree=255610608/264257624 swapFree=67111528/67111528
[pid=30860] ppid=30858 vsize=18324 CPUtime=0 cores=0-31
/proc/30860/stat : 30860 (ppfolio) S 30858 30860 30763 0 -1 4202496 511 0 0 0 0 0 0 0 18 0 1 0 650294065 18763776 385 268435456000 4194304 4287625 140734181661920 18446744073709551615 258650975999 0 0 4096 65536 7652777680110092287 0 0 17 20 0 0 0
/proc/30860/statm: 4581 385 337 23 0 91 0
[startup+0.0754289 s]
/proc/loadavg: 31.86 31.50 31.77 1/413 30860
/proc/meminfo: memFree=255610608/264257624 swapFree=67111528/67111528
[pid=30860] ppid=30858 vsize=18324 CPUtime=0 cores=0-31
/proc/30860/stat : 30860 (ppfolio) S 30858 30860 30763 0 -1 4202496 511 0 0 0 0 0 0 0 18 0 1 0 650294065 18763776 385 268435456000 4194304 4287625 140734181661920 18446744073709551615 258650975999 0 0 4096 65536 7652777680110092287 0 0 17 20 0 0 0
/proc/30860/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.100447 s]
/proc/loadavg: 31.86 31.50 31.77 1/413 30860
/proc/meminfo: memFree=255610608/264257624 swapFree=67111528/67111528
[pid=30860] ppid=30858 vsize=18324 CPUtime=0 cores=0-31
/proc/30860/stat : 30860 (ppfolio) S 30858 30860 30763 0 -1 4202496 511 0 0 0 0 0 0 0 18 0 1 0 650294065 18763776 385 268435456000 4194304 4287625 140734181661920 18446744073709551615 258650975999 0 0 4096 65536 7652777680110092287 0 0 17 20 0 0 0
/proc/30860/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300452 s]
/proc/loadavg: 31.86 31.50 31.77 1/413 30860
/proc/meminfo: memFree=255610608/264257624 swapFree=67111528/67111528
[pid=30860] ppid=30858 vsize=18324 CPUtime=0 cores=0-31
/proc/30860/stat : 30860 (ppfolio) S 30858 30860 30763 0 -1 4202496 511 0 0 0 0 0 0 0 18 0 1 0 650294065 18763776 385 268435456000 4194304 4287625 140734181661920 18446744073709551615 258650975999 0 0 4096 65536 7652777680110092287 0 0 17 20 0 0 0
/proc/30860/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700413 s]
/proc/loadavg: 31.86 31.50 31.77 1/413 30860
/proc/meminfo: memFree=255610608/264257624 swapFree=67111528/67111528
[pid=30860] ppid=30858 vsize=18324 CPUtime=0 cores=0-31
/proc/30860/stat : 30860 (ppfolio) S 30858 30860 30763 0 -1 4202496 511 0 0 0 0 0 0 0 18 0 1 0 650294065 18763776 385 268435456000 4194304 4287625 140734181661920 18446744073709551615 258650975999 0 0 4096 65536 7652777680110092287 0 0 17 20 0 0 0
/proc/30860/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50141 s]
/proc/loadavg: 29.71 31.06 31.63 33/447 30899
/proc/meminfo: memFree=255453916/264257624 swapFree=67111528/67111528
[pid=30860] ppid=30858 vsize=18324 CPUtime=0 cores=0-31
/proc/30860/stat : 30860 (ppfolio) S 30858 30860 30763 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 650294065 18763776 385 268435456000 4194304 4287625 140734181661920 18446744073709551615 258650975999 0 0 4096 65536 7652777680110092287 0 0 17 20 0 0 0
/proc/30860/statm: 4581 385 337 23 0 91 0
[pid=30861] ppid=30860 vsize=34708 CPUtime=1.49 cores=0
/proc/30861/stat : 30861 (cryptominisat) R 30860 30860 30763 0 -1 4202496 4027 0 0 0 148 1 0 0 20 0 1 0 650294065 35540992 3377 268435456000 4194304 4587354 140737017379392 18446744073709551615 4238512 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30861/statm: 8677 3377 325 96 0 5239 0
[pid=30862] ppid=30860 vsize=20492 CPUtime=1.48 cores=1
/proc/30862/stat : 30862 (clasp) R 30860 30860 30763 0 -1 4202496 2879 0 0 0 148 0 0 0 20 0 1 0 650294065 20983808 2467 268435456000 4194304 4785740 140734587892208 18446744073709551615 4552553 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30862/statm: 5123 2467 338 145 0 2168 0
[pid=30863] ppid=30860 vsize=456356 CPUtime=1.48 cores=2
/proc/30863/stat : 30863 (TNM) R 30860 30860 30763 0 -1 4202496 1558 0 0 0 148 0 0 0 20 0 1 0 650294065 467308544 1456 268435456000 134512640 134534564 4291757360 18446744073709551615 134524700 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30863/statm: 114089 1456 91 6 0 112754 0
[pid=30864] ppid=30860 vsize=60344 CPUtime=1.49 cores=3
/proc/30864/stat : 30864 (march_hi) R 30860 30860 30763 0 -1 4202496 18917 0 0 0 145 4 0 0 20 0 1 0 650294065 61792256 12900 268435456000 4194304 4331988 140734273778256 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30864/statm: 15086 12900 149 34 0 13528 0
[pid=30865] ppid=30860 vsize=556988 CPUtime=17.54 cores=4-31
/proc/30865/stat : 30865 (plingeling) S 30860 30860 30763 0 -1 4202496 41916 1240 0 0 1729 25 0 0 20 0 29 0 650294065 570355712 33238 268435456000 4194304 4356188 140735333466096 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 19 0 0 0
/proc/30865/statm: 139247 33249 158 40 0 137791 0
[pid=30865/tid=30872] ppid=30860 vsize=556988 CPUtime=0.61 cores=4-31
/proc/30865/task/30872/stat : 30872 (plingeling) R 30860 30860 30763 0 -1 4202560 718 1240 0 0 60 1 0 0 18 0 29 0 650294151 570355712 33259 268435456000 4194304 4356188 140735333466096 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30865/tid=30873] ppid=30860 vsize=556988 CPUtime=0.59 cores=4-31
/proc/30865/task/30873/stat : 30873 (plingeling) R 30860 30860 30763 0 -1 4202560 688 1240 0 0 59 0 0 0 18 0 29 0 650294151 570355712 33270 268435456000 4194304 4356188 140735333466096 18446744073709551615 4211703 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30865/tid=30874] ppid=30860 vsize=556988 CPUtime=0.59 cores=4-31
/proc/30865/task/30874/stat : 30874 (plingeling) R 30860 30860 30763 0 -1 4202560 797 1240 0 0 58 1 0 0 18 0 29 0 650294151 570355712 33284 268435456000 4194304 4356188 140735333466096 18446744073709551615 4252643 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30865/tid=30875] ppid=30860 vsize=556988 CPUtime=0.6 cores=4-31
/proc/30865/task/30875/stat : 30875 (plingeling) R 30860 30860 30763 0 -1 4202560 542 1240 0 0 60 0 0 0 20 0 29 0 650294151 570355712 33296 268435456000 4194304 4356188 140735333466096 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30865/tid=30876] ppid=30860 vsize=556988 CPUtime=0.41 cores=4-31
/proc/30865/task/30876/stat : 30876 (plingeling) R 30860 30860 30763 0 -1 4202560 668 1240 0 0 40 1 0 0 18 0 29 0 650294151 570355712 33310 268435456000 4194304 4356188 140735333466096 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30865/tid=30877] ppid=30860 vsize=556988 CPUtime=0.62 cores=4-31
/proc/30865/task/30877/stat : 30877 (plingeling) R 30860 30860 30763 0 -1 4202560 366 1240 0 0 62 0 0 0 20 0 29 0 650294151 570355712 33321 268435456000 4194304 4356188 140735333466096 18446744073709551615 4311096 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30865/tid=30878] ppid=30860 vsize=556988 CPUtime=0.63 cores=4-31
/proc/30865/task/30878/stat : 30878 (plingeling) R 30860 30860 30763 0 -1 4202560 225 1240 0 0 63 0 0 0 18 0 29 0 650294151 570355712 33333 268435456000 4194304 4356188 140735333466096 18446744073709551615 4270848 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30865/tid=30879] ppid=30860 vsize=556988 CPUtime=0.59 cores=4-31
/proc/30865/task/30879/stat : 30879 (plingeling) R 30860 30860 30763 0 -1 4202560 725 1240 0 0 59 0 0 0 20 0 29 0 650294151 570355712 33347 268435456000 4194304 4356188 140735333466096 18446744073709551615 4211883 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30865/tid=30880] ppid=30860 vsize=556988 CPUtime=0.59 cores=4-31
/proc/30865/task/30880/stat : 30880 (plingeling) R 30860 30860 30763 0 -1 4202560 841 1240 0 0 59 0 0 0 18 0 29 0 650294151 570355712 33361 268435456000 4194304 4356188 140735333466096 18446744073709551615 4277032 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30865/tid=30881] ppid=30860 vsize=556988 CPUtime=0.6 cores=4-31
/proc/30865/task/30881/stat : 30881 (plingeling) R 30860 30860 30763 0 -1 4202560 777 1240 0 0 59 1 0 0 18 0 29 0 650294151 570355712 33375 268435456000 4194304 4356188 140735333466096 18446744073709551615 4311340 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30865/tid=30882] ppid=30860 vsize=556988 CPUtime=0.56 cores=4-31
/proc/30865/task/30882/stat : 30882 (plingeling) R 30860 30860 30763 0 -1 4202560 797 1240 0 0 55 1 0 0 18 0 29 0 650294151 570355712 33387 268435456000 4194304 4356188 140735333466096 18446744073709551615 4211859 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30865/tid=30883] ppid=30860 vsize=556988 CPUtime=0.58 cores=4-31
/proc/30865/task/30883/stat : 30883 (plingeling) R 30860 30860 30763 0 -1 4202560 486 1240 0 0 58 0 0 0 20 0 29 0 650294151 570355712 33399 268435456000 4194304 4356188 140735333466096 18446744073709551615 4338730 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30865/tid=30884] ppid=30860 vsize=556988 CPUtime=0.61 cores=4-31
/proc/30865/task/30884/stat : 30884 (plingeling) R 30860 30860 30763 0 -1 4202560 316 1240 0 0 61 0 0 0 18 0 29 0 650294151 570355712 33413 268435456000 4194304 4356188 140735333466096 18446744073709551615 4210579 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30865/tid=30885] ppid=30860 vsize=556988 CPUtime=0.58 cores=4-31
/proc/30865/task/30885/stat : 30885 (plingeling) R 30860 30860 30763 0 -1 4202560 761 1240 0 0 58 0 0 0 22 0 29 0 650294151 570355712 33427 268435456000 4194304 4356188 140735333466096 18446744073709551615 4275597 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30865/tid=30886] ppid=30860 vsize=556988 CPUtime=0.6 cores=4-31
/proc/30865/task/30886/stat : 30886 (plingeling) R 30860 30860 30763 0 -1 4202560 900 1240 0 0 59 1 0 0 18 0 29 0 650294151 570355712 33439 268435456000 4194304 4356188 140735333466096 18446744073709551615 4211749 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30865/tid=30887] ppid=30860 vsize=556988 CPUtime=0.59 cores=4-31
/proc/30865/task/30887/stat : 30887 (plingeling) R 30860 30860 30763 0 -1 4202560 873 1240 0 0 58 1 0 0 18 0 29 0 650294151 570355712 33452 268435456000 4194304 4356188 140735333466096 18446744073709551615 4312050 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30865/tid=30888] ppid=30860 vsize=556988 CPUtime=0.59 cores=4-31
/proc/30865/task/30888/stat : 30888 (plingeling) R 30860 30860 30763 0 -1 4202560 452 1240 0 0 58 1 0 0 18 0 29 0 650294151 570355712 33464 268435456000 4194304 4356188 140735333466096 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30865/tid=30889] ppid=30860 vsize=556988 CPUtime=0.61 cores=4-31
/proc/30865/task/30889/stat : 30889 (plingeling) R 30860 30860 30763 0 -1 4202560 831 1240 0 0 60 1 0 0 18 0 29 0 650294151 570355712 33478 268435456000 4194304 4356188 140735333466096 18446744073709551615 4271040 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30865/tid=30890] ppid=30860 vsize=556988 CPUtime=0.62 cores=4-31
/proc/30865/task/30890/stat : 30890 (plingeling) R 30860 30860 30763 0 -1 4202560 155 1240 0 0 62 0 0 0 18 0 29 0 650294151 570355712 33494 268435456000 4194304 4356188 140735333466096 18446744073709551615 4210575 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30865/tid=30891] ppid=30860 vsize=556988 CPUtime=0.57 cores=4-31
/proc/30865/task/30891/stat : 30891 (plingeling) R 30860 30860 30763 0 -1 4202560 276 1240 0 0 57 0 0 0 21 0 29 0 650294151 570355712 33508 268435456000 4194304 4356188 140735333466096 18446744073709551615 4331019 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30865/tid=30892] ppid=30860 vsize=556988 CPUtime=0.62 cores=4-31
/proc/30865/task/30892/stat : 30892 (plingeling) R 30860 30860 30763 0 -1 4202560 153 1240 0 0 62 0 0 0 18 0 29 0 650294151 570355712 33519 268435456000 4194304 4356188 140735333466096 18446744073709551615 4270878 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30865/tid=30893] ppid=30860 vsize=556988 CPUtime=0.59 cores=4-31
/proc/30865/task/30893/stat : 30893 (plingeling) R 30860 30860 30763 0 -1 4202560 657 1240 0 0 58 1 0 0 18 0 29 0 650294151 570355712 33533 268435456000 4194304 4356188 140735333466096 18446744073709551615 4212018 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30865/tid=30894] ppid=30860 vsize=556988 CPUtime=0.6 cores=4-31
/proc/30865/task/30894/stat : 30894 (plingeling) R 30860 30860 30763 0 -1 4202560 752 1240 0 0 59 1 0 0 17 0 29 0 650294151 570355712 33547 268435456000 4194304 4356188 140735333466096 18446744073709551615 4312467 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30865/tid=30895] ppid=30860 vsize=556988 CPUtime=0.59 cores=4-31
/proc/30865/task/30895/stat : 30895 (plingeling) R 30860 30860 30763 0 -1 4202560 665 1240 0 0 59 0 0 0 24 0 29 0 650294152 570355712 33561 268435456000 4194304 4356188 140735333466096 18446744073709551615 4270558 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30865/tid=30896] ppid=30860 vsize=556988 CPUtime=0.59 cores=4-31
/proc/30865/task/30896/stat : 30896 (plingeling) R 30860 30860 30763 0 -1 4202560 855 1240 0 0 58 1 0 0 18 0 29 0 650294152 570355712 33572 268435456000 4194304 4356188 140735333466096 18446744073709551615 4210587 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30865/tid=30897] ppid=30860 vsize=556988 CPUtime=0.62 cores=4-31
/proc/30865/task/30897/stat : 30897 (plingeling) R 30860 30860 30763 0 -1 4202560 145 1240 0 0 62 0 0 0 24 0 29 0 650294152 570355712 33586 268435456000 4194304 4356188 140735333466096 18446744073709551615 4312092 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30865/tid=30898] ppid=30860 vsize=556988 CPUtime=0.59 cores=4-31
/proc/30865/task/30898/stat : 30898 (plingeling) R 30860 30860 30763 0 -1 4202560 487 1240 0 0 59 0 0 0 18 0 29 0 650294152 570355712 33599 268435456000 4194304 4356188 140735333466096 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30865/tid=30899] ppid=30860 vsize=556988 CPUtime=0.56 cores=4-31
/proc/30865/task/30899/stat : 30899 (plingeling) R 30860 30860 30763 0 -1 4202560 328 1240 0 0 56 0 0 0 23 0 29 0 650294153 570355712 33613 268435456000 4194304 4356188 140735333466096 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 23.48
Current children cumulated vsize (KiB) 1147212
[startup+3.10147 s]
/proc/loadavg: 29.71 31.06 31.63 33/447 30899
/proc/meminfo: memFree=255361320/264257624 swapFree=67111528/67111528
[pid=30860] ppid=30858 vsize=18324 CPUtime=0 cores=0-31
/proc/30860/stat : 30860 (ppfolio) S 30858 30860 30763 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 650294065 18763776 385 268435456000 4194304 4287625 140734181661920 18446744073709551615 258650975999 0 0 4096 65536 7652777680110092287 0 0 17 20 0 0 0
/proc/30860/statm: 4581 385 337 23 0 91 0
[pid=30861] ppid=30860 vsize=1126648 CPUtime=3.09 cores=0
/proc/30861/stat : 30861 (cryptominisat) R 30860 30860 30763 0 -1 4202496 5446 0 0 0 308 1 0 0 25 0 1 0 650294065 1153687552 3449 268435456000 4194304 4587354 140737017379392 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30861/statm: 281662 3449 325 96 0 278224 0
[pid=30862] ppid=30860 vsize=23004 CPUtime=3.09 cores=1
/proc/30862/stat : 30862 (clasp) R 30860 30860 30763 0 -1 4202496 3470 0 0 0 308 1 0 0 25 0 1 0 650294065 23556096 3058 268435456000 4194304 4785740 140734587892208 18446744073709551615 4287017 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30862/statm: 5751 3058 338 145 0 2796 0
[pid=30863] ppid=30860 vsize=456356 CPUtime=3.08 cores=2
/proc/30863/stat : 30863 (TNM) R 30860 30860 30763 0 -1 4202496 1558 0 0 0 308 0 0 0 25 0 1 0 650294065 467308544 1456 268435456000 134512640 134534564 4291757360 18446744073709551615 134524672 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30863/statm: 114089 1456 91 6 0 112754 0
[pid=30864] ppid=30860 vsize=159644 CPUtime=3.08 cores=3
/proc/30864/stat : 30864 (march_hi) R 30860 30860 30763 0 -1 4202496 38599 0 0 0 301 7 0 0 25 0 1 0 650294065 163475456 32582 268435456000 4194304 4331988 140734273778256 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30864/statm: 39911 32583 149 34 0 38353 0
[pid=30865] ppid=30860 vsize=568356 CPUtime=62.3 cores=4-31
/proc/30865/stat : 30865 (plingeling) S 30860 30860 30763 0 -1 4202496 57904 1240 0 0 6199 31 0 0 20 0 29 0 650294065 581996544 38863 268435456000 4194304 4356188 140735333466096 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 19 0 0 0
/proc/30865/statm: 142089 38863 158 40 0 140633 0
[pid=30865/tid=30872] ppid=30860 vsize=568356 CPUtime=2.21 cores=4-31
/proc/30865/task/30872/stat : 30872 (plingeling) R 30860 30860 30763 0 -1 4202560 1267 1240 0 0 220 1 0 0 20 0 29 0 650294151 581996544 38863 268435456000 4194304 4356188 140735333466096 18446744073709551615 4331305 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30865/tid=30873] ppid=30860 vsize=568356 CPUtime=2.19 cores=4-31
/proc/30865/task/30873/stat : 30873 (plingeling) R 30860 30860 30763 0 -1 4202560 1140 1240 0 0 218 1 0 0 20 0 29 0 650294151 581996544 38863 268435456000 4194304 4356188 140735333466096 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30865/tid=30874] ppid=30860 vsize=568356 CPUtime=2.19 cores=4-31
/proc/30865/task/30874/stat : 30874 (plingeling) R 30860 30860 30763 0 -1 4202560 1244 1240 0 0 218 1 0 0 20 0 29 0 650294151 581996544 38863 268435456000 4194304 4356188 140735333466096 18446744073709551615 4330889 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30865/tid=30875] ppid=30860 vsize=568356 CPUtime=2.19 cores=4-31
/proc/30865/task/30875/stat : 30875 (plingeling) R 30860 30860 30763 0 -1 4202560 1510 1240 0 0 219 0 0 0 25 0 29 0 650294151 581996544 38863 268435456000 4194304 4356188 140735333466096 18446744073709551615 4331296 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30865/tid=30876] ppid=30860 vsize=568356 CPUtime=2.01 cores=4-31
/proc/30865/task/30876/stat : 30876 (plingeling) R 30860 30860 30763 0 -1 4202560 1128 1240 0 0 200 1 0 0 20 0 29 0 650294151 581996544 38863 268435456000 4194304 4356188 140735333466096 18446744073709551615 4234271 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30865/tid=30877] ppid=30860 vsize=568356 CPUtime=2.22 cores=4-31
/proc/30865/task/30877/stat : 30877 (plingeling) R 30860 30860 30763 0 -1 4202560 713 1240 0 0 222 0 0 0 25 0 29 0 650294151 581996544 38863 268435456000 4194304 4356188 140735333466096 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30865/tid=30878] ppid=30860 vsize=568356 CPUtime=2.23 cores=4-31
/proc/30865/task/30878/stat : 30878 (plingeling) R 30860 30860 30763 0 -1 4202560 708 1240 0 0 223 0 0 0 21 0 29 0 650294151 581996544 38863 268435456000 4194304 4356188 140735333466096 18446744073709551615 4284025 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30865/tid=30879] ppid=30860 vsize=568356 CPUtime=2.19 cores=4-31
/proc/30865/task/30879/stat : 30879 (plingeling) R 30860 30860 30763 0 -1 4202560 1027 1240 0 0 219 0 0 0 25 0 29 0 650294151 581996544 38863 268435456000 4194304 4356188 140735333466096 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30865/tid=30880] ppid=30860 vsize=568356 CPUtime=2.19 cores=4-31
/proc/30865/task/30880/stat : 30880 (plingeling) R 30860 30860 30763 0 -1 4202560 1179 1240 0 0 219 0 0 0 21 0 29 0 650294151 581996544 38863 268435456000 4194304 4356188 140735333466096 18446744073709551615 4332322 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30865/tid=30881] ppid=30860 vsize=568356 CPUtime=2.2 cores=4-31
/proc/30865/task/30881/stat : 30881 (plingeling) R 30860 30860 30763 0 -1 4202560 1234 1240 0 0 219 1 0 0 20 0 29 0 650294151 581996544 38863 268435456000 4194304 4356188 140735333466096 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30865/tid=30882] ppid=30860 vsize=568356 CPUtime=2.16 cores=4-31
/proc/30865/task/30882/stat : 30882 (plingeling) R 30860 30860 30763 0 -1 4202560 1209 1240 0 0 215 1 0 0 20 0 29 0 650294151 581996544 38863 268435456000 4194304 4356188 140735333466096 18446744073709551615 4331144 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30865/tid=30883] ppid=30860 vsize=568356 CPUtime=2.17 cores=4-31
/proc/30865/task/30883/stat : 30883 (plingeling) R 30860 30860 30763 0 -1 4202560 2142 1240 0 0 217 0 0 0 25 0 29 0 650294151 581996544 38863 268435456000 4194304 4356188 140735333466096 18446744073709551615 4210715 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30865/tid=30884] ppid=30860 vsize=568356 CPUtime=2.21 cores=4-31
/proc/30865/task/30884/stat : 30884 (plingeling) R 30860 30860 30763 0 -1 4202560 868 1240 0 0 221 0 0 0 21 0 29 0 650294151 581996544 38863 268435456000 4194304 4356188 140735333466096 18446744073709551615 4211015 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30865/tid=30885] ppid=30860 vsize=568356 CPUtime=2.18 cores=4-31
/proc/30865/task/30885/stat : 30885 (plingeling) R 30860 30860 30763 0 -1 4202560 1301 1240 0 0 218 0 0 0 25 0 29 0 650294151 581996544 38863 268435456000 4194304 4356188 140735333466096 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30865/tid=30886] ppid=30860 vsize=568356 CPUtime=2.2 cores=4-31
/proc/30865/task/30886/stat : 30886 (plingeling) R 30860 30860 30763 0 -1 4202560 1529 1240 0 0 219 1 0 0 20 0 29 0 650294151 581996544 38863 268435456000 4194304 4356188 140735333466096 18446744073709551615 4331305 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30865/tid=30887] ppid=30860 vsize=568356 CPUtime=2.19 cores=4-31
/proc/30865/task/30887/stat : 30887 (plingeling) R 30860 30860 30763 0 -1 4202560 1225 1240 0 0 218 1 0 0 20 0 29 0 650294151 581996544 38863 268435456000 4194304 4356188 140735333466096 18446744073709551615 4274291 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30865/tid=30888] ppid=30860 vsize=568356 CPUtime=2.18 cores=4-31
/proc/30865/task/30888/stat : 30888 (plingeling) R 30860 30860 30763 0 -1 4202560 1146 1240 0 0 217 1 0 0 20 0 29 0 650294151 581996544 38863 268435456000 4194304 4356188 140735333466096 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30865/tid=30889] ppid=30860 vsize=568356 CPUtime=2.21 cores=4-31
################
# More data... #
################
/proc/loadavg: 29.71 31.06 31.63 33/447 30899
/proc/meminfo: memFree=255188240/264257624 swapFree=67111528/67111528
[pid=30860] ppid=30858 vsize=18324 CPUtime=0 cores=0-31
/proc/30860/stat : 30860 (ppfolio) S 30858 30860 30763 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 650294065 18763776 385 268435456000 4194304 4287625 140734181661920 18446744073709551615 258650975999 0 0 4096 65536 7652777680110092287 0 0 17 20 0 0 0
/proc/30860/statm: 4581 385 337 23 0 91 0
[pid=30861] ppid=30860 vsize=1133960 CPUtime=5.51 cores=0
/proc/30861/stat : 30861 (cryptominisat) R 30860 30860 30763 0 -1 4202496 7258 0 0 0 549 2 0 0 25 0 1 0 650294065 1161175040 4529 268435456000 4194304 4587354 140737017379392 18446744073709551615 4463500 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30861/statm: 283490 4529 335 96 0 280052 0
[pid=30862] ppid=30860 vsize=25336 CPUtime=5.51 cores=1
/proc/30862/stat : 30862 (clasp) R 30860 30860 30763 0 -1 4202496 4044 0 0 0 550 1 0 0 25 0 1 0 650294065 25944064 3632 268435456000 4194304 4785740 140734587892208 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30862/statm: 6334 3632 338 145 0 3379 0
[pid=30863] ppid=30860 vsize=456356 CPUtime=5.51 cores=2
/proc/30863/stat : 30863 (TNM) R 30860 30860 30763 0 -1 4202496 1558 0 0 0 551 0 0 0 25 0 1 0 650294065 467308544 1456 268435456000 134512640 134534564 4291757360 18446744073709551615 134524700 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30863/statm: 114089 1456 91 6 0 112754 0
[pid=30864] ppid=30860 vsize=192908 CPUtime=5.51 cores=3
/proc/30864/stat : 30864 (march_hi) R 30860 30860 30763 0 -1 4202496 80189 0 0 0 533 18 0 0 25 0 1 0 650294065 197537792 41993 268435456000 4194304 4331988 140734273778256 18446744073709551615 4257258 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30864/statm: 48227 41993 149 34 0 46669 0
[pid=30865] ppid=30860 vsize=612076 CPUtime=129.85 cores=4-31
/proc/30865/stat : 30865 (plingeling) S 30860 30860 30763 0 -1 4202496 78071 1240 0 0 12939 46 0 0 20 0 29 0 650294065 626765824 50327 268435456000 4194304 4356188 140735333466096 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 19 0 0 0
/proc/30865/statm: 153019 50327 158 40 0 151563 0
[pid=30865/tid=30872] ppid=30860 vsize=612076 CPUtime=4.62 cores=4-31
/proc/30865/task/30872/stat : 30872 (plingeling) R 30860 30860 30763 0 -1 4202560 1972 1240 0 0 461 1 0 0 25 0 29 0 650294151 626765824 50327 268435456000 4194304 4356188 140735333466096 18446744073709551615 4331841 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30865/tid=30873] ppid=30860 vsize=612076 CPUtime=4.61 cores=4-31
/proc/30865/task/30873/stat : 30873 (plingeling) R 30860 30860 30763 0 -1 4202560 1845 1240 0 0 460 1 0 0 25 0 29 0 650294151 626765824 50327 268435456000 4194304 4356188 140735333466096 18446744073709551615 4330982 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30865/tid=30874] ppid=30860 vsize=612076 CPUtime=4.61 cores=4-31
/proc/30865/task/30874/stat : 30874 (plingeling) R 30860 30860 30763 0 -1 4202560 1756 1240 0 0 459 2 0 0 25 0 29 0 650294151 626765824 50327 268435456000 4194304 4356188 140735333466096 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30865/tid=30875] ppid=30860 vsize=612076 CPUtime=4.61 cores=4-31
/proc/30865/task/30875/stat : 30875 (plingeling) R 30860 30860 30763 0 -1 4202560 2310 1240 0 0 461 0 0 0 25 0 29 0 650294151 626765824 50327 268435456000 4194304 4356188 140735333466096 18446744073709551615 4331305 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30865/tid=30876] ppid=30860 vsize=612076 CPUtime=4.42 cores=4-31
/proc/30865/task/30876/stat : 30876 (plingeling) R 30860 30860 30763 0 -1 4202560 1898 1240 0 0 441 1 0 0 25 0 29 0 650294151 626765824 50327 268435456000 4194304 4356188 140735333466096 18446744073709551615 4331407 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30865/tid=30877] ppid=30860 vsize=612076 CPUtime=4.62 cores=4-31
/proc/30865/task/30877/stat : 30877 (plingeling) R 30860 30860 30763 0 -1 4202560 1418 1240 0 0 462 0 0 0 25 0 29 0 650294151 626765824 50327 268435456000 4194304 4356188 140735333466096 18446744073709551615 4270898 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30865/tid=30878] ppid=30860 vsize=612076 CPUtime=4.64 cores=4-31
/proc/30865/task/30878/stat : 30878 (plingeling) R 30860 30860 30763 0 -1 4202560 1510 1240 0 0 463 1 0 0 25 0 29 0 650294151 626765824 50327 268435456000 4194304 4356188 140735333466096 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30865/tid=30879] ppid=30860 vsize=612076 CPUtime=4.6 cores=4-31
/proc/30865/task/30879/stat : 30879 (plingeling) R 30860 30860 30763 0 -1 4202560 2399 1240 0 0 459 1 0 0 25 0 29 0 650294151 626765824 50327 268435456000 4194304 4356188 140735333466096 18446744073709551615 4270878 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30865/tid=30880] ppid=30860 vsize=612076 CPUtime=4.61 cores=4-31
/proc/30865/task/30880/stat : 30880 (plingeling) R 30860 30860 30763 0 -1 4202560 1787 1240 0 0 461 0 0 0 25 0 29 0 650294151 626765824 50327 268435456000 4194304 4356188 140735333466096 18446744073709551615 4210619 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30865/tid=30881] ppid=30860 vsize=612076 CPUtime=4.61 cores=4-31
/proc/30865/task/30881/stat : 30881 (plingeling) R 30860 30860 30763 0 -1 4202560 1810 1240 0 0 460 1 0 0 25 0 29 0 650294151 626765824 50327 268435456000 4194304 4356188 140735333466096 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30865/tid=30882] ppid=30860 vsize=612076 CPUtime=4.58 cores=4-31
/proc/30865/task/30882/stat : 30882 (plingeling) R 30860 30860 30763 0 -1 4202560 1935 1240 0 0 457 1 0 0 25 0 29 0 650294151 626765824 50327 268435456000 4194304 4356188 140735333466096 18446744073709551615 4270905 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30865/tid=30883] ppid=30860 vsize=612076 CPUtime=4.59 cores=4-31
/proc/30865/task/30883/stat : 30883 (plingeling) R 30860 30860 30763 0 -1 4202560 2302 1240 0 0 459 0 0 0 25 0 29 0 650294151 626765824 50327 268435456000 4194304 4356188 140735333466096 18446744073709551615 4331465 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30865/tid=30884] ppid=30860 vsize=612076 CPUtime=4.62 cores=4-31
/proc/30865/task/30884/stat : 30884 (plingeling) R 30860 30860 30763 0 -1 4202560 1766 1240 0 0 462 0 0 0 25 0 29 0 650294151 626765824 50327 268435456000 4194304 4356188 140735333466096 18446744073709551615 4210605 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30865/tid=30885] ppid=30860 vsize=612076 CPUtime=4.59 cores=4-31
/proc/30865/task/30885/stat : 30885 (plingeling) R 30860 30860 30763 0 -1 4202560 2071 1240 0 0 459 0 0 0 25 0 29 0 650294151 626765824 50327 268435456000 4194304 4356188 140735333466096 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30865/tid=30886] ppid=30860 vsize=612076 CPUtime=4.61 cores=4-31
/proc/30865/task/30886/stat : 30886 (plingeling) R 30860 30860 30763 0 -1 4202560 2331 1240 0 0 459 2 0 0 25 0 29 0 650294151 626765824 50327 268435456000 4194304 4356188 140735333466096 18446744073709551615 4284039 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30865/tid=30887] ppid=30860 vsize=612076 CPUtime=4.6 cores=4-31
/proc/30865/task/30887/stat : 30887 (plingeling) R 30860 30860 30763 0 -1 4202560 2253 1240 0 0 459 1 0 0 25 0 29 0 650294151 626765824 50327 268435456000 4194304 4356188 140735333466096 18446744073709551615 4279478 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30865/tid=30888] ppid=30860 vsize=612076 CPUtime=4.59 cores=4-31
/proc/30865/task/30888/stat : 30888 (plingeling) R 30860 30860 30763 0 -1 4202560 1787 1240 0 0 457 2 0 0 25 0 29 0 650294151 626765824 50327 268435456000 4194304 4356188 140735333466096 18446744073709551615 4330896 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30865/tid=30889] ppid=30860 vsize=612076 CPUtime=4.63 cores=4-31
/proc/30865/task/30889/stat : 30889 (plingeling) R 30860 30860 30763 0 -1 4202560 1941 1240 0 0 462 1 0 0 25 0 29 0 650294151 626765824 50327 268435456000 4194304 4356188 140735333466096 18446744073709551615 4330976 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30865/tid=30890] ppid=30860 vsize=612076 CPUtime=4.64 cores=4-31
/proc/30865/task/30890/stat : 30890 (plingeling) R 30860 30860 30763 0 -1 4202560 1351 1240 0 0 463 1 0 0 25 0 29 0 650294151 626765824 50327 268435456000 4194304 4356188 140735333466096 18446744073709551615 4270889 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30865/tid=30891] ppid=30860 vsize=612076 CPUtime=4.58 cores=4-31
/proc/30865/task/30891/stat : 30891 (plingeling) R 30860 30860 30763 0 -1 4202560 1602 1240 0 0 458 0 0 0 25 0 29 0 650294151 626765824 50327 268435456000 4194304 4356188 140735333466096 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30865/tid=30892] ppid=30860 vsize=612076 CPUtime=4.63 cores=4-31
/proc/30865/task/30892/stat : 30892 (plingeling) R 30860 30860 30763 0 -1 4202560 921 1240 0 0 462 1 0 0 25 0 29 0 650294151 626765824 50327 268435456000 4194304 4356188 140735333466096 18446744073709551615 4211734 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30865/tid=30893] ppid=30860 vsize=612076 CPUtime=4.62 cores=4-31
/proc/30865/task/30893/stat : 30893 (plingeling) R 30860 30860 30763 0 -1 4202560 1631 1240 0 0 460 2 0 0 25 0 29 0 650294151 626765824 50327 268435456000 4194304 4356188 140735333466096 18446744073709551615 4248450 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30865/tid=30894] ppid=30860 vsize=612076 CPUtime=4.61 cores=4-31
/proc/30865/task/30894/stat : 30894 (plingeling) R 30860 30860 30763 0 -1 4202560 2151 1240 0 0 459 2 0 0 25 0 29 0 650294151 626765824 50327 268435456000 4194304 4356188 140735333466096 18446744073709551615 4210704 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30865/tid=30895] ppid=30860 vsize=612076 CPUtime=4.6 cores=4-31
/proc/30865/task/30895/stat : 30895 (plingeling) R 30860 30860 30763 0 -1 4202560 2549 1240 0 0 459 1 0 0 25 0 29 0 650294152 626765824 50327 268435456000 4194304 4356188 140735333466096 18446744073709551615 4270759 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30865/tid=30896] ppid=30860 vsize=612076 CPUtime=4.6 cores=4-31
/proc/30865/task/30896/stat : 30896 (plingeling) R 30860 30860 30763 0 -1 4202560 1836 1240 0 0 459 1 0 0 25 0 29 0 650294152 626765824 50327 268435456000 4194304 4356188 140735333466096 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30865/tid=30897] ppid=30860 vsize=612076 CPUtime=4.64 cores=4-31
/proc/30865/task/30897/stat : 30897 (plingeling) R 30860 30860 30763 0 -1 4202560 1276 1240 0 0 463 1 0 0 25 0 29 0 650294152 626765824 50327 268435456000 4194304 4356188 140735333466096 18446744073709551615 4331151 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30865/tid=30898] ppid=30860 vsize=612076 CPUtime=4.6 cores=4-31
/proc/30865/task/30898/stat : 30898 (plingeling) R 30860 30860 30763 0 -1 4202560 1525 1240 0 0 460 0 0 0 25 0 29 0 650294152 626765824 50327 268435456000 4194304 4356188 140735333466096 18446744073709551615 4210587 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30865/tid=30899] ppid=30860 vsize=612076 CPUtime=4.45 cores=4-31
/proc/30865/task/30899/stat : 30899 (plingeling) R 30860 30860 30763 0 -1 4202560 2163 1240 0 0 444 1 0 0 25 0 29 0 650294153 626765824 50327 268435456000 4194304 4356188 140735333466096 18446744073709551615 4332041 0 0 4096 17442 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 151.89
Current children cumulated vsize (KiB) 2438960
[startup+5.90156 s]
/proc/loadavg: 29.71 31.06 31.63 33/447 30899
/proc/meminfo: memFree=255188240/264257624 swapFree=67111528/67111528
[pid=30860] ppid=30858 vsize=18324 CPUtime=0 cores=0-31
/proc/30860/stat : 30860 (ppfolio) S 30858 30860 30763 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 650294065 18763776 385 268435456000 4194304 4287625 140734181661920 18446744073709551615 258650975999 0 0 4096 65536 7652777680110092287 0 0 17 20 0 0 0
/proc/30860/statm: 4581 385 337 23 0 91 0
[pid=30861] ppid=30860 vsize=1133960 CPUtime=5.89 cores=0
/proc/30861/stat : 30861 (cryptominisat) R 30860 30860 30763 0 -1 4202496 7382 0 0 0 587 2 0 0 25 0 1 0 650294065 1161175040 4650 268435456000 4194304 4587354 140737017379392 18446744073709551615 258650652598 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30861/statm: 283490 4650 335 96 0 280052 0
[pid=30862] ppid=30860 vsize=25484 CPUtime=5.88 cores=1
/proc/30862/stat : 30862 (clasp) R 30860 30860 30763 0 -1 4202496 4093 0 0 0 587 1 0 0 25 0 1 0 650294065 26095616 3681 268435456000 4194304 4785740 140734587892208 18446744073709551615 4287008 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30862/statm: 6371 3681 338 145 0 3416 0
[pid=30863] ppid=30860 vsize=456356 CPUtime=5.88 cores=2
/proc/30863/stat : 30863 (TNM) R 30860 30860 30763 0 -1 4202496 1558 0 0 0 588 0 0 0 25 0 1 0 650294065 467308544 1456 268435456000 134512640 134534564 4291757360 18446744073709551615 134524536 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30863/statm: 114089 1456 91 6 0 112754 0
[pid=30864] ppid=30860 vsize=192908 CPUtime=5.88 cores=3
/proc/30864/stat : 30864 (march_hi) R 30860 30860 30763 0 -1 4202496 81645 0 0 0 570 18 0 0 25 0 1 0 650294065 197537792 43449 268435456000 4194304 4331988 140734273778256 18446744073709551615 4257258 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30864/statm: 48227 43449 149 34 0 46669 0
[pid=30865] ppid=30860 vsize=607616 CPUtime=140.46 cores=4-31
/proc/30865/stat : 30865 (plingeling) S 30860 30860 30763 0 -1 4202496 81164 1240 0 0 13998 48 0 0 20 0 29 0 650294065 622198784 49212 268435456000 4194304 4356188 140735333466096 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 19 0 0 0
/proc/30865/statm: 151904 49212 158 40 0 150448 0
[pid=30865/tid=30872] ppid=30860 vsize=607616 CPUtime=5 cores=4-31
/proc/30865/task/30872/stat : 30872 (plingeling) R 30860 30860 30763 0 -1 4202560 2548 1240 0 0 498 2 0 0 25 0 29 0 650294151 622198784 49212 268435456000 4194304 4356188 140735333466096 18446744073709551615 4210549 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30865/tid=30873] ppid=30860 vsize=607616 CPUtime=4.99 cores=4-31
/proc/30865/task/30873/stat : 30873 (plingeling) R 30860 30860 30763 0 -1 4202560 2101 1240 0 0 498 1 0 0 25 0 29 0 650294151 622198784 49212 268435456000 4194304 4356188 140735333466096 18446744073709551615 4331401 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30865/tid=30874] ppid=30860 vsize=607616 CPUtime=4.99 cores=4-31
/proc/30865/task/30874/stat : 30874 (plingeling) R 30860 30860 30763 0 -1 4202560 1756 1240 0 0 497 2 0 0 25 0 29 0 650294151 622198784 49212 268435456000 4194304 4356188 140735333466096 18446744073709551615 4271040 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30865/tid=30875] ppid=30860 vsize=607616 CPUtime=4.99 cores=4-31
/proc/30865/task/30875/stat : 30875 (plingeling) R 30860 30860 30763 0 -1 4202560 2439 1240 0 0 499 0 0 0 25 0 29 0 650294151 622198784 49212 268435456000 4194304 4356188 140735333466096 18446744073709551615 4283929 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30865/tid=30876] ppid=30860 vsize=607616 CPUtime=4.79 cores=4-31
/proc/30865/task/30876/stat : 30876 (plingeling) R 30860 30860 30763 0 -1 4202560 1962 1240 0 0 478 1 0 0 25 0 29 0 650294151 622198784 49212 268435456000 4194304 4356188 140735333466096 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30865/tid=30877] ppid=30860 vsize=607616 CPUtime=5 cores=4-31
/proc/30865/task/30877/stat : 30877 (plingeling) R 30860 30860 30763 0 -1 4202560 1482 1240 0 0 500 0 0 0 25 0 29 0 650294151 622198784 49212 268435456000 4194304 4356188 140735333466096 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30865/tid=30878] ppid=30860 vsize=607616 CPUtime=5.02 cores=4-31
/proc/30865/task/30878/stat : 30878 (plingeling) R 30860 30860 30763 0 -1 4202560 2022 1240 0 0 501 1 0 0 25 0 29 0 650294151 622198784 49212 268435456000 4194304 4356188 140735333466096 18446744073709551615 4210995 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30865/tid=30879] ppid=30860 vsize=607616 CPUtime=4.98 cores=4-31
/proc/30865/task/30879/stat : 30879 (plingeling) R 30860 30860 30763 0 -1 4202560 2399 1240 0 0 497 1 0 0 25 0 29 0 650294151 622198784 49212 268435456000 4194304 4356188 140735333466096 18446744073709551615 4331716 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30865/tid=30880] ppid=30860 vsize=607616 CPUtime=4.99 cores=4-31
/proc/30865/task/30880/stat : 30880 (plingeling) R 30860 30860 30763 0 -1 4202560 1787 1240 0 0 499 0 0 0 25 0 29 0 650294151 622198784 49212 268435456000 4194304 4356188 140735333466096 18446744073709551615 4331996 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30865/tid=30881] ppid=30860 vsize=607616 CPUtime=4.99 cores=4-31
/proc/30865/task/30881/stat : 30881 (plingeling) R 30860 30860 30763 0 -1 4202560 1810 1240 0 0 498 1 0 0 25 0 29 0 650294151 622198784 49212 268435456000 4194304 4356188 140735333466096 18446744073709551615 4331002 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30865/tid=30882] ppid=30860 vsize=607616 CPUtime=4.96 cores=4-31
/proc/30865/task/30882/stat : 30882 (plingeling) R 30860 30860 30763 0 -1 4202560 1935 1240 0 0 495 1 0 0 25 0 29 0 650294151 622198784 49212 268435456000 4194304 4356188 140735333466096 18446744073709551615 4234320 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30865/tid=30883] ppid=30860 vsize=607616 CPUtime=4.97 cores=4-31
/proc/30865/task/30883/stat : 30883 (plingeling) R 30860 30860 30763 0 -1 4202560 2430 1240 0 0 497 0 0 0 25 0 29 0 650294151 622198784 49212 268435456000 4194304 4356188 140735333466096 18446744073709551615 4330843 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30865/tid=30884] ppid=30860 vsize=607616 CPUtime=5 cores=4-31
/proc/30865/task/30884/stat : 30884 (plingeling) R 30860 30860 30763 0 -1 4202560 1830 1240 0 0 500 0 0 0 25 0 29 0 650294151 622198784 49212 268435456000 4194304 4356188 140735333466096 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30865/tid=30885] ppid=30860 vsize=607616 CPUtime=4.97 cores=4-31
/proc/30865/task/30885/stat : 30885 (plingeling) R 30860 30860 30763 0 -1 4202560 2135 1240 0 0 497 0 0 0 25 0 29 0 650294151 622198784 49212 268435456000 4194304 4356188 140735333466096 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30865/tid=30886] ppid=30860 vsize=607616 CPUtime=4.98 cores=4-31
/proc/30865/task/30886/stat : 30886 (plingeling) R 30860 30860 30763 0 -1 4202560 2927 1240 0 0 496 2 0 0 25 0 29 0 650294151 622198784 49212 268435456000 4194304 4356188 140735333466096 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30865/tid=30887] ppid=30860 vsize=607616 CPUtime=4.98 cores=4-31
/proc/30865/task/30887/stat : 30887 (plingeling) R 30860 30860 30763 0 -1 4202560 2253 1240 0 0 497 1 0 0 25 0 29 0 650294151 622198784 49212 268435456000 4194304 4356188 140735333466096 18446744073709551615 4331245 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30865/tid=30888] ppid=30860 vsize=607616 CPUtime=4.97 cores=4-31
/proc/30865/task/30888/stat : 30888 (plingeling) R 30860 30860 30763 0 -1 4202560 1851 1240 0 0 495 2 0 0 25 0 29 0 650294151 622198784 49212 268435456000 4194304 4356188 140735333466096 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30865/tid=30889] ppid=30860 vsize=607616 CPUtime=5.01 cores=4-31
/proc/30865/task/30889/stat : 30889 (plingeling) R 30860 30860 30763 0 -1 4202560 2005 1240 0 0 500 1 0 0 25 0 29 0 650294151 622198784 49212 268435456000 4194304 4356188 140735333466096 18446744073709551615 4234320 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30865/tid=30890] ppid=30860 vsize=607616 CPUtime=5.02 cores=4-31
/proc/30865/task/30890/stat : 30890 (plingeling) R 30860 30860 30763 0 -1 4202560 1479 1240 0 0 501 1 0 0 25 0 29 0 650294151 622198784 49212 268435456000 4194304 4356188 140735333466096 18446744073709551615 4334501 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30865/tid=30891] ppid=30860 vsize=607616 CPUtime=4.96 cores=4-31
/proc/30865/task/30891/stat : 30891 (plingeling) R 30860 30860 30763 0 -1 4202560 1634 1240 0 0 496 0 0 0 25 0 29 0 650294151 622198784 49212 268435456000 4194304 4356188 140735333466096 18446744073709551615 4331360 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30865/tid=30892] ppid=30860 vsize=607616 CPUtime=5.01 cores=4-31
/proc/30865/task/30892/stat : 30892 (plingeling) R 30860 30860 30763 0 -1 4202560 921 1240 0 0 500 1 0 0 25 0 29 0 650294151 622198784 49212 268435456000 4194304 4356188 140735333466096 18446744073709551615 4210791 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30865/tid=30893] ppid=30860 vsize=607616 CPUtime=4.99 cores=4-31
/proc/30865/task/30893/stat : 30893 (plingeling) R 30860 30860 30763 0 -1 4202560 1631 1240 0 0 497 2 0 0 25 0 29 0 650294151 622198784 49212 268435456000 4194304 4356188 140735333466096 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30865/tid=30894] ppid=30860 vsize=607616 CPUtime=4.99 cores=4-31
/proc/30865/task/30894/stat : 30894 (plingeling) R 30860 30860 30763 0 -1 4202560 2215 1240 0 0 497 2 0 0 25 0 29 0 650294151 622198784 49212 268435456000 4194304 4356188 140735333466096 18446744073709551615 4331340 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30865/tid=30895] ppid=30860 vsize=607616 CPUtime=4.98 cores=4-31
/proc/30865/task/30895/stat : 30895 (plingeling) R 30860 30860 30763 0 -1 4202560 2549 1240 0 0 497 1 0 0 25 0 29 0 650294152 622198784 49212 268435456000 4194304 4356188 140735333466096 18446744073709551615 4331019 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30865/tid=30896] ppid=30860 vsize=607616 CPUtime=4.98 cores=4-31
/proc/30865/task/30896/stat : 30896 (plingeling) R 30860 30860 30763 0 -1 4202560 2028 1240 0 0 497 1 0 0 25 0 29 0 650294152 622198784 49212 268435456000 4194304 4356188 140735333466096 18446744073709551615 4210557 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30865/tid=30897] ppid=30860 vsize=607616 CPUtime=5.01 cores=4-31
/proc/30865/task/30897/stat : 30897 (plingeling) R 30860 30860 30763 0 -1 4202560 1372 1240 0 0 500 1 0 0 25 0 29 0 650294152 622198784 49212 268435456000 4194304 4356188 140735333466096 18446744073709551615 4281495 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30865/tid=30898] ppid=30860 vsize=607616 CPUtime=4.98 cores=4-31
/proc/30865/task/30898/stat : 30898 (plingeling) R 30860 30860 30763 0 -1 4202560 1525 1240 0 0 498 0 0 0 25 0 29 0 650294152 622198784 49212 268435456000 4194304 4356188 140735333466096 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30865/tid=30899] ppid=30860 vsize=607616 CPUtime=4.83 cores=4-31
/proc/30865/task/30899/stat : 30899 (plingeling) R 30860 30860 30763 0 -1 4202560 2163 1240 0 0 482 1 0 0 25 0 29 0 650294153 622198784 49212 268435456000 4194304 4356188 140735333466096 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 163.99
Current children cumulated vsize (KiB) 2434648
[startup+6.00168 s]
/proc/loadavg: 29.71 31.06 31.63 33/447 30899
/proc/meminfo: memFree=255188240/264257624 swapFree=67111528/67111528
[pid=30860] ppid=30858 vsize=18324 CPUtime=159.6 cores=0-31
/proc/30860/stat : 30860 (ppfolio) S 30858 30860 30763 0 -1 4202496 512 95606 0 0 0 0 15904 56 15 0 1 0 650294065 18763776 386 268435456000 4194304 4287625 140734181661920 18446744073709551615 258650975999 0 0 4096 65536 9192446627351101439 0 0 17 20 0 0 0
/proc/30860/statm: 4581 386 338 23 0 91 0
[pid=30864] ppid=30860 vsize=0 CPUtime=5.99 cores=3
/proc/30864/stat : 30864 (march_hi) R 30860 30860 30763 0 -1 4203524 81645 0 0 0 579 20 0 0 25 0 1 0 650294065 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/30864/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 165.59
Current children cumulated vsize (KiB) 18324
Child status: 0
Real time (s): 6.00537
CPU time (s): 165.604
CPU user time (s): 164.836
CPU system time (s): 0.767883
CPU usage (%): 2757.59
Max. virtual memory (cumulated for all children) (KiB): 2518200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 164.836
system time used= 0.767883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177782
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= 1528
involuntary context switches= 417
runsolver used 0.026995 second user time and 0.144977 second system time
The end
Begin job on node200 at 2011-05-14 17:47:56
IDJOB=3347593
IDBENCH=83433
IDSOLVER=1808
FILE ID=node200/3347593-1305388076
RUNJOBID= node200-1305387880-30777
PBS_JOBID= 13285490
Free space on /tmp= 62052 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/korf-15.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347593-1305388076/watcher-3347593-1305388076 -o /tmp/evaluation-result-3347593-1305388076/solver-3347593-1305388076 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347593-1305388076.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= b5f600e7f9b30a5ff851f80fa6100290
RANDOM SEED=687572544
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: 255611268 kB
Buffers: 436320 kB
Cached: 7810636 kB
SwapCached: 0 kB
Active: 7383504 kB
Inactive: 932408 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255611268 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 11096 kB
Writeback: 0 kB
AnonPages: 70036 kB
Mapped: 14792 kB
Slab: 250152 kB
PageTables: 4200 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 191640 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= 62040 MiB
End job on node200 at 2011-05-14 17:48:03