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
3259.94/103.20 s UNSATISFIABLE
3259.94/103.21 solver [5] plingeling 276-6264d55-100731 answered
3259.94/103.21 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-3347539-1305303850/watcher-3347539-1305303850 -o /tmp/evaluation-result-3347539-1305303850/solver-3347539-1305303850 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347539-1305303850.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: 28.65 30.58 30.88 1/413 25836
/proc/meminfo: memFree=255623944/264257624 swapFree=67111528/67111528
[pid=25836] ppid=25834 vsize=18324 CPUtime=0 cores=0-31
/proc/25836/stat : 25836 (ppfolio) S 25834 25836 25371 0 -1 4202496 515 0 0 0 0 0 0 0 18 0 1 0 641871486 18763776 386 268435456000 4194304 4287625 140736090952976 18446744073709551615 258650975999 0 0 4096 65536 9185487131064139775 0 0 17 8 0 0 0
/proc/25836/statm: 4581 386 337 23 0 91 0
[startup+0.108631 s]
/proc/loadavg: 28.65 30.58 30.88 1/413 25836
/proc/meminfo: memFree=255623944/264257624 swapFree=67111528/67111528
[pid=25836] ppid=25834 vsize=18324 CPUtime=0 cores=0-31
/proc/25836/stat : 25836 (ppfolio) S 25834 25836 25371 0 -1 4202496 515 0 0 0 0 0 0 0 17 0 1 0 641871486 18763776 386 268435456000 4194304 4287625 140736090952976 18446744073709551615 258650975999 0 0 4096 65536 9185487131064139775 0 0 17 8 0 0 0
/proc/25836/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.20062 s]
/proc/loadavg: 28.65 30.58 30.88 1/413 25836
/proc/meminfo: memFree=255623944/264257624 swapFree=67111528/67111528
[pid=25836] ppid=25834 vsize=18324 CPUtime=0 cores=0-31
/proc/25836/stat : 25836 (ppfolio) S 25834 25836 25371 0 -1 4202496 515 0 0 0 0 0 0 0 17 0 1 0 641871486 18763776 386 268435456000 4194304 4287625 140736090952976 18446744073709551615 258650975999 0 0 4096 65536 9185487131064139775 0 0 17 8 0 0 0
/proc/25836/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300669 s]
/proc/loadavg: 28.65 30.58 30.88 1/413 25836
/proc/meminfo: memFree=255623944/264257624 swapFree=67111528/67111528
[pid=25836] ppid=25834 vsize=18324 CPUtime=0 cores=0-31
/proc/25836/stat : 25836 (ppfolio) S 25834 25836 25371 0 -1 4202496 515 0 0 0 0 0 0 0 17 0 1 0 641871486 18763776 386 268435456000 4194304 4287625 140736090952976 18446744073709551615 258650975999 0 0 4096 65536 9185487131064139775 0 0 17 8 0 0 0
/proc/25836/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700614 s]
/proc/loadavg: 28.65 30.58 30.88 1/413 25836
/proc/meminfo: memFree=255623944/264257624 swapFree=67111528/67111528
[pid=25836] ppid=25834 vsize=18324 CPUtime=0 cores=0-31
/proc/25836/stat : 25836 (ppfolio) S 25834 25836 25371 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 641871486 18763776 386 268435456000 4194304 4287625 140736090952976 18446744073709551615 258650975999 0 0 4096 65536 9185487131064139775 0 0 17 8 0 0 0
/proc/25836/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50062 s]
/proc/loadavg: 28.65 30.58 30.88 6/419 25847
/proc/meminfo: memFree=255486372/264257624 swapFree=67111528/67111528
[pid=25836] ppid=25834 vsize=18324 CPUtime=0 cores=0-31
/proc/25836/stat : 25836 (ppfolio) S 25834 25836 25371 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 641871486 18763776 386 268435456000 4194304 4287625 140736090952976 18446744073709551615 258650975999 0 0 4096 65536 9185487131064139775 0 0 17 8 0 0 0
/proc/25836/statm: 4581 386 337 23 0 91 0
[pid=25837] ppid=25836 vsize=41996 CPUtime=1.48 cores=0
/proc/25837/stat : 25837 (cryptominisat) R 25836 25836 25371 0 -1 4202496 6726 0 0 0 147 1 0 0 20 0 1 0 641871487 43003904 5406 268435456000 4194304 4587354 140737397330160 18446744073709551615 4243968 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25837/statm: 10499 5406 328 96 0 7061 0
[pid=25838] ppid=25836 vsize=24804 CPUtime=1.48 cores=1
/proc/25838/stat : 25838 (clasp) R 25836 25836 25371 0 -1 4202496 4424 0 0 0 147 1 0 0 20 0 1 0 641871487 25399296 3502 268435456000 4194304 4785740 140736289181328 18446744073709551615 258650616632 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25838/statm: 6201 3502 338 145 0 3246 0
[pid=25839] ppid=25836 vsize=460712 CPUtime=1.48 cores=2
/proc/25839/stat : 25839 (TNM) R 25836 25836 25371 0 -1 4202496 2617 0 0 0 147 1 0 0 20 0 1 0 641871487 471769088 2514 268435456000 134512640 134534564 4289377584 18446744073709551615 134530712 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/25839/statm: 115178 2514 95 6 0 113843 0
[pid=25840] ppid=25836 vsize=51372 CPUtime=1.48 cores=3
/proc/25840/stat : 25840 (march_hi) R 25836 25836 25371 0 -1 4202496 24484 0 0 0 143 5 0 0 20 0 1 0 641871487 52604928 6371 268435456000 4194304 4331988 140735999948496 18446744073709551615 4211159 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25840/statm: 12843 6371 174 34 0 11285 0
[pid=25841] ppid=25836 vsize=585220 CPUtime=6.42 cores=4-31
/proc/25841/stat : 25841 (plingeling) S 25836 25836 25371 0 -1 4202496 29147 1248 0 0 633 8 0 1 19 0 29 0 641871487 599265280 24197 268435456000 4194304 4356188 140737144633216 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/25841/statm: 146305 24197 136 40 0 144849 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 1182428
[startup+3.10167 s]
/proc/loadavg: 28.65 30.58 30.88 33/447 25875
/proc/meminfo: memFree=255437788/264257624 swapFree=67111528/67111528
[pid=25836] ppid=25834 vsize=18324 CPUtime=0 cores=0-31
/proc/25836/stat : 25836 (ppfolio) S 25834 25836 25371 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 641871486 18763776 386 268435456000 4194304 4287625 140736090952976 18446744073709551615 258650975999 0 0 4096 65536 9185487131064139775 0 0 17 8 0 0 0
/proc/25836/statm: 4581 386 337 23 0 91 0
[pid=25837] ppid=25836 vsize=42176 CPUtime=3.08 cores=0
/proc/25837/stat : 25837 (cryptominisat) R 25836 25836 25371 0 -1 4202496 7021 0 0 0 307 1 0 0 25 0 1 0 641871487 43188224 5691 268435456000 4194304 4587354 140737397330160 18446744073709551615 4241092 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25837/statm: 10544 5691 328 96 0 7106 0
[pid=25838] ppid=25836 vsize=27380 CPUtime=3.08 cores=1
/proc/25838/stat : 25838 (clasp) R 25836 25836 25371 0 -1 4202496 5067 0 0 0 307 1 0 0 25 0 1 0 641871487 28037120 4145 268435456000 4194304 4785740 140736289181328 18446744073709551615 258650616632 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25838/statm: 6845 4145 338 145 0 3890 0
[pid=25839] ppid=25836 vsize=460712 CPUtime=3.08 cores=2
/proc/25839/stat : 25839 (TNM) R 25836 25836 25371 0 -1 4202496 2617 0 0 0 307 1 0 0 25 0 1 0 641871487 471769088 2514 268435456000 134512640 134534564 4289377584 18446744073709551615 134530151 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/25839/statm: 115178 2514 95 6 0 113843 0
[pid=25840] ppid=25836 vsize=51636 CPUtime=3.08 cores=3
/proc/25840/stat : 25840 (march_hi) R 25836 25836 25371 0 -1 4202496 24537 0 0 0 303 5 0 0 25 0 1 0 641871487 52875264 6424 268435456000 4194304 4331988 140735999948496 18446744073709551615 4242575 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25840/statm: 12909 6424 174 34 0 11351 0
[pid=25841] ppid=25836 vsize=606188 CPUtime=51.18 cores=4-31
/proc/25841/stat : 25841 (plingeling) S 25836 25836 25371 0 -1 4202496 61503 1248 0 0 5100 17 0 1 19 0 29 0 641871487 620736512 37366 268435456000 4194304 4356188 140737144633216 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/25841/statm: 151547 37366 159 40 0 150091 0
[pid=25841/tid=25848] ppid=25836 vsize=606188 CPUtime=1.79 cores=4-31
/proc/25841/task/25848/stat : 25848 (plingeling) R 25836 25836 25371 0 -1 4202560 657 1248 0 0 178 0 0 1 25 0 29 0 641871616 620736512 37366 268435456000 4194304 4356188 140737144633216 18446744073709551615 4251004 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=25841/tid=25849] ppid=25836 vsize=606188 CPUtime=1.79 cores=4-31
/proc/25841/task/25849/stat : 25849 (plingeling) R 25836 25836 25371 0 -1 4202560 1096 1248 0 0 178 0 0 1 20 0 29 0 641871616 620736512 37366 268435456000 4194304 4356188 140737144633216 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=25841/tid=25850] ppid=25836 vsize=606188 CPUtime=1.8 cores=4-31
/proc/25841/task/25850/stat : 25850 (plingeling) R 25836 25836 25371 0 -1 4202560 1177 1248 0 0 179 0 0 1 25 0 29 0 641871616 620736512 37366 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25841/tid=25851] ppid=25836 vsize=606188 CPUtime=1.8 cores=4-31
/proc/25841/task/25851/stat : 25851 (plingeling) R 25836 25836 25371 0 -1 4202560 806 1248 0 0 179 0 0 1 20 0 29 0 641871616 620736512 37366 268435456000 4194304 4356188 140737144633216 18446744073709551615 4236841 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25841/tid=25852] ppid=25836 vsize=606188 CPUtime=1.8 cores=4-31
/proc/25841/task/25852/stat : 25852 (plingeling) R 25836 25836 25371 0 -1 4202560 1382 1248 0 0 179 0 0 1 20 0 29 0 641871616 620736512 37366 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331441 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=25841/tid=25853] ppid=25836 vsize=606188 CPUtime=1.79 cores=4-31
/proc/25841/task/25853/stat : 25853 (plingeling) R 25836 25836 25371 0 -1 4202560 946 1248 0 0 178 0 0 1 20 0 29 0 641871616 620736512 37366 268435456000 4194304 4356188 140737144633216 18446744073709551615 4211015 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=25841/tid=25854] ppid=25836 vsize=606188 CPUtime=1.79 cores=4-31
/proc/25841/task/25854/stat : 25854 (plingeling) R 25836 25836 25371 0 -1 4202560 1366 1248 0 0 178 0 0 1 25 0 29 0 641871616 620736512 37366 268435456000 4194304 4356188 140737144633216 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=25841/tid=25855] ppid=25836 vsize=606188 CPUtime=1.79 cores=4-31
/proc/25841/task/25855/stat : 25855 (plingeling) R 25836 25836 25371 0 -1 4202560 1323 1248 0 0 178 0 0 1 25 0 29 0 641871617 620736512 37366 268435456000 4194304 4356188 140737144633216 18446744073709551615 4234040 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=25841/tid=25856] ppid=25836 vsize=606188 CPUtime=1.79 cores=4-31
/proc/25841/task/25856/stat : 25856 (plingeling) R 25836 25836 25371 0 -1 4202560 1404 1248 0 0 178 0 0 1 20 0 29 0 641871617 620736512 37366 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331360 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25841/tid=25857] ppid=25836 vsize=606188 CPUtime=1.76 cores=4-31
/proc/25841/task/25857/stat : 25857 (plingeling) R 25836 25836 25371 0 -1 4202560 1094 1248 0 0 175 0 0 1 19 0 29 0 641871617 620736512 37366 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331011 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=25841/tid=25858] ppid=25836 vsize=606188 CPUtime=1.78 cores=4-31
/proc/25841/task/25858/stat : 25858 (plingeling) R 25836 25836 25371 0 -1 4202560 1250 1248 0 0 177 0 0 1 20 0 29 0 641871617 620736512 37366 268435456000 4194304 4356188 140737144633216 18446744073709551615 4330856 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=25841/tid=25859] ppid=25836 vsize=606188 CPUtime=1.79 cores=4-31
/proc/25841/task/25859/stat : 25859 (plingeling) R 25836 25836 25371 0 -1 4202560 931 1248 0 0 178 0 0 1 20 0 29 0 641871617 620736512 37366 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=25841/tid=25860] ppid=25836 vsize=606188 CPUtime=1.78 cores=4-31
/proc/25841/task/25860/stat : 25860 (plingeling) R 25836 25836 25371 0 -1 4202560 903 1248 0 0 177 0 0 1 25 0 29 0 641871617 620736512 37366 268435456000 4194304 4356188 140737144633216 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=25841/tid=25861] ppid=25836 vsize=606188 CPUtime=1.78 cores=4-31
/proc/25841/task/25861/stat : 25861 (plingeling) R 25836 25836 25371 0 -1 4202560 939 1248 0 0 177 0 0 1 25 0 29 0 641871617 620736512 37366 268435456000 4194304 4356188 140737144633216 18446744073709551615 4210575 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=25841/tid=25862] ppid=25836 vsize=606188 CPUtime=1.79 cores=4-31
/proc/25841/task/25862/stat : 25862 (plingeling) R 25836 25836 25371 0 -1 4202560 1417 1248 0 0 178 0 0 1 20 0 29 0 641871617 620736512 37366 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331407 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=25841/tid=25863] ppid=25836 vsize=606188 CPUtime=1.78 cores=4-31
/proc/25841/task/25863/stat : 25863 (plingeling) R 25836 25836 25371 0 -1 4202560 1388 1248 0 0 177 0 0 1 20 0 29 0 641871617 620736512 37366 268435456000 4194304 4356188 140737144633216 18446744073709551615 4261973 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=25841/tid=25864] ppid=25836 vsize=606188 CPUtime=1.79 cores=4-31
/proc/25841/task/25864/stat : 25864 (plingeling) R 25836 25836 25371 0 -1 4202560 1237 1248 0 0 178 0 0 1 20 0 29 0 641871617 620736512 37366 268435456000 4194304 4356188 140737144633216 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=25841/tid=25865] ppid=25836 vsize=606188 CPUtime=1.78 cores=4-31
/proc/25841/task/25865/stat : 25865 (plingeling) R 25836 25836 25371 0 -1 4202560 1099 1248 0 0 177 0 0 1 25 0 29 0 641871617 620736512 37366 268435456000 4194304 4356188 140737144633216 18446744073709551615 4211068 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=25841/tid=25866] ppid=25836 vsize=606188 CPUtime=1.77 cores=4-31
/proc/25841/task/25866/stat : 25866 (plingeling) R 25836 25836 25371 0 -1 4202560 1200 1248 0 0 176 0 0 1 25 0 29 0 641871617 620736512 37366 268435456000 4194304 4356188 140737144633216 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=25841/tid=25867] ppid=25836 vsize=606188 CPUtime=1.78 cores=4-31
/proc/25841/task/25867/stat : 25867 (plingeling) R 25836 25836 25371 0 -1 4202560 1063 1248 0 0 177 0 0 1 25 0 29 0 641871617 620736512 37366 268435456000 4194304 4356188 140737144633216 18446744073709551615 4211022 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=25841/tid=25868] ppid=25836 vsize=606188 CPUtime=1.78 cores=4-31
/proc/25841/task/25868/stat : 25868 (plingeling) R 25836 25836 25371 0 -1 4202560 1763 1248 0 0 177 0 0 1 20 0 29 0 641871617 620736512 37366 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=25841/tid=25869] ppid=25836 vsize=606188 CPUtime=1.78 cores=4-31
/proc/25841/task/25869/stat : 25869 (plingeling) R 25836 25836 25371 0 -1 4202560 1309 1248 0 0 177 0 0 1 20 0 29 0 641871617 620736512 37366 268435456000 4194304 4356188 140737144633216 18446744073709551615 4210562 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=25841/tid=25870] ppid=25836 vsize=606188 CPUtime=1.78 cores=4-31
/proc/25841/task/25870/stat : 25870 (plingeling) R 25836 25836 25371 0 -1 4202560 1319 1248 0 0 177 0 0 1 20 0 29 0 641871617 620736512 37366 268435456000 4194304 4356188 140737144633216 18446744073709551615 4210856 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=25841/tid=25871] ppid=25836 vsize=606188 CPUtime=1.78 cores=4-31
/proc/25841/task/25871/stat : 25871 (plingeling) R 25836 25836 25371 0 -1 4202560 1044 1248 0 0 177 0 0 1 25 0 29 0 641871618 620736512 37366 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=25841/tid=25872] ppid=25836 vsize=606188 CPUtime=1.78 cores=4-31
/proc/25841/task/25872/stat : 25872 (plingeling) R 25836 25836 25371 0 -1 4202560 1214 1248 0 0 177 0 0 1 25 0 29 0 641871618 620736512 37366 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=25841/tid=25873] ppid=25836 vsize=606188 CPUtime=1.78 cores=4-31
/proc/25841/task/25873/stat : 25873 (plingeling) R 25836 25836 25371 0 -1 4202560 1819 1248 0 0 177 0 0 1 25 0 29 0 641871618 620736512 37366 268435456000 4194304 4356188 140737144633216 18446744073709551615 4330995 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=25841/tid=25874] ppid=25836 vsize=606188 CPUtime=1.77 cores=4-31
/proc/25841/task/25874/stat : 25874 (plingeling) R 25836 25836 25371 0 -1 4202560 893 1248 0 0 176 0 0 1 25 0 29 0 641871618 620736512 37366 268435456000 4194304 4356188 140737144633216 18446744073709551615 258650648512 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=25841/tid=25875] ppid=25836 vsize=606188 CPUtime=1.78 cores=4-31
/proc/25841/task/25875/stat : 25875 (plingeling) R 25836 25836 25371 0 -1 4202560 519 1248 0 0 177 0 0 1 20 0 29 0 641871618 620736512 37366 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331841 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 63.5
Current children cumulated vsize (KiB) 1206416
[startup+6.30178 s]
/proc/loadavg: 28.92 30.61 30.89 33/447 25875
/proc/meminfo: memFree=255371392/264257624 swapFree=67111528/67111528
[pid=25836] ppid=25834 vsize=18324 CPUtime=0 cores=0-31
/proc/25836/stat : 25836 (ppfolio) S 25834 25836 25371 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 641871486 18763776 386 268435456000 4194304 4287625 140736090952976 18446744073709551615 258650975999 0 0 4096 65536 9185487131064139775 0 0 17 8 0 0 0
/proc/25836/statm: 4581 386 337 23 0 91 0
[pid=25837] ppid=25836 vsize=1275256 CPUtime=6.29 cores=0
/proc/25837/stat : 25837 (cryptominisat) R 25836 25836 25371 0 -1 4202496 8449 0 0 0 627 2 0 0 25 0 1 0 641871487 1305862144 5602 268435456000 4194304 4587354 140737397330160 18446744073709551615 4237607 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25837/statm: 318814 5602 331 96 0 315376 0
[pid=25838] ppid=25836 vsize=29656 CPUtime=6.28 cores=1
/proc/25838/stat : 25838 (clasp) R 25836 25836 25371 0 -1 4202496 5622 0 0 0 627 1 0 0 25 0 1 0 641871487 30367744 4700 268435456000 4194304 4785740 140736289181328 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25838/statm: 7414 4700 338 145 0 4459 0
[pid=25839] ppid=25836 vsize=460712 CPUtime=6.28 cores=2
/proc/25839/stat : 25839 (TNM) R 25836 25836 25371 0 -1 4202496 2617 0 0 0 627 1 0 0 25 0 1 0 641871487 471769088 2514 268435456000 134512640 134534564 4289377584 18446744073709551615 3901718 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/25839/statm: 115178 2514 95 6 0 113843 0
[pid=25840] ppid=25836 vsize=53084 CPUtime=6.28 cores=3
/proc/25840/stat : 25840 (march_hi) R 25836 25836 25371 0 -1 4202496 24798 0 0 0 623 5 0 0 25 0 1 0 641871487 54358016 6685 268435456000 4194304 4331988 140735999948496 18446744073709551615 4237130 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25840/statm: 13271 6685 174 34 0 11713 0
[pid=25841] ppid=25836 vsize=626912 CPUtime=140.66 cores=4-31
/proc/25841/stat : 25841 (plingeling) S 25836 25836 25371 0 -1 4202496 67793 1248 0 0 14044 21 0 1 19 0 29 0 641871487 641957888 43563 268435456000 4194304 4356188 140737144633216 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/25841/statm: 156728 43563 159 40 0 155272 0
[pid=25841/tid=25848] ppid=25836 vsize=626912 CPUtime=4.98 cores=4-31
/proc/25841/task/25848/stat : 25848 (plingeling) R 25836 25836 25371 0 -1 4202560 855 1248 0 0 497 0 0 1 25 0 29 0 641871616 641957888 43563 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=25841/tid=25849] ppid=25836 vsize=626912 CPUtime=4.99 cores=4-31
/proc/25841/task/25849/stat : 25849 (plingeling) R 25836 25836 25371 0 -1 4202560 1353 1248 0 0 498 0 0 1 25 0 29 0 641871616 641957888 43563 268435456000 4194304 4356188 140737144633216 18446744073709551615 4281643 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=25841/tid=25850] ppid=25836 vsize=626912 CPUtime=5 cores=4-31
/proc/25841/task/25850/stat : 25850 (plingeling) R 25836 25836 25371 0 -1 4202560 1267 1248 0 0 499 0 0 1 25 0 29 0 641871616 641957888 43563 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331122 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25841/tid=25851] ppid=25836 vsize=626912 CPUtime=5 cores=4-31
/proc/25841/task/25851/stat : 25851 (plingeling) R 25836 25836 25371 0 -1 4202560 1175 1248 0 0 499 0 0 1 25 0 29 0 641871616 641957888 43563 268435456000 4194304 4356188 140737144633216 18446744073709551615 4283920 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25841/tid=25852] ppid=25836 vsize=626912 CPUtime=4.99 cores=4-31
/proc/25841/task/25852/stat : 25852 (plingeling) R 25836 25836 25371 0 -1 4202560 1606 1248 0 0 498 0 0 1 25 0 29 0 641871616 641957888 43563 268435456000 4194304 4356188 140737144633216 18446744073709551615 4281686 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=25841/tid=25853] ppid=25836 vsize=626912 CPUtime=4.99 cores=4-31
################
# More data... #
################
/proc/25839/stat : 25839 (TNM) R 25836 25836 25371 0 -1 4202496 2617 0 0 0 10237 1 0 0 25 0 1 0 641871487 471769088 2514 268435456000 134512640 134534564 4289377584 18446744073709551615 134528295 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/25839/statm: 115178 2514 95 6 0 113843 0
[pid=25840] ppid=25836 vsize=64560 CPUtime=102.38 cores=3
/proc/25840/stat : 25840 (march_hi) R 25836 25836 25371 0 -1 4202496 27735 0 0 0 10231 7 0 0 25 0 1 0 641871487 66109440 9597 268435456000 4194304 4331988 140735999948496 18446744073709551615 4237096 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25840/statm: 16140 9597 174 34 0 14582 0
[pid=25841] ppid=25836 vsize=944568 CPUtime=2828.62 cores=4-31
/proc/25841/stat : 25841 (plingeling) S 25836 25836 25371 0 -1 4202496 194398 1248 0 0 282751 110 0 1 19 0 29 0 641871487 967237632 118567 268435456000 4194304 4356188 140737144633216 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/25841/statm: 236142 118567 159 40 0 234686 0
[pid=25841/tid=25848] ppid=25836 vsize=944568 CPUtime=101.08 cores=4-31
/proc/25841/task/25848/stat : 25848 (plingeling) R 25836 25836 25371 0 -1 4202560 4938 1248 0 0 10103 4 0 1 25 0 29 0 641871616 967237632 118567 268435456000 4194304 4356188 140737144633216 18446744073709551615 4330819 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=25841/tid=25849] ppid=25836 vsize=944568 CPUtime=101.09 cores=4-31
/proc/25841/task/25849/stat : 25849 (plingeling) R 25836 25836 25371 0 -1 4202560 5150 1248 0 0 10107 1 0 1 25 0 29 0 641871616 967237632 118567 268435456000 4194304 4356188 140737144633216 18446744073709551615 4281624 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=25841/tid=25850] ppid=25836 vsize=944568 CPUtime=101.05 cores=4-31
/proc/25841/task/25850/stat : 25850 (plingeling) R 25836 25836 25371 0 -1 4202560 4904 1248 0 0 10102 2 0 1 25 0 29 0 641871616 967237632 118567 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331345 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25841/tid=25851] ppid=25836 vsize=944568 CPUtime=101.1 cores=4-31
/proc/25841/task/25851/stat : 25851 (plingeling) R 25836 25836 25371 0 -1 4202560 4471 1248 0 0 10105 4 0 1 25 0 29 0 641871616 967237632 118567 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331076 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25841/tid=25852] ppid=25836 vsize=944568 CPUtime=101.09 cores=4-31
/proc/25841/task/25852/stat : 25852 (plingeling) R 25836 25836 25371 0 -1 4202560 5274 1248 0 0 10105 3 0 1 25 0 29 0 641871616 967237632 118567 268435456000 4194304 4356188 140737144633216 18446744073709551615 4332149 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=25841/tid=25853] ppid=25836 vsize=944568 CPUtime=101.1 cores=4-31
/proc/25841/task/25853/stat : 25853 (plingeling) R 25836 25836 25371 0 -1 4202560 4782 1248 0 0 10103 6 0 1 25 0 29 0 641871616 967237632 118567 268435456000 4194304 4356188 140737144633216 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=25841/tid=25854] ppid=25836 vsize=944568 CPUtime=101.08 cores=4-31
/proc/25841/task/25854/stat : 25854 (plingeling) R 25836 25836 25371 0 -1 4202560 4665 1248 0 0 10105 2 0 1 25 0 29 0 641871616 967237632 118567 268435456000 4194304 4356188 140737144633216 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=25841/tid=25855] ppid=25836 vsize=944568 CPUtime=101.09 cores=4-31
/proc/25841/task/25855/stat : 25855 (plingeling) R 25836 25836 25371 0 -1 4202560 12520 1248 0 0 10099 9 0 1 25 0 29 0 641871617 967237632 118567 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=25841/tid=25856] ppid=25836 vsize=944568 CPUtime=101.08 cores=4-31
/proc/25841/task/25856/stat : 25856 (plingeling) R 25836 25836 25371 0 -1 4202560 6992 1248 0 0 10102 5 0 1 25 0 29 0 641871617 967237632 118567 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25841/tid=25857] ppid=25836 vsize=944568 CPUtime=98.22 cores=4-31
/proc/25841/task/25857/stat : 25857 (plingeling) R 25836 25836 25371 0 -1 4202560 3366 1248 0 0 9820 1 0 1 25 0 29 0 641871617 967237632 118567 268435456000 4194304 4356188 140737144633216 18446744073709551615 4279478 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=25841/tid=25858] ppid=25836 vsize=944568 CPUtime=101.08 cores=4-31
/proc/25841/task/25858/stat : 25858 (plingeling) R 25836 25836 25371 0 -1 4202560 5862 1248 0 0 10106 1 0 1 25 0 29 0 641871617 967237632 118567 268435456000 4194304 4356188 140737144633216 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=25841/tid=25859] ppid=25836 vsize=944568 CPUtime=101.09 cores=4-31
/proc/25841/task/25859/stat : 25859 (plingeling) R 25836 25836 25371 0 -1 4202560 4345 1248 0 0 10106 2 0 1 25 0 29 0 641871617 967237632 118567 268435456000 4194304 4356188 140737144633216 18446744073709551615 4210812 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=25841/tid=25860] ppid=25836 vsize=944568 CPUtime=101.08 cores=4-31
/proc/25841/task/25860/stat : 25860 (plingeling) R 25836 25836 25371 0 -1 4202560 4263 1248 0 0 10104 3 0 1 25 0 29 0 641871617 967237632 118567 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331407 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=25841/tid=25861] ppid=25836 vsize=944568 CPUtime=101.07 cores=4-31
/proc/25841/task/25861/stat : 25861 (plingeling) R 25836 25836 25371 0 -1 4202560 4645 1248 0 0 10104 2 0 1 25 0 29 0 641871617 967237632 118567 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331363 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=25841/tid=25862] ppid=25836 vsize=944568 CPUtime=101.09 cores=4-31
/proc/25841/task/25862/stat : 25862 (plingeling) R 25836 25836 25371 0 -1 4202560 6816 1248 0 0 10107 1 0 1 25 0 29 0 641871617 967237632 118567 268435456000 4194304 4356188 140737144633216 18446744073709551615 4322459 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=25841/tid=25863] ppid=25836 vsize=944568 CPUtime=101.08 cores=4-31
/proc/25841/task/25863/stat : 25863 (plingeling) R 25836 25836 25371 0 -1 4202560 10491 1248 0 0 10099 8 0 1 25 0 29 0 641871617 967237632 118567 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=25841/tid=25864] ppid=25836 vsize=944568 CPUtime=101.08 cores=4-31
/proc/25841/task/25864/stat : 25864 (plingeling) R 25836 25836 25371 0 -1 4202560 4233 1248 0 0 10106 1 0 1 25 0 29 0 641871617 967237632 118567 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=25841/tid=25865] ppid=25836 vsize=944568 CPUtime=101.08 cores=4-31
/proc/25841/task/25865/stat : 25865 (plingeling) R 25836 25836 25371 0 -1 4202560 4900 1248 0 0 10106 1 0 1 25 0 29 0 641871617 967237632 118567 268435456000 4194304 4356188 140737144633216 18446744073709551615 4332003 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=25841/tid=25866] ppid=25836 vsize=944568 CPUtime=101.03 cores=4-31
/proc/25841/task/25866/stat : 25866 (plingeling) R 25836 25836 25371 0 -1 4202560 5267 1248 0 0 10098 4 0 1 25 0 29 0 641871617 967237632 118567 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331023 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=25841/tid=25867] ppid=25836 vsize=944568 CPUtime=101.08 cores=4-31
/proc/25841/task/25867/stat : 25867 (plingeling) R 25836 25836 25371 0 -1 4202560 4658 1248 0 0 10105 2 0 1 25 0 29 0 641871617 967237632 118567 268435456000 4194304 4356188 140737144633216 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=25841/tid=25868] ppid=25836 vsize=944568 CPUtime=101.07 cores=4-31
/proc/25841/task/25868/stat : 25868 (plingeling) R 25836 25836 25371 0 -1 4202560 5135 1248 0 0 10104 2 0 1 25 0 29 0 641871617 967237632 118567 268435456000 4194304 4356188 140737144633216 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=25841/tid=25869] ppid=25836 vsize=944568 CPUtime=101.08 cores=4-31
/proc/25841/task/25869/stat : 25869 (plingeling) R 25836 25836 25371 0 -1 4202560 8283 1248 0 0 10100 7 0 1 25 0 29 0 641871617 967237632 118567 268435456000 4194304 4356188 140737144633216 18446744073709551615 4302282 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=25841/tid=25870] ppid=25836 vsize=944568 CPUtime=101.08 cores=4-31
/proc/25841/task/25870/stat : 25870 (plingeling) R 25836 25836 25371 0 -1 4202560 4989 1248 0 0 10104 3 0 1 25 0 29 0 641871617 967237632 118567 268435456000 4194304 4356188 140737144633216 18446744073709551615 4303196 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=25841/tid=25871] ppid=25836 vsize=944568 CPUtime=101.08 cores=4-31
/proc/25841/task/25871/stat : 25871 (plingeling) R 25836 25836 25371 0 -1 4202560 12249 1248 0 0 10101 6 0 1 25 0 29 0 641871618 967237632 118567 268435456000 4194304 4356188 140737144633216 18446744073709551615 4330876 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=25841/tid=25872] ppid=25836 vsize=944568 CPUtime=101.07 cores=4-31
/proc/25841/task/25872/stat : 25872 (plingeling) R 25836 25836 25371 0 -1 4202560 6372 1248 0 0 10100 6 0 1 25 0 29 0 641871618 967237632 118567 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=25841/tid=25873] ppid=25836 vsize=944568 CPUtime=101.08 cores=4-31
/proc/25841/task/25873/stat : 25873 (plingeling) R 25836 25836 25371 0 -1 4202560 5761 1248 0 0 10106 1 0 1 25 0 29 0 641871618 967237632 118567 268435456000 4194304 4356188 140737144633216 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=25841/tid=25874] ppid=25836 vsize=944568 CPUtime=101.07 cores=4-31
/proc/25841/task/25874/stat : 25874 (plingeling) R 25836 25836 25371 0 -1 4202560 6656 1248 0 0 10105 1 0 1 25 0 29 0 641871618 967237632 118567 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331101 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=25841/tid=25875] ppid=25836 vsize=944568 CPUtime=101.07 cores=4-31
/proc/25841/task/25875/stat : 25875 (plingeling) R 25836 25836 25371 0 -1 4202560 3466 1248 0 0 10106 0 0 1 25 0 29 0 641871618 967237632 118567 268435456000 4194304 4356188 140737144633216 18446744073709551615 4279688 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3238.14
Current children cumulated vsize (KiB) 2820896
[startup+102.802 s]
/proc/loadavg: 31.40 31.00 31.00 33/447 25877
/proc/meminfo: memFree=255009792/264257624 swapFree=67111528/67111528
[pid=25836] ppid=25834 vsize=18324 CPUtime=0 cores=0-31
/proc/25836/stat : 25836 (ppfolio) S 25834 25836 25371 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 641871486 18763776 386 268435456000 4194304 4287625 140736090952976 18446744073709551615 258650975999 0 0 4096 65536 9185487131064139775 0 0 17 8 0 0 0
/proc/25836/statm: 4581 386 337 23 0 91 0
[pid=25837] ppid=25836 vsize=1283304 CPUtime=102.76 cores=0
/proc/25837/stat : 25837 (cryptominisat) R 25836 25836 25371 0 -1 4202496 31394 0 0 0 10266 10 0 0 25 0 1 0 641871487 1314103296 13884 268435456000 4194304 4587354 140737397330160 18446744073709551615 4237840 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25837/statm: 320826 13884 334 96 0 317388 0
[pid=25838] ppid=25836 vsize=49676 CPUtime=102.76 cores=1
/proc/25838/stat : 25838 (clasp) R 25836 25836 25371 0 -1 4202496 10390 0 0 0 10273 3 0 0 25 0 1 0 641871487 50868224 9468 268435456000 4194304 4785740 140736289181328 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25838/statm: 12419 9468 338 145 0 9464 0
[pid=25839] ppid=25836 vsize=460712 CPUtime=102.76 cores=2
/proc/25839/stat : 25839 (TNM) R 25836 25836 25371 0 -1 4202496 2617 0 0 0 10275 1 0 0 25 0 1 0 641871487 471769088 2514 268435456000 134512640 134534564 4289377584 18446744073709551615 134530659 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/25839/statm: 115178 2514 95 6 0 113843 0
[pid=25840] ppid=25836 vsize=64560 CPUtime=102.76 cores=3
/proc/25840/stat : 25840 (march_hi) R 25836 25836 25371 0 -1 4202496 27741 0 0 0 10269 7 0 0 25 0 1 0 641871487 66109440 9603 268435456000 4194304 4331988 140735999948496 18446744073709551615 4242612 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25840/statm: 16140 9603 174 34 0 14582 0
[pid=25841] ppid=25836 vsize=936376 CPUtime=2839.25 cores=4-31
/proc/25841/stat : 25841 (plingeling) S 25836 25836 25371 0 -1 4202496 194398 1248 0 0 283814 110 0 1 19 0 29 0 641871487 958849024 116519 268435456000 4194304 4356188 140737144633216 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/25841/statm: 234094 116519 159 40 0 232638 0
[pid=25841/tid=25848] ppid=25836 vsize=936376 CPUtime=101.46 cores=4-31
/proc/25841/task/25848/stat : 25848 (plingeling) R 25836 25836 25371 0 -1 4202560 4938 1248 0 0 10141 4 0 1 25 0 29 0 641871616 958849024 116519 268435456000 4194304 4356188 140737144633216 18446744073709551615 4211032 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=25841/tid=25849] ppid=25836 vsize=936376 CPUtime=101.47 cores=4-31
/proc/25841/task/25849/stat : 25849 (plingeling) R 25836 25836 25371 0 -1 4202560 5150 1248 0 0 10145 1 0 1 25 0 29 0 641871616 958849024 116519 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331337 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=25841/tid=25850] ppid=25836 vsize=936376 CPUtime=101.43 cores=4-31
/proc/25841/task/25850/stat : 25850 (plingeling) R 25836 25836 25371 0 -1 4202560 4904 1248 0 0 10140 2 0 1 25 0 29 0 641871616 958849024 116519 268435456000 4194304 4356188 140737144633216 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25841/tid=25851] ppid=25836 vsize=936376 CPUtime=101.48 cores=4-31
/proc/25841/task/25851/stat : 25851 (plingeling) R 25836 25836 25371 0 -1 4202560 4471 1248 0 0 10143 4 0 1 25 0 29 0 641871616 958849024 116519 268435456000 4194304 4356188 140737144633216 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25841/tid=25852] ppid=25836 vsize=936376 CPUtime=101.47 cores=4-31
/proc/25841/task/25852/stat : 25852 (plingeling) R 25836 25836 25371 0 -1 4202560 5274 1248 0 0 10143 3 0 1 25 0 29 0 641871616 958849024 116519 268435456000 4194304 4356188 140737144633216 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=25841/tid=25853] ppid=25836 vsize=936376 CPUtime=101.48 cores=4-31
/proc/25841/task/25853/stat : 25853 (plingeling) R 25836 25836 25371 0 -1 4202560 4782 1248 0 0 10141 6 0 1 25 0 29 0 641871616 958849024 116519 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=25841/tid=25854] ppid=25836 vsize=936376 CPUtime=101.46 cores=4-31
/proc/25841/task/25854/stat : 25854 (plingeling) R 25836 25836 25371 0 -1 4202560 4665 1248 0 0 10143 2 0 1 25 0 29 0 641871616 958849024 116519 268435456000 4194304 4356188 140737144633216 18446744073709551615 4250488 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=25841/tid=25855] ppid=25836 vsize=936376 CPUtime=101.47 cores=4-31
/proc/25841/task/25855/stat : 25855 (plingeling) R 25836 25836 25371 0 -1 4202560 12520 1248 0 0 10137 9 0 1 25 0 29 0 641871617 958849024 116519 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331841 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=25841/tid=25856] ppid=25836 vsize=936376 CPUtime=101.46 cores=4-31
/proc/25841/task/25856/stat : 25856 (plingeling) R 25836 25836 25371 0 -1 4202560 6992 1248 0 0 10140 5 0 1 25 0 29 0 641871617 958849024 116519 268435456000 4194304 4356188 140737144633216 18446744073709551615 4284069 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25841/tid=25857] ppid=25836 vsize=936376 CPUtime=98.59 cores=4-31
/proc/25841/task/25857/stat : 25857 (plingeling) R 25836 25836 25371 0 -1 4202560 3366 1248 0 0 9857 1 0 1 25 0 29 0 641871617 958849024 116519 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=25841/tid=25858] ppid=25836 vsize=936376 CPUtime=101.46 cores=4-31
/proc/25841/task/25858/stat : 25858 (plingeling) R 25836 25836 25371 0 -1 4202560 5862 1248 0 0 10144 1 0 1 25 0 29 0 641871617 958849024 116519 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=25841/tid=25859] ppid=25836 vsize=936376 CPUtime=101.47 cores=4-31
/proc/25841/task/25859/stat : 25859 (plingeling) R 25836 25836 25371 0 -1 4202560 4345 1248 0 0 10144 2 0 1 25 0 29 0 641871617 958849024 116519 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331506 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=25841/tid=25860] ppid=25836 vsize=936376 CPUtime=101.46 cores=4-31
/proc/25841/task/25860/stat : 25860 (plingeling) R 25836 25836 25371 0 -1 4202560 4263 1248 0 0 10142 3 0 1 25 0 29 0 641871617 958849024 116519 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331241 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=25841/tid=25861] ppid=25836 vsize=936376 CPUtime=101.45 cores=4-31
/proc/25841/task/25861/stat : 25861 (plingeling) R 25836 25836 25371 0 -1 4202560 4645 1248 0 0 10142 2 0 1 25 0 29 0 641871617 958849024 116519 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331305 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=25841/tid=25862] ppid=25836 vsize=936376 CPUtime=101.47 cores=4-31
/proc/25841/task/25862/stat : 25862 (plingeling) R 25836 25836 25371 0 -1 4202560 6816 1248 0 0 10145 1 0 1 25 0 29 0 641871617 958849024 116519 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=25841/tid=25863] ppid=25836 vsize=936376 CPUtime=101.46 cores=4-31
/proc/25841/task/25863/stat : 25863 (plingeling) R 25836 25836 25371 0 -1 4202560 10491 1248 0 0 10137 8 0 1 25 0 29 0 641871617 958849024 116519 268435456000 4194304 4356188 140737144633216 18446744073709551615 4258653 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=25841/tid=25864] ppid=25836 vsize=936376 CPUtime=101.46 cores=4-31
/proc/25841/task/25864/stat : 25864 (plingeling) R 25836 25836 25371 0 -1 4202560 4233 1248 0 0 10144 1 0 1 25 0 29 0 641871617 958849024 116519 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331039 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=25841/tid=25865] ppid=25836 vsize=936376 CPUtime=101.46 cores=4-31
/proc/25841/task/25865/stat : 25865 (plingeling) R 25836 25836 25371 0 -1 4202560 4900 1248 0 0 10144 1 0 1 25 0 29 0 641871617 958849024 116519 268435456000 4194304 4356188 140737144633216 18446744073709551615 4210853 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=25841/tid=25866] ppid=25836 vsize=936376 CPUtime=101.41 cores=4-31
/proc/25841/task/25866/stat : 25866 (plingeling) R 25836 25836 25371 0 -1 4202560 5267 1248 0 0 10136 4 0 1 25 0 29 0 641871617 958849024 116519 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331141 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=25841/tid=25867] ppid=25836 vsize=936376 CPUtime=101.46 cores=4-31
/proc/25841/task/25867/stat : 25867 (plingeling) R 25836 25836 25371 0 -1 4202560 4658 1248 0 0 10143 2 0 1 25 0 29 0 641871617 958849024 116519 268435456000 4194304 4356188 140737144633216 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=25841/tid=25868] ppid=25836 vsize=936376 CPUtime=101.45 cores=4-31
/proc/25841/task/25868/stat : 25868 (plingeling) R 25836 25836 25371 0 -1 4202560 5135 1248 0 0 10142 2 0 1 25 0 29 0 641871617 958849024 116519 268435456000 4194304 4356188 140737144633216 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=25841/tid=25869] ppid=25836 vsize=936376 CPUtime=101.46 cores=4-31
/proc/25841/task/25869/stat : 25869 (plingeling) R 25836 25836 25371 0 -1 4202560 8283 1248 0 0 10138 7 0 1 25 0 29 0 641871617 958849024 116519 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331111 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=25841/tid=25870] ppid=25836 vsize=936376 CPUtime=101.46 cores=4-31
/proc/25841/task/25870/stat : 25870 (plingeling) R 25836 25836 25371 0 -1 4202560 4989 1248 0 0 10142 3 0 1 25 0 29 0 641871617 958849024 116519 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=25841/tid=25871] ppid=25836 vsize=936376 CPUtime=101.46 cores=4-31
/proc/25841/task/25871/stat : 25871 (plingeling) R 25836 25836 25371 0 -1 4202560 12249 1248 0 0 10139 6 0 1 25 0 29 0 641871618 958849024 116519 268435456000 4194304 4356188 140737144633216 18446744073709551615 4330992 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=25841/tid=25872] ppid=25836 vsize=936376 CPUtime=101.45 cores=4-31
/proc/25841/task/25872/stat : 25872 (plingeling) R 25836 25836 25371 0 -1 4202560 6372 1248 0 0 10138 6 0 1 25 0 29 0 641871618 958849024 116519 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=25841/tid=25873] ppid=25836 vsize=936376 CPUtime=101.46 cores=4-31
/proc/25841/task/25873/stat : 25873 (plingeling) R 25836 25836 25371 0 -1 4202560 5761 1248 0 0 10144 1 0 1 25 0 29 0 641871618 958849024 116519 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=25841/tid=25874] ppid=25836 vsize=936376 CPUtime=101.45 cores=4-31
/proc/25841/task/25874/stat : 25874 (plingeling) R 25836 25836 25371 0 -1 4202560 6656 1248 0 0 10143 1 0 1 25 0 29 0 641871618 958849024 116519 268435456000 4194304 4356188 140737144633216 18446744073709551615 4331792 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=25841/tid=25875] ppid=25836 vsize=936376 CPUtime=101.45 cores=4-31
/proc/25841/task/25875/stat : 25875 (plingeling) R 25836 25836 25371 0 -1 4202560 3466 1248 0 0 10144 0 0 1 25 0 29 0 641871618 958849024 116519 268435456000 4194304 4356188 140737144633216 18446744073709551615 4330879 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3250.29
Current children cumulated vsize (KiB) 2812952
[startup+103.201 s]
/proc/loadavg: 31.40 31.00 31.00 33/447 25877
/proc/meminfo: memFree=255009792/264257624 swapFree=67111528/67111528
[pid=25836] ppid=25834 vsize=18324 CPUtime=0 cores=0-31
/proc/25836/stat : 25836 (ppfolio) S 25834 25836 25371 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 641871486 18763776 386 268435456000 4194304 4287625 140736090952976 18446744073709551615 258650975999 0 0 4096 65536 9185487131064139775 0 0 17 8 0 0 0
/proc/25836/statm: 4581 386 337 23 0 91 0
[pid=25837] ppid=25836 vsize=1283304 CPUtime=103.16 cores=0
/proc/25837/stat : 25837 (cryptominisat) R 25836 25836 25371 0 -1 4202496 31394 0 0 0 10306 10 0 0 25 0 1 0 641871487 1314103296 13884 268435456000 4194304 4587354 140737397330160 18446744073709551615 4239575 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/25837/statm: 320826 13884 334 96 0 317388 0
[pid=25838] ppid=25836 vsize=49676 CPUtime=103.16 cores=1
/proc/25838/stat : 25838 (clasp) R 25836 25836 25371 0 -1 4202496 10390 0 0 0 10313 3 0 0 25 0 1 0 641871487 50868224 9468 268435456000 4194304 4785740 140736289181328 18446744073709551615 4287017 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/25838/statm: 12419 9468 338 145 0 9464 0
[pid=25839] ppid=25836 vsize=460712 CPUtime=103.16 cores=2
/proc/25839/stat : 25839 (TNM) R 25836 25836 25371 0 -1 4202496 2617 0 0 0 10315 1 0 0 25 0 1 0 641871487 471769088 2514 268435456000 134512640 134534564 4289377584 18446744073709551615 134530664 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/25839/statm: 115178 2514 95 6 0 113843 0
[pid=25840] ppid=25836 vsize=64560 CPUtime=103.16 cores=3
/proc/25840/stat : 25840 (march_hi) R 25836 25836 25371 0 -1 4202496 27742 0 0 0 10309 7 0 0 25 0 1 0 641871487 66109440 9604 268435456000 4194304 4331988 140735999948496 18446744073709551615 4210904 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25840/statm: 16140 9604 174 34 0 14582 0
[pid=25841] ppid=25836 vsize=413696 CPUtime=2847.3 cores=4-31
/proc/25841/stat : 25841 (plingeling) R 25836 25836 25371 0 -1 4202496 194399 1248 0 0 284615 114 0 1 17 0 1 0 641871487 423624704 11605 268435456000 4194304 4356188 140737144633216 18446744073709551615 258650981722 0 0 4096 0 0 0 0 17 22 0 0 0
/proc/25841/statm: 103424 11605 160 40 0 101968 0
Current children cumulated CPU time (s) 3259.94
Current children cumulated vsize (KiB) 2290272
Child status: 0
Real time (s): 103.211
CPU time (s): 3260.04
CPU user time (s): 3258.63
CPU system time (s): 1.41279
CPU usage (%): 3158.62
Max. virtual memory (cumulated for all children) (KiB): 3859172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3258.63
system time used= 1.41278
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268329
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= 1985
involuntary context switches= 8062
runsolver used 0.560914 second user time and 2.36264 second system time
The end
Begin job on node200 at 2011-05-13 18:24:11
IDJOB=3347539
IDBENCH=83117
IDSOLVER=1808
FILE ID=node200/3347539-1305303850
RUNJOBID= node200-1305293643-25385
PBS_JOBID= 13282108
Free space on /tmp= 62052 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom13.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347539-1305303850/watcher-3347539-1305303850 -o /tmp/evaluation-result-3347539-1305303850/solver-3347539-1305303850 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347539-1305303850.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= f3c2fb082f5fbc8fb1f714d6ee13929d
RANDOM SEED=99302927
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: 255624232 kB
Buffers: 433400 kB
Cached: 7798840 kB
SwapCached: 0 kB
Active: 7376668 kB
Inactive: 923788 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255624232 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 10928 kB
Writeback: 0 kB
AnonPages: 68972 kB
Mapped: 14548 kB
Slab: 249412 kB
PageTables: 4480 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 197148 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-13 18:25:54