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
21161.60/719.26 s UNSATISFIABLE
21162.12/719.35 solver [5] plingeling 276-6264d55-100731 answered
21162.12/719.35 Done
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3347645-1306097171/watcher-3347645-1306097171 -o /tmp/evaluation-result-3347645-1306097171/solver-3347645-1306097171 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347645-1306097171.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: 29.59 31.56 31.80 1/413 27534
/proc/meminfo: memFree=255413960/264257624 swapFree=67111528/67111528
[pid=27534] ppid=27532 vsize=18324 CPUtime=0 cores=0-31
/proc/27534/stat : 27534 (ppfolio) S 27532 27534 27508 0 -1 4202496 514 0 0 0 0 0 0 0 18 0 1 0 721203771 18763776 386 268435456000 4194304 4287625 140736475071232 18446744073709551615 258650975999 0 0 4096 65536 9201681425512792063 0 0 17 16 0 0 0
/proc/27534/statm: 4581 386 337 23 0 91 0
[startup+0.0573911 s]
/proc/loadavg: 29.59 31.56 31.80 1/413 27534
/proc/meminfo: memFree=255413960/264257624 swapFree=67111528/67111528
[pid=27534] ppid=27532 vsize=18324 CPUtime=0 cores=0-31
/proc/27534/stat : 27534 (ppfolio) S 27532 27534 27508 0 -1 4202496 514 0 0 0 0 0 0 0 18 0 1 0 721203771 18763776 386 268435456000 4194304 4287625 140736475071232 18446744073709551615 258650975999 0 0 4096 65536 9201681425512792063 0 0 17 16 0 0 0
/proc/27534/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.100385 s]
/proc/loadavg: 29.59 31.56 31.80 1/413 27534
/proc/meminfo: memFree=255413960/264257624 swapFree=67111528/67111528
[pid=27534] ppid=27532 vsize=18324 CPUtime=0 cores=0-31
/proc/27534/stat : 27534 (ppfolio) S 27532 27534 27508 0 -1 4202496 514 0 0 0 0 0 0 0 18 0 1 0 721203771 18763776 386 268435456000 4194304 4287625 140736475071232 18446744073709551615 258650975999 0 0 4096 65536 9201681425512792063 0 0 17 16 0 0 0
/proc/27534/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300385 s]
/proc/loadavg: 29.59 31.56 31.80 1/413 27534
/proc/meminfo: memFree=255413960/264257624 swapFree=67111528/67111528
[pid=27534] ppid=27532 vsize=18324 CPUtime=0 cores=0-31
/proc/27534/stat : 27534 (ppfolio) S 27532 27534 27508 0 -1 4202496 514 0 0 0 0 0 0 0 18 0 1 0 721203771 18763776 386 268435456000 4194304 4287625 140736475071232 18446744073709551615 258650975999 0 0 4096 65536 9201681425512792063 0 0 17 16 0 0 0
/proc/27534/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700416 s]
/proc/loadavg: 29.59 31.56 31.80 1/413 27534
/proc/meminfo: memFree=255413960/264257624 swapFree=67111528/67111528
[pid=27534] ppid=27532 vsize=18324 CPUtime=0 cores=0-31
/proc/27534/stat : 27534 (ppfolio) S 27532 27534 27508 0 -1 4202496 514 0 0 0 0 0 0 0 18 0 1 0 721203771 18763776 386 268435456000 4194304 4287625 140736475071232 18446744073709551615 258650975999 0 0 4096 65536 9201681425512792063 0 0 17 16 0 0 0
/proc/27534/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50042 s]
/proc/loadavg: 29.59 31.56 31.80 6/419 27545
/proc/meminfo: memFree=254966832/264257624 swapFree=67111528/67111528
[pid=27534] ppid=27532 vsize=18324 CPUtime=0 cores=0-31
/proc/27534/stat : 27534 (ppfolio) S 27532 27534 27508 0 -1 4202496 514 0 0 0 0 0 0 0 18 0 1 0 721203771 18763776 386 268435456000 4194304 4287625 140736475071232 18446744073709551615 258650975999 0 0 4096 65536 9201681425512792063 0 0 17 16 0 0 0
/proc/27534/statm: 4581 386 337 23 0 91 0
[pid=27535] ppid=27534 vsize=204884 CPUtime=1.48 cores=0
/proc/27535/stat : 27535 (cryptominisat) R 27534 27534 27508 0 -1 4202496 39487 0 0 0 138 10 0 0 20 0 1 0 721203771 209801216 38230 268435456000 4194304 4587354 140736993742816 18446744073709551615 258650652375 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27535/statm: 51221 38230 287 96 0 47783 0
[pid=27536] ppid=27534 vsize=181508 CPUtime=1.48 cores=1
/proc/27536/stat : 27536 (clasp) R 27534 27534 27508 0 -1 4202496 52091 0 0 0 132 16 0 0 20 0 1 0 721203771 185864192 41011 268435456000 4194304 4785740 140735952148096 18446744073709551615 4489249 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/27536/statm: 45377 41012 311 145 0 42422 0
[pid=27537] ppid=27534 vsize=471540 CPUtime=1.48 cores=2
/proc/27537/stat : 27537 (TNM) R 27534 27534 27508 0 -1 4202496 8041 0 0 0 145 3 0 0 20 0 1 0 721203771 482856960 7940 268435456000 134512640 134534564 4287365312 18446744073709551615 4155047 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27537/statm: 117885 7940 90 6 0 116550 0
[pid=27538] ppid=27534 vsize=106216 CPUtime=1.48 cores=3
/proc/27538/stat : 27538 (march_hi) R 27534 27534 27508 0 -1 4194304 24651 0 0 0 139 9 0 0 20 0 1 0 721203771 108765184 24547 268435456000 4194304 4331988 140737060700656 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27538/statm: 26554 24547 112 34 0 24996 0
[pid=27539] ppid=27534 vsize=185384 CPUtime=1.49 cores=4-31
/proc/27539/stat : 27539 (plingeling) R 27534 27534 27508 0 -1 4202496 45153 1238 0 0 138 10 0 1 21 0 1 0 721203771 189833216 45006 268435456000 4194304 4356188 140733595299472 18446744073709551615 4277715 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/27539/statm: 46346 45006 129 40 0 44890 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 1167856
[startup+3.10051 s]
/proc/loadavg: 29.59 31.56 31.80 6/419 27545
/proc/meminfo: memFree=254474908/264257624 swapFree=67111528/67111528
[pid=27534] ppid=27532 vsize=18324 CPUtime=0 cores=0-31
/proc/27534/stat : 27534 (ppfolio) S 27532 27534 27508 0 -1 4202496 514 0 0 0 0 0 0 0 18 0 1 0 721203771 18763776 386 268435456000 4194304 4287625 140736475071232 18446744073709551615 258650975999 0 0 4096 65536 9201681425512792063 0 0 17 16 0 0 0
/proc/27534/statm: 4581 386 337 23 0 91 0
[pid=27535] ppid=27534 vsize=206332 CPUtime=3.08 cores=0
/proc/27535/stat : 27535 (cryptominisat) R 27534 27534 27508 0 -1 4202496 39990 0 0 0 298 10 0 0 25 0 1 0 721203771 211283968 38720 268435456000 4194304 4587354 140736993742816 18446744073709551615 4237639 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27535/statm: 51583 38720 304 96 0 48145 0
[pid=27536] ppid=27534 vsize=203600 CPUtime=3.08 cores=1
/proc/27536/stat : 27536 (clasp) R 27534 27534 27508 0 -1 4202496 57648 0 0 0 291 17 0 0 25 0 1 0 721203771 208486400 46568 268435456000 4194304 4785740 140735952148096 18446744073709551615 4495651 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/27536/statm: 50900 46568 316 145 0 47945 0
[pid=27537] ppid=27534 vsize=539912 CPUtime=3.08 cores=2
/proc/27537/stat : 27537 (TNM) R 27534 27534 27508 0 -1 4202496 29764 0 0 0 300 8 0 0 25 0 1 0 721203771 552869888 29662 268435456000 134512640 134534564 4287365312 18446744073709551615 134524508 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27537/statm: 134978 29662 91 6 0 133643 0
[pid=27538] ppid=27534 vsize=217256 CPUtime=3.08 cores=3
/proc/27538/stat : 27538 (march_hi) R 27534 27534 27508 0 -1 4194304 49571 0 0 0 294 14 0 0 25 0 1 0 721203771 222470144 37675 268435456000 4194304 4331988 140737060700656 18446744073709551615 4257075 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27538/statm: 54314 37675 124 34 0 52756 0
[pid=27539] ppid=27534 vsize=303588 CPUtime=3.09 cores=4-31
/proc/27539/stat : 27539 (plingeling) R 27534 27534 27508 0 -1 4202496 74704 1238 0 0 292 16 0 1 25 0 1 0 721203771 310874112 74557 268435456000 4194304 4356188 140733595299472 18446744073709551615 4277939 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/27539/statm: 75897 74557 129 40 0 74441 0
Current children cumulated CPU time (s) 15.41
Current children cumulated vsize (KiB) 1489012
[startup+6.30063 s]
/proc/loadavg: 27.62 31.11 31.65 6/419 27545
/proc/meminfo: memFree=254188664/264257624 swapFree=67111528/67111528
[pid=27534] ppid=27532 vsize=18324 CPUtime=0 cores=0-31
/proc/27534/stat : 27534 (ppfolio) S 27532 27534 27508 0 -1 4202496 514 0 0 0 0 0 0 0 18 0 1 0 721203771 18763776 386 268435456000 4194304 4287625 140736475071232 18446744073709551615 258650975999 0 0 4096 65536 9201681425512792063 0 0 17 16 0 0 0
/proc/27534/statm: 4581 386 337 23 0 91 0
[pid=27535] ppid=27534 vsize=206332 CPUtime=6.28 cores=0
/proc/27535/stat : 27535 (cryptominisat) R 27534 27534 27508 0 -1 4202496 39990 0 0 0 618 10 0 0 25 0 1 0 721203771 211283968 38720 268435456000 4194304 4587354 140736993742816 18446744073709551615 4237467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27535/statm: 51583 38720 304 96 0 48145 0
[pid=27536] ppid=27534 vsize=225200 CPUtime=6.28 cores=1
/proc/27536/stat : 27536 (clasp) R 27534 27534 27508 0 -1 4202496 63051 0 0 0 610 18 0 0 25 0 1 0 721203771 230604800 51971 268435456000 4194304 4785740 140735952148096 18446744073709551615 258650616632 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/27536/statm: 56300 51971 317 145 0 53345 0
[pid=27537] ppid=27534 vsize=539912 CPUtime=6.28 cores=2
/proc/27537/stat : 27537 (TNM) R 27534 27534 27508 0 -1 4202496 29764 0 0 0 620 8 0 0 25 0 1 0 721203771 552869888 29662 268435456000 134512640 134534564 4287365312 18446744073709551615 134524552 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27537/statm: 134978 29662 91 6 0 133643 0
[pid=27538] ppid=27534 vsize=252816 CPUtime=6.28 cores=3
/proc/27538/stat : 27538 (march_hi) R 27534 27534 27508 0 -1 4194304 85980 0 0 0 606 22 0 0 25 0 1 0 721203771 258883584 48284 268435456000 4194304 4331988 140737060700656 18446744073709551615 4251649 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27538/statm: 63204 48284 127 34 0 61646 0
[pid=27539] ppid=27534 vsize=535860 CPUtime=6.28 cores=4-31
/proc/27539/stat : 27539 (plingeling) R 27534 27534 27508 0 -1 4202496 132792 1238 0 0 599 28 0 1 25 0 1 0 721203771 548720640 132625 268435456000 4194304 4356188 140733595299472 18446744073709551615 4212128 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/27539/statm: 133965 132625 129 40 0 132509 0
Current children cumulated CPU time (s) 31.4
Current children cumulated vsize (KiB) 1778444
[startup+12.7008 s]
/proc/loadavg: 25.81 30.68 31.51 6/419 27545
/proc/meminfo: memFree=253531644/264257624 swapFree=67111528/67111528
[pid=27534] ppid=27532 vsize=18324 CPUtime=0 cores=0-31
/proc/27534/stat : 27534 (ppfolio) S 27532 27534 27508 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 721203771 18763776 386 268435456000 4194304 4287625 140736475071232 18446744073709551615 258650975999 0 0 4096 65536 9201681425512792063 0 0 17 16 0 0 0
/proc/27534/statm: 4581 386 337 23 0 91 0
[pid=27535] ppid=27534 vsize=305164 CPUtime=12.68 cores=0
/proc/27535/stat : 27535 (cryptominisat) R 27534 27534 27508 0 -1 4202496 64640 0 0 0 1253 15 0 0 25 0 1 0 721203771 312487936 63370 268435456000 4194304 4587354 140736993742816 18446744073709551615 4248764 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27535/statm: 76291 63370 309 96 0 72853 0
[pid=27536] ppid=27534 vsize=249644 CPUtime=12.68 cores=1
/proc/27536/stat : 27536 (clasp) R 27534 27534 27508 0 -1 4202496 76391 0 0 0 1245 23 0 0 25 0 1 0 721203771 255635456 58362 268435456000 4194304 4785740 140735952148096 18446744073709551615 4552970 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/27536/statm: 62411 58362 331 145 0 59456 0
[pid=27537] ppid=27534 vsize=561692 CPUtime=12.68 cores=2
/proc/27537/stat : 27537 (TNM) R 27534 27534 27508 0 -1 4202496 51852 0 0 0 1254 14 0 0 25 0 1 0 721203771 575172608 51750 268435456000 134512640 134534564 4287365312 18446744073709551615 134529352 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27537/statm: 140423 51750 95 6 0 139088 0
[pid=27538] ppid=27534 vsize=252332 CPUtime=12.69 cores=3
/proc/27538/stat : 27538 (march_hi) R 27534 27534 27508 0 -1 4194304 108875 0 0 0 1241 28 0 0 25 0 1 0 721203771 258387968 48171 268435456000 4194304 4331988 140737060700656 18446744073709551615 4251979 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27538/statm: 63083 48171 127 34 0 61525 0
[pid=27539] ppid=27534 vsize=1119512 CPUtime=12.69 cores=4-31
/proc/27539/stat : 27539 (plingeling) R 27534 27534 27508 0 -1 4202496 278705 1238 0 0 1211 57 0 1 25 0 1 0 721203771 1146380288 278538 268435456000 4194304 4356188 140733595299472 18446744073709551615 4225315 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/27539/statm: 279878 278538 129 40 0 278422 0
Current children cumulated CPU time (s) 63.42
Current children cumulated vsize (KiB) 2506668
[startup+25.5013 s]
/proc/loadavg: 21.28 29.44 31.09 6/419 27545
/proc/meminfo: memFree=253150416/264257624 swapFree=67111528/67111528
[pid=27534] ppid=27532 vsize=18324 CPUtime=0 cores=0-31
/proc/27534/stat : 27534 (ppfolio) S 27532 27534 27508 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 721203771 18763776 386 268435456000 4194304 4287625 140736475071232 18446744073709551615 258650975999 0 0 4096 65536 9201681425512792063 0 0 17 16 0 0 0
/proc/27534/statm: 4581 386 337 23 0 91 0
[pid=27535] ppid=27534 vsize=306340 CPUtime=25.48 cores=0
/proc/27535/stat : 27535 (cryptominisat) R 27534 27534 27508 0 -1 4202496 64924 0 0 0 2533 15 0 0 25 0 1 0 721203771 313692160 63654 268435456000 4194304 4587354 140736993742816 18446744073709551615 4268830 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27535/statm: 76585 63654 309 96 0 73147 0
[pid=27536] ppid=27534 vsize=249644 CPUtime=25.48 cores=1
/proc/27536/stat : 27536 (clasp) R 27534 27534 27508 0 -1 4202496 76446 0 0 0 2525 23 0 0 25 0 1 0 721203771 255635456 58417 268435456000 4194304 4785740 140735952148096 18446744073709551615 4552550 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/27536/statm: 62411 58417 338 145 0 59456 0
[pid=27537] ppid=27534 vsize=561692 CPUtime=25.48 cores=2
/proc/27537/stat : 27537 (TNM) R 27534 27534 27508 0 -1 4202496 51852 0 0 0 2534 14 0 0 25 0 1 0 721203771 575172608 51750 268435456000 134512640 134534564 4287365312 18446744073709551615 134529366 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27537/statm: 140423 51750 95 6 0 139088 0
[pid=27538] ppid=27534 vsize=286236 CPUtime=25.48 cores=3
/proc/27538/stat : 27538 (march_hi) R 27534 27534 27508 0 -1 4202496 199432 0 0 0 2501 47 0 0 25 0 1 0 721203771 293105664 57201 268435456000 4194304 4331988 140737060700656 18446744073709551615 258650604632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27538/statm: 71559 57201 146 34 0 70001 0
[pid=27539] ppid=27534 vsize=1352044 CPUtime=25.48 cores=4-31
/proc/27539/stat : 27539 (plingeling) R 27534 27534 27508 0 -1 4202496 336854 1238 0 0 2478 69 0 1 25 0 1 0 721203771 1384493056 336671 268435456000 4194304 4356188 140733595299472 18446744073709551615 4225290 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/27539/statm: 338011 336671 129 40 0 336555 0
Current children cumulated CPU time (s) 127.4
Current children cumulated vsize (KiB) 2774280
[startup+51.1012 s]
/proc/loadavg: 15.72 27.47 30.40 6/419 27545
/proc/meminfo: memFree=252557920/264257624 swapFree=67111528/67111528
[pid=27534] ppid=27532 vsize=18324 CPUtime=0 cores=0-31
/proc/27534/stat : 27534 (ppfolio) S 27532 27534 27508 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 721203771 18763776 386 268435456000 4194304 4287625 140736475071232 18446744073709551615 258650975999 0 0 4096 65536 9201681425512792063 0 0 17 16 0 0 0
/proc/27534/statm: 4581 386 337 23 0 91 0
[pid=27535] ppid=27534 vsize=433180 CPUtime=51.07 cores=0
/proc/27535/stat : 27535 (cryptominisat) R 27534 27534 27508 0 -1 4202496 123285 0 0 0 5075 32 0 0 25 0 1 0 721203771 443576320 93892 268435456000 4194304 4587354 140736993742816 18446744073709551615 4237704 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27535/statm: 108295 93892 329 96 0 104857 0
[pid=27536] ppid=27534 vsize=249644 CPUtime=51.07 cores=1
/proc/27536/stat : 27536 (clasp) R 27534 27534 27508 0 -1 4202496 76448 0 0 0 5084 23 0 0 25 0 1 0 721203771 255635456 58419 268435456000 4194304 4785740 140735952148096 18446744073709551615 4546264 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/27536/statm: 62411 58419 338 145 0 59456 0
[pid=27537] ppid=27534 vsize=565524 CPUtime=51.07 cores=2
/proc/27537/stat : 27537 (TNM) R 27534 27534 27508 0 -1 4202496 51853 0 0 0 5093 14 0 0 25 0 1 0 721203771 579096576 51751 268435456000 134512640 134534564 4287365312 18446744073709551615 134529031 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27537/statm: 141381 51751 95 6 0 140046 0
[pid=27538] ppid=27534 vsize=292748 CPUtime=51.07 cores=3
################
# More data... #
################
/proc/loadavg: 32.13 31.47 31.05 33/447 27591
/proc/meminfo: memFree=251789476/264257624 swapFree=67111528/67111528
[pid=27534] ppid=27532 vsize=18324 CPUtime=0 cores=0-31
/proc/27534/stat : 27534 (ppfolio) S 27532 27534 27508 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 721203771 18763776 386 268435456000 4194304 4287625 140736475071232 18446744073709551615 258650975999 0 0 4096 65536 9201681425512792063 0 0 17 16 0 0 0
/proc/27534/statm: 4581 386 337 23 0 91 0
[pid=27535] ppid=27534 vsize=2741004 CPUtime=718.17 cores=0
/proc/27535/stat : 27535 (cryptominisat) R 27534 27534 27508 0 -1 4202496 207032 0 0 0 71747 70 0 0 25 0 1 0 721203771 2806788096 107431 268435456000 4194304 4587354 140736993742816 18446744073709551615 4237467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27535/statm: 685251 107431 335 96 0 681813 0
[pid=27536] ppid=27534 vsize=444104 CPUtime=718.17 cores=1
/proc/27536/stat : 27536 (clasp) R 27534 27534 27508 0 -1 4202496 125134 0 0 0 71753 64 0 0 25 0 1 0 721203771 454762496 107105 268435456000 4194304 4785740 140735952148096 18446744073709551615 4553068 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/27536/statm: 111026 107105 338 145 0 108071 0
[pid=27537] ppid=27534 vsize=565524 CPUtime=718.17 cores=2
/proc/27537/stat : 27537 (TNM) R 27534 27534 27508 0 -1 4202496 51853 0 0 0 71803 14 0 0 25 0 1 0 721203771 579096576 51751 268435456000 134512640 134534564 4287365312 18446744073709551615 134528661 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27537/statm: 141381 51751 95 6 0 140046 0
[pid=27538] ppid=27534 vsize=997476 CPUtime=718.17 cores=3
/proc/27538/stat : 27538 (march_hi) R 27534 27534 27508 0 -1 4202496 471146 0 0 0 71708 109 0 0 25 0 1 0 721203771 1021415424 138417 268435456000 4194304 4331988 140737060700656 18446744073709551615 4211123 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27538/statm: 249369 138417 174 34 0 247811 0
[pid=27539] ppid=27534 vsize=2509784 CPUtime=18262.1 cores=4-31
/proc/27539/stat : 27539 (plingeling) S 27534 27534 27508 0 -1 4202496 1551043 1238 0 0 1825334 876 0 1 18 0 29 0 721203771 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 25 0 0 0
/proc/27539/statm: 627446 501399 159 40 0 625990 0
[pid=27539/tid=27546] ppid=27534 vsize=2509784 CPUtime=632.43 cores=4-31
/proc/27539/task/27546/stat : 27546 (plingeling) R 27534 27534 27508 0 -1 4202560 37536 1238 0 0 63211 31 0 1 25 0 29 0 721210486 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4210992 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=27539/tid=27547] ppid=27534 vsize=2509784 CPUtime=650.49 cores=4-31
/proc/27539/task/27547/stat : 27547 (plingeling) R 27534 27534 27508 0 -1 4202560 42600 1238 0 0 65027 21 0 1 25 0 29 0 721210486 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4237251 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=27539/tid=27548] ppid=27534 vsize=2509784 CPUtime=650.37 cores=4-31
/proc/27539/task/27548/stat : 27548 (plingeling) R 27534 27534 27508 0 -1 4202560 42577 1238 0 0 65010 26 0 1 25 0 29 0 721210486 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4236939 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27539/tid=27549] ppid=27534 vsize=2509784 CPUtime=650.97 cores=4-31
/proc/27539/task/27549/stat : 27549 (plingeling) R 27534 27534 27508 0 -1 4202560 23017 1238 0 0 65073 23 0 1 25 0 29 0 721210486 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27539/tid=27550] ppid=27534 vsize=2509784 CPUtime=650.75 cores=4-31
/proc/27539/task/27550/stat : 27550 (plingeling) R 27534 27534 27508 0 -1 4202560 52726 1238 0 0 65038 36 0 1 25 0 29 0 721210486 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27539/tid=27551] ppid=27534 vsize=2509784 CPUtime=650.55 cores=4-31
/proc/27539/task/27551/stat : 27551 (plingeling) R 27534 27534 27508 0 -1 4202560 47293 1238 0 0 65029 25 0 1 25 0 29 0 721210486 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4331392 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=27539/tid=27552] ppid=27534 vsize=2509784 CPUtime=650.47 cores=4-31
/proc/27539/task/27552/stat : 27552 (plingeling) R 27534 27534 27508 0 -1 4202560 42232 1238 0 0 65026 20 0 1 25 0 29 0 721210486 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4331371 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=27539/tid=27553] ppid=27534 vsize=2509784 CPUtime=650.16 cores=4-31
/proc/27539/task/27553/stat : 27553 (plingeling) R 27534 27534 27508 0 -1 4202560 41210 1238 0 0 64973 42 0 1 25 0 29 0 721210486 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4334538 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=27539/tid=27554] ppid=27534 vsize=2509784 CPUtime=650.66 cores=4-31
/proc/27539/task/27554/stat : 27554 (plingeling) R 27534 27534 27508 0 -1 4202560 42699 1238 0 0 65034 31 0 1 25 0 29 0 721210486 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=27539/tid=27555] ppid=27534 vsize=2509784 CPUtime=649.94 cores=4-31
/proc/27539/task/27555/stat : 27555 (plingeling) R 27534 27534 27508 0 -1 4202560 39287 1238 0 0 64960 33 0 1 25 0 29 0 721210486 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4237457 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=27539/tid=27556] ppid=27534 vsize=2509784 CPUtime=650.83 cores=4-31
/proc/27539/task/27556/stat : 27556 (plingeling) R 27534 27534 27508 0 -1 4202560 35590 1238 0 0 65067 15 0 1 25 0 29 0 721210486 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=27539/tid=27557] ppid=27534 vsize=2509784 CPUtime=650.89 cores=4-31
/proc/27539/task/27557/stat : 27557 (plingeling) R 27534 27534 27508 0 -1 4202560 30130 1238 0 0 65060 28 0 1 25 0 29 0 721210487 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=27539/tid=27558] ppid=27534 vsize=2509784 CPUtime=650.22 cores=4-31
/proc/27539/task/27558/stat : 27558 (plingeling) R 27534 27534 27508 0 -1 4202560 47112 1238 0 0 65004 17 0 1 25 0 29 0 721210487 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4210875 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=27539/tid=27559] ppid=27534 vsize=2509784 CPUtime=649.83 cores=4-31
/proc/27539/task/27559/stat : 27559 (plingeling) R 27534 27534 27508 0 -1 4202560 33938 1238 0 0 64949 33 0 1 25 0 29 0 721210487 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=27539/tid=27560] ppid=27534 vsize=2509784 CPUtime=650.49 cores=4-31
/proc/27539/task/27560/stat : 27560 (plingeling) R 27534 27534 27508 0 -1 4202560 48588 1238 0 0 65009 39 0 1 25 0 29 0 721210487 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=27539/tid=27561] ppid=27534 vsize=2509784 CPUtime=650.46 cores=4-31
/proc/27539/task/27561/stat : 27561 (plingeling) R 27534 27534 27508 0 -1 4202560 34062 1238 0 0 65014 31 0 1 25 0 29 0 721210487 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=27539/tid=27562] ppid=27534 vsize=2509784 CPUtime=650.61 cores=4-31
/proc/27539/task/27562/stat : 27562 (plingeling) R 27534 27534 27508 0 -1 4202560 35750 1238 0 0 65033 27 0 1 25 0 29 0 721210487 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4279765 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=27539/tid=27563] ppid=27534 vsize=2509784 CPUtime=650.65 cores=4-31
/proc/27539/task/27563/stat : 27563 (plingeling) R 27534 27534 27508 0 -1 4202560 42716 1238 0 0 65028 36 0 1 25 0 29 0 721210488 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=27539/tid=27564] ppid=27534 vsize=2509784 CPUtime=650.42 cores=4-31
/proc/27539/task/27564/stat : 27564 (plingeling) R 27534 27534 27508 0 -1 4202560 34603 1238 0 0 65027 14 0 1 25 0 29 0 721210488 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=27539/tid=27565] ppid=27534 vsize=2509784 CPUtime=650.71 cores=4-31
/proc/27539/task/27565/stat : 27565 (plingeling) R 27534 27534 27508 0 -1 4202560 22793 1238 0 0 65060 10 0 1 25 0 29 0 721210488 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=27539/tid=27566] ppid=27534 vsize=2509784 CPUtime=650.49 cores=4-31
/proc/27539/task/27566/stat : 27566 (plingeling) R 27534 27534 27508 0 -1 4202560 38277 1238 0 0 65028 20 0 1 25 0 29 0 721210489 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4242651 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=27539/tid=27567] ppid=27534 vsize=2509784 CPUtime=650.69 cores=4-31
/proc/27539/task/27567/stat : 27567 (plingeling) R 27534 27534 27508 0 -1 4202560 40101 1238 0 0 65032 36 0 1 25 0 29 0 721210489 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4331002 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=27539/tid=27568] ppid=27534 vsize=2509784 CPUtime=649.74 cores=4-31
/proc/27539/task/27568/stat : 27568 (plingeling) R 27534 27534 27508 0 -1 4202560 45309 1238 0 0 64937 36 0 1 25 0 29 0 721210489 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=27539/tid=27569] ppid=27534 vsize=2509784 CPUtime=650.16 cores=4-31
/proc/27539/task/27569/stat : 27569 (plingeling) R 27534 27534 27508 0 -1 4202560 35008 1238 0 0 64979 36 0 1 25 0 29 0 721210489 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=27539/tid=27570] ppid=27534 vsize=2509784 CPUtime=650.83 cores=4-31
/proc/27539/task/27570/stat : 27570 (plingeling) R 27534 27534 27508 0 -1 4202560 49007 1238 0 0 65046 36 0 1 25 0 29 0 721210489 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=27539/tid=27571] ppid=27534 vsize=2509784 CPUtime=650.38 cores=4-31
/proc/27539/task/27571/stat : 27571 (plingeling) R 27534 27534 27508 0 -1 4202560 36024 1238 0 0 65021 16 0 1 25 0 29 0 721210489 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4330982 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27539/tid=27572] ppid=27534 vsize=2509784 CPUtime=650.26 cores=4-31
/proc/27539/task/27572/stat : 27572 (plingeling) R 27534 27534 27508 0 -1 4202560 40888 1238 0 0 64991 34 0 1 25 0 29 0 721210489 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4242651 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=27539/tid=27573] ppid=27534 vsize=2509784 CPUtime=650.57 cores=4-31
/proc/27539/task/27573/stat : 27573 (plingeling) R 27534 27534 27508 0 -1 4202560 32751 1238 0 0 65043 13 0 1 25 0 29 0 721210489 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4242674 0 0 4096 17442 0 0 0 -1 10 0 0 0
Current children cumulated CPU time (s) 21134.8
Current children cumulated vsize (KiB) 7276216
[startup+719.102 s]
/proc/loadavg: 32.13 31.47 31.05 33/447 27591
/proc/meminfo: memFree=251789476/264257624 swapFree=67111528/67111528
[pid=27534] ppid=27532 vsize=18324 CPUtime=0 cores=0-31
/proc/27534/stat : 27534 (ppfolio) S 27532 27534 27508 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 721203771 18763776 386 268435456000 4194304 4287625 140736475071232 18446744073709551615 258650975999 0 0 4096 65536 9201681425512792063 0 0 17 16 0 0 0
/proc/27534/statm: 4581 386 337 23 0 91 0
[pid=27535] ppid=27534 vsize=2741004 CPUtime=718.95 cores=0
/proc/27535/stat : 27535 (cryptominisat) R 27534 27534 27508 0 -1 4202496 207071 0 0 0 71825 70 0 0 25 0 1 0 721203771 2806788096 107470 268435456000 4194304 4587354 140736993742816 18446744073709551615 4238297 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27535/statm: 685251 107470 335 96 0 681813 0
[pid=27536] ppid=27534 vsize=444768 CPUtime=718.95 cores=1
/proc/27536/stat : 27536 (clasp) R 27534 27534 27508 0 -1 4202496 125281 0 0 0 71831 64 0 0 25 0 1 0 721203771 455442432 107252 268435456000 4194304 4785740 140735952148096 18446744073709551615 4545856 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/27536/statm: 111192 107252 338 145 0 108237 0
[pid=27537] ppid=27534 vsize=565524 CPUtime=718.95 cores=2
/proc/27537/stat : 27537 (TNM) R 27534 27534 27508 0 -1 4202496 51853 0 0 0 71881 14 0 0 25 0 1 0 721203771 579096576 51751 268435456000 134512640 134534564 4287365312 18446744073709551615 134529823 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27537/statm: 141381 51751 95 6 0 140046 0
[pid=27538] ppid=27534 vsize=997480 CPUtime=718.95 cores=3
/proc/27538/stat : 27538 (march_hi) R 27534 27534 27508 0 -1 4202496 471150 0 0 0 71786 109 0 0 25 0 1 0 721203771 1021419520 138421 268435456000 4194304 4331988 140737060700656 18446744073709551615 4242671 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27538/statm: 249370 138421 174 34 0 247812 0
[pid=27539] ppid=27534 vsize=2509784 CPUtime=18283.9 cores=4-31
/proc/27539/stat : 27539 (plingeling) S 27534 27534 27508 0 -1 4202496 1551043 1238 0 0 1827514 876 0 1 18 0 29 0 721203771 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 25 0 0 0
/proc/27539/statm: 627446 501399 159 40 0 625990 0
[pid=27539/tid=27546] ppid=27534 vsize=2509784 CPUtime=633.2 cores=4-31
/proc/27539/task/27546/stat : 27546 (plingeling) R 27534 27534 27508 0 -1 4202560 37536 1238 0 0 63288 31 0 1 25 0 29 0 721210486 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4242651 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=27539/tid=27547] ppid=27534 vsize=2509784 CPUtime=651.27 cores=4-31
/proc/27539/task/27547/stat : 27547 (plingeling) R 27534 27534 27508 0 -1 4202560 42600 1238 0 0 65105 21 0 1 25 0 29 0 721210486 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=27539/tid=27548] ppid=27534 vsize=2509784 CPUtime=651.15 cores=4-31
/proc/27539/task/27548/stat : 27548 (plingeling) R 27534 27534 27508 0 -1 4202560 42577 1238 0 0 65088 26 0 1 25 0 29 0 721210486 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4239143 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27539/tid=27549] ppid=27534 vsize=2509784 CPUtime=651.75 cores=4-31
/proc/27539/task/27549/stat : 27549 (plingeling) R 27534 27534 27508 0 -1 4202560 23017 1238 0 0 65151 23 0 1 25 0 29 0 721210486 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4242651 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27539/tid=27550] ppid=27534 vsize=2509784 CPUtime=651.53 cores=4-31
/proc/27539/task/27550/stat : 27550 (plingeling) R 27534 27534 27508 0 -1 4202560 52726 1238 0 0 65116 36 0 1 25 0 29 0 721210486 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27539/tid=27551] ppid=27534 vsize=2509784 CPUtime=651.33 cores=4-31
/proc/27539/task/27551/stat : 27551 (plingeling) R 27534 27534 27508 0 -1 4202560 47293 1238 0 0 65107 25 0 1 25 0 29 0 721210486 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=27539/tid=27552] ppid=27534 vsize=2509784 CPUtime=651.25 cores=4-31
/proc/27539/task/27552/stat : 27552 (plingeling) R 27534 27534 27508 0 -1 4202560 42232 1238 0 0 65104 20 0 1 25 0 29 0 721210486 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4331352 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=27539/tid=27553] ppid=27534 vsize=2509784 CPUtime=650.94 cores=4-31
/proc/27539/task/27553/stat : 27553 (plingeling) R 27534 27534 27508 0 -1 4202560 41210 1238 0 0 65051 42 0 1 25 0 29 0 721210486 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4242651 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=27539/tid=27554] ppid=27534 vsize=2509784 CPUtime=651.43 cores=4-31
/proc/27539/task/27554/stat : 27554 (plingeling) R 27534 27534 27508 0 -1 4202560 42699 1238 0 0 65111 31 0 1 25 0 29 0 721210486 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4279717 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=27539/tid=27555] ppid=27534 vsize=2509784 CPUtime=650.72 cores=4-31
/proc/27539/task/27555/stat : 27555 (plingeling) R 27534 27534 27508 0 -1 4202560 39287 1238 0 0 65038 33 0 1 25 0 29 0 721210486 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4242762 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=27539/tid=27556] ppid=27534 vsize=2509784 CPUtime=651.61 cores=4-31
/proc/27539/task/27556/stat : 27556 (plingeling) R 27534 27534 27508 0 -1 4202560 35590 1238 0 0 65145 15 0 1 25 0 29 0 721210486 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=27539/tid=27557] ppid=27534 vsize=2509784 CPUtime=651.66 cores=4-31
/proc/27539/task/27557/stat : 27557 (plingeling) R 27534 27534 27508 0 -1 4202560 30130 1238 0 0 65137 28 0 1 25 0 29 0 721210487 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=27539/tid=27558] ppid=27534 vsize=2509784 CPUtime=651 cores=4-31
/proc/27539/task/27558/stat : 27558 (plingeling) R 27534 27534 27508 0 -1 4202560 47112 1238 0 0 65082 17 0 1 25 0 29 0 721210487 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=27539/tid=27559] ppid=27534 vsize=2509784 CPUtime=650.61 cores=4-31
/proc/27539/task/27559/stat : 27559 (plingeling) R 27534 27534 27508 0 -1 4202560 33938 1238 0 0 65027 33 0 1 25 0 29 0 721210487 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=27539/tid=27560] ppid=27534 vsize=2509784 CPUtime=651.27 cores=4-31
/proc/27539/task/27560/stat : 27560 (plingeling) R 27534 27534 27508 0 -1 4202560 48588 1238 0 0 65087 39 0 1 25 0 29 0 721210487 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4334575 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=27539/tid=27561] ppid=27534 vsize=2509784 CPUtime=651.24 cores=4-31
/proc/27539/task/27561/stat : 27561 (plingeling) R 27534 27534 27508 0 -1 4202560 34062 1238 0 0 65092 31 0 1 25 0 29 0 721210487 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4225594 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=27539/tid=27562] ppid=27534 vsize=2509784 CPUtime=651.39 cores=4-31
/proc/27539/task/27562/stat : 27562 (plingeling) R 27534 27534 27508 0 -1 4202560 35750 1238 0 0 65111 27 0 1 25 0 29 0 721210487 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4239163 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=27539/tid=27563] ppid=27534 vsize=2509784 CPUtime=651.43 cores=4-31
/proc/27539/task/27563/stat : 27563 (plingeling) R 27534 27534 27508 0 -1 4202560 42716 1238 0 0 65106 36 0 1 25 0 29 0 721210488 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=27539/tid=27564] ppid=27534 vsize=2509784 CPUtime=651.2 cores=4-31
/proc/27539/task/27564/stat : 27564 (plingeling) R 27534 27534 27508 0 -1 4202560 34603 1238 0 0 65105 14 0 1 25 0 29 0 721210488 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=27539/tid=27565] ppid=27534 vsize=2509784 CPUtime=651.49 cores=4-31
/proc/27539/task/27565/stat : 27565 (plingeling) R 27534 27534 27508 0 -1 4202560 22793 1238 0 0 65138 10 0 1 25 0 29 0 721210488 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=27539/tid=27566] ppid=27534 vsize=2509784 CPUtime=651.27 cores=4-31
/proc/27539/task/27566/stat : 27566 (plingeling) R 27534 27534 27508 0 -1 4202560 38277 1238 0 0 65106 20 0 1 25 0 29 0 721210489 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4330786 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=27539/tid=27567] ppid=27534 vsize=2509784 CPUtime=651.47 cores=4-31
/proc/27539/task/27567/stat : 27567 (plingeling) R 27534 27534 27508 0 -1 4202560 40101 1238 0 0 65110 36 0 1 25 0 29 0 721210489 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=27539/tid=27568] ppid=27534 vsize=2509784 CPUtime=650.52 cores=4-31
/proc/27539/task/27568/stat : 27568 (plingeling) R 27534 27534 27508 0 -1 4202560 45309 1238 0 0 65015 36 0 1 25 0 29 0 721210489 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=27539/tid=27569] ppid=27534 vsize=2509784 CPUtime=650.94 cores=4-31
/proc/27539/task/27569/stat : 27569 (plingeling) R 27534 27534 27508 0 -1 4202560 35008 1238 0 0 65057 36 0 1 25 0 29 0 721210489 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=27539/tid=27570] ppid=27534 vsize=2509784 CPUtime=651.6 cores=4-31
/proc/27539/task/27570/stat : 27570 (plingeling) R 27534 27534 27508 0 -1 4202560 49007 1238 0 0 65123 36 0 1 25 0 29 0 721210489 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4330896 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=27539/tid=27571] ppid=27534 vsize=2509784 CPUtime=651.16 cores=4-31
/proc/27539/task/27571/stat : 27571 (plingeling) R 27534 27534 27508 0 -1 4202560 36024 1238 0 0 65099 16 0 1 25 0 29 0 721210489 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27539/tid=27572] ppid=27534 vsize=2509784 CPUtime=651.04 cores=4-31
/proc/27539/task/27572/stat : 27572 (plingeling) R 27534 27534 27508 0 -1 4202560 40888 1238 0 0 65069 34 0 1 25 0 29 0 721210489 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=27539/tid=27573] ppid=27534 vsize=2509784 CPUtime=651.35 cores=4-31
/proc/27539/task/27573/stat : 27573 (plingeling) R 27534 27534 27508 0 -1 4202560 32751 1238 0 0 65121 13 0 1 25 0 29 0 721210489 2570018816 501399 268435456000 4194304 4356188 140733595299472 18446744073709551615 4236939 0 0 4096 17442 0 0 0 -1 10 0 0 0
Current children cumulated CPU time (s) 21159.7
Current children cumulated vsize (KiB) 7276884
[startup+719.302 s]
/proc/loadavg: 32.12 31.48 31.05 3/416 27591
/proc/meminfo: memFree=254780332/264257624 swapFree=67111528/67111528
[pid=27534] ppid=27532 vsize=18324 CPUtime=2876.6 cores=0-31
/proc/27534/stat : 27534 (ppfolio) S 27532 27534 27508 0 -1 4202496 515 855396 0 0 0 0 287388 272 15 0 1 0 721203771 18763776 387 268435456000 4194304 4287625 140736475071232 18446744073709551615 258650975999 0 0 4096 65536 9192446627351101439 0 0 17 16 0 0 0
/proc/27534/statm: 4581 387 338 23 0 91 0
[pid=27539] ppid=27534 vsize=0 CPUtime=18285.5 cores=4-31
/proc/27539/stat : 27539 (plingeling) R 27534 27534 27508 0 -1 4202500 1551047 1238 0 0 1827661 890 0 1 17 0 1 0 721203771 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 25 0 0 0
/proc/27539/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 21162.1
Current children cumulated vsize (KiB) 18324
Child status: 0
Real time (s): 719.352
CPU time (s): 21162.2
CPU user time (s): 21150.5
CPU system time (s): 11.6802
CPU usage (%): 2941.84
Max. virtual memory (cumulated for all children) (KiB): 9177360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21150.5
system time used= 11.6802
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2408216
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= 3503
involuntary context switches= 51576
runsolver used 3.83042 second user time and 15.8316 second system time
The end
Begin job on node200 at 2011-05-22 22:46:14
IDJOB=3347645
IDBENCH=84246
IDSOLVER=1808
FILE ID=node200/3347645-1306097171
RUNJOBID= node200-1306097171-27522
PBS_JOBID= 13387820
Free space on /tmp= 62020 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT03/industrial/schuppan/l2s/bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347645-1306097171/watcher-3347645-1306097171 -o /tmp/evaluation-result-3347645-1306097171/solver-3347645-1306097171 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347645-1306097171.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= f16626953757fdd1326f2a14f01adca9
RANDOM SEED=836981976
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: 255414364 kB
Buffers: 455772 kB
Cached: 7971848 kB
SwapCached: 0 kB
Active: 7514596 kB
Inactive: 982224 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255414364 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 37448 kB
Writeback: 8 kB
AnonPages: 68976 kB
Mapped: 14480 kB
Slab: 254596 kB
PageTables: 4432 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 197404 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= 62008 MiB
End job on node200 at 2011-05-22 22:58:13