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
20227.34/634.27 s UNSATISFIABLE
20229.76/634.35 solver [1] cryptominisat 2.7.1 answered
20229.76/634.35 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-3347551-1305310650/watcher-3347551-1305310650 -o /tmp/evaluation-result-3347551-1305310650/solver-3347551-1305310650 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347551-1305310650.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.74 30.36 30.64 1/413 26475
/proc/meminfo: memFree=255620560/264257624 swapFree=67111528/67111528
[pid=26475] ppid=26473 vsize=18324 CPUtime=0 cores=0-31
/proc/26475/stat : 26475 (ppfolio) S 26473 26475 26378 0 -1 4202496 514 0 0 0 0 0 0 0 22 0 1 0 642551424 18763776 386 268435456000 4194304 4287625 140733907261184 18446744073709551615 258650975999 0 0 4096 65536 9199605822437457919 0 0 17 8 0 0 0
/proc/26475/statm: 4581 386 337 23 0 91 0
[startup+0.0853499 s]
/proc/loadavg: 28.74 30.36 30.64 1/413 26475
/proc/meminfo: memFree=255620560/264257624 swapFree=67111528/67111528
[pid=26475] ppid=26473 vsize=18324 CPUtime=0 cores=0-31
/proc/26475/stat : 26475 (ppfolio) S 26473 26475 26378 0 -1 4202496 514 0 0 0 0 0 0 0 22 0 1 0 642551424 18763776 386 268435456000 4194304 4287625 140733907261184 18446744073709551615 258650975999 0 0 4096 65536 9199605822437457919 0 0 17 8 0 0 0
/proc/26475/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.100344 s]
/proc/loadavg: 28.74 30.36 30.64 1/413 26475
/proc/meminfo: memFree=255620560/264257624 swapFree=67111528/67111528
[pid=26475] ppid=26473 vsize=18324 CPUtime=0 cores=0-31
/proc/26475/stat : 26475 (ppfolio) S 26473 26475 26378 0 -1 4202496 514 0 0 0 0 0 0 0 22 0 1 0 642551424 18763776 386 268435456000 4194304 4287625 140733907261184 18446744073709551615 258650975999 0 0 4096 65536 9199605822437457919 0 0 17 8 0 0 0
/proc/26475/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300372 s]
/proc/loadavg: 28.74 30.36 30.64 1/413 26475
/proc/meminfo: memFree=255620560/264257624 swapFree=67111528/67111528
[pid=26475] ppid=26473 vsize=18324 CPUtime=0 cores=0-31
/proc/26475/stat : 26475 (ppfolio) S 26473 26475 26378 0 -1 4202496 514 0 0 0 0 0 0 0 22 0 1 0 642551424 18763776 386 268435456000 4194304 4287625 140733907261184 18446744073709551615 258650975999 0 0 4096 65536 9199605822437457919 0 0 17 8 0 0 0
/proc/26475/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700386 s]
/proc/loadavg: 28.74 30.36 30.64 1/413 26475
/proc/meminfo: memFree=255620560/264257624 swapFree=67111528/67111528
[pid=26475] ppid=26473 vsize=18324 CPUtime=0 cores=0-31
/proc/26475/stat : 26475 (ppfolio) S 26473 26475 26378 0 -1 4202496 514 0 0 0 0 0 0 0 22 0 1 0 642551424 18763776 386 268435456000 4194304 4287625 140733907261184 18446744073709551615 258650975999 0 0 4096 65536 9199605822437457919 0 0 17 8 0 0 0
/proc/26475/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50036 s]
/proc/loadavg: 28.74 30.36 30.64 6/419 26486
/proc/meminfo: memFree=255502192/264257624 swapFree=67111528/67111528
[pid=26475] ppid=26473 vsize=18324 CPUtime=0 cores=0-31
/proc/26475/stat : 26475 (ppfolio) S 26473 26475 26378 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 642551424 18763776 386 268435456000 4194304 4287625 140733907261184 18446744073709551615 258650975999 0 0 4096 65536 9199605822437457919 0 0 17 8 0 0 0
/proc/26475/statm: 4581 386 337 23 0 91 0
[pid=26476] ppid=26475 vsize=44444 CPUtime=1.48 cores=0
/proc/26476/stat : 26476 (cryptominisat) R 26475 26475 26378 0 -1 4202496 8050 0 0 0 146 2 0 0 25 0 1 0 642551424 45510656 5850 268435456000 4194304 4587354 140737065595456 18446744073709551615 4230288 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26476/statm: 11111 5850 328 96 0 7673 0
[pid=26477] ppid=26475 vsize=25816 CPUtime=1.48 cores=1
/proc/26477/stat : 26477 (clasp) R 26475 26475 26378 0 -1 4202496 4776 0 0 0 147 1 0 0 20 0 1 0 642551424 26435584 3733 268435456000 4194304 4785740 140736144257808 18446744073709551615 258650616632 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/26477/statm: 6454 3733 338 145 0 3499 0
[pid=26478] ppid=26475 vsize=461372 CPUtime=1.48 cores=2
/proc/26478/stat : 26478 (TNM) R 26475 26475 26378 0 -1 4202496 2965 0 0 0 147 1 0 0 20 0 1 0 642551424 472444928 2862 268435456000 134512640 134534564 4286914080 18446744073709551615 134530630 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26478/statm: 115343 2862 95 6 0 114008 0
[pid=26479] ppid=26475 vsize=54608 CPUtime=1.48 cores=3
/proc/26479/stat : 26479 (march_hi) R 26475 26475 26378 0 -1 4202496 27208 0 0 0 143 5 0 0 20 0 1 0 642551424 55918592 6398 268435456000 4194304 4331988 140733951169808 18446744073709551615 4210922 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26479/statm: 13652 6398 174 34 0 12094 0
[pid=26480] ppid=26475 vsize=120616 CPUtime=1.48 cores=4-31
/proc/26480/stat : 26480 (plingeling) R 26475 26475 26378 0 -1 4202496 28929 1240 0 0 140 7 0 1 21 0 1 0 642551424 123510784 28813 268435456000 4194304 4356188 140736221592112 18446744073709551615 4278608 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/26480/statm: 30154 28813 129 40 0 28698 0
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (KiB) 725180
[startup+3.10138 s]
/proc/loadavg: 28.74 30.36 30.64 32/447 26514
/proc/meminfo: memFree=255410244/264257624 swapFree=67111528/67111528
[pid=26475] ppid=26473 vsize=18324 CPUtime=0 cores=0-31
/proc/26475/stat : 26475 (ppfolio) S 26473 26475 26378 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 642551424 18763776 386 268435456000 4194304 4287625 140733907261184 18446744073709551615 258650975999 0 0 4096 65536 9199605822437457919 0 0 17 8 0 0 0
/proc/26475/statm: 4581 386 337 23 0 91 0
[pid=26476] ppid=26475 vsize=44444 CPUtime=3.08 cores=0
/proc/26476/stat : 26476 (cryptominisat) R 26475 26475 26378 0 -1 4202496 8462 0 0 0 306 2 0 0 25 0 1 0 642551424 45510656 6255 268435456000 4194304 4587354 140737065595456 18446744073709551615 4236704 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26476/statm: 11111 6255 328 96 0 7673 0
[pid=26477] ppid=26475 vsize=28596 CPUtime=3.08 cores=1
/proc/26477/stat : 26477 (clasp) R 26475 26475 26378 0 -1 4202496 5463 0 0 0 306 2 0 0 25 0 1 0 642551424 29282304 4419 268435456000 4194304 4785740 140736144257808 18446744073709551615 4552525 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/26477/statm: 7149 4419 338 145 0 4194 0
[pid=26478] ppid=26475 vsize=461372 CPUtime=3.08 cores=2
/proc/26478/stat : 26478 (TNM) R 26475 26475 26378 0 -1 4202496 2965 0 0 0 307 1 0 0 25 0 1 0 642551424 472444928 2862 268435456000 134512640 134534564 4286914080 18446744073709551615 134529377 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26478/statm: 115343 2862 95 6 0 114008 0
[pid=26479] ppid=26475 vsize=57676 CPUtime=3.08 cores=3
/proc/26479/stat : 26479 (march_hi) R 26475 26475 26378 0 -1 4202496 27985 0 0 0 303 5 0 0 25 0 1 0 642551424 59060224 7175 268435456000 4194304 4331988 140733951169808 18446744073709551615 4242607 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26479/statm: 14419 7175 174 34 0 12861 0
[pid=26480] ppid=26475 vsize=660648 CPUtime=43.47 cores=4-31
/proc/26480/stat : 26480 (plingeling) S 26475 26475 26378 0 -1 4202496 73312 1240 0 0 4308 38 0 1 19 0 29 0 642551424 676503552 50506 268435456000 4194304 4356188 140736221592112 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 25 0 0 0
/proc/26480/statm: 165162 50506 159 40 0 163706 0
[pid=26480/tid=26487] ppid=26475 vsize=660648 CPUtime=1.53 cores=4-31
/proc/26480/task/26487/stat : 26487 (plingeling) R 26475 26475 26378 0 -1 4202560 1570 1240 0 0 151 1 0 1 19 0 29 0 642551577 676503552 50506 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331371 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26480/tid=26488] ppid=26475 vsize=660648 CPUtime=1.49 cores=4-31
/proc/26480/task/26488/stat : 26488 (plingeling) R 26475 26475 26378 0 -1 4202560 1874 1240 0 0 148 0 0 1 19 0 29 0 642551577 676503552 50506 268435456000 4194304 4356188 140736221592112 18446744073709551615 4271047 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26480/tid=26489] ppid=26475 vsize=660648 CPUtime=1.52 cores=4-31
/proc/26480/task/26489/stat : 26489 (plingeling) R 26475 26475 26378 0 -1 4202560 1321 1240 0 0 151 0 0 1 18 0 29 0 642551578 676503552 50506 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26480/tid=26490] ppid=26475 vsize=660648 CPUtime=1.54 cores=4-31
/proc/26480/task/26490/stat : 26490 (plingeling) R 26475 26475 26378 0 -1 4202560 1261 1240 0 0 153 0 0 1 23 0 29 0 642551578 676503552 50506 268435456000 4194304 4356188 140736221592112 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=26480/tid=26491] ppid=26475 vsize=660648 CPUtime=1.52 cores=4-31
/proc/26480/task/26491/stat : 26491 (plingeling) R 26475 26475 26378 0 -1 4202560 1905 1240 0 0 150 1 0 1 18 0 29 0 642551578 676503552 50506 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=26480/tid=26492] ppid=26475 vsize=660648 CPUtime=1.54 cores=4-31
/proc/26480/task/26492/stat : 26492 (plingeling) R 26475 26475 26378 0 -1 4202560 2097 1240 0 0 152 1 0 1 18 0 29 0 642551578 676503552 50506 268435456000 4194304 4356188 140736221592112 18446744073709551615 4245444 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=26480/tid=26493] ppid=26475 vsize=660648 CPUtime=1.52 cores=4-31
/proc/26480/task/26493/stat : 26493 (plingeling) R 26475 26475 26378 0 -1 4202560 2157 1240 0 0 150 1 0 1 18 0 29 0 642551578 676503552 50506 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331035 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26480/tid=26494] ppid=26475 vsize=660648 CPUtime=1.53 cores=4-31
/proc/26480/task/26494/stat : 26494 (plingeling) R 26475 26475 26378 0 -1 4202560 1704 1240 0 0 152 0 0 1 23 0 29 0 642551578 676503552 50506 268435456000 4194304 4356188 140736221592112 18446744073709551615 4279951 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=26480/tid=26495] ppid=26475 vsize=660648 CPUtime=1.55 cores=4-31
/proc/26480/task/26495/stat : 26495 (plingeling) R 26475 26475 26378 0 -1 4202560 1682 1240 0 0 153 1 0 1 19 0 29 0 642551578 676503552 50506 268435456000 4194304 4356188 140736221592112 18446744073709551615 4260245 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=26480/tid=26496] ppid=26475 vsize=660648 CPUtime=1.49 cores=4-31
/proc/26480/task/26496/stat : 26496 (plingeling) R 26475 26475 26378 0 -1 4202560 1517 1240 0 0 148 0 0 1 19 0 29 0 642551578 676503552 50506 268435456000 4194304 4356188 140736221592112 18446744073709551615 4210587 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=26480/tid=26497] ppid=26475 vsize=660648 CPUtime=1.51 cores=4-31
/proc/26480/task/26497/stat : 26497 (plingeling) R 26475 26475 26378 0 -1 4202560 1294 1240 0 0 149 1 0 1 23 0 29 0 642551578 676503552 50506 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331416 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=26480/tid=26498] ppid=26475 vsize=660648 CPUtime=1.52 cores=4-31
/proc/26480/task/26498/stat : 26498 (plingeling) R 26475 26475 26378 0 -1 4202560 1222 1240 0 0 151 0 0 1 19 0 29 0 642551578 676503552 50506 268435456000 4194304 4356188 140736221592112 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=26480/tid=26499] ppid=26475 vsize=660648 CPUtime=1.51 cores=4-31
/proc/26480/task/26499/stat : 26499 (plingeling) R 26475 26475 26378 0 -1 4202560 1715 1240 0 0 149 1 0 1 23 0 29 0 642551578 676503552 50506 268435456000 4194304 4356188 140736221592112 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=26480/tid=26500] ppid=26475 vsize=660648 CPUtime=1.5 cores=4-31
/proc/26480/task/26500/stat : 26500 (plingeling) R 26475 26475 26378 0 -1 4202560 1367 1240 0 0 149 0 0 1 23 0 29 0 642551578 676503552 50506 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331276 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=26480/tid=26501] ppid=26475 vsize=660648 CPUtime=1.52 cores=4-31
/proc/26480/task/26501/stat : 26501 (plingeling) R 26475 26475 26378 0 -1 4202560 1740 1240 0 0 149 2 0 1 23 0 29 0 642551578 676503552 50506 268435456000 4194304 4356188 140736221592112 18446744073709551615 4301710 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=26480/tid=26502] ppid=26475 vsize=660648 CPUtime=1.52 cores=4-31
/proc/26480/task/26502/stat : 26502 (plingeling) R 26475 26475 26378 0 -1 4202560 2305 1240 0 0 150 1 0 1 18 0 29 0 642551578 676503552 50506 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331401 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=26480/tid=26503] ppid=26475 vsize=660648 CPUtime=1.5 cores=4-31
/proc/26480/task/26503/stat : 26503 (plingeling) R 26475 26475 26378 0 -1 4202560 1333 1240 0 0 148 1 0 1 23 0 29 0 642551578 676503552 50506 268435456000 4194304 4356188 140736221592112 18446744073709551615 4311622 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=26480/tid=26504] ppid=26475 vsize=660648 CPUtime=1.48 cores=4-31
/proc/26480/task/26504/stat : 26504 (plingeling) R 26475 26475 26378 0 -1 4202560 1513 1240 0 0 147 0 0 1 22 0 29 0 642551578 676503552 50506 268435456000 4194304 4356188 140736221592112 18446744073709551615 4301733 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=26480/tid=26505] ppid=26475 vsize=660648 CPUtime=1.49 cores=4-31
/proc/26480/task/26505/stat : 26505 (plingeling) R 26475 26475 26378 0 -1 4202560 1616 1240 0 0 147 1 0 1 18 0 29 0 642551578 676503552 50506 268435456000 4194304 4356188 140736221592112 18446744073709551615 4211551 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=26480/tid=26506] ppid=26475 vsize=660648 CPUtime=1.54 cores=4-31
/proc/26480/task/26506/stat : 26506 (plingeling) R 26475 26475 26378 0 -1 4202560 912 1240 0 0 153 0 0 1 19 0 29 0 642551578 676503552 50506 268435456000 4194304 4356188 140736221592112 18446744073709551615 4283920 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=26480/tid=26507] ppid=26475 vsize=660648 CPUtime=1.53 cores=4-31
/proc/26480/task/26507/stat : 26507 (plingeling) R 26475 26475 26378 0 -1 4202560 1809 1240 0 0 151 1 0 1 18 0 29 0 642551578 676503552 50506 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331119 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=26480/tid=26508] ppid=26475 vsize=660648 CPUtime=1.52 cores=4-31
/proc/26480/task/26508/stat : 26508 (plingeling) R 26475 26475 26378 0 -1 4202560 1511 1240 0 0 151 0 0 1 18 0 29 0 642551579 676503552 50506 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331106 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=26480/tid=26509] ppid=26475 vsize=660648 CPUtime=1.52 cores=4-31
/proc/26480/task/26509/stat : 26509 (plingeling) R 26475 26475 26378 0 -1 4202560 2177 1240 0 0 150 1 0 1 18 0 29 0 642551579 676503552 50506 268435456000 4194304 4356188 140736221592112 18446744073709551615 4330990 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=26480/tid=26510] ppid=26475 vsize=660648 CPUtime=1.5 cores=4-31
/proc/26480/task/26510/stat : 26510 (plingeling) R 26475 26475 26378 0 -1 4202560 1654 1240 0 0 148 1 0 1 25 0 29 0 642551579 676503552 50506 268435456000 4194304 4356188 140736221592112 18446744073709551615 4216128 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=26480/tid=26511] ppid=26475 vsize=660648 CPUtime=1.28 cores=4-31
/proc/26480/task/26511/stat : 26511 (plingeling) R 26475 26475 26378 0 -1 4202560 1491 1240 0 0 126 1 0 1 23 0 29 0 642551579 676503552 50506 268435456000 4194304 4356188 140736221592112 18446744073709551615 4312128 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=26480/tid=26512] ppid=26475 vsize=660648 CPUtime=1.52 cores=4-31
/proc/26480/task/26512/stat : 26512 (plingeling) R 26475 26475 26378 0 -1 4202560 1377 1240 0 0 151 0 0 1 19 0 29 0 642551579 676503552 50506 268435456000 4194304 4356188 140736221592112 18446744073709551615 4210727 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=26480/tid=26513] ppid=26475 vsize=660648 CPUtime=1.52 cores=4-31
/proc/26480/task/26513/stat : 26513 (plingeling) R 26475 26475 26378 0 -1 4202560 2092 1240 0 0 151 0 0 1 18 0 29 0 642551579 676503552 50506 268435456000 4194304 4356188 140736221592112 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=26480/tid=26514] ppid=26475 vsize=660648 CPUtime=1.24 cores=4-31
/proc/26480/task/26514/stat : 26514 (plingeling) R 26475 26475 26378 0 -1 4202560 130 1240 0 0 123 0 0 1 18 0 29 0 642551579 676503552 50506 268435456000 4194304 4356188 140736221592112 18446744073709551615 4286019 0 0 4096 17442 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 55.79
Current children cumulated vsize (KiB) 1271060
[startup+6.3015 s]
/proc/loadavg: 29.00 30.39 30.65 33/447 26514
/proc/meminfo: memFree=255344712/264257624 swapFree=67111528/67111528
[pid=26475] ppid=26473 vsize=18324 CPUtime=0 cores=0-31
/proc/26475/stat : 26475 (ppfolio) S 26473 26475 26378 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 642551424 18763776 386 268435456000 4194304 4287625 140733907261184 18446744073709551615 258650975999 0 0 4096 65536 9199605822437457919 0 0 17 8 0 0 0
/proc/26475/statm: 4581 386 337 23 0 91 0
[pid=26476] ppid=26475 vsize=851232 CPUtime=6.28 cores=0
/proc/26476/stat : 26476 (cryptominisat) R 26475 26475 26378 0 -1 4202496 10167 0 0 0 625 3 0 0 25 0 1 0 642551424 871661568 6161 268435456000 4194304 4587354 140737065595456 18446744073709551615 258650652552 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26476/statm: 212808 6161 331 96 0 209370 0
[pid=26477] ppid=26475 vsize=31548 CPUtime=6.28 cores=1
/proc/26477/stat : 26477 (clasp) R 26475 26475 26378 0 -1 4202496 6173 0 0 0 626 2 0 0 25 0 1 0 642551424 32305152 5129 268435456000 4194304 4785740 140736144257808 18446744073709551615 4287053 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/26477/statm: 7887 5129 338 145 0 4932 0
[pid=26478] ppid=26475 vsize=461372 CPUtime=6.28 cores=2
/proc/26478/stat : 26478 (TNM) R 26475 26475 26378 0 -1 4202496 2965 0 0 0 627 1 0 0 25 0 1 0 642551424 472444928 2862 268435456000 134512640 134534564 4286914080 18446744073709551615 134530151 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26478/statm: 115343 2862 95 6 0 114008 0
[pid=26479] ppid=26475 vsize=59644 CPUtime=6.28 cores=3
/proc/26479/stat : 26479 (march_hi) R 26475 26475 26378 0 -1 4202496 28443 0 0 0 623 5 0 0 25 0 1 0 642551424 61075456 7633 268435456000 4194304 4331988 140733951169808 18446744073709551615 4211121 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26479/statm: 14911 7633 174 34 0 13353 0
[pid=26480] ppid=26475 vsize=636116 CPUtime=132.95 cores=4-31
/proc/26480/stat : 26480 (plingeling) S 26475 26475 26378 0 -1 4202496 81044 1240 0 0 13251 43 0 1 19 0 29 0 642551424 651382784 44600 268435456000 4194304 4356188 140736221592112 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 25 0 0 0
/proc/26480/statm: 159029 44600 159 40 0 157573 0
[pid=26480/tid=26487] ppid=26475 vsize=636116 CPUtime=4.73 cores=4-31
/proc/26480/task/26487/stat : 26487 (plingeling) R 26475 26475 26378 0 -1 4202560 1676 1240 0 0 471 1 0 1 25 0 29 0 642551577 651382784 44600 268435456000 4194304 4356188 140736221592112 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26480/tid=26488] ppid=26475 vsize=636116 CPUtime=4.69 cores=4-31
/proc/26480/task/26488/stat : 26488 (plingeling) R 26475 26475 26378 0 -1 4202560 1906 1240 0 0 468 0 0 1 25 0 29 0 642551577 651382784 44600 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26480/tid=26489] ppid=26475 vsize=636116 CPUtime=4.73 cores=4-31
/proc/26480/task/26489/stat : 26489 (plingeling) R 26475 26475 26378 0 -1 4202560 1495 1240 0 0 471 1 0 1 25 0 29 0 642551578 651382784 44600 268435456000 4194304 4356188 140736221592112 18446744073709551615 4332333 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26480/tid=26490] ppid=26475 vsize=636116 CPUtime=4.73 cores=4-31
/proc/26480/task/26490/stat : 26490 (plingeling) R 26475 26475 26378 0 -1 4202560 2283 1240 0 0 471 1 0 1 25 0 29 0 642551578 651382784 44600 268435456000 4194304 4356188 140736221592112 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=26480/tid=26491] ppid=26475 vsize=636116 CPUtime=4.72 cores=4-31
/proc/26480/task/26491/stat : 26491 (plingeling) R 26475 26475 26378 0 -1 4202560 2079 1240 0 0 470 1 0 1 25 0 29 0 642551578 651382784 44600 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=26480/tid=26492] ppid=26475 vsize=636116 CPUtime=4.74 cores=4-31
################
# More data... #
################
[pid=26475] ppid=26473 vsize=18324 CPUtime=0 cores=0-31
/proc/26475/stat : 26475 (ppfolio) S 26473 26475 26378 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 642551424 18763776 386 268435456000 4194304 4287625 140733907261184 18446744073709551615 258650975999 0 0 4096 65536 9199605822437457919 0 0 17 8 0 0 0
/proc/26475/statm: 4581 386 337 23 0 91 0
[pid=26476] ppid=26475 vsize=916040 CPUtime=633.38 cores=0
/proc/26476/stat : 26476 (cryptominisat) R 26475 26475 26378 0 -1 4202496 75082 0 0 0 63307 31 0 0 25 0 1 0 642551424 938024960 25998 268435456000 4194304 4587354 140737065595456 18446744073709551615 4231923 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26476/statm: 229010 25998 335 96 0 225572 0
[pid=26477] ppid=26475 vsize=91724 CPUtime=633.38 cores=1
/proc/26477/stat : 26477 (clasp) R 26475 26475 26378 0 -1 4202496 20552 0 0 0 63327 11 0 0 25 0 1 0 642551424 93925376 19508 268435456000 4194304 4785740 140736144257808 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/26477/statm: 22931 19508 338 145 0 19976 0
[pid=26478] ppid=26475 vsize=461372 CPUtime=633.2 cores=2
/proc/26478/stat : 26478 (TNM) R 26475 26475 26378 0 -1 4202496 2965 0 0 0 63319 1 0 0 25 0 1 0 642551424 472444928 2862 268435456000 134512640 134534564 4286914080 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26478/statm: 115343 2862 95 6 0 114008 0
[pid=26479] ppid=26475 vsize=93484 CPUtime=633.38 cores=3
/proc/26479/stat : 26479 (march_hi) R 26475 26475 26378 0 -1 4202496 36379 0 0 0 63324 14 0 0 25 0 1 0 642551424 95727616 15542 268435456000 4194304 4331988 140733951169808 18446744073709551615 4237419 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26479/statm: 23371 15542 174 34 0 21813 0
[pid=26480] ppid=26475 vsize=1279692 CPUtime=17672.3 cores=4-31
/proc/26480/stat : 26480 (plingeling) S 26475 26475 26378 0 -1 4202496 860045 1240 0 0 1766540 685 0 1 19 0 29 0 642551424 1310404608 214881 268435456000 4194304 4356188 140736221592112 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 25 0 0 0
/proc/26480/statm: 319923 214881 159 40 0 318467 0
[pid=26480/tid=26487] ppid=26475 vsize=1279692 CPUtime=631.81 cores=4-31
/proc/26480/task/26487/stat : 26487 (plingeling) R 26475 26475 26378 0 -1 4202560 26591 1240 0 0 63161 19 0 1 25 0 29 0 642551577 1310404608 214881 268435456000 4194304 4356188 140736221592112 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26480/tid=26488] ppid=26475 vsize=1279692 CPUtime=631.79 cores=4-31
/proc/26480/task/26488/stat : 26488 (plingeling) R 26475 26475 26378 0 -1 4202560 40746 1240 0 0 63152 26 0 1 25 0 29 0 642551577 1310404608 214881 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26480/tid=26489] ppid=26475 vsize=1279692 CPUtime=631.46 cores=4-31
/proc/26480/task/26489/stat : 26489 (plingeling) R 26475 26475 26378 0 -1 4202560 31336 1240 0 0 63117 28 0 1 25 0 29 0 642551578 1310404608 214881 268435456000 4194304 4356188 140736221592112 18446744073709551615 4279691 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26480/tid=26490] ppid=26475 vsize=1279692 CPUtime=631.84 cores=4-31
/proc/26480/task/26490/stat : 26490 (plingeling) R 26475 26475 26378 0 -1 4202560 9698 1240 0 0 63177 6 0 1 25 0 29 0 642551578 1310404608 214881 268435456000 4194304 4356188 140736221592112 18446744073709551615 4210557 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=26480/tid=26491] ppid=26475 vsize=1279692 CPUtime=631.82 cores=4-31
/proc/26480/task/26491/stat : 26491 (plingeling) R 26475 26475 26378 0 -1 4202560 30113 1240 0 0 63152 29 0 1 25 0 29 0 642551578 1310404608 214881 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=26480/tid=26492] ppid=26475 vsize=1279692 CPUtime=631.82 cores=4-31
/proc/26480/task/26492/stat : 26492 (plingeling) R 26475 26475 26378 0 -1 4202560 28045 1240 0 0 63164 17 0 1 25 0 29 0 642551578 1310404608 214881 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331186 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=26480/tid=26493] ppid=26475 vsize=1279692 CPUtime=631.82 cores=4-31
/proc/26480/task/26493/stat : 26493 (plingeling) R 26475 26475 26378 0 -1 4202560 35731 1240 0 0 63155 26 0 1 25 0 29 0 642551578 1310404608 214881 268435456000 4194304 4356188 140736221592112 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26480/tid=26494] ppid=26475 vsize=1279692 CPUtime=631.84 cores=4-31
/proc/26480/task/26494/stat : 26494 (plingeling) R 26475 26475 26378 0 -1 4202560 44326 1240 0 0 63136 47 0 1 25 0 29 0 642551578 1310404608 214881 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=26480/tid=26495] ppid=26475 vsize=1279692 CPUtime=621.58 cores=4-31
/proc/26480/task/26495/stat : 26495 (plingeling) R 26475 26475 26378 0 -1 4202560 25940 1240 0 0 62137 20 0 1 25 0 29 0 642551578 1310404608 214881 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331373 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=26480/tid=26496] ppid=26475 vsize=1279692 CPUtime=631.79 cores=4-31
/proc/26480/task/26496/stat : 26496 (plingeling) R 26475 26475 26378 0 -1 4202560 32402 1240 0 0 63162 16 0 1 25 0 29 0 642551578 1310404608 214881 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=26480/tid=26497] ppid=26475 vsize=1279692 CPUtime=624.11 cores=4-31
/proc/26480/task/26497/stat : 26497 (plingeling) R 26475 26475 26378 0 -1 4202560 29808 1240 0 0 62383 27 0 1 25 0 29 0 642551578 1310404608 214881 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331340 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=26480/tid=26498] ppid=26475 vsize=1279692 CPUtime=631.81 cores=4-31
/proc/26480/task/26498/stat : 26498 (plingeling) R 26475 26475 26378 0 -1 4202560 11616 1240 0 0 63174 6 0 1 25 0 29 0 642551578 1310404608 214881 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=26480/tid=26499] ppid=26475 vsize=1279692 CPUtime=631.81 cores=4-31
/proc/26480/task/26499/stat : 26499 (plingeling) R 26475 26475 26378 0 -1 4202560 25232 1240 0 0 63163 17 0 1 25 0 29 0 642551578 1310404608 214881 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331803 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=26480/tid=26500] ppid=26475 vsize=1279692 CPUtime=631.79 cores=4-31
/proc/26480/task/26500/stat : 26500 (plingeling) R 26475 26475 26378 0 -1 4202560 29844 1240 0 0 63167 11 0 1 25 0 29 0 642551578 1310404608 214881 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331002 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=26480/tid=26501] ppid=26475 vsize=1279692 CPUtime=631.63 cores=4-31
/proc/26480/task/26501/stat : 26501 (plingeling) R 26475 26475 26378 0 -1 4202560 33867 1240 0 0 63127 35 0 1 25 0 29 0 642551578 1310404608 214881 268435456000 4194304 4356188 140736221592112 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=26480/tid=26502] ppid=26475 vsize=1279692 CPUtime=631.82 cores=4-31
/proc/26480/task/26502/stat : 26502 (plingeling) R 26475 26475 26378 0 -1 4202560 47349 1240 0 0 63123 58 0 1 25 0 29 0 642551578 1310404608 214881 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331296 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=26480/tid=26503] ppid=26475 vsize=1279692 CPUtime=631.51 cores=4-31
/proc/26480/task/26503/stat : 26503 (plingeling) R 26475 26475 26378 0 -1 4202560 29354 1240 0 0 63115 35 0 1 25 0 29 0 642551578 1310404608 214881 268435456000 4194304 4356188 140736221592112 18446744073709551615 4332145 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=26480/tid=26504] ppid=26475 vsize=1279692 CPUtime=631.74 cores=4-31
/proc/26480/task/26504/stat : 26504 (plingeling) R 26475 26475 26378 0 -1 4202560 37267 1240 0 0 63150 23 0 1 25 0 29 0 642551578 1310404608 214881 268435456000 4194304 4356188 140736221592112 18446744073709551615 4212735 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=26480/tid=26505] ppid=26475 vsize=1279692 CPUtime=631.79 cores=4-31
/proc/26480/task/26505/stat : 26505 (plingeling) R 26475 26475 26378 0 -1 4202560 27327 1240 0 0 63156 22 0 1 25 0 29 0 642551578 1310404608 214881 268435456000 4194304 4356188 140736221592112 18446744073709551615 4279777 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=26480/tid=26506] ppid=26475 vsize=1279692 CPUtime=631.79 cores=4-31
/proc/26480/task/26506/stat : 26506 (plingeling) R 26475 26475 26378 0 -1 4202560 13974 1240 0 0 63168 10 0 1 25 0 29 0 642551578 1310404608 214881 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=26480/tid=26507] ppid=26475 vsize=1279692 CPUtime=631.83 cores=4-31
/proc/26480/task/26507/stat : 26507 (plingeling) R 26475 26475 26378 0 -1 4202560 32529 1240 0 0 63153 29 0 1 25 0 29 0 642551578 1310404608 214881 268435456000 4194304 4356188 140736221592112 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=26480/tid=26508] ppid=26475 vsize=1279692 CPUtime=631.82 cores=4-31
/proc/26480/task/26508/stat : 26508 (plingeling) R 26475 26475 26378 0 -1 4202560 28583 1240 0 0 63160 21 0 1 25 0 29 0 642551579 1310404608 214881 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331389 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=26480/tid=26509] ppid=26475 vsize=1279692 CPUtime=631.77 cores=4-31
/proc/26480/task/26509/stat : 26509 (plingeling) R 26475 26475 26378 0 -1 4202560 31807 1240 0 0 63147 29 0 1 25 0 29 0 642551579 1310404608 214881 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=26480/tid=26510] ppid=26475 vsize=1279692 CPUtime=631.81 cores=4-31
/proc/26480/task/26510/stat : 26510 (plingeling) R 26475 26475 26378 0 -1 4202560 41263 1240 0 0 63136 44 0 1 25 0 29 0 642551579 1310404608 214881 268435456000 4194304 4356188 140736221592112 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=26480/tid=26511] ppid=26475 vsize=1279692 CPUtime=630.98 cores=4-31
/proc/26480/task/26511/stat : 26511 (plingeling) R 26475 26475 26378 0 -1 4202560 34432 1240 0 0 63075 22 0 1 25 0 29 0 642551579 1310404608 214881 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=26480/tid=26512] ppid=26475 vsize=1279692 CPUtime=631.82 cores=4-31
/proc/26480/task/26512/stat : 26512 (plingeling) R 26475 26475 26378 0 -1 4202560 24429 1240 0 0 63171 10 0 1 25 0 29 0 642551579 1310404608 214881 268435456000 4194304 4356188 140736221592112 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=26480/tid=26513] ppid=26475 vsize=1279692 CPUtime=631.83 cores=4-31
/proc/26480/task/26513/stat : 26513 (plingeling) R 26475 26475 26378 0 -1 4202560 34464 1240 0 0 63157 25 0 1 25 0 29 0 642551579 1310404608 214881 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=26480/tid=26514] ppid=26475 vsize=1279692 CPUtime=631.54 cores=4-31
/proc/26480/task/26514/stat : 26514 (plingeling) R 26475 26475 26378 0 -1 4202560 13006 1240 0 0 63146 7 0 1 25 0 29 0 642551579 1310404608 214881 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 20205.6
Current children cumulated vsize (KiB) 2860636
[startup+633.902 s]
/proc/loadavg: 32.50 32.06 31.43 33/447 26533
/proc/meminfo: memFree=254506192/264257624 swapFree=67111528/67111528
[pid=26475] ppid=26473 vsize=18324 CPUtime=0 cores=0-31
/proc/26475/stat : 26475 (ppfolio) S 26473 26475 26378 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 642551424 18763776 386 268435456000 4194304 4287625 140733907261184 18446744073709551615 258650975999 0 0 4096 65536 9199605822437457919 0 0 17 8 0 0 0
/proc/26475/statm: 4581 386 337 23 0 91 0
[pid=26476] ppid=26475 vsize=916040 CPUtime=633.76 cores=0
/proc/26476/stat : 26476 (cryptominisat) R 26475 26475 26378 0 -1 4202496 75082 0 0 0 63345 31 0 0 25 0 1 0 642551424 938024960 25998 268435456000 4194304 4587354 140737065595456 18446744073709551615 4239304 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26476/statm: 229010 25998 335 96 0 225572 0
[pid=26477] ppid=26475 vsize=91724 CPUtime=633.76 cores=1
/proc/26477/stat : 26477 (clasp) R 26475 26475 26378 0 -1 4202496 20553 0 0 0 63365 11 0 0 25 0 1 0 642551424 93925376 19509 268435456000 4194304 4785740 140736144257808 18446744073709551615 4552628 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/26477/statm: 22931 19509 338 145 0 19976 0
[pid=26478] ppid=26475 vsize=461372 CPUtime=633.58 cores=2
/proc/26478/stat : 26478 (TNM) R 26475 26475 26378 0 -1 4202496 2965 0 0 0 63357 1 0 0 25 0 1 0 642551424 472444928 2862 268435456000 134512640 134534564 4286914080 18446744073709551615 134529080 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26478/statm: 115343 2862 95 6 0 114008 0
[pid=26479] ppid=26475 vsize=93484 CPUtime=633.76 cores=3
/proc/26479/stat : 26479 (march_hi) R 26475 26475 26378 0 -1 4202496 36379 0 0 0 63362 14 0 0 25 0 1 0 642551424 95727616 15542 268435456000 4194304 4331988 140733951169808 18446744073709551615 4292045 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26479/statm: 23371 15542 174 34 0 21813 0
[pid=26480] ppid=26475 vsize=1273548 CPUtime=17682.9 cores=4-31
/proc/26480/stat : 26480 (plingeling) S 26475 26475 26378 0 -1 4202496 860557 1240 0 0 1767600 686 0 1 19 0 29 0 642551424 1304113152 213345 268435456000 4194304 4356188 140736221592112 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 25 0 0 0
/proc/26480/statm: 318387 213345 159 40 0 316931 0
[pid=26480/tid=26487] ppid=26475 vsize=1273548 CPUtime=632.19 cores=4-31
/proc/26480/task/26487/stat : 26487 (plingeling) R 26475 26475 26378 0 -1 4202560 26591 1240 0 0 63199 19 0 1 25 0 29 0 642551577 1304113152 213345 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331822 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26480/tid=26488] ppid=26475 vsize=1273548 CPUtime=632.17 cores=4-31
/proc/26480/task/26488/stat : 26488 (plingeling) R 26475 26475 26378 0 -1 4202560 41002 1240 0 0 63190 26 0 1 25 0 29 0 642551577 1304113152 213345 268435456000 4194304 4356188 140736221592112 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26480/tid=26489] ppid=26475 vsize=1273548 CPUtime=631.84 cores=4-31
/proc/26480/task/26489/stat : 26489 (plingeling) R 26475 26475 26378 0 -1 4202560 31336 1240 0 0 63155 28 0 1 25 0 29 0 642551578 1304113152 213345 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26480/tid=26490] ppid=26475 vsize=1273548 CPUtime=632.22 cores=4-31
/proc/26480/task/26490/stat : 26490 (plingeling) R 26475 26475 26378 0 -1 4202560 9698 1240 0 0 63215 6 0 1 25 0 29 0 642551578 1304113152 213345 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=26480/tid=26491] ppid=26475 vsize=1273548 CPUtime=632.2 cores=4-31
/proc/26480/task/26491/stat : 26491 (plingeling) R 26475 26475 26378 0 -1 4202560 30113 1240 0 0 63190 29 0 1 25 0 29 0 642551578 1304113152 213345 268435456000 4194304 4356188 140736221592112 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=26480/tid=26492] ppid=26475 vsize=1273548 CPUtime=632.2 cores=4-31
/proc/26480/task/26492/stat : 26492 (plingeling) R 26475 26475 26378 0 -1 4202560 28045 1240 0 0 63202 17 0 1 25 0 29 0 642551578 1304113152 213345 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=26480/tid=26493] ppid=26475 vsize=1273548 CPUtime=632.19 cores=4-31
/proc/26480/task/26493/stat : 26493 (plingeling) R 26475 26475 26378 0 -1 4202560 35731 1240 0 0 63192 26 0 1 25 0 29 0 642551578 1304113152 213345 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26480/tid=26494] ppid=26475 vsize=1273548 CPUtime=632.22 cores=4-31
/proc/26480/task/26494/stat : 26494 (plingeling) R 26475 26475 26378 0 -1 4202560 44326 1240 0 0 63174 47 0 1 25 0 29 0 642551578 1304113152 213345 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=26480/tid=26495] ppid=26475 vsize=1273548 CPUtime=621.95 cores=4-31
/proc/26480/task/26495/stat : 26495 (plingeling) R 26475 26475 26378 0 -1 4202560 25940 1240 0 0 62174 20 0 1 25 0 29 0 642551578 1304113152 213345 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331019 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=26480/tid=26496] ppid=26475 vsize=1273548 CPUtime=632.17 cores=4-31
/proc/26480/task/26496/stat : 26496 (plingeling) R 26475 26475 26378 0 -1 4202560 32402 1240 0 0 63200 16 0 1 25 0 29 0 642551578 1304113152 213345 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=26480/tid=26497] ppid=26475 vsize=1273548 CPUtime=624.49 cores=4-31
/proc/26480/task/26497/stat : 26497 (plingeling) R 26475 26475 26378 0 -1 4202560 29808 1240 0 0 62421 27 0 1 25 0 29 0 642551578 1304113152 213345 268435456000 4194304 4356188 140736221592112 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=26480/tid=26498] ppid=26475 vsize=1273548 CPUtime=632.19 cores=4-31
/proc/26480/task/26498/stat : 26498 (plingeling) R 26475 26475 26378 0 -1 4202560 11616 1240 0 0 63212 6 0 1 25 0 29 0 642551578 1304113152 213345 268435456000 4194304 4356188 140736221592112 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=26480/tid=26499] ppid=26475 vsize=1273548 CPUtime=632.19 cores=4-31
/proc/26480/task/26499/stat : 26499 (plingeling) R 26475 26475 26378 0 -1 4202560 25232 1240 0 0 63201 17 0 1 25 0 29 0 642551578 1304113152 213345 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=26480/tid=26500] ppid=26475 vsize=1273548 CPUtime=632.17 cores=4-31
/proc/26480/task/26500/stat : 26500 (plingeling) R 26475 26475 26378 0 -1 4202560 29844 1240 0 0 63205 11 0 1 25 0 29 0 642551578 1304113152 213345 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=26480/tid=26501] ppid=26475 vsize=1273548 CPUtime=632.01 cores=4-31
/proc/26480/task/26501/stat : 26501 (plingeling) R 26475 26475 26378 0 -1 4202560 33867 1240 0 0 63165 35 0 1 25 0 29 0 642551578 1304113152 213345 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331964 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=26480/tid=26502] ppid=26475 vsize=1273548 CPUtime=632.2 cores=4-31
/proc/26480/task/26502/stat : 26502 (plingeling) R 26475 26475 26378 0 -1 4202560 47349 1240 0 0 63161 58 0 1 25 0 29 0 642551578 1304113152 213345 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=26480/tid=26503] ppid=26475 vsize=1273548 CPUtime=631.89 cores=4-31
/proc/26480/task/26503/stat : 26503 (plingeling) R 26475 26475 26378 0 -1 4202560 29354 1240 0 0 63153 35 0 1 25 0 29 0 642551578 1304113152 213345 268435456000 4194304 4356188 140736221592112 18446744073709551615 4332288 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=26480/tid=26504] ppid=26475 vsize=1273548 CPUtime=632.12 cores=4-31
/proc/26480/task/26504/stat : 26504 (plingeling) R 26475 26475 26378 0 -1 4202560 37267 1240 0 0 63188 23 0 1 25 0 29 0 642551578 1304113152 213345 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=26480/tid=26505] ppid=26475 vsize=1273548 CPUtime=632.17 cores=4-31
/proc/26480/task/26505/stat : 26505 (plingeling) R 26475 26475 26378 0 -1 4202560 27327 1240 0 0 63194 22 0 1 25 0 29 0 642551578 1304113152 213345 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=26480/tid=26506] ppid=26475 vsize=1273548 CPUtime=632.16 cores=4-31
/proc/26480/task/26506/stat : 26506 (plingeling) R 26475 26475 26378 0 -1 4202560 13974 1240 0 0 63205 10 0 1 25 0 29 0 642551578 1304113152 213345 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=26480/tid=26507] ppid=26475 vsize=1273548 CPUtime=632.21 cores=4-31
/proc/26480/task/26507/stat : 26507 (plingeling) R 26475 26475 26378 0 -1 4202560 32529 1240 0 0 63191 29 0 1 25 0 29 0 642551578 1304113152 213345 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=26480/tid=26508] ppid=26475 vsize=1273548 CPUtime=632.19 cores=4-31
/proc/26480/task/26508/stat : 26508 (plingeling) R 26475 26475 26378 0 -1 4202560 28839 1240 0 0 63197 21 0 1 25 0 29 0 642551579 1304113152 213345 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=26480/tid=26509] ppid=26475 vsize=1273548 CPUtime=632.15 cores=4-31
/proc/26480/task/26509/stat : 26509 (plingeling) R 26475 26475 26378 0 -1 4202560 31807 1240 0 0 63185 29 0 1 25 0 29 0 642551579 1304113152 213345 268435456000 4194304 4356188 140736221592112 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=26480/tid=26510] ppid=26475 vsize=1273548 CPUtime=632.18 cores=4-31
/proc/26480/task/26510/stat : 26510 (plingeling) R 26475 26475 26378 0 -1 4202560 41263 1240 0 0 63173 44 0 1 25 0 29 0 642551579 1304113152 213345 268435456000 4194304 4356188 140736221592112 18446744073709551615 4330839 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=26480/tid=26511] ppid=26475 vsize=1273548 CPUtime=631.36 cores=4-31
/proc/26480/task/26511/stat : 26511 (plingeling) R 26475 26475 26378 0 -1 4202560 34432 1240 0 0 63113 22 0 1 25 0 29 0 642551579 1304113152 213345 268435456000 4194304 4356188 140736221592112 18446744073709551615 4210823 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=26480/tid=26512] ppid=26475 vsize=1273548 CPUtime=632.2 cores=4-31
/proc/26480/task/26512/stat : 26512 (plingeling) R 26475 26475 26378 0 -1 4202560 24429 1240 0 0 63209 10 0 1 25 0 29 0 642551579 1304113152 213345 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=26480/tid=26513] ppid=26475 vsize=1273548 CPUtime=632.2 cores=4-31
/proc/26480/task/26513/stat : 26513 (plingeling) R 26475 26475 26378 0 -1 4202560 34464 1240 0 0 63194 25 0 1 25 0 29 0 642551579 1304113152 213345 268435456000 4194304 4356188 140736221592112 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=26480/tid=26514] ppid=26475 vsize=1273548 CPUtime=631.92 cores=4-31
/proc/26480/task/26514/stat : 26514 (plingeling) R 26475 26475 26378 0 -1 4202560 13006 1240 0 0 63184 7 0 1 25 0 29 0 642551579 1304113152 213345 268435456000 4194304 4356188 140736221592112 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 20217.7
Current children cumulated vsize (KiB) 2854492
[startup+634.302 s]
/proc/loadavg: 32.50 32.06 31.43 33/447 26533
/proc/meminfo: memFree=254506192/264257624 swapFree=67111528/67111528
[pid=26475] ppid=26473 vsize=18324 CPUtime=2536.4 cores=0-31
/proc/26475/stat : 26475 (ppfolio) S 26473 26475 26378 0 -1 4202496 516 135000 0 0 0 0 253579 61 15 0 1 0 642551424 18763776 387 268435456000 4194304 4287625 140733907261184 18446744073709551615 258650975999 0 0 4096 65536 9192446627351101439 0 0 17 8 0 0 0
/proc/26475/statm: 4581 387 338 23 0 91 0
[pid=26480] ppid=26475 vsize=0 CPUtime=17693.4 cores=4-31
/proc/26480/stat : 26480 (plingeling) Z 26475 26475 26378 0 -1 4203548 860941 1240 0 0 1768646 689 0 1 18 0 2 0 642551424 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 17 25 0 0 0
/proc/26480/statm: 0 0 0 0 0 0 0
[pid=26480/tid=26512] ppid=26475 vsize=0 CPUtime=632.6 cores=4-31
/proc/26480/task/26512/stat : 26512 (plingeling) R 26475 26475 26378 0 -1 4203588 24429 1240 0 0 63246 13 0 1 25 0 2 0 642551579 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 20229.8
Current children cumulated vsize (KiB) 18324
Child status: 0
Real time (s): 634.36
CPU time (s): 20229.9
CPU user time (s): 20222.3
CPU system time (s): 7.58985
CPU usage (%): 3189.02
Max. virtual memory (cumulated for all children) (KiB): 6484524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20222.3
system time used= 7.58985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 997717
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= 2072
involuntary context switches= 50115
runsolver used 3.63045 second user time and 14.3998 second system time
The end
Begin job on node200 at 2011-05-13 20:17:30
IDJOB=3347551
IDBENCH=83125
IDSOLVER=1808
FILE ID=node200/3347551-1305310650
RUNJOBID= node200-1305310459-26392
PBS_JOBID= 13282110
Free space on /tmp= 62048 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom14.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347551-1305310650/watcher-3347551-1305310650 -o /tmp/evaluation-result-3347551-1305310650/solver-3347551-1305310650 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347551-1305310650.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 7af4cc1b94644f101ccf5f2373fdbfea
RANDOM SEED=188069879
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: 255620964 kB
Buffers: 434068 kB
Cached: 7803012 kB
SwapCached: 0 kB
Active: 7378272 kB
Inactive: 927160 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255620964 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 10980 kB
Writeback: 0 kB
AnonPages: 68340 kB
Mapped: 14508 kB
Slab: 249584 kB
PageTables: 3760 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 178108 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62040 MiB
End job on node200 at 2011-05-13 20:28:05