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
136781.95/4280.29 s UNSATISFIABLE
136782.45/4280.31 solver [5] plingeling 276-6264d55-100731 answered
136782.45/4280.31 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-3347629-1305400881/watcher-3347629-1305400881 -o /tmp/evaluation-result-3347629-1305400881/solver-3347629-1305400881 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347629-1305400881.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: 27.29 29.85 31.18 1/413 32379
/proc/meminfo: memFree=255569328/264257624 swapFree=67111528/67111528
[pid=32379] ppid=32377 vsize=18324 CPUtime=0 cores=0-31
/proc/32379/stat : 32379 (ppfolio) S 32377 32379 31580 0 -1 4202496 512 0 0 0 0 0 0 0 25 0 1 0 651574529 18763776 385 268435456000 4194304 4287625 140735696203504 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 8 0 0 0
/proc/32379/statm: 4581 385 337 23 0 91 0
[startup+0.028171 s]
/proc/loadavg: 27.29 29.85 31.18 1/413 32379
/proc/meminfo: memFree=255569328/264257624 swapFree=67111528/67111528
[pid=32379] ppid=32377 vsize=18324 CPUtime=0 cores=0-31
/proc/32379/stat : 32379 (ppfolio) S 32377 32379 31580 0 -1 4202496 512 0 0 0 0 0 0 0 25 0 1 0 651574529 18763776 385 268435456000 4194304 4287625 140735696203504 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 8 0 0 0
/proc/32379/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.101128 s]
/proc/loadavg: 27.29 29.85 31.18 1/413 32379
/proc/meminfo: memFree=255569328/264257624 swapFree=67111528/67111528
[pid=32379] ppid=32377 vsize=18324 CPUtime=0 cores=0-31
/proc/32379/stat : 32379 (ppfolio) S 32377 32379 31580 0 -1 4202496 512 0 0 0 0 0 0 0 25 0 1 0 651574529 18763776 385 268435456000 4194304 4287625 140735696203504 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 8 0 0 0
/proc/32379/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.301133 s]
/proc/loadavg: 27.29 29.85 31.18 1/413 32379
/proc/meminfo: memFree=255569328/264257624 swapFree=67111528/67111528
[pid=32379] ppid=32377 vsize=18324 CPUtime=0 cores=0-31
/proc/32379/stat : 32379 (ppfolio) S 32377 32379 31580 0 -1 4202496 512 0 0 0 0 0 0 0 24 0 1 0 651574529 18763776 385 268435456000 4194304 4287625 140735696203504 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 8 0 0 0
/proc/32379/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.701082 s]
/proc/loadavg: 27.29 29.85 31.18 1/413 32379
/proc/meminfo: memFree=255569328/264257624 swapFree=67111528/67111528
[pid=32379] ppid=32377 vsize=18324 CPUtime=0 cores=0-31
/proc/32379/stat : 32379 (ppfolio) S 32377 32379 31580 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 651574529 18763776 385 268435456000 4194304 4287625 140735696203504 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 8 0 0 0
/proc/32379/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50211 s]
/proc/loadavg: 27.29 29.85 31.18 33/447 32418
/proc/meminfo: memFree=255464236/264257624 swapFree=67111528/67111528
[pid=32379] ppid=32377 vsize=18324 CPUtime=0 cores=0-31
/proc/32379/stat : 32379 (ppfolio) S 32377 32379 31580 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 651574529 18763776 385 268435456000 4194304 4287625 140735696203504 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 8 0 0 0
/proc/32379/statm: 4581 385 337 23 0 91 0
[pid=32380] ppid=32379 vsize=891348 CPUtime=1.48 cores=0
/proc/32380/stat : 32380 (cryptominisat) R 32379 32379 31580 0 -1 4202496 3482 0 0 0 148 0 0 0 20 0 1 0 651574530 912740352 2294 268435456000 4194304 4587354 140736987299072 18446744073709551615 4243562 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32380/statm: 222837 2294 328 96 0 219399 0
[pid=32381] ppid=32379 vsize=19292 CPUtime=1.48 cores=1
/proc/32381/stat : 32381 (clasp) R 32379 32379 31580 0 -1 4202496 2485 0 0 0 148 0 0 0 20 0 1 0 651574530 19755008 2173 268435456000 4194304 4785740 140736234929312 18446744073709551615 4287073 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32381/statm: 4823 2173 338 145 0 1868 0
[pid=32382] ppid=32379 vsize=454376 CPUtime=1.48 cores=2
/proc/32382/stat : 32382 (TNM) R 32379 32379 31580 0 -1 4202496 1369 0 0 0 148 0 0 0 20 0 1 0 651574530 465281024 1267 268435456000 134512640 134534564 4290905152 18446744073709551615 134529031 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32382/statm: 113594 1267 95 6 0 112259 0
[pid=32383] ppid=32379 vsize=19240 CPUtime=1.49 cores=3
/proc/32383/stat : 32383 (march_hi) R 32379 32379 31580 0 -1 4202496 6336 0 0 0 148 1 0 0 20 0 1 0 651574530 19701760 1918 268435456000 4194304 4331988 140736000522720 18446744073709551615 4228270 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32383/statm: 4810 1918 174 34 0 3252 0
[pid=32384] ppid=32379 vsize=658936 CPUtime=23.45 cores=4-31
/proc/32384/stat : 32384 (plingeling) S 32379 32379 31580 0 -1 4202496 35212 1245 0 0 2318 27 0 0 18 0 29 0 651574530 674750464 29258 268435456000 4194304 4356188 140733985083408 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 23 0 0 0
/proc/32384/statm: 164734 29258 159 40 0 163278 0
[pid=32384/tid=32391] ppid=32379 vsize=658936 CPUtime=0.8 cores=4-31
/proc/32384/task/32391/stat : 32391 (plingeling) R 32379 32379 31580 0 -1 4202560 754 1245 0 0 80 0 0 0 18 0 29 0 651574594 674750464 29258 268435456000 4194304 4356188 140733985083408 18446744073709551615 4334538 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32384/tid=32392] ppid=32379 vsize=658936 CPUtime=0.79 cores=4-31
/proc/32384/task/32392/stat : 32392 (plingeling) R 32379 32379 31580 0 -1 4202560 1224 1245 0 0 79 0 0 0 18 0 29 0 651574594 674750464 29258 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32384/tid=32393] ppid=32379 vsize=658936 CPUtime=0.81 cores=4-31
/proc/32384/task/32393/stat : 32393 (plingeling) R 32379 32379 31580 0 -1 4202560 915 1245 0 0 80 1 0 0 18 0 29 0 651574594 674750464 29258 268435456000 4194304 4356188 140733985083408 18446744073709551615 4284178 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32384/tid=32394] ppid=32379 vsize=658936 CPUtime=0.83 cores=4-31
/proc/32384/task/32394/stat : 32394 (plingeling) R 32379 32379 31580 0 -1 4202560 622 1245 0 0 83 0 0 0 18 0 29 0 651574594 674750464 29258 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331101 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32384/tid=32395] ppid=32379 vsize=658936 CPUtime=0.78 cores=4-31
/proc/32384/task/32395/stat : 32395 (plingeling) R 32379 32379 31580 0 -1 4202560 789 1245 0 0 78 0 0 0 18 0 29 0 651574594 674750464 29258 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331946 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=32384/tid=32396] ppid=32379 vsize=658936 CPUtime=0.79 cores=4-31
/proc/32384/task/32396/stat : 32396 (plingeling) R 32379 32379 31580 0 -1 4202560 532 1245 0 0 79 0 0 0 21 0 29 0 651574594 674750464 29258 268435456000 4194304 4356188 140733985083408 18446744073709551615 4279978 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32384/tid=32397] ppid=32379 vsize=658936 CPUtime=0.79 cores=4-31
/proc/32384/task/32397/stat : 32397 (plingeling) R 32379 32379 31580 0 -1 4202560 1023 1245 0 0 79 0 0 0 18 0 29 0 651574594 674750464 29258 268435456000 4194304 4356188 140733985083408 18446744073709551615 4244402 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32384/tid=32398] ppid=32379 vsize=658936 CPUtime=0.8 cores=4-31
/proc/32384/task/32398/stat : 32398 (plingeling) R 32379 32379 31580 0 -1 4202560 1099 1245 0 0 79 1 0 0 18 0 29 0 651574594 674750464 29258 268435456000 4194304 4356188 140733985083408 18446744073709551615 4210856 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=32384/tid=32399] ppid=32379 vsize=658936 CPUtime=0.79 cores=4-31
/proc/32384/task/32399/stat : 32399 (plingeling) R 32379 32379 31580 0 -1 4202560 1110 1245 0 0 79 0 0 0 18 0 29 0 651574594 674750464 29258 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331392 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=32384/tid=32400] ppid=32379 vsize=658936 CPUtime=0.79 cores=4-31
/proc/32384/task/32400/stat : 32400 (plingeling) R 32379 32379 31580 0 -1 4202560 1106 1245 0 0 79 0 0 0 18 0 29 0 651574594 674750464 29258 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331996 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=32384/tid=32401] ppid=32379 vsize=658936 CPUtime=0.82 cores=4-31
/proc/32384/task/32401/stat : 32401 (plingeling) R 32379 32379 31580 0 -1 4202560 607 1245 0 0 82 0 0 0 18 0 29 0 651574594 674750464 29258 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32384/tid=32402] ppid=32379 vsize=658936 CPUtime=0.83 cores=4-31
/proc/32384/task/32402/stat : 32402 (plingeling) R 32379 32379 31580 0 -1 4202560 648 1245 0 0 82 1 0 0 18 0 29 0 651574594 674750464 29258 268435456000 4194304 4356188 140733985083408 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32384/tid=32403] ppid=32379 vsize=658936 CPUtime=0.79 cores=4-31
/proc/32384/task/32403/stat : 32403 (plingeling) R 32379 32379 31580 0 -1 4202560 990 1245 0 0 78 1 0 0 18 0 29 0 651574594 674750464 29258 268435456000 4194304 4356188 140733985083408 18446744073709551615 4330817 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=32384/tid=32404] ppid=32379 vsize=658936 CPUtime=0.8 cores=4-31
/proc/32384/task/32404/stat : 32404 (plingeling) R 32379 32379 31580 0 -1 4202560 768 1245 0 0 80 0 0 0 18 0 29 0 651574594 674750464 29258 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=32384/tid=32405] ppid=32379 vsize=658936 CPUtime=0.79 cores=4-31
/proc/32384/task/32405/stat : 32405 (plingeling) R 32379 32379 31580 0 -1 4202560 1136 1245 0 0 79 0 0 0 18 0 29 0 651574594 674750464 29258 268435456000 4194304 4356188 140733985083408 18446744073709551615 4244275 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32384/tid=32406] ppid=32379 vsize=658936 CPUtime=0.79 cores=4-31
/proc/32384/task/32406/stat : 32406 (plingeling) R 32379 32379 31580 0 -1 4202560 1061 1245 0 0 78 1 0 0 18 0 29 0 651574594 674750464 29258 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32384/tid=32407] ppid=32379 vsize=658936 CPUtime=0.8 cores=4-31
/proc/32384/task/32407/stat : 32407 (plingeling) R 32379 32379 31580 0 -1 4202560 830 1245 0 0 79 1 0 0 18 0 29 0 651574595 674750464 29258 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331023 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32384/tid=32408] ppid=32379 vsize=658936 CPUtime=0.81 cores=4-31
/proc/32384/task/32408/stat : 32408 (plingeling) R 32379 32379 31580 0 -1 4202560 584 1245 0 0 81 0 0 0 18 0 29 0 651574595 674750464 29258 268435456000 4194304 4356188 140733985083408 18446744073709551615 4210992 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=32384/tid=32409] ppid=32379 vsize=658936 CPUtime=0.81 cores=4-31
/proc/32384/task/32409/stat : 32409 (plingeling) S 32379 32379 31580 0 -1 4202560 784 1245 0 0 81 0 0 0 18 0 29 0 651574595 674750464 29258 268435456000 4194304 4356188 140733985083408 18446744073709551615 258651060958 0 0 4096 17442 18446744071566924024 0 0 -1 18 0 0 0
[pid=32384/tid=32410] ppid=32379 vsize=658936 CPUtime=0.82 cores=4-31
/proc/32384/task/32410/stat : 32410 (plingeling) R 32379 32379 31580 0 -1 4202560 596 1245 0 0 82 0 0 0 18 0 29 0 651574595 674750464 29258 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331023 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=32384/tid=32411] ppid=32379 vsize=658936 CPUtime=0.8 cores=4-31
/proc/32384/task/32411/stat : 32411 (plingeling) R 32379 32379 31580 0 -1 4202560 855 1245 0 0 79 1 0 0 18 0 29 0 651574595 674750464 29258 268435456000 4194304 4356188 140733985083408 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=32384/tid=32412] ppid=32379 vsize=658936 CPUtime=0.81 cores=4-31
/proc/32384/task/32412/stat : 32412 (plingeling) R 32379 32379 31580 0 -1 4202560 1141 1245 0 0 80 1 0 0 18 0 29 0 651574595 674750464 29258 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=32384/tid=32413] ppid=32379 vsize=658936 CPUtime=0.81 cores=4-31
/proc/32384/task/32413/stat : 32413 (plingeling) R 32379 32379 31580 0 -1 4202560 745 1245 0 0 80 1 0 0 18 0 29 0 651574595 674750464 29258 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=32384/tid=32414] ppid=32379 vsize=658936 CPUtime=0.81 cores=4-31
/proc/32384/task/32414/stat : 32414 (plingeling) R 32379 32379 31580 0 -1 4202560 769 1245 0 0 81 0 0 0 18 0 29 0 651574595 674750464 29258 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331076 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=32384/tid=32415] ppid=32379 vsize=658936 CPUtime=0.79 cores=4-31
/proc/32384/task/32415/stat : 32415 (plingeling) R 32379 32379 31580 0 -1 4202560 809 1245 0 0 79 0 0 0 18 0 29 0 651574595 674750464 29258 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=32384/tid=32416] ppid=32379 vsize=658936 CPUtime=0.8 cores=4-31
/proc/32384/task/32416/stat : 32416 (plingeling) D 32379 32379 31580 0 -1 4202560 892 1245 0 0 80 0 0 0 21 0 29 0 651574595 674750464 29258 268435456000 4194304 4356188 140733985083408 18446744073709551615 258650616632 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=32384/tid=32417] ppid=32379 vsize=658936 CPUtime=0.83 cores=4-31
/proc/32384/task/32417/stat : 32417 (plingeling) S 32379 32379 31580 0 -1 4202560 749 1245 0 0 83 0 0 0 21 0 29 0 651574595 674750464 29258 268435456000 4194304 4356188 140733985083408 18446744073709551615 258651060958 0 0 4096 17442 18446604627843071456 0 0 -1 21 0 0 0
[pid=32384/tid=32418] ppid=32379 vsize=658936 CPUtime=0.83 cores=4-31
/proc/32384/task/32418/stat : 32418 (plingeling) R 32379 32379 31580 0 -1 4202560 281 1245 0 0 83 0 0 0 18 0 29 0 651574596 674750464 29258 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331383 0 0 4096 17442 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 29.38
Current children cumulated vsize (KiB) 2061516
[startup+3.10217 s]
/proc/loadavg: 27.83 29.92 31.19 34/447 32418
/proc/meminfo: memFree=255382748/264257624 swapFree=67111528/67111528
[pid=32379] ppid=32377 vsize=18324 CPUtime=0 cores=0-31
/proc/32379/stat : 32379 (ppfolio) S 32377 32379 31580 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 651574529 18763776 385 268435456000 4194304 4287625 140735696203504 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 8 0 0 0
/proc/32379/statm: 4581 385 337 23 0 91 0
[pid=32380] ppid=32379 vsize=902128 CPUtime=3.08 cores=0
/proc/32380/stat : 32380 (cryptominisat) R 32379 32379 31580 0 -1 4202496 6563 0 0 0 307 1 0 0 25 0 1 0 651574530 923779072 5368 268435456000 4194304 4587354 140736987299072 18446744073709551615 4238271 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32380/statm: 225532 5368 336 96 0 222094 0
[pid=32381] ppid=32379 vsize=23400 CPUtime=3.09 cores=1
/proc/32381/stat : 32381 (clasp) R 32379 32379 31580 0 -1 4202496 3510 0 0 0 308 1 0 0 25 0 1 0 651574530 23961600 3198 268435456000 4194304 4785740 140736234929312 18446744073709551615 258650616632 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32381/statm: 5850 3198 338 145 0 2895 0
[pid=32382] ppid=32379 vsize=454376 CPUtime=3.08 cores=2
/proc/32382/stat : 32382 (TNM) R 32379 32379 31580 0 -1 4202496 1369 0 0 0 308 0 0 0 25 0 1 0 651574530 465281024 1267 268435456000 134512640 134534564 4290905152 18446744073709551615 134528891 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32382/statm: 113594 1267 95 6 0 112259 0
[pid=32383] ppid=32379 vsize=19596 CPUtime=3.09 cores=3
/proc/32383/stat : 32383 (march_hi) R 32379 32379 31580 0 -1 4202496 6430 0 0 0 308 1 0 0 25 0 1 0 651574530 20066304 2011 268435456000 4194304 4331988 140736000522720 18446744073709551615 4237147 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32383/statm: 4899 2011 174 34 0 3341 0
[pid=32384] ppid=32379 vsize=672004 CPUtime=68.2 cores=4-31
/proc/32384/stat : 32384 (plingeling) S 32379 32379 31580 0 -1 4202496 47412 1245 0 0 6790 30 0 0 18 0 29 0 651574530 688132096 36564 268435456000 4194304 4356188 140733985083408 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 23 0 0 0
/proc/32384/statm: 168001 36564 159 40 0 166545 0
[pid=32384/tid=32391] ppid=32379 vsize=672004 CPUtime=2.4 cores=4-31
/proc/32384/task/32391/stat : 32391 (plingeling) R 32379 32379 31580 0 -1 4202560 1282 1245 0 0 240 0 0 0 21 0 29 0 651574594 688132096 36564 268435456000 4194304 4356188 140733985083408 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32384/tid=32392] ppid=32379 vsize=672004 CPUtime=2.4 cores=4-31
/proc/32384/task/32392/stat : 32392 (plingeling) R 32379 32379 31580 0 -1 4202560 1588 1245 0 0 239 1 0 0 21 0 29 0 651574594 688132096 36564 268435456000 4194304 4356188 140733985083408 18446744073709551615 4279989 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32384/tid=32393] ppid=32379 vsize=672004 CPUtime=2.41 cores=4-31
/proc/32384/task/32393/stat : 32393 (plingeling) R 32379 32379 31580 0 -1 4202560 1155 1245 0 0 240 1 0 0 21 0 29 0 651574594 688132096 36564 268435456000 4194304 4356188 140733985083408 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32384/tid=32394] ppid=32379 vsize=672004 CPUtime=2.43 cores=4-31
/proc/32384/task/32394/stat : 32394 (plingeling) R 32379 32379 31580 0 -1 4202560 878 1245 0 0 243 0 0 0 22 0 29 0 651574594 688132096 36564 268435456000 4194304 4356188 140733985083408 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32384/tid=32395] ppid=32379 vsize=672004 CPUtime=2.38 cores=4-31
/proc/32384/task/32395/stat : 32395 (plingeling) R 32379 32379 31580 0 -1 4202560 1250 1245 0 0 238 0 0 0 21 0 29 0 651574594 688132096 36564 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=32384/tid=32396] ppid=32379 vsize=672004 CPUtime=2.39 cores=4-31
/proc/32384/task/32396/stat : 32396 (plingeling) R 32379 32379 31580 0 -1 4202560 879 1245 0 0 239 0 0 0 25 0 29 0 651574594 688132096 36564 268435456000 4194304 4356188 140733985083408 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32384/tid=32397] ppid=32379 vsize=672004 CPUtime=2.35 cores=4-31
/proc/32384/task/32397/stat : 32397 (plingeling) R 32379 32379 31580 0 -1 4202560 1335 1245 0 0 235 0 0 0 20 0 29 0 651574594 688132096 36564 268435456000 4194304 4356188 140733985083408 18446744073709551615 4212176 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32384/tid=32398] ppid=32379 vsize=672004 CPUtime=2.4 cores=4-31
/proc/32384/task/32398/stat : 32398 (plingeling) R 32379 32379 31580 0 -1 4202560 1419 1245 0 0 239 1 0 0 21 0 29 0 651574594 688132096 36564 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331296 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=32384/tid=32399] ppid=32379 vsize=672004 CPUtime=2.39 cores=4-31
/proc/32384/task/32399/stat : 32399 (plingeling) R 32379 32379 31580 0 -1 4202560 1474 1245 0 0 239 0 0 0 21 0 29 0 651574594 688132096 36564 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331019 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=32384/tid=32400] ppid=32379 vsize=672004 CPUtime=2.4 cores=4-31
/proc/32384/task/32400/stat : 32400 (plingeling) R 32379 32379 31580 0 -1 4202560 1650 1245 0 0 239 1 0 0 21 0 29 0 651574594 688132096 36564 268435456000 4194304 4356188 140733985083408 18446744073709551615 4234040 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=32384/tid=32401] ppid=32379 vsize=672004 CPUtime=2.42 cores=4-31
/proc/32384/task/32401/stat : 32401 (plingeling) R 32379 32379 31580 0 -1 4202560 807 1245 0 0 242 0 0 0 21 0 29 0 651574594 688132096 36564 268435456000 4194304 4356188 140733985083408 18446744073709551615 4330876 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32384/tid=32402] ppid=32379 vsize=672004 CPUtime=2.42 cores=4-31
/proc/32384/task/32402/stat : 32402 (plingeling) R 32379 32379 31580 0 -1 4202560 1352 1245 0 0 241 1 0 0 20 0 29 0 651574594 688132096 36564 268435456000 4194304 4356188 140733985083408 18446744073709551615 4332288 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32384/tid=32403] ppid=32379 vsize=672004 CPUtime=2.39 cores=4-31
/proc/32384/task/32403/stat : 32403 (plingeling) R 32379 32379 31580 0 -1 4202560 1310 1245 0 0 238 1 0 0 21 0 29 0 651574594 688132096 36564 268435456000 4194304 4356188 140733985083408 18446744073709551615 4234300 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=32384/tid=32404] ppid=32379 vsize=672004 CPUtime=2.4 cores=4-31
/proc/32384/task/32404/stat : 32404 (plingeling) R 32379 32379 31580 0 -1 4202560 1088 1245 0 0 240 0 0 0 21 0 29 0 651574594 688132096 36564 268435456000 4194304 4356188 140733985083408 18446744073709551615 4233969 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=32384/tid=32405] ppid=32379 vsize=672004 CPUtime=2.4 cores=4-31
/proc/32384/task/32405/stat : 32405 (plingeling) R 32379 32379 31580 0 -1 4202560 1763 1245 0 0 239 1 0 0 20 0 29 0 651574594 688132096 36564 268435456000 4194304 4356188 140733985083408 18446744073709551615 4334501 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32384/tid=32406] ppid=32379 vsize=672004 CPUtime=2.39 cores=4-31
/proc/32384/task/32406/stat : 32406 (plingeling) R 32379 32379 31580 0 -1 4202560 1269 1245 0 0 238 1 0 0 20 0 29 0 651574594 688132096 36564 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32384/tid=32407] ppid=32379 vsize=672004 CPUtime=2.4 cores=4-31
/proc/32384/task/32407/stat : 32407 (plingeling) R 32379 32379 31580 0 -1 4202560 1390 1245 0 0 239 1 0 0 21 0 29 0 651574595 688132096 36564 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331799 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32384/tid=32408] ppid=32379 vsize=672004 CPUtime=2.4 cores=4-31
################
# More data... #
################
[pid=32384/tid=32417] ppid=32379 vsize=2487904 CPUtime=4276.65 cores=4-31
/proc/32384/task/32417/stat : 32417 (plingeling) R 32379 32379 31580 0 -1 4202560 336969 1245 0 0 427505 160 0 0 25 0 29 0 651574595 2547613696 494717 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=32384/tid=32418] ppid=32379 vsize=2487904 CPUtime=4271.49 cores=4-31
/proc/32384/task/32418/stat : 32418 (plingeling) R 32379 32379 31580 0 -1 4202560 285565 1245 0 0 427021 128 0 0 25 0 29 0 651574596 2547613696 494717 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331023 0 0 4096 17442 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 136728
Current children cumulated vsize (KiB) 3784776
[startup+4279.1 s]
/proc/loadavg: 32.06 32.09 32.04 33/447 32547
/proc/meminfo: memFree=252898708/264257624 swapFree=67111528/67111528
[pid=32379] ppid=32377 vsize=18324 CPUtime=0 cores=0-31
/proc/32379/stat : 32379 (ppfolio) S 32377 32379 31580 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 651574529 18763776 385 268435456000 4194304 4287625 140735696203504 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 8 0 0 0
/proc/32379/statm: 4581 385 337 23 0 91 0
[pid=32380] ppid=32379 vsize=144516 CPUtime=4277.79 cores=0
/proc/32380/stat : 32380 (cryptominisat) R 32379 32379 31580 0 -1 4202496 143267 0 0 0 427706 73 0 0 25 0 1 0 651574530 147984384 32512 268435456000 4194304 4587354 140736987299072 18446744073709551615 4238658 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32380/statm: 36129 32512 336 96 0 32691 0
[pid=32381] ppid=32379 vsize=314156 CPUtime=4278.28 cores=1
/proc/32381/stat : 32381 (clasp) R 32379 32379 31580 0 -1 4202496 74944 0 0 0 427796 32 0 0 25 0 1 0 651574530 321695744 73717 268435456000 4194304 4785740 140736234929312 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32381/statm: 78539 73717 339 145 0 75584 0
[pid=32382] ppid=32379 vsize=454380 CPUtime=4278.28 cores=2
/proc/32382/stat : 32382 (TNM) R 32379 32379 31580 0 -1 4202496 1378 0 0 0 427828 0 0 0 25 0 1 0 651574530 465285120 1276 268435456000 134512640 134534564 4290905152 18446744073709551615 134528979 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32382/statm: 113595 1276 103 6 0 112260 0
[pid=32383] ppid=32379 vsize=365496 CPUtime=4278.26 cores=3
/proc/32383/stat : 32383 (march_hi) R 32379 32379 31580 0 -1 4202496 73526 0 0 0 427734 92 0 0 25 0 1 0 651574530 374267904 69107 268435456000 4194304 4331988 140736000522720 18446744073709551615 4226434 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32383/statm: 91374 69107 174 34 0 89816 0
[pid=32384] ppid=32379 vsize=2461792 CPUtime=119641 cores=4-31
/proc/32384/stat : 32384 (plingeling) S 32379 32379 31580 0 -1 4202496 8693635 1245 0 0 11958627 5490 0 0 18 0 29 0 651574530 2520875008 488189 268435456000 4194304 4356188 140733985083408 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 23 0 0 0
/proc/32384/statm: 615448 488189 159 40 0 613992 0
[pid=32384/tid=32391] ppid=32379 vsize=2461792 CPUtime=4245.49 cores=4-31
/proc/32384/task/32391/stat : 32391 (plingeling) R 32379 32379 31580 0 -1 4202560 290253 1245 0 0 424373 176 0 0 25 0 29 0 651574594 2520875008 488189 268435456000 4194304 4356188 140733985083408 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=32384/tid=32392] ppid=32379 vsize=2461792 CPUtime=4277.16 cores=4-31
/proc/32384/task/32392/stat : 32392 (plingeling) R 32379 32379 31580 0 -1 4202560 281392 1245 0 0 427524 192 0 0 25 0 29 0 651574594 2520875008 488189 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32384/tid=32393] ppid=32379 vsize=2461792 CPUtime=4277.07 cores=4-31
/proc/32384/task/32393/stat : 32393 (plingeling) R 32379 32379 31580 0 -1 4202560 339719 1245 0 0 427527 180 0 0 25 0 29 0 651574594 2520875008 488189 268435456000 4194304 4356188 140733985083408 18446744073709551615 4250605 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32384/tid=32394] ppid=32379 vsize=2461792 CPUtime=4277.22 cores=4-31
/proc/32384/task/32394/stat : 32394 (plingeling) R 32379 32379 31580 0 -1 4202560 380920 1245 0 0 427496 226 0 0 25 0 29 0 651574594 2520875008 488189 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32384/tid=32395] ppid=32379 vsize=2461792 CPUtime=4277.4 cores=4-31
/proc/32384/task/32395/stat : 32395 (plingeling) R 32379 32379 31580 0 -1 4202560 344033 1245 0 0 427523 217 0 0 25 0 29 0 651574594 2520875008 488189 268435456000 4194304 4356188 140733985083408 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=32384/tid=32396] ppid=32379 vsize=2461792 CPUtime=4277.42 cores=4-31
/proc/32384/task/32396/stat : 32396 (plingeling) R 32379 32379 31580 0 -1 4202560 345660 1245 0 0 427550 192 0 0 25 0 29 0 651574594 2520875008 488189 268435456000 4194304 4356188 140733985083408 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32384/tid=32397] ppid=32379 vsize=2461792 CPUtime=4276.63 cores=4-31
/proc/32384/task/32397/stat : 32397 (plingeling) R 32379 32379 31580 0 -1 4202560 308547 1245 0 0 427466 197 0 0 25 0 29 0 651574594 2520875008 488189 268435456000 4194304 4356188 140733985083408 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32384/tid=32398] ppid=32379 vsize=2461792 CPUtime=4277.45 cores=4-31
/proc/32384/task/32398/stat : 32398 (plingeling) R 32379 32379 31580 0 -1 4202560 272086 1245 0 0 427466 279 0 0 25 0 29 0 651574594 2520875008 488189 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=32384/tid=32399] ppid=32379 vsize=2461792 CPUtime=4277.37 cores=4-31
/proc/32384/task/32399/stat : 32399 (plingeling) R 32379 32379 31580 0 -1 4202560 309610 1245 0 0 427537 200 0 0 25 0 29 0 651574594 2520875008 488189 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=32384/tid=32400] ppid=32379 vsize=2461792 CPUtime=4277.27 cores=4-31
/proc/32384/task/32400/stat : 32400 (plingeling) R 32379 32379 31580 0 -1 4202560 309044 1245 0 0 427538 189 0 0 25 0 29 0 651574594 2520875008 488189 268435456000 4194304 4356188 140733985083408 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=32384/tid=32401] ppid=32379 vsize=2461792 CPUtime=4277.47 cores=4-31
/proc/32384/task/32401/stat : 32401 (plingeling) R 32379 32379 31580 0 -1 4202560 320020 1245 0 0 427577 170 0 0 25 0 29 0 651574594 2520875008 488189 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32384/tid=32402] ppid=32379 vsize=2461792 CPUtime=4270.7 cores=4-31
/proc/32384/task/32402/stat : 32402 (plingeling) R 32379 32379 31580 0 -1 4202560 276276 1245 0 0 426903 167 0 0 25 0 29 0 651574594 2520875008 488189 268435456000 4194304 4356188 140733985083408 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32384/tid=32403] ppid=32379 vsize=2461792 CPUtime=4275.43 cores=4-31
/proc/32384/task/32403/stat : 32403 (plingeling) R 32379 32379 31580 0 -1 4202560 322089 1245 0 0 427327 216 0 0 25 0 29 0 651574594 2520875008 488189 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32384/tid=32404] ppid=32379 vsize=2461792 CPUtime=4277.34 cores=4-31
/proc/32384/task/32404/stat : 32404 (plingeling) R 32379 32379 31580 0 -1 4202560 340651 1245 0 0 427530 204 0 0 25 0 29 0 651574594 2520875008 488189 268435456000 4194304 4356188 140733985083408 18446744073709551615 4330982 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=32384/tid=32405] ppid=32379 vsize=2461792 CPUtime=4277.2 cores=4-31
/proc/32384/task/32405/stat : 32405 (plingeling) R 32379 32379 31580 0 -1 4202560 284186 1245 0 0 427531 189 0 0 25 0 29 0 651574594 2520875008 488189 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=32384/tid=32406] ppid=32379 vsize=2461792 CPUtime=4226.24 cores=4-31
/proc/32384/task/32406/stat : 32406 (plingeling) R 32379 32379 31580 0 -1 4202560 243143 1245 0 0 422413 211 0 0 25 0 29 0 651574594 2520875008 488189 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331971 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32384/tid=32407] ppid=32379 vsize=2461792 CPUtime=4275.29 cores=4-31
/proc/32384/task/32407/stat : 32407 (plingeling) R 32379 32379 31580 0 -1 4202560 305439 1245 0 0 427354 175 0 0 25 0 29 0 651574595 2520875008 488189 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=32384/tid=32408] ppid=32379 vsize=2461792 CPUtime=4265.11 cores=4-31
/proc/32384/task/32408/stat : 32408 (plingeling) R 32379 32379 31580 0 -1 4202560 295845 1245 0 0 426303 208 0 0 25 0 29 0 651574595 2520875008 488189 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=32384/tid=32409] ppid=32379 vsize=2461792 CPUtime=4270.09 cores=4-31
/proc/32384/task/32409/stat : 32409 (plingeling) R 32379 32379 31580 0 -1 4202560 336375 1245 0 0 426837 172 0 0 25 0 29 0 651574595 2520875008 488189 268435456000 4194304 4356188 140733985083408 18446744073709551615 4330976 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=32384/tid=32410] ppid=32379 vsize=2461792 CPUtime=4276.57 cores=4-31
/proc/32384/task/32410/stat : 32410 (plingeling) R 32379 32379 31580 0 -1 4202560 343950 1245 0 0 427463 194 0 0 25 0 29 0 651574595 2520875008 488189 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331050 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32384/tid=32411] ppid=32379 vsize=2461792 CPUtime=4277.09 cores=4-31
/proc/32384/task/32411/stat : 32411 (plingeling) R 32379 32379 31580 0 -1 4202560 300795 1245 0 0 427501 208 0 0 25 0 29 0 651574595 2520875008 488189 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=32384/tid=32412] ppid=32379 vsize=2461792 CPUtime=4277.53 cores=4-31
/proc/32384/task/32412/stat : 32412 (plingeling) R 32379 32379 31580 0 -1 4202560 356490 1245 0 0 427535 218 0 0 25 0 29 0 651574595 2520875008 488189 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=32384/tid=32413] ppid=32379 vsize=2461792 CPUtime=4274.14 cores=4-31
/proc/32384/task/32413/stat : 32413 (plingeling) R 32379 32379 31580 0 -1 4202560 268204 1245 0 0 427240 174 0 0 25 0 29 0 651574595 2520875008 488189 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32384/tid=32414] ppid=32379 vsize=2461792 CPUtime=4277.51 cores=4-31
/proc/32384/task/32414/stat : 32414 (plingeling) R 32379 32379 31580 0 -1 4202560 242924 1245 0 0 427515 236 0 0 25 0 29 0 651574595 2520875008 488189 268435456000 4194304 4356188 140733985083408 18446744073709551615 4332239 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=32384/tid=32415] ppid=32379 vsize=2461792 CPUtime=4276.9 cores=4-31
/proc/32384/task/32415/stat : 32415 (plingeling) R 32379 32379 31580 0 -1 4202560 330651 1245 0 0 427483 207 0 0 25 0 29 0 651574595 2520875008 488189 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=32384/tid=32416] ppid=32379 vsize=2461792 CPUtime=4275.44 cores=4-31
/proc/32384/task/32416/stat : 32416 (plingeling) R 32379 32379 31580 0 -1 4202560 311006 1245 0 0 427358 186 0 0 25 0 29 0 651574595 2520875008 488189 268435456000 4194304 4356188 140733985083408 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=32384/tid=32417] ppid=32379 vsize=2461792 CPUtime=4277.45 cores=4-31
/proc/32384/task/32417/stat : 32417 (plingeling) R 32379 32379 31580 0 -1 4202560 336969 1245 0 0 427585 160 0 0 25 0 29 0 651574595 2520875008 488189 268435456000 4194304 4356188 140733985083408 18446744073709551615 4279666 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=32384/tid=32418] ppid=32379 vsize=2461792 CPUtime=4272.29 cores=4-31
/proc/32384/task/32418/stat : 32418 (plingeling) R 32379 32379 31580 0 -1 4202560 285565 1245 0 0 427101 128 0 0 25 0 29 0 651574596 2520875008 488189 268435456000 4194304 4356188 140733985083408 18446744073709551615 4332023 0 0 4096 17442 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 136754
Current children cumulated vsize (KiB) 3758664
[startup+4279.9 s]
/proc/loadavg: 32.06 32.09 32.04 33/447 32547
/proc/meminfo: memFree=252898708/264257624 swapFree=67111528/67111528
[pid=32379] ppid=32377 vsize=18324 CPUtime=0 cores=0-31
/proc/32379/stat : 32379 (ppfolio) S 32377 32379 31580 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 651574529 18763776 385 268435456000 4194304 4287625 140735696203504 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 8 0 0 0
/proc/32379/statm: 4581 385 337 23 0 91 0
[pid=32380] ppid=32379 vsize=144516 CPUtime=4278.59 cores=0
/proc/32380/stat : 32380 (cryptominisat) R 32379 32379 31580 0 -1 4202496 143267 0 0 0 427786 73 0 0 25 0 1 0 651574530 147984384 32512 268435456000 4194304 4587354 140736987299072 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32380/statm: 36129 32512 336 96 0 32691 0
[pid=32381] ppid=32379 vsize=314156 CPUtime=4279.08 cores=1
/proc/32381/stat : 32381 (clasp) R 32379 32379 31580 0 -1 4202496 74944 0 0 0 427876 32 0 0 25 0 1 0 651574530 321695744 73717 268435456000 4194304 4785740 140736234929312 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32381/statm: 78539 73717 339 145 0 75584 0
[pid=32382] ppid=32379 vsize=454380 CPUtime=4279.08 cores=2
/proc/32382/stat : 32382 (TNM) R 32379 32379 31580 0 -1 4202496 1378 0 0 0 427908 0 0 0 25 0 1 0 651574530 465285120 1276 268435456000 134512640 134534564 4290905152 18446744073709551615 134528913 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32382/statm: 113595 1276 103 6 0 112260 0
[pid=32383] ppid=32379 vsize=365496 CPUtime=4279.06 cores=3
/proc/32383/stat : 32383 (march_hi) R 32379 32379 31580 0 -1 4202496 73541 0 0 0 427814 92 0 0 25 0 1 0 651574530 374267904 69122 268435456000 4194304 4331988 140736000522720 18446744073709551615 4226474 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32383/statm: 91374 69122 174 34 0 89816 0
[pid=32384] ppid=32379 vsize=2466912 CPUtime=119663 cores=4-31
/proc/32384/stat : 32384 (plingeling) S 32379 32379 31580 0 -1 4202496 8694916 1245 0 0 11960828 5492 0 0 18 0 22 0 651574530 2526117888 489470 268435456000 4194304 4356188 140733985083408 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 23 0 0 0
/proc/32384/statm: 616728 489470 160 40 0 615272 0
[pid=32384/tid=32391] ppid=32379 vsize=2466912 CPUtime=4246.29 cores=4-31
/proc/32384/task/32391/stat : 32391 (plingeling) R 32379 32379 31580 0 -1 4202560 290253 1245 0 0 424453 176 0 0 25 0 22 0 651574594 2526117888 489470 268435456000 4194304 4356188 140733985083408 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=32384/tid=32393] ppid=32379 vsize=2466912 CPUtime=4277.87 cores=4-31
/proc/32384/task/32393/stat : 32393 (plingeling) R 32379 32379 31580 0 -1 4202560 339719 1245 0 0 427607 180 0 0 25 0 22 0 651574594 2526117888 489470 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32384/tid=32395] ppid=32379 vsize=2466912 CPUtime=4278.2 cores=4-31
/proc/32384/task/32395/stat : 32395 (plingeling) R 32379 32379 31580 0 -1 4202560 344033 1245 0 0 427603 217 0 0 25 0 22 0 651574594 2526117888 489470 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331106 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=32384/tid=32396] ppid=32379 vsize=2466912 CPUtime=4278.21 cores=4-31
/proc/32384/task/32396/stat : 32396 (plingeling) R 32379 32379 31580 0 -1 4202560 345660 1245 0 0 427629 192 0 0 25 0 22 0 651574594 2526117888 489470 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32384/tid=32397] ppid=32379 vsize=2466912 CPUtime=4277.43 cores=4-31
/proc/32384/task/32397/stat : 32397 (plingeling) R 32379 32379 31580 0 -1 4202560 308547 1245 0 0 427546 197 0 0 25 0 22 0 651574594 2526117888 489470 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32384/tid=32398] ppid=32379 vsize=2466912 CPUtime=4278.25 cores=4-31
/proc/32384/task/32398/stat : 32398 (plingeling) R 32379 32379 31580 0 -1 4202560 272086 1245 0 0 427546 279 0 0 25 0 22 0 651574594 2526117888 489470 268435456000 4194304 4356188 140733985083408 18446744073709551615 4332136 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=32384/tid=32400] ppid=32379 vsize=2466912 CPUtime=4278.07 cores=4-31
/proc/32384/task/32400/stat : 32400 (plingeling) R 32379 32379 31580 0 -1 4202560 309044 1245 0 0 427618 189 0 0 25 0 22 0 651574594 2526117888 489470 268435456000 4194304 4356188 140733985083408 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=32384/tid=32401] ppid=32379 vsize=2466912 CPUtime=4278.27 cores=4-31
/proc/32384/task/32401/stat : 32401 (plingeling) R 32379 32379 31580 0 -1 4202560 320020 1245 0 0 427657 170 0 0 25 0 22 0 651574594 2526117888 489470 268435456000 4194304 4356188 140733985083408 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32384/tid=32402] ppid=32379 vsize=2466912 CPUtime=4271.5 cores=4-31
/proc/32384/task/32402/stat : 32402 (plingeling) R 32379 32379 31580 0 -1 4202560 276276 1245 0 0 426983 167 0 0 25 0 22 0 651574594 2526117888 489470 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32384/tid=32403] ppid=32379 vsize=2466912 CPUtime=4276.23 cores=4-31
/proc/32384/task/32403/stat : 32403 (plingeling) R 32379 32379 31580 0 -1 4202560 322089 1245 0 0 427407 216 0 0 25 0 22 0 651574594 2526117888 489470 268435456000 4194304 4356188 140733985083408 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32384/tid=32404] ppid=32379 vsize=2466912 CPUtime=4278.15 cores=4-31
/proc/32384/task/32404/stat : 32404 (plingeling) R 32379 32379 31580 0 -1 4202560 341163 1245 0 0 427609 206 0 0 25 0 22 0 651574594 2526117888 489470 268435456000 4194304 4356188 140733985083408 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=32384/tid=32406] ppid=32379 vsize=2466912 CPUtime=4227.03 cores=4-31
/proc/32384/task/32406/stat : 32406 (plingeling) R 32379 32379 31580 0 -1 4202560 243143 1245 0 0 422492 211 0 0 25 0 22 0 651574594 2526117888 489470 268435456000 4194304 4356188 140733985083408 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32384/tid=32407] ppid=32379 vsize=2466912 CPUtime=4276.09 cores=4-31
/proc/32384/task/32407/stat : 32407 (plingeling) R 32379 32379 31580 0 -1 4202560 305439 1245 0 0 427434 175 0 0 25 0 22 0 651574595 2526117888 489470 268435456000 4194304 4356188 140733985083408 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=32384/tid=32409] ppid=32379 vsize=2466912 CPUtime=4270.9 cores=4-31
/proc/32384/task/32409/stat : 32409 (plingeling) R 32379 32379 31580 0 -1 4202560 336631 1245 0 0 426917 173 0 0 25 0 22 0 651574595 2526117888 489470 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=32384/tid=32411] ppid=32379 vsize=2466912 CPUtime=4277.88 cores=4-31
/proc/32384/task/32411/stat : 32411 (plingeling) R 32379 32379 31580 0 -1 4202560 300795 1245 0 0 427580 208 0 0 25 0 22 0 651574595 2526117888 489470 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=32384/tid=32412] ppid=32379 vsize=2466912 CPUtime=4278.33 cores=4-31
/proc/32384/task/32412/stat : 32412 (plingeling) R 32379 32379 31580 0 -1 4202560 356746 1245 0 0 427614 219 0 0 25 0 22 0 651574595 2526117888 489470 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=32384/tid=32413] ppid=32379 vsize=2466912 CPUtime=4274.94 cores=4-31
/proc/32384/task/32413/stat : 32413 (plingeling) R 32379 32379 31580 0 -1 4202560 268460 1245 0 0 427320 174 0 0 25 0 22 0 651574595 2526117888 489470 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32384/tid=32414] ppid=32379 vsize=2466912 CPUtime=4278.31 cores=4-31
/proc/32384/task/32414/stat : 32414 (plingeling) R 32379 32379 31580 0 -1 4202560 242924 1245 0 0 427595 236 0 0 25 0 22 0 651574595 2526117888 489470 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=32384/tid=32415] ppid=32379 vsize=2466912 CPUtime=4277.7 cores=4-31
/proc/32384/task/32415/stat : 32415 (plingeling) R 32379 32379 31580 0 -1 4202560 330651 1245 0 0 427563 207 0 0 25 0 22 0 651574595 2526117888 489470 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=32384/tid=32416] ppid=32379 vsize=2466912 CPUtime=4276.24 cores=4-31
/proc/32384/task/32416/stat : 32416 (plingeling) R 32379 32379 31580 0 -1 4202560 311006 1245 0 0 427438 186 0 0 25 0 22 0 651574595 2526117888 489470 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=32384/tid=32417] ppid=32379 vsize=2466912 CPUtime=4278.25 cores=4-31
/proc/32384/task/32417/stat : 32417 (plingeling) R 32379 32379 31580 0 -1 4202560 336969 1245 0 0 427665 160 0 0 25 0 22 0 651574595 2526117888 489470 268435456000 4194304 4356188 140733985083408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 136779
Current children cumulated vsize (KiB) 3763784
[startup+4280.3 s]
/proc/loadavg: 32.06 32.09 32.04 11/425 32547
/proc/meminfo: memFree=252919840/264257624 swapFree=67111528/67111528
[pid=32379] ppid=32377 vsize=18324 CPUtime=123945 cores=0-31
/proc/32379/stat : 32379 (ppfolio) S 32377 32379 31580 0 -1 4202496 513 8697542 0 0 0 0 12388939 5513 15 0 1 0 651574529 18763776 386 268435456000 4194304 4287625 140735696203504 18446744073709551615 258650975999 0 0 4096 65536 4398046478624 0 0 17 8 0 0 0
/proc/32379/statm: 4581 386 338 23 0 91 0
[pid=32380] ppid=32379 vsize=0 CPUtime=4278.99 cores=0
/proc/32380/stat : 32380 (cryptominisat) R 32379 32379 31580 0 -1 4203524 143267 0 0 0 427825 74 0 0 25 0 1 0 651574530 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32380/statm: 0 0 0 0 0 0 0
[pid=32381] ppid=32379 vsize=0 CPUtime=4279.48 cores=1
/proc/32381/stat : 32381 (clasp) R 32379 32379 31580 0 -1 4203524 74944 0 0 0 427915 33 0 0 25 0 1 0 651574530 0 0 268435456000 0 0 0 0 0 0 0 4096 16386 18446744073709551615 0 0 17 1 0 0 0
/proc/32381/statm: 0 0 0 0 0 0 0
[pid=32383] ppid=32379 vsize=0 CPUtime=4279.46 cores=3
/proc/32383/stat : 32383 (march_hi) R 32379 32379 31580 0 -1 4203524 73549 0 0 0 427853 93 0 0 25 0 1 0 651574530 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/32383/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 136782
Current children cumulated vsize (KiB) 18324
Child status: 0
Real time (s): 4280.32
CPU time (s): 136783
CPU user time (s): 136725
CPU system time (s): 57.1853
CPU usage (%): 3195.62
Max. virtual memory (cumulated for all children) (KiB): 6928368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 136725
system time used= 57.1853
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8989834
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= 4345
involuntary context switches= 337452
runsolver used 24.1563 second user time and 96.6413 second system time
The end
Begin job on node200 at 2011-05-14 21:21:21
IDJOB=3347629
IDBENCH=84180
IDSOLVER=1808
FILE ID=node200/3347629-1305400881
RUNJOBID= node200-1305390664-31594
PBS_JOBID= 13285492
Free space on /tmp= 62052 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT03/industrial/maris/CNF/gripper13u.shuffled-as.sat03-395.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347629-1305400881/watcher-3347629-1305400881 -o /tmp/evaluation-result-3347629-1305400881/solver-3347629-1305400881 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347629-1305400881.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 3889b7ed90cc1fbe8bc8d140a1763832
RANDOM SEED=628962596
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: 255569740 kB
Buffers: 437988 kB
Cached: 7834688 kB
SwapCached: 0 kB
Active: 7385120 kB
Inactive: 956284 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255569740 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 10140 kB
Writeback: 0 kB
AnonPages: 71024 kB
Mapped: 15796 kB
Slab: 250124 kB
PageTables: 6312 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 188884 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 22:32:42