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
0.00/0.01
134.71/33.78 s UNSATISFIABLE
135.33/33.93 solver [1] cryptominisat 2.7.1 answered
135.33/33.93 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-3347737-1306176428/watcher-3347737-1306176428 -o /tmp/evaluation-result-3347737-1306176428/solver-3347737-1306176428 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347737-1306176428.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.88 29.27 29.39 1/413 4416
/proc/meminfo: memFree=255058172/264257624 swapFree=67111528/67111528
[pid=4416] ppid=4414 vsize=18324 CPUtime=0 cores=0-31
/proc/4416/stat : 4416 (ppfolio) S 4414 4416 4390 0 -1 4202496 513 214 0 0 0 0 0 0 23 0 1 0 729129818 18763776 386 268435456000 4194304 4287625 140735512399376 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 16 0 0 0
/proc/4416/statm: 4581 386 338 23 0 91 0
[startup+0.125566 s]
/proc/loadavg: 28.88 29.27 29.39 1/413 4416
/proc/meminfo: memFree=255058172/264257624 swapFree=67111528/67111528
[pid=4416] ppid=4414 vsize=18324 CPUtime=0 cores=0-31
/proc/4416/stat : 4416 (ppfolio) S 4414 4416 4390 0 -1 4202496 513 214 0 0 0 0 0 0 23 0 1 0 729129818 18763776 386 268435456000 4194304 4287625 140735512399376 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 16 0 0 0
/proc/4416/statm: 4581 386 338 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.200581 s]
/proc/loadavg: 28.88 29.27 29.39 1/413 4416
/proc/meminfo: memFree=255058172/264257624 swapFree=67111528/67111528
[pid=4416] ppid=4414 vsize=18324 CPUtime=0 cores=0-31
/proc/4416/stat : 4416 (ppfolio) S 4414 4416 4390 0 -1 4202496 513 214 0 0 0 0 0 0 23 0 1 0 729129818 18763776 386 268435456000 4194304 4287625 140735512399376 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 16 0 0 0
/proc/4416/statm: 4581 386 338 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300582 s]
/proc/loadavg: 28.88 29.27 29.39 1/413 4416
/proc/meminfo: memFree=255058172/264257624 swapFree=67111528/67111528
[pid=4416] ppid=4414 vsize=18324 CPUtime=0 cores=0-31
/proc/4416/stat : 4416 (ppfolio) S 4414 4416 4390 0 -1 4202496 513 214 0 0 0 0 0 0 23 0 1 0 729129818 18763776 386 268435456000 4194304 4287625 140735512399376 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 16 0 0 0
/proc/4416/statm: 4581 386 338 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700606 s]
/proc/loadavg: 28.88 29.27 29.39 1/413 4416
/proc/meminfo: memFree=255058172/264257624 swapFree=67111528/67111528
[pid=4416] ppid=4414 vsize=18324 CPUtime=0 cores=0-31
/proc/4416/stat : 4416 (ppfolio) S 4414 4416 4390 0 -1 4202496 513 214 0 0 0 0 0 0 23 0 1 0 729129818 18763776 386 268435456000 4194304 4287625 140735512399376 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 16 0 0 0
/proc/4416/statm: 4581 386 338 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50059 s]
/proc/loadavg: 26.89 28.85 29.25 5/418 4427
/proc/meminfo: memFree=253868096/264257624 swapFree=67111528/67111528
[pid=4416] ppid=4414 vsize=18324 CPUtime=0 cores=0-31
/proc/4416/stat : 4416 (ppfolio) S 4414 4416 4390 0 -1 4202496 513 214 0 0 0 0 0 0 23 0 1 0 729129818 18763776 386 268435456000 4194304 4287625 140735512399376 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 16 0 0 0
/proc/4416/statm: 4581 386 338 23 0 91 0
[pid=4417] ppid=4416 vsize=506376 CPUtime=1.48 cores=0
/proc/4417/stat : 4417 (cryptominisat) R 4416 4416 4390 0 -1 4202496 101501 0 0 0 122 26 0 0 25 0 1 0 729129818 518529024 98834 268435456000 4194304 4587354 140736978045776 18446744073709551615 258650616632 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4417/statm: 126594 98834 287 96 0 123156 0
[pid=4418] ppid=4416 vsize=368124 CPUtime=1.48 cores=1
/proc/4418/stat : 4418 (clasp) R 4416 4416 4390 0 -1 4202496 100608 0 0 0 119 29 0 0 20 0 1 0 729129818 376958976 85943 268435456000 4194304 4785740 140737037556768 18446744073709551615 258650616632 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/4418/statm: 92031 85944 307 145 0 89076 0
[pid=4420] ppid=4416 vsize=317300 CPUtime=1.48 cores=3
/proc/4420/stat : 4420 (march_hi) R 4416 4416 4390 0 -1 4194304 71377 0 0 0 125 23 0 0 20 0 1 0 729129818 324915200 71273 268435456000 4194304 4331988 140736411423264 18446744073709551615 258650955760 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4420/statm: 79325 71274 112 34 0 77767 0
[pid=4421] ppid=4416 vsize=339712 CPUtime=1.48 cores=4-31
/proc/4421/stat : 4421 (plingeling) R 4416 4416 4390 0 -1 4202496 83703 1238 0 0 129 18 0 1 21 0 1 0 729129818 347865088 83587 268435456000 4194304 4356188 140736523318736 18446744073709551615 4277592 0 0 4096 17442 0 0 0 17 20 0 0 0
/proc/4421/statm: 84928 83587 129 40 0 83472 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 1549836
[startup+3.10065 s]
/proc/loadavg: 26.89 28.85 29.25 5/418 4427
/proc/meminfo: memFree=253408280/264257624 swapFree=67111528/67111528
[pid=4416] ppid=4414 vsize=18324 CPUtime=0 cores=0-31
/proc/4416/stat : 4416 (ppfolio) S 4414 4416 4390 0 -1 4202496 513 214 0 0 0 0 0 0 23 0 1 0 729129818 18763776 386 268435456000 4194304 4287625 140735512399376 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 16 0 0 0
/proc/4416/statm: 4581 386 338 23 0 91 0
[pid=4417] ppid=4416 vsize=878192 CPUtime=3.09 cores=0
/proc/4417/stat : 4417 (cryptominisat) R 4416 4416 4390 0 -1 4202496 162668 0 0 0 269 40 0 0 25 0 1 0 729129818 899268608 158830 268435456000 4194304 4587354 140736978045776 18446744073709551615 4435436 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4417/statm: 219548 158831 287 96 0 216110 0
[pid=4418] ppid=4416 vsize=540268 CPUtime=3.08 cores=1
/proc/4418/stat : 4418 (clasp) R 4416 4416 4390 0 -1 4202496 143667 0 0 0 263 45 0 0 25 0 1 0 729129818 553234432 129002 268435456000 4194304 4785740 140737037556768 18446744073709551615 258650616632 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/4418/statm: 135067 129002 307 145 0 132112 0
[pid=4420] ppid=4416 vsize=394124 CPUtime=3.08 cores=3
/proc/4420/stat : 4420 (march_hi) R 4416 4416 4390 0 -1 4194304 92998 0 0 0 275 33 0 0 25 0 1 0 729129818 403582976 92894 268435456000 4194304 4331988 140736411423264 18446744073709551615 258650955760 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4420/statm: 98531 92894 112 34 0 96973 0
[pid=4421] ppid=4416 vsize=470496 CPUtime=3.08 cores=4-31
/proc/4421/stat : 4421 (plingeling) R 4416 4416 4390 0 -1 4202496 116400 1238 0 0 283 24 0 1 25 0 1 0 729129818 481787904 116283 268435456000 4194304 4356188 140736523318736 18446744073709551615 4277785 0 0 4096 17442 0 0 0 17 20 0 0 0
/proc/4421/statm: 117624 116283 129 40 0 116168 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 2301404
[startup+6.30079 s]
/proc/loadavg: 26.89 28.85 29.25 5/418 4427
/proc/meminfo: memFree=252453244/264257624 swapFree=67111528/67111528
[pid=4416] ppid=4414 vsize=18324 CPUtime=0 cores=0-31
/proc/4416/stat : 4416 (ppfolio) S 4414 4416 4390 0 -1 4202496 513 214 0 0 0 0 0 0 18 0 1 0 729129818 18763776 386 268435456000 4194304 4287625 140735512399376 18446744073709551615 258650975999 0 0 4096 65536 9224197971950698496 0 0 17 16 0 0 0
/proc/4416/statm: 4581 386 338 23 0 91 0
[pid=4417] ppid=4416 vsize=906524 CPUtime=6.29 cores=0
/proc/4417/stat : 4417 (cryptominisat) R 4416 4416 4390 0 -1 4202496 171199 0 0 0 587 42 0 0 25 0 1 0 729129818 928280576 167233 268435456000 4194304 4587354 140736978045776 18446744073709551615 4237467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4417/statm: 226631 167233 304 96 0 223193 0
[pid=4418] ppid=4416 vsize=541360 CPUtime=6.28 cores=1
/proc/4418/stat : 4418 (clasp) R 4416 4416 4390 0 -1 4202496 184846 0 0 0 577 51 0 0 25 0 1 0 729129818 554352640 130880 268435456000 4194304 4785740 140737037556768 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/4418/statm: 135340 130880 320 145 0 132385 0
[pid=4420] ppid=4416 vsize=905424 CPUtime=6.29 cores=3
/proc/4420/stat : 4420 (march_hi) R 4416 4416 4390 0 -1 4194304 213766 0 0 0 566 63 0 0 25 0 1 0 729129818 927154176 166669 268435456000 4194304 4331988 140736411423264 18446744073709551615 258650623187 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4420/statm: 226356 166669 118 34 0 224798 0
[pid=4421] ppid=4416 vsize=745500 CPUtime=6.28 cores=4-31
/proc/4421/stat : 4421 (plingeling) R 4416 4416 4390 0 -1 4202496 185151 1238 0 0 590 37 0 1 25 0 1 0 729129818 763392000 185034 268435456000 4194304 4356188 140736523318736 18446744073709551615 4278631 0 0 4096 17442 0 0 0 17 20 0 0 0
/proc/4421/statm: 186375 185034 129 40 0 184919 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 3117132
[startup+12.701 s]
/proc/loadavg: 23.37 28.03 28.98 5/418 4427
/proc/meminfo: memFree=251300664/264257624 swapFree=67111528/67111528
[pid=4416] ppid=4414 vsize=18324 CPUtime=0 cores=0-31
/proc/4416/stat : 4416 (ppfolio) S 4414 4416 4390 0 -1 4202496 513 214 0 0 0 0 0 0 15 0 1 0 729129818 18763776 386 268435456000 4194304 4287625 140735512399376 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633290 0 0 17 16 0 0 0
/proc/4416/statm: 4581 386 338 23 0 91 0
[pid=4417] ppid=4416 vsize=1291332 CPUtime=12.68 cores=0
/proc/4417/stat : 4417 (cryptominisat) R 4416 4416 4390 0 -1 4202496 266756 0 0 0 1210 58 0 0 25 0 1 0 729129818 1322323968 262786 268435456000 4194304 4587354 140736978045776 18446744073709551615 4367552 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4417/statm: 322833 262786 309 96 0 319395 0
[pid=4418] ppid=4416 vsize=541360 CPUtime=12.68 cores=1
/proc/4418/stat : 4418 (clasp) R 4416 4416 4390 0 -1 4202496 184852 0 0 0 1217 51 0 0 25 0 1 0 729129818 554352640 130886 268435456000 4194304 4785740 140737037556768 18446744073709551615 4552550 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/4418/statm: 135340 130886 326 145 0 132385 0
[pid=4420] ppid=4416 vsize=959768 CPUtime=12.68 cores=3
/proc/4420/stat : 4420 (march_hi) R 4416 4416 4390 0 -1 4194304 406414 0 0 0 1166 102 0 0 25 0 1 0 729129818 982802432 170588 268435456000 4194304 4331988 140736411423264 18446744073709551615 4251467 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4420/statm: 239942 170588 127 34 0 238384 0
[pid=4421] ppid=4416 vsize=1180112 CPUtime=12.69 cores=4-31
/proc/4421/stat : 4421 (plingeling) R 4416 4416 4390 0 -1 4202496 293836 1238 0 0 1208 60 0 1 25 0 1 0 729129818 1208434688 293687 268435456000 4194304 4356188 140736523318736 18446744073709551615 4278267 0 0 4096 17442 0 0 0 17 20 0 0 0
/proc/4421/statm: 295028 293687 129 40 0 293572 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 3990896
[startup+25.5015 s]
/proc/loadavg: 20.39 27.24 28.71 5/418 4427
/proc/meminfo: memFree=250516648/264257624 swapFree=67111528/67111528
[pid=4416] ppid=4414 vsize=18324 CPUtime=0 cores=0-31
/proc/4416/stat : 4416 (ppfolio) S 4414 4416 4390 0 -1 4202496 513 214 0 0 0 0 0 0 15 0 1 0 729129818 18763776 386 268435456000 4194304 4287625 140735512399376 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633290 0 0 17 16 0 0 0
/proc/4416/statm: 4581 386 338 23 0 91 0
[pid=4417] ppid=4416 vsize=1230064 CPUtime=25.48 cores=0
/proc/4417/stat : 4417 (cryptominisat) R 4416 4416 4390 0 -1 4202496 296882 0 0 0 2484 64 0 0 25 0 1 0 729129818 1259585536 247626 268435456000 4194304 4587354 140736978045776 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4417/statm: 307516 247626 326 96 0 304078 0
[pid=4418] ppid=4416 vsize=541360 CPUtime=25.48 cores=1
/proc/4418/stat : 4418 (clasp) R 4416 4416 4390 0 -1 4202496 184853 0 0 0 2497 51 0 0 25 0 1 0 729129818 554352640 130887 268435456000 4194304 4785740 140737037556768 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/4418/statm: 135340 130887 327 145 0 132385 0
[pid=4420] ppid=4416 vsize=1248664 CPUtime=25.48 cores=3
/proc/4420/stat : 4420 (march_hi) R 4416 4416 4390 0 -1 4194304 849048 0 0 0 2360 188 0 0 25 0 1 0 729129818 1278631936 252385 268435456000 4194304 4331988 140736411423264 18446744073709551615 4252197 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4420/statm: 312166 252385 127 34 0 310608 0
[pid=4421] ppid=4416 vsize=2047288 CPUtime=25.48 cores=4-31
/proc/4421/stat : 4421 (plingeling) R 4416 4416 4390 0 -1 4202496 510678 1238 0 0 2444 103 0 1 25 0 1 0 729129818 2096422912 510481 268435456000 4194304 4356188 140736523318736 18446744073709551615 4225315 0 0 4096 17442 0 0 0 17 20 0 0 0
/proc/4421/statm: 511822 510481 129 40 0 510366 0
Current children cumulated CPU time (s) 101.92
Current children cumulated vsize (KiB) 5085700
Solver just ended. Dumping a history of the last processes samples
[startup+25.6014 s]
/proc/loadavg: 20.39 27.24 28.71 5/418 4427
/proc/meminfo: memFree=250516648/264257624 swapFree=67111528/67111528
[pid=4416] ppid=4414 vsize=18324 CPUtime=0 cores=0-31
/proc/4416/stat : 4416 (ppfolio) S 4414 4416 4390 0 -1 4202496 513 214 0 0 0 0 0 0 15 0 1 0 729129818 18763776 386 268435456000 4194304 4287625 140735512399376 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633290 0 0 17 16 0 0 0
/proc/4416/statm: 4581 386 338 23 0 91 0
[pid=4417] ppid=4416 vsize=1230064 CPUtime=25.58 cores=0
/proc/4417/stat : 4417 (cryptominisat) R 4416 4416 4390 0 -1 4202496 296882 0 0 0 2494 64 0 0 25 0 1 0 729129818 1259585536 247626 268435456000 4194304 4587354 140736978045776 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4417/statm: 307516 247626 326 96 0 304078 0
[pid=4418] ppid=4416 vsize=541360 CPUtime=25.58 cores=1
/proc/4418/stat : 4418 (clasp) R 4416 4416 4390 0 -1 4202496 184853 0 0 0 2507 51 0 0 25 0 1 0 729129818 554352640 130887 268435456000 4194304 4785740 140737037556768 18446744073709551615 4416773 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/4418/statm: 135340 130887 327 145 0 132385 0
[pid=4420] ppid=4416 vsize=1248664 CPUtime=25.58 cores=3
/proc/4420/stat : 4420 (march_hi) R 4416 4416 4390 0 -1 4194304 849073 0 0 0 2370 188 0 0 25 0 1 0 729129818 1278631936 252410 268435456000 4194304 4331988 140736411423264 18446744073709551615 4252204 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4420/statm: 312166 252410 127 34 0 310608 0
[pid=4421] ppid=4416 vsize=2047288 CPUtime=25.58 cores=4-31
/proc/4421/stat : 4421 (plingeling) R 4416 4416 4390 0 -1 4202496 510678 1238 0 0 2454 103 0 1 25 0 1 0 729129818 2096422912 510481 268435456000 4194304 4356188 140736523318736 18446744073709551615 4277592 0 0 4096 17442 0 0 0 17 20 0 0 0
/proc/4421/statm: 511822 510481 129 40 0 510366 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 5085700
[startup+28.8006 s]
/proc/loadavg: 19.08 26.85 28.58 5/418 4429
/proc/meminfo: memFree=250000564/264257624 swapFree=67111528/67111528
[pid=4416] ppid=4414 vsize=18324 CPUtime=0 cores=0-31
/proc/4416/stat : 4416 (ppfolio) S 4414 4416 4390 0 -1 4202496 513 214 0 0 0 0 0 0 15 0 1 0 729129818 18763776 386 268435456000 4194304 4287625 140735512399376 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633290 0 0 17 16 0 0 0
/proc/4416/statm: 4581 386 338 23 0 91 0
[pid=4417] ppid=4416 vsize=1232112 CPUtime=28.78 cores=0
/proc/4417/stat : 4417 (cryptominisat) R 4416 4416 4390 0 -1 4202496 297401 0 0 0 2814 64 0 0 25 0 1 0 729129818 1261682688 248145 268435456000 4194304 4587354 140736978045776 18446744073709551615 4231983 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4417/statm: 308028 248145 326 96 0 304590 0
[pid=4418] ppid=4416 vsize=541360 CPUtime=28.78 cores=1
/proc/4418/stat : 4418 (clasp) R 4416 4416 4390 0 -1 4202496 184859 0 0 0 2827 51 0 0 25 0 1 0 729129818 554352640 130893 268435456000 4194304 4785740 140737037556768 18446744073709551615 4416773 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/4418/statm: 135340 130893 333 145 0 132385 0
[pid=4420] ppid=4416 vsize=1024232 CPUtime=28.77 cores=3
/proc/4420/stat : 4420 (march_hi) R 4416 4416 4390 0 -1 4202496 950982 0 0 0 2667 210 0 0 25 0 1 0 729129818 1048813568 184504 268435456000 4194304 4331988 140736411423264 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4420/statm: 256091 184509 146 34 0 254533 0
[pid=4421] ppid=4416 vsize=2863220 CPUtime=28.78 cores=4-31
/proc/4421/stat : 4421 (plingeling) R 4416 4416 4390 0 -1 4202496 715485 1238 0 0 2736 141 0 1 25 0 1 0 729129818 2931937280 714464 268435456000 4194304 4356188 140736523318736 18446744073709551615 4278640 0 0 4096 17442 0 0 0 17 20 0 0 0
/proc/4421/statm: 715805 714464 129 40 0 714349 0
Current children cumulated CPU time (s) 115.11
Current children cumulated vsize (KiB) 5679248
[startup+32.0197 s]
/proc/loadavg: 17.87 26.47 28.45 5/418 4429
/proc/meminfo: memFree=249963700/264257624 swapFree=67111528/67111528
[pid=4416] ppid=4414 vsize=18324 CPUtime=0 cores=0-31
/proc/4416/stat : 4416 (ppfolio) S 4414 4416 4390 0 -1 4202496 513 214 0 0 0 0 0 0 15 0 1 0 729129818 18763776 386 268435456000 4194304 4287625 140735512399376 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633290 0 0 17 16 0 0 0
/proc/4416/statm: 4581 386 338 23 0 91 0
[pid=4417] ppid=4416 vsize=1232112 CPUtime=32 cores=0
/proc/4417/stat : 4417 (cryptominisat) R 4416 4416 4390 0 -1 4202496 297570 0 0 0 3136 64 0 0 25 0 1 0 729129818 1261682688 248314 268435456000 4194304 4587354 140736978045776 18446744073709551615 4237467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4417/statm: 308028 248314 326 96 0 304590 0
[pid=4418] ppid=4416 vsize=541360 CPUtime=32 cores=1
/proc/4418/stat : 4418 (clasp) R 4416 4416 4390 0 -1 4202496 184859 0 0 0 3149 51 0 0 25 0 1 0 729129818 554352640 130893 268435456000 4194304 4785740 140737037556768 18446744073709551615 4552930 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/4418/statm: 135340 130893 333 145 0 132385 0
[pid=4420] ppid=4416 vsize=912912 CPUtime=32 cores=3
/proc/4420/stat : 4420 (march_hi) R 4416 4416 4390 0 -1 4202496 1102946 0 0 0 2956 244 0 0 25 0 1 0 729129818 934821888 168594 268435456000 4194304 4331988 140736411423264 18446744073709551615 4221453 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4420/statm: 228228 168594 146 34 0 226670 0
[pid=4421] ppid=4416 vsize=2863220 CPUtime=32 cores=4-31
/proc/4421/stat : 4421 (plingeling) R 4416 4416 4390 0 -1 4202496 715485 1238 0 0 3057 142 0 1 25 0 1 0 729129818 2931937280 714464 268435456000 4194304 4356188 140736523318736 18446744073709551615 4278267 0 0 4096 17442 0 0 0 17 20 0 0 0
/proc/4421/statm: 715805 714464 129 40 0 714349 0
Current children cumulated CPU time (s) 128
Current children cumulated vsize (KiB) 5567928
[startup+32.8008 s]
/proc/loadavg: 17.87 26.47 28.45 5/418 4429
/proc/meminfo: memFree=249963700/264257624 swapFree=67111528/67111528
[pid=4416] ppid=4414 vsize=18324 CPUtime=0 cores=0-31
/proc/4416/stat : 4416 (ppfolio) S 4414 4416 4390 0 -1 4202496 513 214 0 0 0 0 0 0 16 0 1 0 729129818 18763776 386 268435456000 4194304 4287625 140735512399376 18446744073709551615 258650975999 0 0 4096 65536 9224197971950698496 0 0 17 16 0 0 0
/proc/4416/statm: 4581 386 338 23 0 91 0
[pid=4417] ppid=4416 vsize=1232112 CPUtime=32.78 cores=0
/proc/4417/stat : 4417 (cryptominisat) R 4416 4416 4390 0 -1 4202496 297585 0 0 0 3214 64 0 0 25 0 1 0 729129818 1261682688 248328 268435456000 4194304 4587354 140736978045776 18446744073709551615 4414136 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4417/statm: 308028 248328 339 96 0 304590 0
[pid=4418] ppid=4416 vsize=541360 CPUtime=32.78 cores=1
/proc/4418/stat : 4418 (clasp) R 4416 4416 4390 0 -1 4202496 184859 0 0 0 3227 51 0 0 25 0 1 0 729129818 554352640 130893 268435456000 4194304 4785740 140737037556768 18446744073709551615 4552550 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/4418/statm: 135340 130893 333 145 0 132385 0
[pid=4420] ppid=4416 vsize=1240996 CPUtime=32.78 cores=3
/proc/4420/stat : 4420 (march_hi) R 4416 4416 4390 0 -1 4202496 1184796 0 0 0 3019 259 0 0 25 0 1 0 729129818 1270779904 250444 268435456000 4194304 4331988 140736411423264 18446744073709551615 4252197 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4420/statm: 310249 250444 146 34 0 308691 0
[pid=4421] ppid=4416 vsize=2863220 CPUtime=32.78 cores=4-31
/proc/4421/stat : 4421 (plingeling) R 4416 4416 4390 0 -1 4202496 715485 1238 0 0 3135 142 0 1 25 0 1 0 729129818 2931937280 714464 268435456000 4194304 4356188 140736523318736 18446744073709551615 4212608 0 0 4096 17442 0 0 0 17 20 0 0 0
/proc/4421/statm: 715805 714464 129 40 0 714349 0
Current children cumulated CPU time (s) 131.12
Current children cumulated vsize (KiB) 5896012
[startup+33.6007 s]
/proc/loadavg: 17.87 26.47 28.45 5/418 4429
/proc/meminfo: memFree=249685240/264257624 swapFree=67111528/67111528
[pid=4416] ppid=4414 vsize=18324 CPUtime=0 cores=0-31
/proc/4416/stat : 4416 (ppfolio) S 4414 4416 4390 0 -1 4202496 513 214 0 0 0 0 0 0 16 0 1 0 729129818 18763776 386 268435456000 4194304 4287625 140735512399376 18446744073709551615 258650975999 0 0 4096 65536 9224197971950698496 0 0 17 16 0 0 0
/proc/4416/statm: 4581 386 338 23 0 91 0
[pid=4417] ppid=4416 vsize=959148 CPUtime=33.57 cores=0
/proc/4417/stat : 4417 (cryptominisat) R 4416 4416 4390 0 -1 4202496 297585 0 0 0 3291 66 0 0 25 0 1 0 729129818 982167552 191476 268435456000 4194304 4587354 140736978045776 18446744073709551615 4272847 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4417/statm: 239787 191476 339 96 0 236349 0
[pid=4418] ppid=4416 vsize=541360 CPUtime=33.58 cores=1
/proc/4418/stat : 4418 (clasp) R 4416 4416 4390 0 -1 4202496 184859 0 0 0 3307 51 0 0 25 0 1 0 729129818 554352640 130893 268435456000 4194304 4785740 140737037556768 18446744073709551615 4416786 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/4418/statm: 135340 130893 333 145 0 132385 0
[pid=4420] ppid=4416 vsize=1240996 CPUtime=33.58 cores=3
/proc/4420/stat : 4420 (march_hi) R 4416 4416 4390 0 -1 4202496 1184974 0 0 0 3099 259 0 0 25 0 1 0 729129818 1270779904 250622 268435456000 4194304 4331988 140736411423264 18446744073709551615 258650613611 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4420/statm: 310249 250622 146 34 0 308691 0
[pid=4421] ppid=4416 vsize=2863220 CPUtime=33.58 cores=4-31
/proc/4421/stat : 4421 (plingeling) R 4416 4416 4390 0 -1 4202496 715485 1238 0 0 3215 142 0 1 25 0 1 0 729129818 2931937280 714464 268435456000 4194304 4356188 140736523318736 18446744073709551615 4278590 0 0 4096 17442 0 0 0 17 20 0 0 0
/proc/4421/statm: 715805 714464 129 40 0 714349 0
Current children cumulated CPU time (s) 134.31
Current children cumulated vsize (KiB) 5623048
[startup+33.8008 s]
/proc/loadavg: 17.87 26.47 28.45 5/418 4429
/proc/meminfo: memFree=249685240/264257624 swapFree=67111528/67111528
[pid=4416] ppid=4414 vsize=18324 CPUtime=0 cores=0-31
/proc/4416/stat : 4416 (ppfolio) S 4414 4416 4390 0 -1 4202496 513 214 0 0 0 0 0 0 15 0 1 0 729129818 18763776 386 268435456000 4194304 4287625 140735512399376 18446744073709551615 258650975999 0 0 4096 65536 42949640464 0 0 17 16 0 0 0
/proc/4416/statm: 4581 386 338 23 0 91 0
[pid=4417] ppid=4416 vsize=0 CPUtime=33.78 cores=0
/proc/4417/stat : 4417 (cryptominisat) R 4416 4416 4390 0 -1 4202500 297586 0 0 0 3307 71 0 0 25 0 1 0 729129818 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4417/statm: 0 0 0 0 0 0 0
[pid=4418] ppid=4416 vsize=0 CPUtime=33.77 cores=1
/proc/4418/stat : 4418 (clasp) R 4416 4416 4390 0 -1 4203524 184859 0 0 0 3325 52 0 0 25 0 1 0 729129818 0 0 268435456000 0 0 0 0 0 0 0 4096 16386 18446744073709551615 0 0 17 1 0 0 0
/proc/4418/statm: 0 0 0 0 0 0 0
[pid=4420] ppid=4416 vsize=1240996 CPUtime=33.77 cores=3
/proc/4420/stat : 4420 (march_hi) R 4416 4416 4390 0 -1 4202496 1184974 0 0 0 3117 260 0 0 25 0 1 0 729129818 1270779904 197200 268435456000 4194304 4331988 140736411423264 18446744073709551615 258650981722 256 0 4096 0 0 0 0 17 3 0 0 0
/proc/4420/statm: 310249 197200 146 34 0 308691 0
[pid=4421] ppid=4416 vsize=0 CPUtime=33.77 cores=4-31
/proc/4421/stat : 4421 (plingeling) R 4416 4416 4390 0 -1 4203524 715485 1238 0 0 3233 143 0 1 25 0 1 0 729129818 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/4421/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 135.09
Current children cumulated vsize (KiB) 1259320
[startup+33.9009 s]
/proc/loadavg: 17.87 26.47 28.45 5/418 4429
/proc/meminfo: memFree=249685240/264257624 swapFree=67111528/67111528
[pid=4416] ppid=4414 vsize=18324 CPUtime=101.46 cores=0-31
/proc/4416/stat : 4416 (ppfolio) S 4414 4416 4390 0 -1 4202496 513 1667633 0 0 0 0 9751 395 15 0 1 0 729129818 18763776 386 268435456000 4194304 4287625 140735512399376 18446744073709551615 258650975999 0 0 4096 65536 9192446627351101439 0 0 17 16 0 0 0
/proc/4416/statm: 4581 386 338 23 0 91 0
[pid=4421] ppid=4416 vsize=0 CPUtime=33.87 cores=4-31
/proc/4421/stat : 4421 (plingeling) R 4416 4416 4390 0 -1 4203524 715485 1238 0 0 3233 153 0 1 25 0 1 0 729129818 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/4421/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 135.33
Current children cumulated vsize (KiB) 18324
Child status: 0
Real time (s): 33.9392
CPU time (s): 135.399
CPU user time (s): 129.851
CPU system time (s): 5.54816
CPU usage (%): 398.947
Max. virtual memory (cumulated for all children) (KiB): 5896012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 129.851
system time used= 5.54816
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2384888
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= 993
involuntary context switches= 152
runsolver used 0.105983 second user time and 0.490925 second system time
The end
Begin job on node200 at 2011-05-23 20:47:14
IDJOB=3347737
IDBENCH=88172
IDSOLVER=1808
FILE ID=node200/3347737-1306176428
RUNJOBID= node200-1306176428-4404
PBS_JOBID= 13388025
Free space on /tmp= 61928 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT-Race-2010-CNF/software-verification/nec/hard-18-U-10652.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347737-1306176428/watcher-3347737-1306176428 -o /tmp/evaluation-result-3347737-1306176428/solver-3347737-1306176428 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347737-1306176428.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= f0f11935e861485056485b47c5e1a7c3
RANDOM SEED=1062184520
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: 255058584 kB
Buffers: 462264 kB
Cached: 8319200 kB
SwapCached: 0 kB
Active: 7844088 kB
Inactive: 1005984 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255058584 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 131536 kB
Writeback: 0 kB
AnonPages: 69036 kB
Mapped: 14480 kB
Slab: 257172 kB
PageTables: 4436 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 195456 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= 61920 MiB
End job on node200 at 2011-05-23 20:47:48