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
47.39/9.53 s UNSATISFIABLE
47.39/9.60 solver [2] clasp 1.3.6 answered
47.39/9.60 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-3347739-1306176660/watcher-3347739-1306176660 -o /tmp/evaluation-result-3347739-1306176660/solver-3347739-1306176660 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347739-1306176660.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: 15.70 18.32 24.64 1/413 4523
/proc/meminfo: memFree=255131620/264257624 swapFree=67111528/67111528
[pid=4523] ppid=4521 vsize=18324 CPUtime=0 cores=0-31
/proc/4523/stat : 4523 (ppfolio) S 4521 4523 4390 0 -1 4202496 513 0 0 0 0 0 0 0 24 0 1 0 729152526 18763776 386 268435456000 4194304 4287625 140735488352912 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 16 0 0 0
/proc/4523/statm: 4581 386 337 23 0 91 0
[startup+0.111638 s]
/proc/loadavg: 15.70 18.32 24.64 1/413 4523
/proc/meminfo: memFree=255131620/264257624 swapFree=67111528/67111528
[pid=4523] ppid=4521 vsize=18324 CPUtime=0 cores=0-31
/proc/4523/stat : 4523 (ppfolio) S 4521 4523 4390 0 -1 4202496 513 0 0 0 0 0 0 0 24 0 1 0 729152526 18763776 386 268435456000 4194304 4287625 140735488352912 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 16 0 0 0
/proc/4523/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.200621 s]
/proc/loadavg: 15.70 18.32 24.64 1/413 4523
/proc/meminfo: memFree=255131620/264257624 swapFree=67111528/67111528
[pid=4523] ppid=4521 vsize=18324 CPUtime=0 cores=0-31
/proc/4523/stat : 4523 (ppfolio) S 4521 4523 4390 0 -1 4202496 513 0 0 0 0 0 0 0 24 0 1 0 729152526 18763776 386 268435456000 4194304 4287625 140735488352912 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 16 0 0 0
/proc/4523/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300645 s]
/proc/loadavg: 15.70 18.32 24.64 1/413 4523
/proc/meminfo: memFree=255131620/264257624 swapFree=67111528/67111528
[pid=4523] ppid=4521 vsize=18324 CPUtime=0 cores=0-31
/proc/4523/stat : 4523 (ppfolio) S 4521 4523 4390 0 -1 4202496 513 0 0 0 0 0 0 0 24 0 1 0 729152526 18763776 386 268435456000 4194304 4287625 140735488352912 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 16 0 0 0
/proc/4523/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700637 s]
/proc/loadavg: 15.70 18.32 24.64 1/413 4523
/proc/meminfo: memFree=255131620/264257624 swapFree=67111528/67111528
[pid=4523] ppid=4521 vsize=18324 CPUtime=0 cores=0-31
/proc/4523/stat : 4523 (ppfolio) S 4521 4523 4390 0 -1 4202496 513 0 0 0 0 0 0 0 24 0 1 0 729152526 18763776 386 268435456000 4194304 4287625 140735488352912 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 16 0 0 0
/proc/4523/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50065 s]
/proc/loadavg: 15.70 18.32 24.64 6/419 4534
/proc/meminfo: memFree=254645708/264257624 swapFree=67111528/67111528
[pid=4523] ppid=4521 vsize=18324 CPUtime=0 cores=0-31
/proc/4523/stat : 4523 (ppfolio) S 4521 4523 4390 0 -1 4202496 513 0 0 0 0 0 0 0 18 0 1 0 729152526 18763776 386 268435456000 4194304 4287625 140735488352912 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 16 0 0 0
/proc/4523/statm: 4581 386 337 23 0 91 0
[pid=4524] ppid=4523 vsize=195744 CPUtime=1.48 cores=0
/proc/4524/stat : 4524 (cryptominisat) R 4523 4523 4390 0 -1 4202496 32512 0 0 0 139 9 0 0 25 0 1 0 729152527 200441856 31589 268435456000 4194304 4587354 140737120704496 18446744073709551615 4248764 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4524/statm: 48936 31589 304 96 0 45498 0
[pid=4525] ppid=4523 vsize=173956 CPUtime=1.49 cores=1
/proc/4525/stat : 4525 (clasp) R 4523 4523 4390 0 -1 4202496 48164 0 0 0 137 12 0 0 20 0 1 0 729152527 178130944 38221 268435456000 4194304 4785740 140733543294176 18446744073709551615 4482856 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/4525/statm: 43489 38221 317 145 0 40534 0
[pid=4526] ppid=4523 vsize=473124 CPUtime=1.48 cores=2
/proc/4526/stat : 4526 (TNM) R 4523 4523 4390 0 -1 4202496 8788 0 0 0 144 4 0 0 20 0 1 0 729152527 484478976 8687 268435456000 134512640 134534564 4291328096 18446744073709551615 4155047 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4526/statm: 118281 8687 90 6 0 116946 0
[pid=4527] ppid=4523 vsize=212544 CPUtime=1.48 cores=3
/proc/4527/stat : 4527 (march_hi) R 4523 4523 4390 0 -1 4194304 40489 0 0 0 137 11 0 0 20 0 1 0 729152527 217645056 40383 268435456000 4194304 4331988 140734082233440 18446744073709551615 4251632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4527/statm: 53136 40383 116 34 0 51578 0
[pid=4528] ppid=4523 vsize=180088 CPUtime=1.48 cores=4-31
/proc/4528/stat : 4528 (plingeling) R 4523 4523 4390 0 -1 4202496 43765 1248 0 0 136 12 0 0 21 0 1 0 729152527 184410112 43650 268435456000 4194304 4356188 140737383173536 18446744073709551615 4278608 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/4528/statm: 45022 43650 129 40 0 43566 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 1253780
[startup+3.10072 s]
/proc/loadavg: 15.70 18.32 24.64 6/419 4534
/proc/meminfo: memFree=254321340/264257624 swapFree=67111528/67111528
[pid=4523] ppid=4521 vsize=18324 CPUtime=0 cores=0-31
/proc/4523/stat : 4523 (ppfolio) S 4521 4523 4390 0 -1 4202496 513 0 0 0 0 0 0 0 18 0 1 0 729152526 18763776 386 268435456000 4194304 4287625 140735488352912 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 16 0 0 0
/proc/4523/statm: 4581 386 337 23 0 91 0
[pid=4524] ppid=4523 vsize=195744 CPUtime=3.08 cores=0
/proc/4524/stat : 4524 (cryptominisat) R 4523 4523 4390 0 -1 4202496 32520 0 0 0 299 9 0 0 25 0 1 0 729152527 200441856 31596 268435456000 4194304 4587354 140737120704496 18446744073709551615 4230266 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4524/statm: 48936 31596 304 96 0 45498 0
[pid=4525] ppid=4523 vsize=217868 CPUtime=3.08 cores=1
/proc/4525/stat : 4525 (clasp) R 4523 4523 4390 0 -1 4202496 58761 0 0 0 294 14 0 0 25 0 1 0 729152527 223096832 48818 268435456000 4194304 4785740 140733543294176 18446744073709551615 4486743 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/4525/statm: 54467 48818 317 145 0 51512 0
[pid=4526] ppid=4523 vsize=523412 CPUtime=3.08 cores=2
/proc/4526/stat : 4526 (TNM) R 4523 4523 4390 0 -1 4202496 24307 0 0 0 303 5 0 0 25 0 1 0 729152527 535973888 24205 268435456000 134512640 134534564 4291328096 18446744073709551615 134524546 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4526/statm: 130853 24205 91 6 0 129518 0
[pid=4527] ppid=4523 vsize=178284 CPUtime=3.09 cores=3
/proc/4527/stat : 4527 (march_hi) R 4523 4523 4390 0 -1 4194304 76198 0 0 0 288 21 0 0 25 0 1 0 729152527 182562816 31676 268435456000 4194304 4331988 140734082233440 18446744073709551615 258650653246 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4527/statm: 44571 31676 127 34 0 43013 0
[pid=4528] ppid=4523 vsize=342792 CPUtime=3.08 cores=4-31
/proc/4528/stat : 4528 (plingeling) R 4523 4523 4390 0 -1 4202496 84481 1248 0 0 287 21 0 0 25 0 1 0 729152527 351019008 84358 268435456000 4194304 4356188 140737383173536 18446744073709551615 4212476 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/4528/statm: 85698 84358 129 40 0 84242 0
Current children cumulated CPU time (s) 15.41
Current children cumulated vsize (KiB) 1476424
[startup+6.30081 s]
/proc/loadavg: 14.84 18.10 24.53 6/419 4534
/proc/meminfo: memFree=253971956/264257624 swapFree=67111528/67111528
[pid=4523] ppid=4521 vsize=18324 CPUtime=0 cores=0-31
/proc/4523/stat : 4523 (ppfolio) S 4521 4523 4390 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 729152526 18763776 386 268435456000 4194304 4287625 140735488352912 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 16 0 0 0
/proc/4523/statm: 4581 386 337 23 0 91 0
[pid=4524] ppid=4523 vsize=265840 CPUtime=6.28 cores=0
/proc/4524/stat : 4524 (cryptominisat) R 4523 4523 4390 0 -1 4202496 49795 0 0 0 615 13 0 0 25 0 1 0 729152527 272220160 48871 268435456000 4194304 4587354 140737120704496 18446744073709551615 4367402 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4524/statm: 66460 48871 310 96 0 63022 0
[pid=4525] ppid=4523 vsize=205352 CPUtime=6.28 cores=1
/proc/4525/stat : 4525 (clasp) R 4523 4523 4390 0 -1 4202496 62557 0 0 0 613 15 0 0 25 0 1 0 729152527 210280448 46839 268435456000 4194304 4785740 140733543294176 18446744073709551615 4553068 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/4525/statm: 51338 46839 331 145 0 48383 0
[pid=4526] ppid=4523 vsize=523412 CPUtime=6.28 cores=2
/proc/4526/stat : 4526 (TNM) R 4523 4523 4390 0 -1 4202496 24307 0 0 0 623 5 0 0 25 0 1 0 729152527 535973888 24205 268435456000 134512640 134534564 4291328096 18446744073709551615 134524695 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4526/statm: 130853 24205 91 6 0 129518 0
[pid=4527] ppid=4523 vsize=175680 CPUtime=6.28 cores=3
/proc/4527/stat : 4527 (march_hi) R 4523 4523 4390 0 -1 4194304 171791 0 0 0 588 40 0 0 25 0 1 0 729152527 179896320 31649 268435456000 4194304 4331988 140734082233440 18446744073709551615 4262483 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4527/statm: 43920 31649 127 34 0 42362 0
[pid=4528] ppid=4523 vsize=559936 CPUtime=6.28 cores=4-31
/proc/4528/stat : 4528 (plingeling) R 4523 4523 4390 0 -1 4202496 138767 1248 0 0 596 32 0 0 25 0 1 0 729152527 573374464 138644 268435456000 4194304 4356188 140737383173536 18446744073709551615 4278631 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/4528/statm: 139984 138644 129 40 0 138528 0
Current children cumulated CPU time (s) 31.4
Current children cumulated vsize (KiB) 1748544
Solver just ended. Dumping a history of the last processes samples
[startup+6.40082 s]
/proc/loadavg: 14.84 18.10 24.53 6/419 4534
/proc/meminfo: memFree=253971956/264257624 swapFree=67111528/67111528
[pid=4523] ppid=4521 vsize=18324 CPUtime=0 cores=0-31
/proc/4523/stat : 4523 (ppfolio) S 4521 4523 4390 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 729152526 18763776 386 268435456000 4194304 4287625 140735488352912 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 16 0 0 0
/proc/4523/statm: 4581 386 337 23 0 91 0
[pid=4524] ppid=4523 vsize=265840 CPUtime=6.38 cores=0
/proc/4524/stat : 4524 (cryptominisat) R 4523 4523 4390 0 -1 4202496 49795 0 0 0 625 13 0 0 25 0 1 0 729152527 272220160 48871 268435456000 4194304 4587354 140737120704496 18446744073709551615 4367358 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4524/statm: 66460 48871 310 96 0 63022 0
[pid=4525] ppid=4523 vsize=205352 CPUtime=6.38 cores=1
/proc/4525/stat : 4525 (clasp) R 4523 4523 4390 0 -1 4202496 62563 0 0 0 623 15 0 0 25 0 1 0 729152527 210280448 46845 268435456000 4194304 4785740 140733543294176 18446744073709551615 4552970 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/4525/statm: 51338 46845 337 145 0 48383 0
[pid=4526] ppid=4523 vsize=523412 CPUtime=6.38 cores=2
/proc/4526/stat : 4526 (TNM) R 4523 4523 4390 0 -1 4202496 24307 0 0 0 633 5 0 0 25 0 1 0 729152527 535973888 24205 268435456000 134512640 134534564 4291328096 18446744073709551615 134524536 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4526/statm: 130853 24205 91 6 0 129518 0
[pid=4527] ppid=4523 vsize=181780 CPUtime=6.38 cores=3
/proc/4527/stat : 4527 (march_hi) R 4523 4523 4390 0 -1 4194304 171792 0 0 0 598 40 0 0 25 0 1 0 729152527 186142720 31650 268435456000 4194304 4331988 140734082233440 18446744073709551615 4257036 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4527/statm: 45445 31650 127 34 0 43887 0
[pid=4528] ppid=4523 vsize=559936 CPUtime=6.38 cores=4-31
/proc/4528/stat : 4528 (plingeling) R 4523 4523 4390 0 -1 4202496 138767 1248 0 0 606 32 0 0 25 0 1 0 729152527 573374464 138644 268435456000 4194304 4356188 140737383173536 18446744073709551615 4213270 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/4528/statm: 139984 138644 129 40 0 138528 0
Current children cumulated CPU time (s) 31.9
Current children cumulated vsize (KiB) 1754644
[startup+8.00088 s]
/proc/loadavg: 14.84 18.10 24.53 6/419 4534
/proc/meminfo: memFree=253715664/264257624 swapFree=67111528/67111528
[pid=4523] ppid=4521 vsize=18324 CPUtime=0 cores=0-31
/proc/4523/stat : 4523 (ppfolio) S 4521 4523 4390 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 729152526 18763776 386 268435456000 4194304 4287625 140735488352912 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 16 0 0 0
/proc/4523/statm: 4581 386 337 23 0 91 0
[pid=4524] ppid=4523 vsize=265840 CPUtime=7.98 cores=0
/proc/4524/stat : 4524 (cryptominisat) R 4523 4523 4390 0 -1 4202496 49795 0 0 0 785 13 0 0 25 0 1 0 729152527 272220160 48871 268435456000 4194304 4587354 140737120704496 18446744073709551615 4421075 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4524/statm: 66460 48871 310 96 0 63022 0
[pid=4525] ppid=4523 vsize=205352 CPUtime=7.98 cores=1
/proc/4525/stat : 4525 (clasp) R 4523 4523 4390 0 -1 4202496 62564 0 0 0 783 15 0 0 25 0 1 0 729152527 210280448 46846 268435456000 4194304 4785740 140733543294176 18446744073709551615 4290599 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/4525/statm: 51338 46846 338 145 0 48383 0
[pid=4526] ppid=4523 vsize=523412 CPUtime=7.98 cores=2
/proc/4526/stat : 4526 (TNM) R 4523 4523 4390 0 -1 4202496 24307 0 0 0 793 5 0 0 25 0 1 0 729152527 535973888 24205 268435456000 134512640 134534564 4291328096 18446744073709551615 134524736 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4526/statm: 130853 24205 91 6 0 129518 0
[pid=4527] ppid=4523 vsize=233308 CPUtime=7.98 cores=3
/proc/4527/stat : 4527 (march_hi) R 4523 4523 4390 0 -1 4202496 234352 0 0 0 744 54 0 0 25 0 1 0 729152527 238907392 46056 268435456000 4194304 4331988 140734082233440 18446744073709551615 258650611643 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4527/statm: 58327 46056 146 34 0 56769 0
[pid=4528] ppid=4523 vsize=766012 CPUtime=7.97 cores=4-31
/proc/4528/stat : 4528 (plingeling) R 4523 4523 4390 0 -1 4202496 190302 1248 0 0 755 42 0 0 25 0 1 0 729152527 784396288 190163 268435456000 4194304 4356188 140737383173536 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/4528/statm: 191503 190163 129 40 0 190047 0
Current children cumulated CPU time (s) 39.89
Current children cumulated vsize (KiB) 2012248
[startup+8.80091 s]
/proc/loadavg: 14.05 17.88 24.43 6/419 4534
/proc/meminfo: memFree=253715664/264257624 swapFree=67111528/67111528
[pid=4523] ppid=4521 vsize=18324 CPUtime=0 cores=0-31
/proc/4523/stat : 4523 (ppfolio) S 4521 4523 4390 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 729152526 18763776 386 268435456000 4194304 4287625 140735488352912 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 16 0 0 0
/proc/4523/statm: 4581 386 337 23 0 91 0
[pid=4524] ppid=4523 vsize=265840 CPUtime=8.8 cores=0
/proc/4524/stat : 4524 (cryptominisat) R 4523 4523 4390 0 -1 4202496 49795 0 0 0 867 13 0 0 25 0 1 0 729152527 272220160 48871 268435456000 4194304 4587354 140737120704496 18446744073709551615 4421100 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4524/statm: 66460 48871 310 96 0 63022 0
[pid=4525] ppid=4523 vsize=205352 CPUtime=8.79 cores=1
/proc/4525/stat : 4525 (clasp) R 4523 4523 4390 0 -1 4202496 62564 0 0 0 864 15 0 0 25 0 1 0 729152527 210280448 46846 268435456000 4194304 4785740 140733543294176 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/4525/statm: 51338 46846 338 145 0 48383 0
[pid=4526] ppid=4523 vsize=523412 CPUtime=8.79 cores=2
/proc/4526/stat : 4526 (TNM) R 4523 4523 4390 0 -1 4202496 24307 0 0 0 874 5 0 0 25 0 1 0 729152527 535973888 24205 268435456000 134512640 134534564 4291328096 18446744073709551615 134524664 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4526/statm: 130853 24205 91 6 0 129518 0
[pid=4527] ppid=4523 vsize=233308 CPUtime=8.79 cores=3
/proc/4527/stat : 4527 (march_hi) R 4523 4523 4390 0 -1 4202496 269922 0 0 0 818 61 0 0 25 0 1 0 729152527 238907392 46052 268435456000 4194304 4331988 140734082233440 18446744073709551615 4252174 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4527/statm: 58327 46052 146 34 0 56769 0
[pid=4528] ppid=4523 vsize=766012 CPUtime=8.78 cores=4-31
/proc/4528/stat : 4528 (plingeling) R 4523 4523 4390 0 -1 4202496 190302 1248 0 0 836 42 0 0 25 0 1 0 729152527 784396288 190163 268435456000 4194304 4356188 140737383173536 18446744073709551615 4277688 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/4528/statm: 191503 190163 129 40 0 190047 0
Current children cumulated CPU time (s) 43.95
Current children cumulated vsize (KiB) 2012248
[startup+9.20095 s]
/proc/loadavg: 14.05 17.88 24.43 6/419 4534
/proc/meminfo: memFree=253715664/264257624 swapFree=67111528/67111528
[pid=4523] ppid=4521 vsize=18324 CPUtime=0 cores=0-31
/proc/4523/stat : 4523 (ppfolio) S 4521 4523 4390 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 729152526 18763776 386 268435456000 4194304 4287625 140735488352912 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 16 0 0 0
/proc/4523/statm: 4581 386 337 23 0 91 0
[pid=4524] ppid=4523 vsize=265840 CPUtime=9.18 cores=0
/proc/4524/stat : 4524 (cryptominisat) R 4523 4523 4390 0 -1 4202496 49795 0 0 0 905 13 0 0 25 0 1 0 729152527 272220160 48871 268435456000 4194304 4587354 140737120704496 18446744073709551615 4421100 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4524/statm: 66460 48871 310 96 0 63022 0
[pid=4525] ppid=4523 vsize=160528 CPUtime=9.18 cores=1
/proc/4525/stat : 4525 (clasp) R 4523 4523 4390 0 -1 4202496 62579 0 0 0 903 15 0 0 25 0 1 0 729152527 164380672 35927 268435456000 4194304 4785740 140733543294176 18446744073709551615 258650613570 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/4525/statm: 40132 35927 353 145 0 37177 0
[pid=4526] ppid=4523 vsize=523412 CPUtime=9.18 cores=2
/proc/4526/stat : 4526 (TNM) R 4523 4523 4390 0 -1 4202496 24307 0 0 0 913 5 0 0 25 0 1 0 729152527 535973888 24205 268435456000 134512640 134534564 4291328096 18446744073709551615 134524568 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4526/statm: 130853 24205 91 6 0 129518 0
[pid=4527] ppid=4523 vsize=175680 CPUtime=9.18 cores=3
/proc/4527/stat : 4527 (march_hi) R 4523 4523 4390 0 -1 4202496 274332 0 0 0 855 63 0 0 25 0 1 0 729152527 179896320 31670 268435456000 4194304 4331988 140734082233440 18446744073709551615 258650610688 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4527/statm: 43920 31670 148 34 0 42362 0
[pid=4528] ppid=4523 vsize=790588 CPUtime=9.18 cores=4-31
/proc/4528/stat : 4528 (plingeling) R 4523 4523 4390 0 -1 4202496 194881 1248 0 0 874 44 0 0 25 0 1 0 729152527 809562112 194742 268435456000 4194304 4356188 140737383173536 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/4528/statm: 197647 194749 129 40 0 196191 0
Current children cumulated CPU time (s) 45.9
Current children cumulated vsize (KiB) 1934372
[startup+9.60106 s]
/proc/loadavg: 14.05 17.88 24.43 6/419 4534
/proc/meminfo: memFree=253715664/264257624 swapFree=67111528/67111528
[pid=4523] ppid=4521 vsize=18324 CPUtime=47.73 cores=0-31
/proc/4523/stat : 4523 (ppfolio) R 4521 4523 4390 0 -1 4202496 517 665873 0 0 0 0 4607 166 15 0 1 0 729152526 18763776 388 268435456000 4194304 4287625 140735488352912 18446744073709551615 258650575392 0 0 4096 65536 0 0 0 17 16 0 0 0
/proc/4523/statm: 4581 388 339 23 0 91 0
Current children cumulated CPU time (s) 47.73
Current children cumulated vsize (KiB) 18324
Child status: 0
Real time (s): 9.60168
CPU time (s): 47.7397
CPU user time (s): 46.075
CPU system time (s): 1.66475
CPU usage (%): 497.202
Max. virtual memory (cumulated for all children) (KiB): 2152184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.075
system time used= 1.66475
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 666407
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= 821
involuntary context switches= 79
runsolver used 0.026995 second user time and 0.159975 second system time
The end
Begin job on node200 at 2011-05-23 20:51:01
IDJOB=3347739
IDBENCH=88178
IDSOLVER=1808
FILE ID=node200/3347739-1306176660
RUNJOBID= node200-1306176428-4404
PBS_JOBID= 13388025
Free space on /tmp= 62024 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT-Race-2010-CNF/software-verification/nec/hard-6-U-7061.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347739-1306176660/watcher-3347739-1306176660 -o /tmp/evaluation-result-3347739-1306176660/solver-3347739-1306176660 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347739-1306176660.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= b15321a24257fa4bdfd9c20c782f4c0e
RANDOM SEED=1283403697
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: 255131908 kB
Buffers: 462472 kB
Cached: 8225552 kB
SwapCached: 0 kB
Active: 7772620 kB
Inactive: 984396 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255131908 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 32504 kB
Writeback: 0 kB
AnonPages: 69096 kB
Mapped: 14532 kB
Slab: 255356 kB
PageTables: 4420 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 189040 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= 62016 MiB
End job on node200 at 2011-05-23 20:51:11