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
7234.26/228.20 s UNSATISFIABLE
7234.26/228.21 solver [5] plingeling 276-6264d55-100731 answered
7234.26/228.21 Done
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3347431-1305159599/watcher-3347431-1305159599 -o /tmp/evaluation-result-3347431-1305159599/solver-3347431-1305159599 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347431-1305159599.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 27.06 29.83 27.72 1/413 13424
/proc/meminfo: memFree=255795936/264257624 swapFree=67111528/67111528
[pid=13424] ppid=13422 vsize=18324 CPUtime=0 cores=0-31
/proc/13424/stat : 13424 (ppfolio) S 13422 13424 13398 0 -1 4202496 513 0 0 0 0 0 0 0 23 0 1 0 627446328 18763776 386 268435456000 4194304 4287625 140734700734160 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 12 0 0 0
/proc/13424/statm: 4581 386 337 23 0 91 0
[startup+0.131902 s]
/proc/loadavg: 27.06 29.83 27.72 1/413 13424
/proc/meminfo: memFree=255795936/264257624 swapFree=67111528/67111528
[pid=13424] ppid=13422 vsize=18324 CPUtime=0 cores=0-31
/proc/13424/stat : 13424 (ppfolio) S 13422 13424 13398 0 -1 4202496 513 0 0 0 0 0 0 0 23 0 1 0 627446328 18763776 386 268435456000 4194304 4287625 140734700734160 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 12 0 0 0
/proc/13424/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.200913 s]
/proc/loadavg: 27.06 29.83 27.72 1/413 13424
/proc/meminfo: memFree=255795936/264257624 swapFree=67111528/67111528
[pid=13424] ppid=13422 vsize=18324 CPUtime=0 cores=0-31
/proc/13424/stat : 13424 (ppfolio) S 13422 13424 13398 0 -1 4202496 513 0 0 0 0 0 0 0 22 0 1 0 627446328 18763776 386 268435456000 4194304 4287625 140734700734160 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 12 0 0 0
/proc/13424/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300916 s]
/proc/loadavg: 27.06 29.83 27.72 1/413 13424
/proc/meminfo: memFree=255795936/264257624 swapFree=67111528/67111528
[pid=13424] ppid=13422 vsize=18324 CPUtime=0 cores=0-31
/proc/13424/stat : 13424 (ppfolio) S 13422 13424 13398 0 -1 4202496 513 0 0 0 0 0 0 0 22 0 1 0 627446328 18763776 386 268435456000 4194304 4287625 140734700734160 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 12 0 0 0
/proc/13424/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700949 s]
/proc/loadavg: 27.06 29.83 27.72 1/413 13424
/proc/meminfo: memFree=255795936/264257624 swapFree=67111528/67111528
[pid=13424] ppid=13422 vsize=18324 CPUtime=0 cores=0-31
/proc/13424/stat : 13424 (ppfolio) S 13422 13424 13398 0 -1 4202496 513 0 0 0 0 0 0 0 22 0 1 0 627446328 18763776 386 268435456000 4194304 4287625 140734700734160 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 12 0 0 0
/proc/13424/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50094 s]
/proc/loadavg: 27.06 29.83 27.72 6/419 13435
/proc/meminfo: memFree=255623264/264257624 swapFree=67111528/67111528
[pid=13424] ppid=13422 vsize=18324 CPUtime=0 cores=0-31
/proc/13424/stat : 13424 (ppfolio) S 13422 13424 13398 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 627446328 18763776 386 268435456000 4194304 4287625 140734700734160 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 12 0 0 0
/proc/13424/statm: 4581 386 337 23 0 91 0
[pid=13425] ppid=13424 vsize=48232 CPUtime=1.49 cores=0
/proc/13425/stat : 13425 (cryptominisat) R 13424 13424 13398 0 -1 4202496 8025 0 0 0 147 2 0 0 20 0 1 0 627446329 49389568 6438 268435456000 4194304 4587354 140737248669136 18446744073709551615 4237467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13425/statm: 12058 6438 328 96 0 8620 0
[pid=13426] ppid=13424 vsize=27132 CPUtime=1.48 cores=1
/proc/13426/stat : 13426 (clasp) R 13424 13424 13398 0 -1 4202496 5505 0 0 0 147 1 0 0 20 0 1 0 627446329 27783168 4050 268435456000 4194304 4785740 140737040953744 18446744073709551615 4309522 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/13426/statm: 6783 4050 338 145 0 3828 0
[pid=13427] ppid=13424 vsize=462692 CPUtime=1.48 cores=2
/proc/13427/stat : 13427 (TNM) R 13424 13424 13398 0 -1 4202496 4852 0 0 0 146 2 0 0 20 0 1 0 627446329 473796608 4749 268435456000 134512640 134534564 4293379600 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/13427/statm: 115673 4749 95 6 0 114338 0
[pid=13428] ppid=13424 vsize=68484 CPUtime=1.48 cores=3
/proc/13428/stat : 13428 (march_hi) R 13424 13424 13398 0 -1 4202496 29905 0 0 0 142 6 0 0 20 0 1 0 627446329 70127616 8340 268435456000 4194304 4331988 140735249427200 18446744073709551615 4228247 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13428/statm: 17121 8340 174 34 0 15563 0
[pid=13429] ppid=13424 vsize=123296 CPUtime=1.48 cores=4-31
/proc/13429/stat : 13429 (plingeling) R 13424 13424 13398 0 -1 4202496 29599 1239 0 0 140 7 0 1 21 0 1 0 627446329 126255104 29483 268435456000 4194304 4356188 140733662036048 18446744073709551615 4213242 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/13429/statm: 30824 29483 129 40 0 29368 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 748160
[startup+3.10195 s]
/proc/loadavg: 27.06 29.83 27.72 33/447 13463
/proc/meminfo: memFree=255530116/264257624 swapFree=67111528/67111528
[pid=13424] ppid=13422 vsize=18324 CPUtime=0 cores=0-31
/proc/13424/stat : 13424 (ppfolio) S 13422 13424 13398 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 627446328 18763776 386 268435456000 4194304 4287625 140734700734160 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 12 0 0 0
/proc/13424/statm: 4581 386 337 23 0 91 0
[pid=13425] ppid=13424 vsize=47728 CPUtime=3.08 cores=0
/proc/13425/stat : 13425 (cryptominisat) R 13424 13424 13398 0 -1 4202496 9466 0 0 0 306 2 0 0 25 0 1 0 627446329 48873472 7113 268435456000 4194304 4587354 140737248669136 18446744073709551615 4238224 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13425/statm: 11932 7113 328 96 0 8494 0
[pid=13426] ppid=13424 vsize=31632 CPUtime=3.08 cores=1
/proc/13426/stat : 13426 (clasp) R 13424 13424 13398 0 -1 4202496 6685 0 0 0 306 2 0 0 25 0 1 0 627446329 32391168 5230 268435456000 4194304 4785740 140737040953744 18446744073709551615 258650616632 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/13426/statm: 7908 5230 338 145 0 4953 0
[pid=13427] ppid=13424 vsize=462692 CPUtime=3.09 cores=2
/proc/13427/stat : 13427 (TNM) R 13424 13424 13398 0 -1 4202496 4852 0 0 0 307 2 0 0 25 0 1 0 627446329 473796608 4749 268435456000 134512640 134534564 4293379600 18446744073709551615 134530468 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/13427/statm: 115673 4749 95 6 0 114338 0
[pid=13428] ppid=13424 vsize=70268 CPUtime=3.08 cores=3
/proc/13428/stat : 13428 (march_hi) R 13424 13424 13398 0 -1 4202496 30311 0 0 0 302 6 0 0 25 0 1 0 627446329 71954432 8746 268435456000 4194304 4331988 140735249427200 18446744073709551615 4237154 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13428/statm: 17567 8746 174 34 0 16009 0
[pid=13429] ppid=13424 vsize=647056 CPUtime=32.17 cores=4-31
/proc/13429/stat : 13429 (plingeling) S 13424 13424 13398 0 -1 4202496 75884 1239 0 0 3163 53 0 1 20 0 29 0 627446329 662585344 49466 268435456000 4194304 4356188 140733662036048 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/13429/statm: 161764 49466 154 40 0 160308 0
[pid=13429/tid=13436] ppid=13424 vsize=647056 CPUtime=1.09 cores=4-31
/proc/13429/task/13436/stat : 13436 (plingeling) R 13424 13424 13398 0 -1 4202560 1005 1239 0 0 107 1 0 1 19 0 29 0 627446525 662585344 49466 268435456000 4194304 4356188 140733662036048 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=13429/tid=13437] ppid=13424 vsize=647056 CPUtime=1.09 cores=4-31
/proc/13429/task/13437/stat : 13437 (plingeling) R 13424 13424 13398 0 -1 4202560 2132 1239 0 0 106 2 0 1 18 0 29 0 627446525 662585344 49466 268435456000 4194304 4356188 140733662036048 18446744073709551615 4250601 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13429/tid=13438] ppid=13424 vsize=647056 CPUtime=1.08 cores=4-31
/proc/13429/task/13438/stat : 13438 (plingeling) R 13424 13424 13398 0 -1 4202560 2237 1239 0 0 106 1 0 1 17 0 29 0 627446525 662585344 49466 268435456000 4194304 4356188 140733662036048 18446744073709551615 4244409 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=13429/tid=13439] ppid=13424 vsize=647056 CPUtime=1.1 cores=4-31
/proc/13429/task/13439/stat : 13439 (plingeling) R 13424 13424 13398 0 -1 4202560 2087 1239 0 0 108 1 0 1 18 0 29 0 627446525 662585344 49466 268435456000 4194304 4356188 140733662036048 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=13429/tid=13440] ppid=13424 vsize=647056 CPUtime=1.09 cores=4-31
/proc/13429/task/13440/stat : 13440 (plingeling) R 13424 13424 13398 0 -1 4202560 2110 1239 0 0 106 2 0 1 25 0 29 0 627446525 662585344 49466 268435456000 4194304 4356188 140733662036048 18446744073709551615 4259314 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=13429/tid=13441] ppid=13424 vsize=647056 CPUtime=1.06 cores=4-31
/proc/13429/task/13441/stat : 13441 (plingeling) R 13424 13424 13398 0 -1 4202560 680 1239 0 0 104 1 0 1 19 0 29 0 627446525 662585344 49466 268435456000 4194304 4356188 140733662036048 18446744073709551615 4212897 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=13429/tid=13442] ppid=13424 vsize=647056 CPUtime=1.07 cores=4-31
/proc/13429/task/13442/stat : 13442 (plingeling) R 13424 13424 13398 0 -1 4202560 1882 1239 0 0 105 1 0 1 18 0 29 0 627446525 662585344 49466 268435456000 4194304 4356188 140733662036048 18446744073709551615 4244483 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=13429/tid=13443] ppid=13424 vsize=647056 CPUtime=1.06 cores=4-31
/proc/13429/task/13443/stat : 13443 (plingeling) R 13424 13424 13398 0 -1 4202560 1921 1239 0 0 104 1 0 1 17 0 29 0 627446525 662585344 49466 268435456000 4194304 4356188 140733662036048 18446744073709551615 4210575 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=13429/tid=13444] ppid=13424 vsize=647056 CPUtime=1.09 cores=4-31
/proc/13429/task/13444/stat : 13444 (plingeling) R 13424 13424 13398 0 -1 4202560 2012 1239 0 0 106 2 0 1 18 0 29 0 627446525 662585344 49466 268435456000 4194304 4356188 140733662036048 18446744073709551615 4244471 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=13429/tid=13445] ppid=13424 vsize=647056 CPUtime=1.08 cores=4-31
/proc/13429/task/13445/stat : 13445 (plingeling) R 13424 13424 13398 0 -1 4202560 1597 1239 0 0 106 1 0 1 18 0 29 0 627446525 662585344 49466 268435456000 4194304 4356188 140733662036048 18446744073709551615 4244192 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=13429/tid=13446] ppid=13424 vsize=647056 CPUtime=1.08 cores=4-31
/proc/13429/task/13446/stat : 13446 (plingeling) R 13424 13424 13398 0 -1 4202560 1531 1239 0 0 106 1 0 1 17 0 29 0 627446525 662585344 49466 268435456000 4194304 4356188 140733662036048 18446744073709551615 4244204 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=13429/tid=13447] ppid=13424 vsize=647056 CPUtime=1.08 cores=4-31
/proc/13429/task/13447/stat : 13447 (plingeling) R 13424 13424 13398 0 -1 4202560 1835 1239 0 0 106 1 0 1 23 0 29 0 627446525 662585344 49466 268435456000 4194304 4356188 140733662036048 18446744073709551615 4234212 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=13429/tid=13448] ppid=13424 vsize=647056 CPUtime=1.08 cores=4-31
/proc/13429/task/13448/stat : 13448 (plingeling) R 13424 13424 13398 0 -1 4202560 2258 1239 0 0 106 1 0 1 18 0 29 0 627446525 662585344 49466 268435456000 4194304 4356188 140733662036048 18446744073709551615 4244534 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=13429/tid=13449] ppid=13424 vsize=647056 CPUtime=1.08 cores=4-31
/proc/13429/task/13449/stat : 13449 (plingeling) R 13424 13424 13398 0 -1 4202560 1658 1239 0 0 106 1 0 1 19 0 29 0 627446525 662585344 49466 268435456000 4194304 4356188 140733662036048 18446744073709551615 4260273 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=13429/tid=13450] ppid=13424 vsize=647056 CPUtime=1.09 cores=4-31
/proc/13429/task/13450/stat : 13450 (plingeling) R 13424 13424 13398 0 -1 4202560 2505 1239 0 0 107 1 0 1 18 0 29 0 627446525 662585344 49466 268435456000 4194304 4356188 140733662036048 18446744073709551615 4314802 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=13429/tid=13451] ppid=13424 vsize=647056 CPUtime=1.09 cores=4-31
/proc/13429/task/13451/stat : 13451 (plingeling) R 13424 13424 13398 0 -1 4202560 1794 1239 0 0 106 2 0 1 18 0 29 0 627446525 662585344 49466 268435456000 4194304 4356188 140733662036048 18446744073709551615 4262910 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=13429/tid=13452] ppid=13424 vsize=647056 CPUtime=1.06 cores=4-31
/proc/13429/task/13452/stat : 13452 (plingeling) R 13424 13424 13398 0 -1 4202560 1444 1239 0 0 105 0 0 1 23 0 29 0 627446525 662585344 49466 268435456000 4194304 4356188 140733662036048 18446744073709551615 4212994 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=13429/tid=13453] ppid=13424 vsize=647056 CPUtime=1.09 cores=4-31
/proc/13429/task/13453/stat : 13453 (plingeling) R 13424 13424 13398 0 -1 4202560 2030 1239 0 0 106 2 0 1 23 0 29 0 627446526 662585344 49466 268435456000 4194304 4356188 140733662036048 18446744073709551615 4259314 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=13429/tid=13454] ppid=13424 vsize=647056 CPUtime=1.09 cores=4-31
/proc/13429/task/13454/stat : 13454 (plingeling) R 13424 13424 13398 0 -1 4202560 2287 1239 0 0 106 2 0 1 19 0 29 0 627446526 662585344 49466 268435456000 4194304 4356188 140733662036048 18446744073709551615 4260245 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=13429/tid=13455] ppid=13424 vsize=647056 CPUtime=1.08 cores=4-31
/proc/13429/task/13455/stat : 13455 (plingeling) R 13424 13424 13398 0 -1 4202560 721 1239 0 0 105 2 0 1 18 0 29 0 627446526 662585344 49466 268435456000 4194304 4356188 140733662036048 18446744073709551615 4258110 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13429/tid=13456] ppid=13424 vsize=647056 CPUtime=1.08 cores=4-31
/proc/13429/task/13456/stat : 13456 (plingeling) R 13424 13424 13398 0 -1 4202560 1796 1239 0 0 107 0 0 1 21 0 29 0 627446526 662585344 49466 268435456000 4194304 4356188 140733662036048 18446744073709551615 4262944 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=13429/tid=13457] ppid=13424 vsize=647056 CPUtime=1.08 cores=4-31
/proc/13429/task/13457/stat : 13457 (plingeling) R 13424 13424 13398 0 -1 4202560 1557 1239 0 0 106 1 0 1 18 0 29 0 627446526 662585344 49466 268435456000 4194304 4356188 140733662036048 18446744073709551615 4244483 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=13429/tid=13458] ppid=13424 vsize=647056 CPUtime=1.08 cores=4-31
/proc/13429/task/13458/stat : 13458 (plingeling) R 13424 13424 13398 0 -1 4202560 688 1239 0 0 107 0 0 1 19 0 29 0 627446526 662585344 49466 268435456000 4194304 4356188 140733662036048 18446744073709551615 4260593 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=13429/tid=13459] ppid=13424 vsize=647056 CPUtime=1.08 cores=4-31
/proc/13429/task/13459/stat : 13459 (plingeling) R 13424 13424 13398 0 -1 4202560 1998 1239 0 0 106 1 0 1 17 0 29 0 627446526 662585344 49466 268435456000 4194304 4356188 140733662036048 18446744073709551615 4244709 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=13429/tid=13460] ppid=13424 vsize=647056 CPUtime=1.06 cores=4-31
/proc/13429/task/13460/stat : 13460 (plingeling) R 13424 13424 13398 0 -1 4202560 778 1239 0 0 104 1 0 1 25 0 29 0 627446526 662585344 49466 268435456000 4194304 4356188 140733662036048 18446744073709551615 4247019 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=13429/tid=13461] ppid=13424 vsize=647056 CPUtime=1.09 cores=4-31
/proc/13429/task/13461/stat : 13461 (plingeling) R 13424 13424 13398 0 -1 4202560 1852 1239 0 0 106 2 0 1 18 0 29 0 627446526 662585344 49466 268435456000 4194304 4356188 140733662036048 18446744073709551615 4267675 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=13429/tid=13462] ppid=13424 vsize=647056 CPUtime=1.09 cores=4-31
/proc/13429/task/13462/stat : 13462 (plingeling) R 13424 13424 13398 0 -1 4202560 1149 1239 0 0 107 1 0 1 18 0 29 0 627446526 662585344 49466 268435456000 4194304 4356188 140733662036048 18446744073709551615 4247065 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=13429/tid=13463] ppid=13424 vsize=647056 CPUtime=1.05 cores=4-31
/proc/13429/task/13463/stat : 13463 (plingeling) R 13424 13424 13398 0 -1 4202560 703 1239 0 0 103 1 0 1 25 0 29 0 627446526 662585344 49466 268435456000 4194304 4356188 140733662036048 18446744073709551615 4247719 0 0 4096 17442 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 44.5
Current children cumulated vsize (KiB) 1277700
[startup+6.30205 s]
/proc/loadavg: 27.45 29.87 27.74 33/447 13463
/proc/meminfo: memFree=255421000/264257624 swapFree=67111528/67111528
[pid=13424] ppid=13422 vsize=18324 CPUtime=0 cores=0-31
/proc/13424/stat : 13424 (ppfolio) S 13422 13424 13398 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 627446328 18763776 386 268435456000 4194304 4287625 140734700734160 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 12 0 0 0
/proc/13424/statm: 4581 386 337 23 0 91 0
[pid=13425] ppid=13424 vsize=121612 CPUtime=6.29 cores=0
/proc/13425/stat : 13425 (cryptominisat) R 13424 13424 13398 0 -1 4202496 11416 0 0 0 626 3 0 0 25 0 1 0 627446329 124530688 7020 268435456000 4194304 4587354 140737248669136 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13425/statm: 30403 7020 328 96 0 26965 0
[pid=13426] ppid=13424 vsize=44444 CPUtime=6.28 cores=1
/proc/13426/stat : 13426 (clasp) R 13424 13424 13398 0 -1 4202496 9859 0 0 0 625 3 0 0 25 0 1 0 627446329 45510656 8404 268435456000 4194304 4785740 140737040953744 18446744073709551615 4552642 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/13426/statm: 11111 8404 338 145 0 8156 0
[pid=13427] ppid=13424 vsize=462692 CPUtime=6.29 cores=2
/proc/13427/stat : 13427 (TNM) R 13424 13424 13398 0 -1 4202496 4852 0 0 0 627 2 0 0 25 0 1 0 627446329 473796608 4749 268435456000 134512640 134534564 4293379600 18446744073709551615 134528523 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/13427/statm: 115673 4749 95 6 0 114338 0
[pid=13428] ppid=13424 vsize=71472 CPUtime=6.28 cores=3
/proc/13428/stat : 13428 (march_hi) R 13424 13424 13398 0 -1 4202496 30641 0 0 0 622 6 0 0 25 0 1 0 627446329 73187328 9076 268435456000 4194304 4331988 140735249427200 18446744073709551615 4228205 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13428/statm: 17868 9076 174 34 0 16310 0
[pid=13429] ppid=13424 vsize=718896 CPUtime=121.65 cores=4-31
/proc/13429/stat : 13429 (plingeling) S 13424 13424 13398 0 -1 4202496 93999 1239 0 0 12103 61 0 1 20 0 29 0 627446329 736149504 62610 268435456000 4194304 4356188 140733662036048 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/13429/statm: 179724 62610 159 40 0 178268 0
[pid=13429/tid=13436] ppid=13424 vsize=718896 CPUtime=4.29 cores=4-31
/proc/13429/task/13436/stat : 13436 (plingeling) R 13424 13424 13398 0 -1 4202560 1911 1239 0 0 427 1 0 1 25 0 29 0 627446525 736149504 62610 268435456000 4194304 4356188 140733662036048 18446744073709551615 4248705 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=13429/tid=13437] ppid=13424 vsize=718896 CPUtime=4.29 cores=4-31
/proc/13429/task/13437/stat : 13437 (plingeling) R 13424 13424 13398 0 -1 4202560 2562 1239 0 0 426 2 0 1 25 0 29 0 627446525 736149504 62610 268435456000 4194304 4356188 140733662036048 18446744073709551615 4211135 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13429/tid=13438] ppid=13424 vsize=718896 CPUtime=4.28 cores=4-31
/proc/13429/task/13438/stat : 13438 (plingeling) R 13424 13424 13398 0 -1 4202560 3156 1239 0 0 426 1 0 1 25 0 29 0 627446525 736149504 62610 268435456000 4194304 4356188 140733662036048 18446744073709551615 4211691 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=13429/tid=13439] ppid=13424 vsize=718896 CPUtime=4.29 cores=4-31
/proc/13429/task/13439/stat : 13439 (plingeling) R 13424 13424 13398 0 -1 4202560 3130 1239 0 0 427 1 0 1 25 0 29 0 627446525 736149504 62610 268435456000 4194304 4356188 140733662036048 18446744073709551615 4332327 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=13429/tid=13440] ppid=13424 vsize=718896 CPUtime=4.29 cores=4-31
/proc/13429/task/13440/stat : 13440 (plingeling) R 13424 13424 13398 0 -1 4202560 2363 1239 0 0 426 2 0 1 25 0 29 0 627446525 736149504 62610 268435456000 4194304 4356188 140733662036048 18446744073709551615 4211178 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=13429/tid=13441] ppid=13424 vsize=718896 CPUtime=4.27 cores=4-31
################
# More data... #
################
[pid=13429/tid=13457] ppid=13424 vsize=1282640 CPUtime=223.56 cores=4-31
/proc/13429/task/13457/stat : 13457 (plingeling) R 13424 13424 13398 0 -1 4202560 8112 1239 0 0 22352 3 0 1 25 0 29 0 627446526 1313423360 205314 268435456000 4194304 4356188 140733662036048 18446744073709551615 4279717 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=13429/tid=13458] ppid=13424 vsize=1282640 CPUtime=223.55 cores=4-31
/proc/13429/task/13458/stat : 13458 (plingeling) R 13424 13424 13398 0 -1 4202560 6187 1239 0 0 22351 3 0 1 25 0 29 0 627446526 1313423360 205314 268435456000 4194304 4356188 140733662036048 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=13429/tid=13459] ppid=13424 vsize=1282640 CPUtime=223.56 cores=4-31
/proc/13429/task/13459/stat : 13459 (plingeling) R 13424 13424 13398 0 -1 4202560 21263 1239 0 0 22338 17 0 1 25 0 29 0 627446526 1313423360 205314 268435456000 4194304 4356188 140733662036048 18446744073709551615 4283920 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=13429/tid=13460] ppid=13424 vsize=1282640 CPUtime=223.53 cores=4-31
/proc/13429/task/13460/stat : 13460 (plingeling) R 13424 13424 13398 0 -1 4202560 7133 1239 0 0 22350 2 0 1 25 0 29 0 627446526 1313423360 205314 268435456000 4194304 4356188 140733662036048 18446744073709551615 4279677 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=13429/tid=13461] ppid=13424 vsize=1282640 CPUtime=223.55 cores=4-31
/proc/13429/task/13461/stat : 13461 (plingeling) R 13424 13424 13398 0 -1 4202560 11873 1239 0 0 22346 8 0 1 25 0 29 0 627446526 1313423360 205314 268435456000 4194304 4356188 140733662036048 18446744073709551615 4242653 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=13429/tid=13462] ppid=13424 vsize=1282640 CPUtime=223.57 cores=4-31
/proc/13429/task/13462/stat : 13462 (plingeling) R 13424 13424 13398 0 -1 4202560 6004 1239 0 0 22354 2 0 1 25 0 29 0 627446526 1313423360 205314 268435456000 4194304 4356188 140733662036048 18446744073709551615 4210596 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=13429/tid=13463] ppid=13424 vsize=1282640 CPUtime=223.52 cores=4-31
/proc/13429/task/13463/stat : 13463 (plingeling) R 13424 13424 13398 0 -1 4202560 4594 1239 0 0 22347 4 0 1 25 0 29 0 627446526 1313423360 205314 268435456000 4194304 4356188 140733662036048 18446744073709551615 4330845 0 0 4096 17442 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 7157.23
Current children cumulated vsize (KiB) 2199920
[startup+227.202 s]
/proc/loadavg: 31.90 31.00 28.65 33/447 13471
/proc/meminfo: memFree=254693020/264257624 swapFree=67111528/67111528
[pid=13424] ppid=13422 vsize=18324 CPUtime=0 cores=0-31
/proc/13424/stat : 13424 (ppfolio) S 13422 13424 13398 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 627446328 18763776 386 268435456000 4194304 4287625 140734700734160 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 12 0 0 0
/proc/13424/statm: 4581 386 337 23 0 91 0
[pid=13425] ppid=13424 vsize=193748 CPUtime=227.14 cores=0
/proc/13425/stat : 13425 (cryptominisat) R 13424 13424 13398 0 -1 4202496 39451 0 0 0 22700 14 0 0 25 0 1 0 627446329 198397952 16960 268435456000 4194304 4587354 140737248669136 18446744073709551615 4244156 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13425/statm: 48437 16960 336 96 0 44999 0
[pid=13426] ppid=13424 vsize=164708 CPUtime=227.13 cores=1
/proc/13426/stat : 13426 (clasp) R 13424 13424 13398 0 -1 4202496 39676 0 0 0 22697 16 0 0 25 0 1 0 627446329 168660992 38221 268435456000 4194304 4785740 140737040953744 18446744073709551615 4553402 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/13426/statm: 41177 38221 338 145 0 38222 0
[pid=13427] ppid=13424 vsize=462692 CPUtime=227.14 cores=2
/proc/13427/stat : 13427 (TNM) R 13424 13424 13398 0 -1 4202496 4852 0 0 0 22712 2 0 0 25 0 1 0 627446329 473796608 4749 268435456000 134512640 134534564 4293379600 18446744073709551615 134530360 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/13427/statm: 115673 4749 95 6 0 114338 0
[pid=13428] ppid=13424 vsize=77808 CPUtime=227.13 cores=3
/proc/13428/stat : 13428 (march_hi) R 13424 13424 13398 0 -1 4202496 32157 0 0 0 22706 7 0 0 25 0 1 0 627446329 79675392 10573 268435456000 4194304 4331988 140735249427200 18446744073709551615 4228226 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13428/statm: 19452 10573 185 34 0 17894 0
[pid=13429] ppid=13424 vsize=1282640 CPUtime=6299.2 cores=4-31
/proc/13429/stat : 13429 (plingeling) S 13424 13424 13398 0 -1 4202496 323902 1239 0 0 629741 178 0 1 20 0 29 0 627446329 1313423360 206626 268435456000 4194304 4356188 140733662036048 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/13429/statm: 320660 206626 159 40 0 319204 0
[pid=13429/tid=13436] ppid=13424 vsize=1282640 CPUtime=225.14 cores=4-31
/proc/13429/task/13436/stat : 13436 (plingeling) R 13424 13424 13398 0 -1 4202560 6767 1239 0 0 22509 4 0 1 25 0 29 0 627446525 1313423360 206626 268435456000 4194304 4356188 140733662036048 18446744073709551615 4331355 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=13429/tid=13437] ppid=13424 vsize=1282640 CPUtime=225.15 cores=4-31
/proc/13429/task/13437/stat : 13437 (plingeling) R 13424 13424 13398 0 -1 4202560 10788 1239 0 0 22511 3 0 1 25 0 29 0 627446525 1313423360 206626 268435456000 4194304 4356188 140733662036048 18446744073709551615 4279432 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13429/tid=13438] ppid=13424 vsize=1282640 CPUtime=225.14 cores=4-31
/proc/13429/task/13438/stat : 13438 (plingeling) R 13424 13424 13398 0 -1 4202560 12023 1239 0 0 22510 3 0 1 25 0 29 0 627446525 1313423360 206626 268435456000 4194304 4356188 140733662036048 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=13429/tid=13439] ppid=13424 vsize=1282640 CPUtime=225.16 cores=4-31
/proc/13429/task/13439/stat : 13439 (plingeling) R 13424 13424 13398 0 -1 4202560 5969 1239 0 0 22513 2 0 1 25 0 29 0 627446525 1313423360 206626 268435456000 4194304 4356188 140733662036048 18446744073709551615 4244333 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=13429/tid=13440] ppid=13424 vsize=1282640 CPUtime=225.14 cores=4-31
/proc/13429/task/13440/stat : 13440 (plingeling) R 13424 13424 13398 0 -1 4202560 9940 1239 0 0 22510 3 0 1 25 0 29 0 627446525 1313423360 206626 268435456000 4194304 4356188 140733662036048 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=13429/tid=13441] ppid=13424 vsize=1282640 CPUtime=225.12 cores=4-31
/proc/13429/task/13441/stat : 13441 (plingeling) R 13424 13424 13398 0 -1 4202560 9938 1239 0 0 22505 6 0 1 25 0 29 0 627446525 1313423360 206626 268435456000 4194304 4356188 140733662036048 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=13429/tid=13442] ppid=13424 vsize=1282640 CPUtime=225.13 cores=4-31
/proc/13429/task/13442/stat : 13442 (plingeling) R 13424 13424 13398 0 -1 4202560 10726 1239 0 0 22506 6 0 1 25 0 29 0 627446525 1313423360 206626 268435456000 4194304 4356188 140733662036048 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=13429/tid=13443] ppid=13424 vsize=1282640 CPUtime=225.12 cores=4-31
/proc/13429/task/13443/stat : 13443 (plingeling) R 13424 13424 13398 0 -1 4202560 31243 1239 0 0 22495 16 0 1 25 0 29 0 627446525 1313423360 206626 268435456000 4194304 4356188 140733662036048 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=13429/tid=13444] ppid=13424 vsize=1282640 CPUtime=225.15 cores=4-31
/proc/13429/task/13444/stat : 13444 (plingeling) R 13424 13424 13398 0 -1 4202560 8520 1239 0 0 22510 4 0 1 25 0 29 0 627446525 1313423360 206626 268435456000 4194304 4356188 140733662036048 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=13429/tid=13445] ppid=13424 vsize=1282640 CPUtime=225.14 cores=4-31
/proc/13429/task/13445/stat : 13445 (plingeling) R 13424 13424 13398 0 -1 4202560 7640 1239 0 0 22507 6 0 1 25 0 29 0 627446525 1313423360 206626 268435456000 4194304 4356188 140733662036048 18446744073709551615 4234320 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=13429/tid=13446] ppid=13424 vsize=1282640 CPUtime=225.14 cores=4-31
/proc/13429/task/13446/stat : 13446 (plingeling) R 13424 13424 13398 0 -1 4202560 11540 1239 0 0 22507 6 0 1 25 0 29 0 627446525 1313423360 206626 268435456000 4194304 4356188 140733662036048 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=13429/tid=13447] ppid=13424 vsize=1282640 CPUtime=225.14 cores=4-31
/proc/13429/task/13447/stat : 13447 (plingeling) R 13424 13424 13398 0 -1 4202560 4451 1239 0 0 22509 4 0 1 25 0 29 0 627446525 1313423360 206626 268435456000 4194304 4356188 140733662036048 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=13429/tid=13448] ppid=13424 vsize=1282640 CPUtime=225.13 cores=4-31
/proc/13429/task/13448/stat : 13448 (plingeling) R 13424 13424 13398 0 -1 4202560 9641 1239 0 0 22510 2 0 1 25 0 29 0 627446525 1313423360 206626 268435456000 4194304 4356188 140733662036048 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=13429/tid=13449] ppid=13424 vsize=1282640 CPUtime=225.14 cores=4-31
/proc/13429/task/13449/stat : 13449 (plingeling) R 13424 13424 13398 0 -1 4202560 8136 1239 0 0 22508 5 0 1 25 0 29 0 627446525 1313423360 206626 268435456000 4194304 4356188 140733662036048 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=13429/tid=13450] ppid=13424 vsize=1282640 CPUtime=225.08 cores=4-31
/proc/13429/task/13450/stat : 13450 (plingeling) R 13424 13424 13398 0 -1 4202560 14165 1239 0 0 22500 7 0 1 25 0 29 0 627446525 1313423360 206626 268435456000 4194304 4356188 140733662036048 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=13429/tid=13451] ppid=13424 vsize=1282640 CPUtime=225.04 cores=4-31
/proc/13429/task/13451/stat : 13451 (plingeling) R 13424 13424 13398 0 -1 4202560 26050 1239 0 0 22488 15 0 1 25 0 29 0 627446525 1313423360 206626 268435456000 4194304 4356188 140733662036048 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=13429/tid=13452] ppid=13424 vsize=1282640 CPUtime=225.11 cores=4-31
/proc/13429/task/13452/stat : 13452 (plingeling) R 13424 13424 13398 0 -1 4202560 9862 1239 0 0 22509 1 0 1 25 0 29 0 627446525 1313423360 206626 268435456000 4194304 4356188 140733662036048 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=13429/tid=13453] ppid=13424 vsize=1282640 CPUtime=218.79 cores=4-31
/proc/13429/task/13453/stat : 13453 (plingeling) R 13424 13424 13398 0 -1 4202560 6977 1239 0 0 21872 6 0 1 25 0 29 0 627446526 1313423360 206626 268435456000 4194304 4356188 140733662036048 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=13429/tid=13454] ppid=13424 vsize=1282640 CPUtime=225.14 cores=4-31
/proc/13429/task/13454/stat : 13454 (plingeling) R 13424 13424 13398 0 -1 4202560 10290 1239 0 0 22507 6 0 1 25 0 29 0 627446526 1313423360 206626 268435456000 4194304 4356188 140733662036048 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=13429/tid=13455] ppid=13424 vsize=1282640 CPUtime=225.13 cores=4-31
/proc/13429/task/13455/stat : 13455 (plingeling) R 13424 13424 13398 0 -1 4202560 3851 1239 0 0 22508 4 0 1 25 0 29 0 627446526 1313423360 206626 268435456000 4194304 4356188 140733662036048 18446744073709551615 4242634 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13429/tid=13456] ppid=13424 vsize=1282640 CPUtime=225.13 cores=4-31
/proc/13429/task/13456/stat : 13456 (plingeling) R 13424 13424 13398 0 -1 4202560 10582 1239 0 0 22505 7 0 1 25 0 29 0 627446526 1313423360 206626 268435456000 4194304 4356188 140733662036048 18446744073709551615 4332149 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=13429/tid=13457] ppid=13424 vsize=1282640 CPUtime=225.14 cores=4-31
/proc/13429/task/13457/stat : 13457 (plingeling) R 13424 13424 13398 0 -1 4202560 8112 1239 0 0 22510 3 0 1 25 0 29 0 627446526 1313423360 206626 268435456000 4194304 4356188 140733662036048 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=13429/tid=13458] ppid=13424 vsize=1282640 CPUtime=225.13 cores=4-31
/proc/13429/task/13458/stat : 13458 (plingeling) R 13424 13424 13398 0 -1 4202560 6187 1239 0 0 22509 3 0 1 25 0 29 0 627446526 1313423360 206626 268435456000 4194304 4356188 140733662036048 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=13429/tid=13459] ppid=13424 vsize=1282640 CPUtime=225.14 cores=4-31
/proc/13429/task/13459/stat : 13459 (plingeling) R 13424 13424 13398 0 -1 4202560 21263 1239 0 0 22496 17 0 1 25 0 29 0 627446526 1313423360 206626 268435456000 4194304 4356188 140733662036048 18446744073709551615 4244400 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=13429/tid=13460] ppid=13424 vsize=1282640 CPUtime=225.11 cores=4-31
/proc/13429/task/13460/stat : 13460 (plingeling) R 13424 13424 13398 0 -1 4202560 7133 1239 0 0 22508 2 0 1 25 0 29 0 627446526 1313423360 206626 268435456000 4194304 4356188 140733662036048 18446744073709551615 4237379 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=13429/tid=13461] ppid=13424 vsize=1282640 CPUtime=225.13 cores=4-31
/proc/13429/task/13461/stat : 13461 (plingeling) R 13424 13424 13398 0 -1 4202560 11873 1239 0 0 22504 8 0 1 25 0 29 0 627446526 1313423360 206626 268435456000 4194304 4356188 140733662036048 18446744073709551615 4210587 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=13429/tid=13462] ppid=13424 vsize=1282640 CPUtime=225.15 cores=4-31
/proc/13429/task/13462/stat : 13462 (plingeling) R 13424 13424 13398 0 -1 4202560 6004 1239 0 0 22512 2 0 1 25 0 29 0 627446526 1313423360 206626 268435456000 4194304 4356188 140733662036048 18446744073709551615 4281495 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=13429/tid=13463] ppid=13424 vsize=1282640 CPUtime=225.1 cores=4-31
/proc/13429/task/13463/stat : 13463 (plingeling) R 13424 13424 13398 0 -1 4202560 4594 1239 0 0 22505 4 0 1 25 0 29 0 627446526 1313423360 206626 268435456000 4194304 4356188 140733662036048 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 7207.74
Current children cumulated vsize (KiB) 2199920
[startup+228.002 s]
/proc/loadavg: 31.90 31.00 28.65 33/447 13471
/proc/meminfo: memFree=254692884/264257624 swapFree=67111528/67111528
[pid=13424] ppid=13422 vsize=18324 CPUtime=0 cores=0-31
/proc/13424/stat : 13424 (ppfolio) S 13422 13424 13398 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 627446328 18763776 386 268435456000 4194304 4287625 140734700734160 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 12 0 0 0
/proc/13424/statm: 4581 386 337 23 0 91 0
[pid=13425] ppid=13424 vsize=193748 CPUtime=227.94 cores=0
/proc/13425/stat : 13425 (cryptominisat) R 13424 13424 13398 0 -1 4202496 39451 0 0 0 22780 14 0 0 25 0 1 0 627446329 198397952 16960 268435456000 4194304 4587354 140737248669136 18446744073709551615 4230266 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13425/statm: 48437 16960 336 96 0 44999 0
[pid=13426] ppid=13424 vsize=164708 CPUtime=227.93 cores=1
/proc/13426/stat : 13426 (clasp) R 13424 13424 13398 0 -1 4202496 39676 0 0 0 22777 16 0 0 25 0 1 0 627446329 168660992 38221 268435456000 4194304 4785740 140737040953744 18446744073709551615 4416773 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/13426/statm: 41177 38221 338 145 0 38222 0
[pid=13427] ppid=13424 vsize=462692 CPUtime=227.94 cores=2
/proc/13427/stat : 13427 (TNM) R 13424 13424 13398 0 -1 4202496 4852 0 0 0 22792 2 0 0 25 0 1 0 627446329 473796608 4749 268435456000 134512640 134534564 4293379600 18446744073709551615 134529031 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/13427/statm: 115673 4749 95 6 0 114338 0
[pid=13428] ppid=13424 vsize=77808 CPUtime=227.93 cores=3
/proc/13428/stat : 13428 (march_hi) R 13424 13424 13398 0 -1 4202496 32158 0 0 0 22786 7 0 0 25 0 1 0 627446329 79675392 10574 268435456000 4194304 4331988 140735249427200 18446744073709551615 4239523 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13428/statm: 19452 10574 185 34 0 17894 0
[pid=13429] ppid=13424 vsize=1282640 CPUtime=6321.33 cores=4-31
/proc/13429/stat : 13429 (plingeling) S 13424 13424 13398 0 -1 4202496 325951 1239 0 0 631949 183 0 1 20 0 14 0 627446329 1313423360 206627 268435456000 4194304 4356188 140733662036048 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/13429/statm: 320660 206627 160 40 0 319204 0
[pid=13429/tid=13436] ppid=13424 vsize=1282640 CPUtime=225.94 cores=4-31
/proc/13429/task/13436/stat : 13436 (plingeling) R 13424 13424 13398 0 -1 4202560 6767 1239 0 0 22589 4 0 1 25 0 14 0 627446525 1313423360 206627 268435456000 4194304 4356188 140733662036048 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=13429/tid=13437] ppid=13424 vsize=1282640 CPUtime=225.95 cores=4-31
/proc/13429/task/13437/stat : 13437 (plingeling) R 13424 13424 13398 0 -1 4202560 10788 1239 0 0 22591 3 0 1 25 0 14 0 627446525 1313423360 206627 268435456000 4194304 4356188 140733662036048 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13429/tid=13438] ppid=13424 vsize=1282640 CPUtime=225.94 cores=4-31
/proc/13429/task/13438/stat : 13438 (plingeling) R 13424 13424 13398 0 -1 4202560 12023 1239 0 0 22590 3 0 1 25 0 14 0 627446525 1313423360 206627 268435456000 4194304 4356188 140733662036048 18446744073709551615 4331264 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=13429/tid=13443] ppid=13424 vsize=1282640 CPUtime=225.92 cores=4-31
/proc/13429/task/13443/stat : 13443 (plingeling) R 13424 13424 13398 0 -1 4202560 31243 1239 0 0 22575 16 0 1 25 0 14 0 627446525 1313423360 206627 268435456000 4194304 4356188 140733662036048 18446744073709551615 4332003 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=13429/tid=13445] ppid=13424 vsize=1282640 CPUtime=225.94 cores=4-31
/proc/13429/task/13445/stat : 13445 (plingeling) R 13424 13424 13398 0 -1 4202560 7640 1239 0 0 22587 6 0 1 25 0 14 0 627446525 1313423360 206627 268435456000 4194304 4356188 140733662036048 18446744073709551615 4331337 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=13429/tid=13446] ppid=13424 vsize=1282640 CPUtime=225.94 cores=4-31
/proc/13429/task/13446/stat : 13446 (plingeling) R 13424 13424 13398 0 -1 4202560 11540 1239 0 0 22587 6 0 1 25 0 14 0 627446525 1313423360 206627 268435456000 4194304 4356188 140733662036048 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=13429/tid=13450] ppid=13424 vsize=1282640 CPUtime=225.88 cores=4-31
/proc/13429/task/13450/stat : 13450 (plingeling) R 13424 13424 13398 0 -1 4202560 14165 1239 0 0 22580 7 0 1 25 0 14 0 627446525 1313423360 206627 268435456000 4194304 4356188 140733662036048 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=13429/tid=13451] ppid=13424 vsize=1282640 CPUtime=225.84 cores=4-31
/proc/13429/task/13451/stat : 13451 (plingeling) R 13424 13424 13398 0 -1 4202560 26050 1239 0 0 22568 15 0 1 25 0 14 0 627446525 1313423360 206627 268435456000 4194304 4356188 140733662036048 18446744073709551615 4331176 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=13429/tid=13452] ppid=13424 vsize=1282640 CPUtime=225.9 cores=4-31
/proc/13429/task/13452/stat : 13452 (plingeling) R 13424 13424 13398 0 -1 4202560 9862 1239 0 0 22588 1 0 1 25 0 14 0 627446525 1313423360 206627 268435456000 4194304 4356188 140733662036048 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=13429/tid=13455] ppid=13424 vsize=1282640 CPUtime=225.93 cores=4-31
/proc/13429/task/13455/stat : 13455 (plingeling) R 13424 13424 13398 0 -1 4202560 3851 1239 0 0 22588 4 0 1 25 0 14 0 627446526 1313423360 206627 268435456000 4194304 4356188 140733662036048 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13429/tid=13456] ppid=13424 vsize=1282640 CPUtime=225.93 cores=4-31
/proc/13429/task/13456/stat : 13456 (plingeling) R 13424 13424 13398 0 -1 4202560 10582 1239 0 0 22585 7 0 1 25 0 14 0 627446526 1313423360 206627 268435456000 4194304 4356188 140733662036048 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=13429/tid=13457] ppid=13424 vsize=1282640 CPUtime=225.94 cores=4-31
/proc/13429/task/13457/stat : 13457 (plingeling) R 13424 13424 13398 0 -1 4202560 8112 1239 0 0 22590 3 0 1 25 0 14 0 627446526 1313423360 206627 268435456000 4194304 4356188 140733662036048 18446744073709551615 4331305 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=13429/tid=13459] ppid=13424 vsize=1282640 CPUtime=225.94 cores=4-31
/proc/13429/task/13459/stat : 13459 (plingeling) R 13424 13424 13398 0 -1 4202560 23311 1239 0 0 22571 22 0 1 25 0 13 0 627446526 1313423360 206627 268435456000 4194304 4356188 140733662036048 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 7233.07
Current children cumulated vsize (KiB) 2199920
[startup+228.201 s]
/proc/loadavg: 31.90 31.00 28.65 33/447 13471
/proc/meminfo: memFree=254692884/264257624 swapFree=67111528/67111528
[pid=13424] ppid=13422 vsize=18324 CPUtime=0 cores=0-31
/proc/13424/stat : 13424 (ppfolio) S 13422 13424 13398 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 627446328 18763776 386 268435456000 4194304 4287625 140734700734160 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 12 0 0 0
/proc/13424/statm: 4581 386 337 23 0 91 0
[pid=13425] ppid=13424 vsize=193748 CPUtime=228.14 cores=0
/proc/13425/stat : 13425 (cryptominisat) R 13424 13424 13398 0 -1 4202496 39451 0 0 0 22800 14 0 0 25 0 1 0 627446329 198397952 16960 268435456000 4194304 4587354 140737248669136 18446744073709551615 4238421 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13425/statm: 48437 16960 336 96 0 44999 0
[pid=13426] ppid=13424 vsize=164708 CPUtime=228.13 cores=1
/proc/13426/stat : 13426 (clasp) R 13424 13424 13398 0 -1 4202496 39676 0 0 0 22797 16 0 0 25 0 1 0 627446329 168660992 38221 268435456000 4194304 4785740 140737040953744 18446744073709551615 4286912 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/13426/statm: 41177 38221 338 145 0 38222 0
[pid=13427] ppid=13424 vsize=462692 CPUtime=228.14 cores=2
/proc/13427/stat : 13427 (TNM) R 13424 13424 13398 0 -1 4202496 4852 0 0 0 22812 2 0 0 25 0 1 0 627446329 473796608 4749 268435456000 134512640 134534564 4293379600 18446744073709551615 134530407 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/13427/statm: 115673 4749 95 6 0 114338 0
[pid=13428] ppid=13424 vsize=77808 CPUtime=228.13 cores=3
/proc/13428/stat : 13428 (march_hi) R 13424 13424 13398 0 -1 4202496 32158 0 0 0 22806 7 0 0 25 0 1 0 627446329 79675392 10574 268435456000 4194304 4331988 140735249427200 18446744073709551615 4299840 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13428/statm: 19452 10574 185 34 0 17894 0
[pid=13429] ppid=13424 vsize=419472 CPUtime=6321.72 cores=4-31
/proc/13429/stat : 13429 (plingeling) R 13424 13424 13398 0 -1 4202496 325951 1239 0 0 631980 191 0 1 16 0 1 0 627446329 429539328 8715 268435456000 4194304 4356188 140733662036048 18446744073709551615 258650981722 0 0 4096 0 0 0 0 17 22 0 0 0
/proc/13429/statm: 104868 8715 160 40 0 103412 0
Current children cumulated CPU time (s) 7234.26
Current children cumulated vsize (KiB) 1336752
Child status: 0
Real time (s): 228.216
CPU time (s): 7234.36
CPU user time (s): 7231.99
CPU system time (s): 2.37164
CPU usage (%): 3169.96
Max. virtual memory (cumulated for all children) (KiB): 2242100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7231.99
system time used= 2.37164
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 443865
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= 2986
involuntary context switches= 17977
runsolver used 1.3028 second user time and 5.16621 second system time
The end
Begin job on node200 at 2011-05-12 02:19:59
IDJOB=3347431
IDBENCH=82433
IDSOLVER=1808
FILE ID=node200/3347431-1305159599
RUNJOBID= node200-1305159599-13412
PBS_JOBID= 13282074
Free space on /tmp= 62048 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-13-step17.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347431-1305159599/watcher-3347431-1305159599 -o /tmp/evaluation-result-3347431-1305159599/solver-3347431-1305159599 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347431-1305159599.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= e7acb1f64be7eb3ff1367dad08444685
RANDOM SEED=230172986
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: 255796472 kB
Buffers: 424288 kB
Cached: 7640292 kB
SwapCached: 0 kB
Active: 7213876 kB
Inactive: 919292 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255796472 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 12424 kB
Writeback: 4 kB
AnonPages: 69108 kB
Mapped: 13372 kB
Slab: 248580 kB
PageTables: 4124 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 189508 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-12 02:23:48