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
14511.01/454.21 s UNSATISFIABLE
14511.70/454.33 solver [4] march_hi 2009 answered
14511.70/454.33 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-3347697-1306140607/watcher-3347697-1306140607 -o /tmp/evaluation-result-3347697-1306140607/solver-3347697-1306140607 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347697-1306140607.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: 32.04 31.75 30.25 1/413 457
/proc/meminfo: memFree=255316152/264257624 swapFree=67111528/67111528
[pid=457] ppid=455 vsize=18324 CPUtime=0 cores=0-31
/proc/457/stat : 457 (ppfolio) S 455 457 361 0 -1 4202496 515 0 0 0 0 0 0 0 25 0 1 0 725547146 18763776 386 268435456000 4194304 4287625 140736079750352 18446744073709551615 258650975999 0 0 4096 65536 2826088480828 0 0 17 16 0 0 0
/proc/457/statm: 4581 386 337 23 0 91 0
[startup+0.126053 s]
/proc/loadavg: 32.04 31.75 30.25 1/413 457
/proc/meminfo: memFree=255316152/264257624 swapFree=67111528/67111528
[pid=457] ppid=455 vsize=18324 CPUtime=0 cores=0-31
/proc/457/stat : 457 (ppfolio) S 455 457 361 0 -1 4202496 515 0 0 0 0 0 0 0 24 0 1 0 725547146 18763776 386 268435456000 4194304 4287625 140736079750352 18446744073709551615 258650975999 0 0 4096 65536 2221303626033266687 0 0 17 16 0 0 0
/proc/457/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.200753 s]
/proc/loadavg: 32.04 31.75 30.25 1/413 457
/proc/meminfo: memFree=255316152/264257624 swapFree=67111528/67111528
[pid=457] ppid=455 vsize=18324 CPUtime=0 cores=0-31
/proc/457/stat : 457 (ppfolio) R 455 457 361 0 -1 4202496 515 0 0 0 0 0 0 0 24 0 1 0 725547146 18763776 386 268435456000 4194304 4287625 140736079750352 18446744073709551615 258650975999 0 0 4096 65536 0 0 0 17 8 0 0 0
/proc/457/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300669 s]
/proc/loadavg: 32.04 31.75 30.25 1/413 457
/proc/meminfo: memFree=255316152/264257624 swapFree=67111528/67111528
[pid=457] ppid=455 vsize=18324 CPUtime=0 cores=0-31
/proc/457/stat : 457 (ppfolio) R 455 457 361 0 -1 4202496 515 0 0 0 0 0 0 0 24 0 1 0 725547146 18763776 386 268435456000 4194304 4287625 140736079750352 18446744073709551615 258650975999 0 0 4096 65536 0 0 0 17 24 0 0 0
/proc/457/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700684 s]
/proc/loadavg: 32.04 31.75 30.25 1/413 457
/proc/meminfo: memFree=255316152/264257624 swapFree=67111528/67111528
[pid=457] ppid=455 vsize=18324 CPUtime=0 cores=0-31
/proc/457/stat : 457 (ppfolio) S 455 457 361 0 -1 4202496 515 0 0 0 0 0 0 0 22 0 1 0 725547146 18763776 386 268435456000 4194304 4287625 140736079750352 18446744073709551615 258650975999 0 0 4096 65536 2221303626033266687 0 0 17 23 0 0 0
/proc/457/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50171 s]
/proc/loadavg: 32.04 31.75 30.25 33/447 496
/proc/meminfo: memFree=255229040/264257624 swapFree=67111528/67111528
[pid=457] ppid=455 vsize=18324 CPUtime=0 cores=0-31
/proc/457/stat : 457 (ppfolio) S 455 457 361 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 725547146 18763776 386 268435456000 4194304 4287625 140736079750352 18446744073709551615 258650975999 0 0 4096 65536 2221303626033266687 0 0 17 25 0 0 0
/proc/457/statm: 4581 386 337 23 0 91 0
[pid=458] ppid=457 vsize=491204 CPUtime=1.49 cores=0
/proc/458/stat : 458 (cryptominisat) R 457 457 361 0 -1 4202496 1761 0 0 0 148 1 0 0 20 0 1 0 725547147 502992896 913 268435456000 4194304 4587354 140734012648448 18446744073709551615 4238597 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/458/statm: 122801 913 325 96 0 119363 0
[pid=459] ppid=457 vsize=13628 CPUtime=1.48 cores=1
/proc/459/stat : 459 (clasp) R 457 457 361 0 -1 4202496 868 0 0 0 148 0 0 0 20 0 1 0 725547147 13955072 758 268435456000 4194304 4785740 140735947649152 18446744073709551615 4287204 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/459/statm: 3407 758 338 145 0 452 0
[pid=460] ppid=457 vsize=455832 CPUtime=1.48 cores=2
/proc/460/stat : 460 (TNM) R 457 457 361 0 -1 4202496 311 0 0 0 148 0 0 0 20 0 1 0 725547147 466771968 208 268435456000 134512640 134534564 4290187568 18446744073709551615 134530793 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/460/statm: 113958 208 95 6 0 112623 0
[pid=461] ppid=457 vsize=7240 CPUtime=1.48 cores=3
/proc/461/stat : 461 (march_hi) R 457 457 361 0 -1 4202496 419 0 0 0 148 0 0 0 20 0 1 0 725547147 7413760 312 268435456000 4194304 4331988 140737318215760 18446744073709551615 4239602 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/461/statm: 1810 312 173 34 0 252 0
[pid=462] ppid=457 vsize=580088 CPUtime=40.08 cores=4-31
/proc/462/stat : 462 (plingeling) S 457 457 361 0 -1 4202496 30747 1245 0 0 3960 47 0 1 18 0 29 0 725547147 594010112 24669 268435456000 4194304 4356188 140734983734832 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 11 0 0 0
/proc/462/statm: 145022 24669 158 40 0 143566 0
[pid=462/tid=469] ppid=457 vsize=580088 CPUtime=1.44 cores=4-31
/proc/462/task/469/stat : 469 (plingeling) R 457 457 361 0 -1 4202560 1031 1245 0 0 142 1 0 1 19 0 29 0 725547151 594010112 24669 268435456000 4194304 4356188 140734983734832 18446744073709551615 4233923 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=462/tid=470] ppid=457 vsize=580088 CPUtime=1.44 cores=4-31
/proc/462/task/470/stat : 470 (plingeling) R 457 457 361 0 -1 4202560 1041 1245 0 0 142 1 0 1 19 0 29 0 725547151 594010112 24669 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=462/tid=471] ppid=457 vsize=580088 CPUtime=1.44 cores=4-31
/proc/462/task/471/stat : 471 (plingeling) R 457 457 361 0 -1 4202560 1118 1245 0 0 142 1 0 1 18 0 29 0 725547151 594010112 24669 268435456000 4194304 4356188 140734983734832 18446744073709551615 4210575 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=462/tid=472] ppid=457 vsize=580088 CPUtime=1.44 cores=4-31
/proc/462/task/472/stat : 472 (plingeling) R 457 457 361 0 -1 4202560 997 1245 0 0 141 2 0 1 19 0 29 0 725547151 594010112 24669 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331199 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=462/tid=473] ppid=457 vsize=580088 CPUtime=1.43 cores=4-31
/proc/462/task/473/stat : 473 (plingeling) R 457 457 361 0 -1 4202560 1182 1245 0 0 140 2 0 1 19 0 29 0 725547151 594010112 24669 268435456000 4194304 4356188 140734983734832 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=462/tid=474] ppid=457 vsize=580088 CPUtime=1.44 cores=4-31
/proc/462/task/474/stat : 474 (plingeling) R 457 457 361 0 -1 4202560 1149 1245 0 0 141 2 0 1 19 0 29 0 725547151 594010112 24669 268435456000 4194304 4356188 140734983734832 18446744073709551615 4281654 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=462/tid=475] ppid=457 vsize=580088 CPUtime=1.44 cores=4-31
/proc/462/task/475/stat : 475 (plingeling) R 457 457 361 0 -1 4202560 854 1245 0 0 142 1 0 1 19 0 29 0 725547151 594010112 24669 268435456000 4194304 4356188 140734983734832 18446744073709551615 4233958 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=462/tid=476] ppid=457 vsize=580088 CPUtime=1.44 cores=4-31
/proc/462/task/476/stat : 476 (plingeling) R 457 457 361 0 -1 4202560 1388 1245 0 0 141 2 0 1 19 0 29 0 725547151 594010112 24669 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=462/tid=477] ppid=457 vsize=580088 CPUtime=1.43 cores=4-31
/proc/462/task/477/stat : 477 (plingeling) R 457 457 361 0 -1 4202560 884 1245 0 0 141 1 0 1 18 0 29 0 725547151 594010112 24669 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331326 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=462/tid=478] ppid=457 vsize=580088 CPUtime=1.44 cores=4-31
/proc/462/task/478/stat : 478 (plingeling) R 457 457 361 0 -1 4202560 1141 1245 0 0 142 1 0 1 19 0 29 0 725547151 594010112 24669 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331311 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=462/tid=479] ppid=457 vsize=580088 CPUtime=1.43 cores=4-31
/proc/462/task/479/stat : 479 (plingeling) R 457 457 361 0 -1 4202560 1334 1245 0 0 140 2 0 1 19 0 29 0 725547151 594010112 24669 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=462/tid=480] ppid=457 vsize=580088 CPUtime=1.44 cores=4-31
/proc/462/task/480/stat : 480 (plingeling) R 457 457 361 0 -1 4202560 1023 1245 0 0 142 1 0 1 19 0 29 0 725547151 594010112 24669 268435456000 4194304 4356188 140734983734832 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=462/tid=481] ppid=457 vsize=580088 CPUtime=1.44 cores=4-31
/proc/462/task/481/stat : 481 (plingeling) R 457 457 361 0 -1 4202560 1193 1245 0 0 142 1 0 1 19 0 29 0 725547151 594010112 24669 268435456000 4194304 4356188 140734983734832 18446744073709551615 4259331 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=462/tid=482] ppid=457 vsize=580088 CPUtime=1.44 cores=4-31
/proc/462/task/482/stat : 482 (plingeling) R 457 457 361 0 -1 4202560 957 1245 0 0 142 1 0 1 19 0 29 0 725547151 594010112 24669 268435456000 4194304 4356188 140734983734832 18446744073709551615 4281508 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=462/tid=483] ppid=457 vsize=580088 CPUtime=1.44 cores=4-31
/proc/462/task/483/stat : 483 (plingeling) R 457 457 361 0 -1 4202560 1066 1245 0 0 142 1 0 1 25 0 29 0 725547151 594010112 24669 268435456000 4194304 4356188 140734983734832 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=462/tid=484] ppid=457 vsize=580088 CPUtime=1.43 cores=4-31
/proc/462/task/484/stat : 484 (plingeling) R 457 457 361 0 -1 4202560 1029 1245 0 0 141 1 0 1 18 0 29 0 725547151 594010112 24669 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=462/tid=485] ppid=457 vsize=580088 CPUtime=1.42 cores=4-31
/proc/462/task/485/stat : 485 (plingeling) R 457 457 361 0 -1 4202560 998 1245 0 0 141 0 0 1 25 0 29 0 725547151 594010112 24669 268435456000 4194304 4356188 140734983734832 18446744073709551615 4210596 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=462/tid=486] ppid=457 vsize=580088 CPUtime=1.42 cores=4-31
/proc/462/task/486/stat : 486 (plingeling) R 457 457 361 0 -1 4202560 1044 1245 0 0 140 1 0 1 19 0 29 0 725547151 594010112 24669 268435456000 4194304 4356188 140734983734832 18446744073709551615 4210817 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=462/tid=487] ppid=457 vsize=580088 CPUtime=1.38 cores=4-31
/proc/462/task/487/stat : 487 (plingeling) R 457 457 361 0 -1 4202560 1048 1245 0 0 136 1 0 1 19 0 29 0 725547151 594010112 24669 268435456000 4194304 4356188 140734983734832 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=462/tid=488] ppid=457 vsize=580088 CPUtime=1.42 cores=4-31
/proc/462/task/488/stat : 488 (plingeling) R 457 457 361 0 -1 4202560 1037 1245 0 0 140 1 0 1 19 0 29 0 725547151 594010112 24669 268435456000 4194304 4356188 140734983734832 18446744073709551615 4332225 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=462/tid=489] ppid=457 vsize=580088 CPUtime=1.42 cores=4-31
/proc/462/task/489/stat : 489 (plingeling) R 457 457 361 0 -1 4202560 1133 1245 0 0 140 1 0 1 19 0 29 0 725547151 594010112 24669 268435456000 4194304 4356188 140734983734832 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=462/tid=490] ppid=457 vsize=580088 CPUtime=1.43 cores=4-31
/proc/462/task/490/stat : 490 (plingeling) R 457 457 361 0 -1 4202560 1108 1245 0 0 140 2 0 1 19 0 29 0 725547151 594010112 24669 268435456000 4194304 4356188 140734983734832 18446744073709551615 4234339 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=462/tid=491] ppid=457 vsize=580088 CPUtime=1.44 cores=4-31
/proc/462/task/491/stat : 491 (plingeling) R 457 457 361 0 -1 4202560 1208 1245 0 0 142 1 0 1 20 0 29 0 725547151 594010112 24669 268435456000 4194304 4356188 140734983734832 18446744073709551615 4330982 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=462/tid=492] ppid=457 vsize=580088 CPUtime=1.43 cores=4-31
/proc/462/task/492/stat : 492 (plingeling) R 457 457 361 0 -1 4202560 1288 1245 0 0 140 2 0 1 19 0 29 0 725547151 594010112 24669 268435456000 4194304 4356188 140734983734832 18446744073709551615 4281729 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=462/tid=493] ppid=457 vsize=580088 CPUtime=1.44 cores=4-31
/proc/462/task/493/stat : 493 (plingeling) R 457 457 361 0 -1 4202560 854 1245 0 0 142 1 0 1 23 0 29 0 725547151 594010112 24669 268435456000 4194304 4356188 140734983734832 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=462/tid=494] ppid=457 vsize=580088 CPUtime=1.39 cores=4-31
/proc/462/task/494/stat : 494 (plingeling) R 457 457 361 0 -1 4202560 1431 1245 0 0 137 1 0 1 19 0 29 0 725547152 594010112 24669 268435456000 4194304 4356188 140734983734832 18446744073709551615 4283916 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=462/tid=495] ppid=457 vsize=580088 CPUtime=1.42 cores=4-31
/proc/462/task/495/stat : 495 (plingeling) R 457 457 361 0 -1 4202560 945 1245 0 0 140 1 0 1 19 0 29 0 725547152 594010112 24669 268435456000 4194304 4356188 140734983734832 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=462/tid=496] ppid=457 vsize=580088 CPUtime=1.44 cores=4-31
/proc/462/task/496/stat : 496 (plingeling) R 457 457 361 0 -1 4202560 443 1245 0 0 143 0 0 1 25 0 29 0 725547152 594010112 24669 268435456000 4194304 4356188 140734983734832 18446744073709551615 4238402 0 0 4096 17442 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 46.01
Current children cumulated vsize (KiB) 1566316
[startup+3.10177 s]
/proc/loadavg: 32.19 31.79 30.27 30/447 496
/proc/meminfo: memFree=255175352/264257624 swapFree=67111528/67111528
[pid=457] ppid=455 vsize=18324 CPUtime=0 cores=0-31
/proc/457/stat : 457 (ppfolio) S 455 457 361 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 725547146 18763776 386 268435456000 4194304 4287625 140736079750352 18446744073709551615 258650975999 0 0 4096 65536 2221303626033266687 0 0 17 25 0 0 0
/proc/457/statm: 4581 386 337 23 0 91 0
[pid=458] ppid=457 vsize=987788 CPUtime=3.08 cores=0
/proc/458/stat : 458 (cryptominisat) R 457 457 361 0 -1 4202496 3548 0 0 0 307 1 0 0 25 0 1 0 725547147 1011494912 1912 268435456000 4194304 4587354 140734012648448 18446744073709551615 258650652423 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/458/statm: 246947 1912 332 96 0 243509 0
[pid=459] ppid=457 vsize=14172 CPUtime=3.08 cores=1
/proc/459/stat : 459 (clasp) R 457 457 361 0 -1 4202496 982 0 0 0 308 0 0 0 25 0 1 0 725547147 14512128 872 268435456000 4194304 4785740 140735947649152 18446744073709551615 4287019 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/459/statm: 3543 872 338 145 0 588 0
[pid=460] ppid=457 vsize=455832 CPUtime=3.08 cores=2
/proc/460/stat : 460 (TNM) R 457 457 361 0 -1 4202496 311 0 0 0 308 0 0 0 25 0 1 0 725547147 466771968 208 268435456000 134512640 134534564 4290187568 18446744073709551615 134528415 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/460/statm: 113958 208 95 6 0 112623 0
[pid=461] ppid=457 vsize=7484 CPUtime=3.08 cores=3
/proc/461/stat : 461 (march_hi) R 457 457 361 0 -1 4202496 485 0 0 0 308 0 0 0 25 0 1 0 725547147 7663616 376 268435456000 4194304 4331988 140737318215760 18446744073709551615 4210384 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/461/statm: 1871 376 174 34 0 313 0
[pid=462] ppid=457 vsize=627668 CPUtime=84.47 cores=4-31
/proc/462/stat : 462 (plingeling) S 457 457 361 0 -1 4202496 55538 1245 0 0 8361 85 0 1 18 0 29 0 725547147 642732032 36612 268435456000 4194304 4356188 140734983734832 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 11 0 0 0
/proc/462/statm: 156917 36612 158 40 0 155461 0
[pid=462/tid=469] ppid=457 vsize=627668 CPUtime=3.03 cores=4-31
/proc/462/task/469/stat : 469 (plingeling) R 457 457 361 0 -1 4202560 1961 1245 0 0 300 2 0 1 24 0 29 0 725547151 642732032 36612 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331309 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=462/tid=470] ppid=457 vsize=627668 CPUtime=3.02 cores=4-31
/proc/462/task/470/stat : 470 (plingeling) R 457 457 361 0 -1 4202560 2130 1245 0 0 299 2 0 1 24 0 29 0 725547151 642732032 36612 268435456000 4194304 4356188 140734983734832 18446744073709551615 4210581 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=462/tid=471] ppid=457 vsize=627668 CPUtime=3.02 cores=4-31
/proc/462/task/471/stat : 471 (plingeling) R 457 457 361 0 -1 4202560 2046 1245 0 0 299 2 0 1 20 0 29 0 725547151 642732032 36612 268435456000 4194304 4356188 140734983734832 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=462/tid=472] ppid=457 vsize=627668 CPUtime=3.04 cores=4-31
/proc/462/task/472/stat : 472 (plingeling) R 457 457 361 0 -1 4202560 1285 1245 0 0 301 2 0 1 24 0 29 0 725547151 642732032 36612 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=462/tid=473] ppid=457 vsize=627668 CPUtime=3.01 cores=4-31
/proc/462/task/473/stat : 473 (plingeling) R 457 457 361 0 -1 4202560 2302 1245 0 0 297 3 0 1 19 0 29 0 725547151 642732032 36612 268435456000 4194304 4356188 140734983734832 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=462/tid=474] ppid=457 vsize=627668 CPUtime=3.03 cores=4-31
/proc/462/task/474/stat : 474 (plingeling) R 457 457 361 0 -1 4202560 1981 1245 0 0 299 3 0 1 22 0 29 0 725547151 642732032 36612 268435456000 4194304 4356188 140734983734832 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=462/tid=475] ppid=457 vsize=627668 CPUtime=3.03 cores=4-31
/proc/462/task/475/stat : 475 (plingeling) R 457 457 361 0 -1 4202560 1688 1245 0 0 300 2 0 1 18 0 29 0 725547151 642732032 36612 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=462/tid=476] ppid=457 vsize=627668 CPUtime=3.02 cores=4-31
/proc/462/task/476/stat : 476 (plingeling) R 457 457 361 0 -1 4202560 2540 1245 0 0 296 5 0 1 19 0 29 0 725547151 642732032 36612 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=462/tid=477] ppid=457 vsize=627668 CPUtime=3.01 cores=4-31
/proc/462/task/477/stat : 477 (plingeling) R 457 457 361 0 -1 4202560 1620 1245 0 0 298 2 0 1 20 0 29 0 725547151 642732032 36612 268435456000 4194304 4356188 140734983734832 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=462/tid=478] ppid=457 vsize=627668 CPUtime=3.02 cores=4-31
/proc/462/task/478/stat : 478 (plingeling) R 457 457 361 0 -1 4202560 2149 1245 0 0 299 2 0 1 24 0 29 0 725547151 642732032 36612 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331328 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=462/tid=479] ppid=457 vsize=627668 CPUtime=3.02 cores=4-31
/proc/462/task/479/stat : 479 (plingeling) R 457 457 361 0 -1 4202560 2263 1245 0 0 298 3 0 1 19 0 29 0 725547151 642732032 36612 268435456000 4194304 4356188 140734983734832 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=462/tid=480] ppid=457 vsize=627668 CPUtime=3.04 cores=4-31
/proc/462/task/480/stat : 480 (plingeling) R 457 457 361 0 -1 4202560 1569 1245 0 0 301 2 0 1 25 0 29 0 725547151 642732032 36612 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331170 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=462/tid=481] ppid=457 vsize=627668 CPUtime=3.01 cores=4-31
/proc/462/task/481/stat : 481 (plingeling) R 457 457 361 0 -1 4202560 2170 1245 0 0 298 2 0 1 23 0 29 0 725547151 642732032 36612 268435456000 4194304 4356188 140734983734832 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=462/tid=482] ppid=457 vsize=627668 CPUtime=3.04 cores=4-31
/proc/462/task/482/stat : 482 (plingeling) R 457 457 361 0 -1 4202560 2078 1245 0 0 300 3 0 1 19 0 29 0 725547151 642732032 36612 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331305 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=462/tid=483] ppid=457 vsize=627668 CPUtime=3.03 cores=4-31
/proc/462/task/483/stat : 483 (plingeling) R 457 457 361 0 -1 4202560 2027 1245 0 0 300 2 0 1 25 0 29 0 725547151 642732032 36612 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=462/tid=484] ppid=457 vsize=627668 CPUtime=3.03 cores=4-31
/proc/462/task/484/stat : 484 (plingeling) R 457 457 361 0 -1 4202560 2054 1245 0 0 298 4 0 1 21 0 29 0 725547151 642732032 36612 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=462/tid=485] ppid=457 vsize=627668 CPUtime=3 cores=4-31
/proc/462/task/485/stat : 485 (plingeling) R 457 457 361 0 -1 4202560 1943 1245 0 0 297 2 0 1 19 0 29 0 725547151 642732032 36612 268435456000 4194304 4356188 140734983734832 18446744073709551615 4210817 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=462/tid=486] ppid=457 vsize=627668 CPUtime=3.02 cores=4-31
################
# More data... #
################
[pid=457] ppid=455 vsize=18324 CPUtime=0.01 cores=0-31
/proc/457/stat : 457 (ppfolio) S 455 457 361 0 -1 4202496 515 0 0 0 0 1 0 0 15 0 1 0 725547146 18763776 386 268435456000 4194304 4287625 140736079750352 18446744073709551615 258650975999 0 0 4096 65536 2221303626033266687 0 0 17 25 0 0 0
/proc/457/statm: 4581 386 337 23 0 91 0
[pid=458] ppid=457 vsize=1031256 CPUtime=453.9 cores=0
/proc/458/stat : 458 (cryptominisat) R 457 457 361 0 -1 4202496 144618 0 0 0 45339 51 0 0 25 0 1 0 725547147 1056006144 19090 268435456000 4194304 4587354 140734012648448 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/458/statm: 257814 19090 332 96 0 254376 0
[pid=459] ppid=457 vsize=21792 CPUtime=453.89 cores=1
/proc/459/stat : 459 (clasp) R 457 457 361 0 -1 4202496 2798 0 0 0 45389 0 0 0 25 0 1 0 725547147 22315008 2688 268435456000 4194304 4785740 140735947649152 18446744073709551615 4287241 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/459/statm: 5448 2688 339 145 0 2493 0
[pid=460] ppid=457 vsize=455832 CPUtime=453.9 cores=2
/proc/460/stat : 460 (TNM) R 457 457 361 0 -1 4202496 311 0 0 0 45390 0 0 0 25 0 1 0 725547147 466771968 208 268435456000 134512640 134534564 4290187568 18446744073709551615 134530484 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/460/statm: 113958 208 95 6 0 112623 0
[pid=461] ppid=457 vsize=12356 CPUtime=453.9 cores=3
/proc/461/stat : 461 (march_hi) R 457 457 361 0 -1 4202496 1321 0 0 0 45388 2 0 0 25 0 1 0 725547147 12652544 1212 268435456000 4194304 4331988 140737318215760 18446744073709551615 4237139 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/461/statm: 3089 1212 174 34 0 1531 0
[pid=462] ppid=457 vsize=1677392 CPUtime=12689 cores=4-31
/proc/462/stat : 462 (plingeling) S 457 457 361 0 -1 4202496 2238753 1245 0 0 1267014 1886 0 1 18 0 29 0 725547147 1717649408 298514 268435456000 4194304 4356188 140734983734832 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 11 0 0 0
/proc/462/statm: 419348 298514 158 40 0 417892 0
[pid=462/tid=469] ppid=457 vsize=1677392 CPUtime=453.62 cores=4-31
/proc/462/task/469/stat : 469 (plingeling) R 457 457 361 0 -1 4202560 82925 1245 0 0 45303 58 0 1 25 0 29 0 725547151 1717649408 298514 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331023 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=462/tid=470] ppid=457 vsize=1677392 CPUtime=453.7 cores=4-31
/proc/462/task/470/stat : 470 (plingeling) R 457 457 361 0 -1 4202560 91861 1245 0 0 45295 74 0 1 25 0 29 0 725547151 1717649408 298514 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331126 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=462/tid=471] ppid=457 vsize=1677392 CPUtime=452.88 cores=4-31
/proc/462/task/471/stat : 471 (plingeling) R 457 457 361 0 -1 4202560 78594 1245 0 0 45230 57 0 1 25 0 29 0 725547151 1717649408 298514 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=462/tid=472] ppid=457 vsize=1677392 CPUtime=453.65 cores=4-31
/proc/462/task/472/stat : 472 (plingeling) R 457 457 361 0 -1 4202560 53769 1245 0 0 45328 36 0 1 25 0 29 0 725547151 1717649408 298514 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331311 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=462/tid=473] ppid=457 vsize=1677392 CPUtime=453.59 cores=4-31
/proc/462/task/473/stat : 473 (plingeling) R 457 457 361 0 -1 4202560 98050 1245 0 0 45284 74 0 1 25 0 29 0 725547151 1717649408 298514 268435456000 4194304 4356188 140734983734832 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=462/tid=474] ppid=457 vsize=1677392 CPUtime=453.47 cores=4-31
/proc/462/task/474/stat : 474 (plingeling) R 457 457 361 0 -1 4202560 95040 1245 0 0 45274 72 0 1 25 0 29 0 725547151 1717649408 298514 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=462/tid=475] ppid=457 vsize=1677392 CPUtime=453.66 cores=4-31
/proc/462/task/475/stat : 475 (plingeling) R 457 457 361 0 -1 4202560 82556 1245 0 0 45300 65 0 1 25 0 29 0 725547151 1717649408 298514 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=462/tid=476] ppid=457 vsize=1677392 CPUtime=453.75 cores=4-31
/proc/462/task/476/stat : 476 (plingeling) R 457 457 361 0 -1 4202560 73584 1245 0 0 45274 100 0 1 25 0 29 0 725547151 1717649408 298514 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=462/tid=477] ppid=457 vsize=1677392 CPUtime=453.54 cores=4-31
/proc/462/task/477/stat : 477 (plingeling) R 457 457 361 0 -1 4202560 80889 1245 0 0 45295 58 0 1 25 0 29 0 725547151 1717649408 298514 268435456000 4194304 4356188 140734983734832 18446744073709551615 4332275 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=462/tid=478] ppid=457 vsize=1677392 CPUtime=453.7 cores=4-31
/proc/462/task/478/stat : 478 (plingeling) R 457 457 361 0 -1 4202560 80968 1245 0 0 45300 69 0 1 25 0 29 0 725547151 1717649408 298514 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=462/tid=479] ppid=457 vsize=1677392 CPUtime=453.62 cores=4-31
/proc/462/task/479/stat : 479 (plingeling) R 457 457 361 0 -1 4202560 93115 1245 0 0 45282 79 0 1 25 0 29 0 725547151 1717649408 298514 268435456000 4194304 4356188 140734983734832 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=462/tid=480] ppid=457 vsize=1677392 CPUtime=453.77 cores=4-31
/proc/462/task/480/stat : 480 (plingeling) R 457 457 361 0 -1 4202560 53476 1245 0 0 45328 48 0 1 25 0 29 0 725547151 1717649408 298514 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=462/tid=481] ppid=457 vsize=1677392 CPUtime=453.64 cores=4-31
/proc/462/task/481/stat : 481 (plingeling) R 457 457 361 0 -1 4202560 75806 1245 0 0 45300 63 0 1 25 0 29 0 725547151 1717649408 298514 268435456000 4194304 4356188 140734983734832 18446744073709551615 4234107 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=462/tid=482] ppid=457 vsize=1677392 CPUtime=453.64 cores=4-31
/proc/462/task/482/stat : 482 (plingeling) R 457 457 361 0 -1 4202560 89698 1245 0 0 45300 63 0 1 25 0 29 0 725547151 1717649408 298514 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=462/tid=483] ppid=457 vsize=1677392 CPUtime=453.48 cores=4-31
/proc/462/task/483/stat : 483 (plingeling) R 457 457 361 0 -1 4202560 81327 1245 0 0 45290 57 0 1 25 0 29 0 725547151 1717649408 298514 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331076 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=462/tid=484] ppid=457 vsize=1677392 CPUtime=453.47 cores=4-31
/proc/462/task/484/stat : 484 (plingeling) R 457 457 361 0 -1 4202560 78473 1245 0 0 45212 134 0 1 25 0 29 0 725547151 1717649408 298514 268435456000 4194304 4356188 140734983734832 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=462/tid=485] ppid=457 vsize=1677392 CPUtime=453.5 cores=4-31
/proc/462/task/485/stat : 485 (plingeling) R 457 457 361 0 -1 4202560 95706 1245 0 0 45274 75 0 1 25 0 29 0 725547151 1717649408 298514 268435456000 4194304 4356188 140734983734832 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=462/tid=486] ppid=457 vsize=1677392 CPUtime=449.29 cores=4-31
/proc/462/task/486/stat : 486 (plingeling) R 457 457 361 0 -1 4202560 96696 1245 0 0 44855 73 0 1 25 0 29 0 725547151 1717649408 298514 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=462/tid=487] ppid=457 vsize=1677392 CPUtime=453.12 cores=4-31
/proc/462/task/487/stat : 487 (plingeling) R 457 457 361 0 -1 4202560 80364 1245 0 0 45248 63 0 1 25 0 29 0 725547151 1717649408 298514 268435456000 4194304 4356188 140734983734832 18446744073709551615 4332136 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=462/tid=488] ppid=457 vsize=1677392 CPUtime=451.9 cores=4-31
/proc/462/task/488/stat : 488 (plingeling) R 457 457 361 0 -1 4202560 57138 1245 0 0 45143 46 0 1 25 0 29 0 725547151 1717649408 298514 268435456000 4194304 4356188 140734983734832 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=462/tid=489] ppid=457 vsize=1677392 CPUtime=453.65 cores=4-31
/proc/462/task/489/stat : 489 (plingeling) R 457 457 361 0 -1 4202560 78738 1245 0 0 45310 54 0 1 25 0 29 0 725547151 1717649408 298514 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=462/tid=490] ppid=457 vsize=1677392 CPUtime=453.67 cores=4-31
/proc/462/task/490/stat : 490 (plingeling) R 457 457 361 0 -1 4202560 85449 1245 0 0 45306 60 0 1 25 0 29 0 725547151 1717649408 298514 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=462/tid=491] ppid=457 vsize=1677392 CPUtime=453.56 cores=4-31
/proc/462/task/491/stat : 491 (plingeling) R 457 457 361 0 -1 4202560 90076 1245 0 0 45291 64 0 1 25 0 29 0 725547151 1717649408 298514 268435456000 4194304 4356188 140734983734832 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=462/tid=492] ppid=457 vsize=1677392 CPUtime=452.9 cores=4-31
/proc/462/task/492/stat : 492 (plingeling) R 457 457 361 0 -1 4202560 73869 1245 0 0 45187 102 0 1 25 0 29 0 725547151 1717649408 298514 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=462/tid=493] ppid=457 vsize=1677392 CPUtime=453.74 cores=4-31
/proc/462/task/493/stat : 493 (plingeling) R 457 457 361 0 -1 4202560 83454 1245 0 0 45307 66 0 1 25 0 29 0 725547151 1717649408 298514 268435456000 4194304 4356188 140734983734832 18446744073709551615 4298324 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=462/tid=494] ppid=457 vsize=1677392 CPUtime=453.51 cores=4-31
/proc/462/task/494/stat : 494 (plingeling) R 457 457 361 0 -1 4202560 90507 1245 0 0 45282 68 0 1 25 0 29 0 725547152 1717649408 298514 268435456000 4194304 4356188 140734983734832 18446744073709551615 4334467 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=462/tid=495] ppid=457 vsize=1677392 CPUtime=449.23 cores=4-31
/proc/462/task/495/stat : 495 (plingeling) R 457 457 361 0 -1 4202560 75574 1245 0 0 44866 56 0 1 25 0 29 0 725547152 1717649408 298514 268435456000 4194304 4356188 140734983734832 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=462/tid=496] ppid=457 vsize=1677392 CPUtime=453.77 cores=4-31
/proc/462/task/496/stat : 496 (plingeling) R 457 457 361 0 -1 4202560 40228 1245 0 0 45339 37 0 1 25 0 29 0 725547152 1717649408 298514 268435456000 4194304 4356188 140734983734832 18446744073709551615 4332136 0 0 4096 17442 0 0 0 -1 10 0 0 0
Current children cumulated CPU time (s) 14504.6
Current children cumulated vsize (KiB) 3216952
[startup+454.202 s]
/proc/loadavg: 32.29 32.10 30.99 33/447 508
/proc/meminfo: memFree=254036160/264257624 swapFree=67111528/67111528
[pid=457] ppid=455 vsize=18324 CPUtime=0.01 cores=0-31
/proc/457/stat : 457 (ppfolio) S 455 457 361 0 -1 4202496 515 0 0 0 0 1 0 0 15 0 1 0 725547146 18763776 386 268435456000 4194304 4287625 140736079750352 18446744073709551615 258650975999 0 0 4096 65536 2221303626033266687 0 0 17 25 0 0 0
/proc/457/statm: 4581 386 337 23 0 91 0
[pid=458] ppid=457 vsize=1031256 CPUtime=454.1 cores=0
/proc/458/stat : 458 (cryptominisat) R 457 457 361 0 -1 4202496 144638 0 0 0 45359 51 0 0 25 0 1 0 725547147 1056006144 19110 268435456000 4194304 4587354 140734012648448 18446744073709551615 4242417 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/458/statm: 257814 19110 332 96 0 254376 0
[pid=459] ppid=457 vsize=21960 CPUtime=454.09 cores=1
/proc/459/stat : 459 (clasp) R 457 457 361 0 -1 4202496 2810 0 0 0 45409 0 0 0 25 0 1 0 725547147 22487040 2700 268435456000 4194304 4785740 140735947649152 18446744073709551615 4309533 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/459/statm: 5490 2700 339 145 0 2535 0
[pid=460] ppid=457 vsize=455832 CPUtime=454.1 cores=2
/proc/460/stat : 460 (TNM) R 457 457 361 0 -1 4202496 311 0 0 0 45410 0 0 0 25 0 1 0 725547147 466771968 208 268435456000 134512640 134534564 4290187568 18446744073709551615 3901892 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/460/statm: 113958 208 95 6 0 112623 0
[pid=461] ppid=457 vsize=12356 CPUtime=454.1 cores=3
/proc/461/stat : 461 (march_hi) R 457 457 361 0 -1 4202496 1321 0 0 0 45408 2 0 0 25 0 1 0 725547147 12652544 1212 268435456000 4194304 4331988 140737318215760 18446744073709551615 4228188 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/461/statm: 3089 1212 174 34 0 1531 0
[pid=462] ppid=457 vsize=1673808 CPUtime=12694.6 cores=4-31
/proc/462/stat : 462 (plingeling) S 457 457 361 0 -1 4202496 2239265 1245 0 0 1267574 1886 0 1 18 0 29 0 725547147 1713979392 297618 268435456000 4194304 4356188 140734983734832 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 11 0 0 0
/proc/462/statm: 418452 297618 158 40 0 416996 0
[pid=462/tid=469] ppid=457 vsize=1673808 CPUtime=453.82 cores=4-31
/proc/462/task/469/stat : 469 (plingeling) R 457 457 361 0 -1 4202560 82925 1245 0 0 45323 58 0 1 25 0 29 0 725547151 1713979392 297618 268435456000 4194304 4356188 140734983734832 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=462/tid=470] ppid=457 vsize=1673808 CPUtime=453.9 cores=4-31
/proc/462/task/470/stat : 470 (plingeling) R 457 457 361 0 -1 4202560 91861 1245 0 0 45315 74 0 1 25 0 29 0 725547151 1713979392 297618 268435456000 4194304 4356188 140734983734832 18446744073709551615 4332109 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=462/tid=471] ppid=457 vsize=1673808 CPUtime=453.08 cores=4-31
/proc/462/task/471/stat : 471 (plingeling) R 457 457 361 0 -1 4202560 78594 1245 0 0 45250 57 0 1 25 0 29 0 725547151 1713979392 297618 268435456000 4194304 4356188 140734983734832 18446744073709551615 4336534 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=462/tid=472] ppid=457 vsize=1673808 CPUtime=453.85 cores=4-31
/proc/462/task/472/stat : 472 (plingeling) R 457 457 361 0 -1 4202560 53769 1245 0 0 45348 36 0 1 25 0 29 0 725547151 1713979392 297618 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=462/tid=473] ppid=457 vsize=1673808 CPUtime=453.79 cores=4-31
/proc/462/task/473/stat : 473 (plingeling) R 457 457 361 0 -1 4202560 98050 1245 0 0 45304 74 0 1 25 0 29 0 725547151 1713979392 297618 268435456000 4194304 4356188 140734983734832 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=462/tid=474] ppid=457 vsize=1673808 CPUtime=453.67 cores=4-31
/proc/462/task/474/stat : 474 (plingeling) R 457 457 361 0 -1 4202560 95040 1245 0 0 45294 72 0 1 25 0 29 0 725547151 1713979392 297618 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=462/tid=475] ppid=457 vsize=1673808 CPUtime=453.86 cores=4-31
/proc/462/task/475/stat : 475 (plingeling) R 457 457 361 0 -1 4202560 82812 1245 0 0 45320 65 0 1 25 0 29 0 725547151 1713979392 297618 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=462/tid=476] ppid=457 vsize=1673808 CPUtime=453.95 cores=4-31
/proc/462/task/476/stat : 476 (plingeling) R 457 457 361 0 -1 4202560 73584 1245 0 0 45294 100 0 1 25 0 29 0 725547151 1713979392 297618 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=462/tid=477] ppid=457 vsize=1673808 CPUtime=453.74 cores=4-31
/proc/462/task/477/stat : 477 (plingeling) R 457 457 361 0 -1 4202560 80889 1245 0 0 45315 58 0 1 25 0 29 0 725547151 1713979392 297618 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=462/tid=478] ppid=457 vsize=1673808 CPUtime=453.9 cores=4-31
/proc/462/task/478/stat : 478 (plingeling) R 457 457 361 0 -1 4202560 81224 1245 0 0 45320 69 0 1 25 0 29 0 725547151 1713979392 297618 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331050 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=462/tid=479] ppid=457 vsize=1673808 CPUtime=453.82 cores=4-31
/proc/462/task/479/stat : 479 (plingeling) R 457 457 361 0 -1 4202560 93115 1245 0 0 45302 79 0 1 25 0 29 0 725547151 1713979392 297618 268435456000 4194304 4356188 140734983734832 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=462/tid=480] ppid=457 vsize=1673808 CPUtime=453.97 cores=4-31
/proc/462/task/480/stat : 480 (plingeling) R 457 457 361 0 -1 4202560 53476 1245 0 0 45348 48 0 1 25 0 29 0 725547151 1713979392 297618 268435456000 4194304 4356188 140734983734832 18446744073709551615 4246205 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=462/tid=481] ppid=457 vsize=1673808 CPUtime=453.84 cores=4-31
/proc/462/task/481/stat : 481 (plingeling) R 457 457 361 0 -1 4202560 75806 1245 0 0 45320 63 0 1 25 0 29 0 725547151 1713979392 297618 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=462/tid=482] ppid=457 vsize=1673808 CPUtime=453.84 cores=4-31
/proc/462/task/482/stat : 482 (plingeling) R 457 457 361 0 -1 4202560 89698 1245 0 0 45320 63 0 1 25 0 29 0 725547151 1713979392 297618 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=462/tid=483] ppid=457 vsize=1673808 CPUtime=453.68 cores=4-31
/proc/462/task/483/stat : 483 (plingeling) R 457 457 361 0 -1 4202560 81327 1245 0 0 45310 57 0 1 25 0 29 0 725547151 1713979392 297618 268435456000 4194304 4356188 140734983734832 18446744073709551615 4279535 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=462/tid=484] ppid=457 vsize=1673808 CPUtime=453.67 cores=4-31
/proc/462/task/484/stat : 484 (plingeling) R 457 457 361 0 -1 4202560 78473 1245 0 0 45232 134 0 1 25 0 29 0 725547151 1713979392 297618 268435456000 4194304 4356188 140734983734832 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=462/tid=485] ppid=457 vsize=1673808 CPUtime=453.7 cores=4-31
/proc/462/task/485/stat : 485 (plingeling) R 457 457 361 0 -1 4202560 95706 1245 0 0 45294 75 0 1 25 0 29 0 725547151 1713979392 297618 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=462/tid=486] ppid=457 vsize=1673808 CPUtime=449.49 cores=4-31
/proc/462/task/486/stat : 486 (plingeling) R 457 457 361 0 -1 4202560 96696 1245 0 0 44875 73 0 1 25 0 29 0 725547151 1713979392 297618 268435456000 4194304 4356188 140734983734832 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=462/tid=487] ppid=457 vsize=1673808 CPUtime=453.32 cores=4-31
/proc/462/task/487/stat : 487 (plingeling) R 457 457 361 0 -1 4202560 80364 1245 0 0 45268 63 0 1 25 0 29 0 725547151 1713979392 297618 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=462/tid=488] ppid=457 vsize=1673808 CPUtime=452.1 cores=4-31
/proc/462/task/488/stat : 488 (plingeling) R 457 457 361 0 -1 4202560 57138 1245 0 0 45163 46 0 1 25 0 29 0 725547151 1713979392 297618 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=462/tid=489] ppid=457 vsize=1673808 CPUtime=453.85 cores=4-31
/proc/462/task/489/stat : 489 (plingeling) R 457 457 361 0 -1 4202560 78738 1245 0 0 45330 54 0 1 25 0 29 0 725547151 1713979392 297618 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=462/tid=490] ppid=457 vsize=1673808 CPUtime=453.87 cores=4-31
/proc/462/task/490/stat : 490 (plingeling) R 457 457 361 0 -1 4202560 85449 1245 0 0 45326 60 0 1 25 0 29 0 725547151 1713979392 297618 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=462/tid=491] ppid=457 vsize=1673808 CPUtime=453.76 cores=4-31
/proc/462/task/491/stat : 491 (plingeling) R 457 457 361 0 -1 4202560 90076 1245 0 0 45311 64 0 1 25 0 29 0 725547151 1713979392 297618 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=462/tid=492] ppid=457 vsize=1673808 CPUtime=453.09 cores=4-31
/proc/462/task/492/stat : 492 (plingeling) R 457 457 361 0 -1 4202560 73869 1245 0 0 45206 102 0 1 25 0 29 0 725547151 1713979392 297618 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=462/tid=493] ppid=457 vsize=1673808 CPUtime=453.94 cores=4-31
/proc/462/task/493/stat : 493 (plingeling) R 457 457 361 0 -1 4202560 83454 1245 0 0 45327 66 0 1 25 0 29 0 725547151 1713979392 297618 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331076 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=462/tid=494] ppid=457 vsize=1673808 CPUtime=453.71 cores=4-31
/proc/462/task/494/stat : 494 (plingeling) R 457 457 361 0 -1 4202560 90507 1245 0 0 45302 68 0 1 25 0 29 0 725547152 1713979392 297618 268435456000 4194304 4356188 140734983734832 18446744073709551615 4332037 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=462/tid=495] ppid=457 vsize=1673808 CPUtime=449.43 cores=4-31
/proc/462/task/495/stat : 495 (plingeling) R 457 457 361 0 -1 4202560 75574 1245 0 0 44886 56 0 1 25 0 29 0 725547152 1713979392 297618 268435456000 4194304 4356188 140734983734832 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=462/tid=496] ppid=457 vsize=1673808 CPUtime=453.97 cores=4-31
/proc/462/task/496/stat : 496 (plingeling) R 457 457 361 0 -1 4202560 40228 1245 0 0 45359 37 0 1 25 0 29 0 725547152 1713979392 297618 268435456000 4194304 4356188 140734983734832 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 10 0 0 0
Current children cumulated CPU time (s) 14511
Current children cumulated vsize (KiB) 3213536
[startup+454.303 s]
/proc/loadavg: 32.29 32.10 30.99 2/416 508
/proc/meminfo: memFree=255005780/264257624 swapFree=67111528/67111528
[pid=457] ppid=455 vsize=18324 CPUtime=1816.51 cores=0-31
/proc/457/stat : 457 (ppfolio) S 455 457 361 0 -1 4202496 516 149083 0 0 0 1 181594 56 15 0 1 0 725547146 18763776 387 268435456000 4194304 4287625 140736079750352 18446744073709551615 258650975999 0 0 4096 65536 9192446627351101439 0 0 17 25 0 0 0
/proc/457/statm: 4581 387 338 23 0 91 0
[pid=462] ppid=457 vsize=0 CPUtime=12695.2 cores=4-31
/proc/462/stat : 462 (plingeling) Z 457 457 361 0 -1 4203548 2239265 1245 0 0 1267621 1897 0 1 18 0 2 0 725547147 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 17 11 0 0 0
/proc/462/statm: 0 0 0 0 0 0 0
[pid=462/tid=495] ppid=457 vsize=0 CPUtime=449.54 cores=4-31
/proc/462/task/495/stat : 495 (plingeling) R 457 457 361 0 -1 4203588 75574 1245 0 0 44887 66 0 1 25 0 2 0 725547152 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 14511.7
Current children cumulated vsize (KiB) 18324
Child status: 0
Real time (s): 454.332
CPU time (s): 14511.8
CPU user time (s): 14492.2
CPU system time (s): 19.591
CPU usage (%): 3194.09
Max. virtual memory (cumulated for all children) (KiB): 5422420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14492.2
system time used= 19.591
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2390129
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= 5747
involuntary context switches= 33391
runsolver used 2.68859 second user time and 10.1775 second system time
The end
Begin job on node200 at 2011-05-23 10:50:07
IDJOB=3347697
IDBENCH=87946
IDSOLVER=1808
FILE ID=node200/3347697-1306140607
RUNJOBID= node200-1306140412-375
PBS_JOBID= 13387842
Free space on /tmp= 62048 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT02/industrial/aloul/Homer/homer17.shuffled.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347697-1306140607/watcher-3347697-1306140607 -o /tmp/evaluation-result-3347697-1306140607/solver-3347697-1306140607 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347697-1306140607.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= ca62f6128dc3cad7229c7b9ee33a7492
RANDOM SEED=39487958
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: 255316192 kB
Buffers: 459380 kB
Cached: 8069072 kB
SwapCached: 0 kB
Active: 7619332 kB
Inactive: 978328 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255316192 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 10212 kB
Writeback: 0 kB
AnonPages: 70496 kB
Mapped: 14648 kB
Slab: 253356 kB
PageTables: 5004 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 183152 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= 62036 MiB
End job on node200 at 2011-05-23 10:57:42