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
57215.38/1916.15 s UNSATISFIABLE
57216.09/1916.55 solver [5] plingeling 276-6264d55-100731 answered
57216.09/1916.55 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-3347207-1304850879/watcher-3347207-1304850879 -o /tmp/evaluation-result-3347207-1304850879/solver-3347207-1304850879 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347207-1304850879.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 27.32 31.11 30.45 1/413 19086
/proc/meminfo: memFree=256689436/264257624 swapFree=67111528/67111528
[pid=19086] ppid=19084 vsize=18324 CPUtime=0 cores=0-31
/proc/19086/stat : 19086 (ppfolio) S 19084 19086 19060 0 -1 4202496 515 0 0 0 0 0 0 0 23 0 1 0 596574603 18763776 386 268435456000 4194304 4287625 140737483151440 18446744073709551615 258650975999 0 0 4096 65536 9184097348366630911 0 0 17 12 0 0 0
/proc/19086/statm: 4581 386 337 23 0 91 0
[startup+0.076591 s]
/proc/loadavg: 27.32 31.11 30.45 1/413 19086
/proc/meminfo: memFree=256689436/264257624 swapFree=67111528/67111528
[pid=19086] ppid=19084 vsize=18324 CPUtime=0 cores=0-31
/proc/19086/stat : 19086 (ppfolio) S 19084 19086 19060 0 -1 4202496 515 0 0 0 0 0 0 0 23 0 1 0 596574603 18763776 386 268435456000 4194304 4287625 140737483151440 18446744073709551615 258650975999 0 0 4096 65536 9184097348366630911 0 0 17 12 0 0 0
/proc/19086/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.100571 s]
/proc/loadavg: 27.32 31.11 30.45 1/413 19086
/proc/meminfo: memFree=256689436/264257624 swapFree=67111528/67111528
[pid=19086] ppid=19084 vsize=18324 CPUtime=0 cores=0-31
/proc/19086/stat : 19086 (ppfolio) S 19084 19086 19060 0 -1 4202496 515 0 0 0 0 0 0 0 23 0 1 0 596574603 18763776 386 268435456000 4194304 4287625 140737483151440 18446744073709551615 258650975999 0 0 4096 65536 9184097348366630911 0 0 17 12 0 0 0
/proc/19086/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300623 s]
/proc/loadavg: 27.32 31.11 30.45 1/413 19086
/proc/meminfo: memFree=256689436/264257624 swapFree=67111528/67111528
[pid=19086] ppid=19084 vsize=18324 CPUtime=0 cores=0-31
/proc/19086/stat : 19086 (ppfolio) S 19084 19086 19060 0 -1 4202496 515 0 0 0 0 0 0 0 23 0 1 0 596574603 18763776 386 268435456000 4194304 4287625 140737483151440 18446744073709551615 258650975999 0 0 4096 65536 9184097348366630911 0 0 17 12 0 0 0
/proc/19086/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700565 s]
/proc/loadavg: 27.32 31.11 30.45 1/413 19086
/proc/meminfo: memFree=256689436/264257624 swapFree=67111528/67111528
[pid=19086] ppid=19084 vsize=18324 CPUtime=0 cores=0-31
/proc/19086/stat : 19086 (ppfolio) S 19084 19086 19060 0 -1 4202496 515 0 0 0 0 0 0 0 23 0 1 0 596574603 18763776 386 268435456000 4194304 4287625 140737483151440 18446744073709551615 258650975999 0 0 4096 65536 9184097348366630911 0 0 17 12 0 0 0
/proc/19086/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.5006 s]
/proc/loadavg: 27.32 31.11 30.45 6/419 19097
/proc/meminfo: memFree=256314636/264257624 swapFree=67111528/67111528
[pid=19086] ppid=19084 vsize=18324 CPUtime=1.37 cores=0-31
/proc/19086/stat : 19086 (ppfolio) S 19084 19086 19060 0 -1 4202496 517 9043 0 0 0 0 125 12 18 0 1 0 596574603 18763776 387 268435456000 4194304 4287625 140737483151440 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 12 0 0 0
/proc/19086/statm: 4581 387 338 23 0 91 0
[pid=19087] ppid=19086 vsize=234604 CPUtime=1.49 cores=0
/proc/19087/stat : 19087 (cryptominisat) R 19086 19086 19060 0 -1 4202496 48069 0 0 0 134 15 0 0 20 0 1 0 596574603 240234496 47166 268435456000 4194304 4587354 140734549085904 18446744073709551615 258650616632 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19087/statm: 58651 47168 287 96 0 55213 0
[pid=19088] ppid=19086 vsize=178392 CPUtime=1.49 cores=1
/proc/19088/stat : 19088 (clasp) R 19086 19086 19060 0 -1 4202496 54572 0 0 0 129 20 0 0 20 0 1 0 596574603 182673408 40703 268435456000 4194304 4785740 140735761116128 18446744073709551615 258650955760 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/19088/statm: 44598 40704 306 145 0 41643 0
[pid=19090] ppid=19086 vsize=115336 CPUtime=1.48 cores=3
/proc/19090/stat : 19090 (march_hi) R 19086 19086 19060 0 -1 4194304 25733 0 0 0 138 10 0 0 20 0 1 0 596574603 118104064 25629 268435456000 4194304 4331988 140734338077856 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19090/statm: 28834 25629 112 34 0 27276 0
[pid=19091] ppid=19086 vsize=135176 CPUtime=1.49 cores=4-31
/proc/19091/stat : 19091 (plingeling) R 19086 19086 19060 0 -1 4202496 32568 1240 0 0 141 7 0 1 21 0 1 0 596574603 138420224 32453 268435456000 4194304 4356188 140735109916928 18446744073709551615 4278489 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/19091/statm: 33794 32453 129 40 0 32338 0
Current children cumulated CPU time (s) 7.32
Current children cumulated vsize (KiB) 681832
[startup+3.10067 s]
/proc/loadavg: 25.45 30.66 30.31 5/418 19097
/proc/meminfo: memFree=255838752/264257624 swapFree=67111528/67111528
[pid=19086] ppid=19084 vsize=18324 CPUtime=1.37 cores=0-31
/proc/19086/stat : 19086 (ppfolio) S 19084 19086 19060 0 -1 4202496 517 9043 0 0 0 0 125 12 15 0 1 0 596574603 18763776 387 268435456000 4194304 4287625 140737483151440 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633296 0 0 17 12 0 0 0
/proc/19086/statm: 4581 387 338 23 0 91 0
[pid=19087] ppid=19086 vsize=287904 CPUtime=3.08 cores=0
/proc/19087/stat : 19087 (cryptominisat) R 19086 19086 19060 0 -1 4202496 65443 0 0 0 289 19 0 0 25 0 1 0 596574603 294813696 63921 268435456000 4194304 4587354 140734549085904 18446744073709551615 258650616632 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19087/statm: 71976 63923 305 96 0 68538 0
[pid=19088] ppid=19086 vsize=276300 CPUtime=3.08 cores=1
/proc/19088/stat : 19088 (clasp) R 19086 19086 19060 0 -1 4202496 80264 0 0 0 284 24 0 0 25 0 1 0 596574603 282931200 64851 268435456000 4194304 4785740 140735761116128 18446744073709551615 4495784 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/19088/statm: 69075 64851 316 145 0 66120 0
[pid=19090] ppid=19086 vsize=331280 CPUtime=3.08 cores=3
/proc/19090/stat : 19090 (march_hi) R 19086 19086 19060 0 -1 4194304 49893 0 0 0 290 18 0 0 25 0 1 0 596574603 339230720 49784 268435456000 4194304 4331988 140734338077856 18446744073709551615 4256848 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19090/statm: 82820 49784 115 34 0 81262 0
[pid=19091] ppid=19086 vsize=215060 CPUtime=3.09 cores=4-31
/proc/19091/stat : 19091 (plingeling) R 19086 19086 19060 0 -1 4202496 52507 1240 0 0 296 12 0 1 25 0 1 0 596574603 220221440 52392 268435456000 4194304 4356188 140735109916928 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/19091/statm: 53765 52397 129 40 0 52309 0
Current children cumulated CPU time (s) 13.7
Current children cumulated vsize (KiB) 1128868
[startup+6.30078 s]
/proc/loadavg: 25.45 30.66 30.31 5/418 19097
/proc/meminfo: memFree=255407808/264257624 swapFree=67111528/67111528
[pid=19086] ppid=19084 vsize=18324 CPUtime=1.37 cores=0-31
/proc/19086/stat : 19086 (ppfolio) S 19084 19086 19060 0 -1 4202496 517 9043 0 0 0 0 125 12 15 0 1 0 596574603 18763776 387 268435456000 4194304 4287625 140737483151440 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633296 0 0 17 12 0 0 0
/proc/19086/statm: 4581 387 338 23 0 91 0
[pid=19087] ppid=19086 vsize=421144 CPUtime=6.29 cores=0
/proc/19087/stat : 19087 (cryptominisat) R 19086 19086 19060 0 -1 4202496 98256 0 0 0 601 28 0 0 25 0 1 0 596574603 431251456 96734 268435456000 4194304 4587354 140734549085904 18446744073709551615 4365236 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19087/statm: 105286 96734 308 96 0 101848 0
[pid=19088] ppid=19086 vsize=276300 CPUtime=6.28 cores=1
/proc/19088/stat : 19088 (clasp) R 19086 19086 19060 0 -1 4202496 80264 0 0 0 604 24 0 0 25 0 1 0 596574603 282931200 64851 268435456000 4194304 4785740 140735761116128 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/19088/statm: 69075 64851 316 145 0 66120 0
[pid=19090] ppid=19086 vsize=423192 CPUtime=6.28 cores=3
/proc/19090/stat : 19090 (march_hi) R 19086 19086 19060 0 -1 4194304 93995 0 0 0 601 27 0 0 25 0 1 0 596574603 433348608 72777 268435456000 4194304 4331988 140734338077856 18446744073709551615 258650604586 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19090/statm: 105798 72777 126 34 0 104240 0
[pid=19091] ppid=19086 vsize=462952 CPUtime=6.28 cores=4-31
/proc/19091/stat : 19091 (plingeling) R 19086 19086 19060 0 -1 4202496 114516 1240 0 0 604 23 0 1 25 0 1 0 596574603 474062848 114397 268435456000 4194304 4356188 140735109916928 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/19091/statm: 115738 114397 129 40 0 114282 0
Current children cumulated CPU time (s) 26.5
Current children cumulated vsize (KiB) 1601912
[startup+12.701 s]
/proc/loadavg: 22.16 29.78 30.02 5/418 19097
/proc/meminfo: memFree=254783172/264257624 swapFree=67111528/67111528
[pid=19086] ppid=19084 vsize=18324 CPUtime=1.37 cores=0-31
/proc/19086/stat : 19086 (ppfolio) S 19084 19086 19060 0 -1 4202496 517 9043 0 0 0 0 125 12 15 0 1 0 596574603 18763776 387 268435456000 4194304 4287625 140737483151440 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633296 0 0 17 12 0 0 0
/proc/19086/statm: 4581 387 338 23 0 91 0
[pid=19087] ppid=19086 vsize=422088 CPUtime=12.68 cores=0
/proc/19087/stat : 19087 (cryptominisat) R 19086 19086 19060 0 -1 4202496 98397 0 0 0 1240 28 0 0 25 0 1 0 596574603 432218112 96875 268435456000 4194304 4587354 140734549085904 18446744073709551615 4367402 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19087/statm: 105522 96875 309 96 0 102084 0
[pid=19088] ppid=19086 vsize=299936 CPUtime=12.68 cores=1
/proc/19088/stat : 19088 (clasp) R 19086 19086 19060 0 -1 4202496 86150 0 0 0 1242 26 0 0 25 0 1 0 596574603 307134464 70737 268435456000 4194304 4785740 140735761116128 18446744073709551615 4500020 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/19088/statm: 74984 70737 317 145 0 72029 0
[pid=19090] ppid=19086 vsize=406220 CPUtime=12.69 cores=3
/proc/19090/stat : 19090 (march_hi) R 19086 19086 19060 0 -1 4202496 173088 0 0 0 1223 46 0 0 25 0 1 0 596574603 415969280 65900 268435456000 4194304 4331988 140734338077856 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19090/statm: 101555 65904 148 34 0 99997 0
[pid=19091] ppid=19086 vsize=916392 CPUtime=12.69 cores=4-31
/proc/19091/stat : 19091 (plingeling) R 19086 19086 19060 0 -1 4202496 227876 1240 0 0 1222 46 0 1 18 0 1 0 596574603 938385408 227757 268435456000 4194304 4356188 140735109916928 18446744073709551615 4213224 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/19091/statm: 229098 227757 129 40 0 227642 0
Current children cumulated CPU time (s) 52.11
Current children cumulated vsize (KiB) 2062960
[startup+25.5004 s]
/proc/loadavg: 19.36 28.93 29.75 5/418 19097
/proc/meminfo: memFree=253741760/264257624 swapFree=67111528/67111528
[pid=19086] ppid=19084 vsize=18324 CPUtime=1.37 cores=0-31
/proc/19086/stat : 19086 (ppfolio) S 19084 19086 19060 0 -1 4202496 517 9043 0 0 0 0 125 12 15 0 1 0 596574603 18763776 387 268435456000 4194304 4287625 140737483151440 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633296 0 0 17 12 0 0 0
/proc/19086/statm: 4581 387 338 23 0 91 0
[pid=19087] ppid=19086 vsize=648996 CPUtime=25.48 cores=0
/proc/19087/stat : 19087 (cryptominisat) R 19086 19086 19060 0 -1 4202496 209512 0 0 0 2495 53 0 0 25 0 1 0 596574603 664571904 140884 268435456000 4194304 4587354 140734549085904 18446744073709551615 4237467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19087/statm: 162249 140884 327 96 0 158811 0
[pid=19088] ppid=19086 vsize=280352 CPUtime=25.48 cores=1
/proc/19088/stat : 19088 (clasp) R 19086 19086 19060 0 -1 4202496 88170 0 0 0 2522 26 0 0 25 0 1 0 596574603 287080448 66446 268435456000 4194304 4785740 140735761116128 18446744073709551615 4552628 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/19088/statm: 70088 66446 338 145 0 67133 0
[pid=19090] ppid=19086 vsize=398524 CPUtime=25.48 cores=3
/proc/19090/stat : 19090 (march_hi) R 19086 19086 19060 0 -1 4202496 344460 0 0 0 2463 85 0 0 25 0 1 0 596574603 408088576 66500 268435456000 4194304 4331988 140734338077856 18446744073709551615 4226645 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19090/statm: 99631 66500 151 34 0 98073 0
[pid=19091] ppid=19086 vsize=1824332 CPUtime=25.48 cores=4-31
/proc/19091/stat : 19091 (plingeling) R 19086 19086 19060 0 -1 4202496 454894 1240 0 0 2459 88 0 1 25 0 1 0 596574603 1868115968 454742 268435456000 4194304 4356188 140735109916928 18446744073709551615 4277592 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/19091/statm: 456083 454742 129 40 0 454627 0
Current children cumulated CPU time (s) 103.29
Current children cumulated vsize (KiB) 3170528
[startup+51.1024 s]
/proc/loadavg: 16.28 27.37 29.20 8/446 19125
/proc/meminfo: memFree=253040904/264257624 swapFree=67111528/67111528
[pid=19086] ppid=19084 vsize=18324 CPUtime=1.37 cores=0-31
/proc/19086/stat : 19086 (ppfolio) S 19084 19086 19060 0 -1 4202496 517 9043 0 0 0 0 125 12 15 0 1 0 596574603 18763776 387 268435456000 4194304 4287625 140737483151440 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633296 0 0 17 12 0 0 0
/proc/19086/statm: 4581 387 338 23 0 91 0
[pid=19087] ppid=19086 vsize=799000 CPUtime=51.08 cores=0
/proc/19087/stat : 19087 (cryptominisat) R 19086 19086 19060 0 -1 4202496 210297 0 0 0 5054 54 0 0 25 0 1 0 596574603 818176000 141650 268435456000 4194304 4587354 140734549085904 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19087/statm: 199750 141650 327 96 0 196312 0
[pid=19088] ppid=19086 vsize=280352 CPUtime=51.07 cores=1
/proc/19088/stat : 19088 (clasp) R 19086 19086 19060 0 -1 4202496 88171 0 0 0 5081 26 0 0 25 0 1 0 596574603 287080448 66447 268435456000 4194304 4785740 140735761116128 18446744073709551615 4550305 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/19088/statm: 70088 66447 338 145 0 67133 0
[pid=19090] ppid=19086 vsize=417848 CPUtime=51.08 cores=3
/proc/19090/stat : 19090 (march_hi) R 19086 19086 19060 0 -1 4202496 349158 0 0 0 5021 87 0 0 25 0 1 0 596574603 427876352 71198 268435456000 4194304 4331988 140734338077856 18446744073709551615 4271184 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19090/statm: 104462 71198 151 34 0 102904 0
[pid=19091] ppid=19086 vsize=3129380 CPUtime=211.05 cores=4-31
/proc/19091/stat : 19091 (plingeling) S 19086 19086 19060 0 -1 4202496 1700741 1240 0 0 19302 1802 0 1 20 0 29 0 596574603 3204485120 652860 268435456000 4194304 4356188 140735109916928 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/19091/statm: 782345 652860 154 40 0 780889 0
[pid=19091/tid=19098] ppid=19086 vsize=3129380 CPUtime=5.96 cores=4-31
/proc/19091/task/19098/stat : 19098 (plingeling) D 19086 19086 19060 0 -1 4202560 35065 1240 0 0 531 64 0 1 17 0 29 0 596578948 3204485120 652860 268435456000 4194304 4356188 140735109916928 18446744073709551615 258650616986 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=19091/tid=19099] ppid=19086 vsize=3129380 CPUtime=6.11 cores=4-31
/proc/19091/task/19099/stat : 19099 (plingeling) R 19086 19086 19060 0 -1 4202560 34907 1240 0 0 551 59 0 1 19 0 29 0 596578948 3204485120 652860 268435456000 4194304 4356188 140735109916928 18446744073709551615 4212579 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=19091/tid=19100] ppid=19086 vsize=3129380 CPUtime=6.86 cores=4-31
/proc/19091/task/19100/stat : 19100 (plingeling) R 19086 19086 19060 0 -1 4202560 52740 1240 0 0 633 52 0 1 20 0 29 0 596578948 3204485120 652860 268435456000 4194304 4356188 140735109916928 18446744073709551615 4322000 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=19091/tid=19101] ppid=19086 vsize=3129380 CPUtime=6.16 cores=4-31
/proc/19091/task/19101/stat : 19101 (plingeling) S 19086 19086 19060 0 -1 4202560 35565 1240 0 0 566 49 0 1 18 0 29 0 596578949 3204485120 652860 268435456000 4194304 4356188 140735109916928 18446744073709551615 258651060958 0 0 4096 17442 18446604571979726304 0 0 -1 7 0 0 0
[pid=19091/tid=19102] ppid=19086 vsize=3129380 CPUtime=6.3 cores=4-31
/proc/19091/task/19102/stat : 19102 (plingeling) D 19086 19086 19060 0 -1 4202560 33409 1240 0 0 542 87 0 1 20 0 29 0 596578949 3204485120 652860 268435456000 4194304 4356188 140735109916928 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=19091/tid=19103] ppid=19086 vsize=3129380 CPUtime=6.13 cores=4-31
/proc/19091/task/19103/stat : 19103 (plingeling) D 19086 19086 19060 0 -1 4202560 33409 1240 0 0 560 52 0 1 19 0 29 0 596578949 3204485120 652860 268435456000 4194304 4356188 140735109916928 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=19091/tid=19104] ppid=19086 vsize=3129380 CPUtime=5.79 cores=4-31
################
# More data... #
################
[pid=19091/tid=19103] ppid=19086 vsize=5592572 CPUtime=1823.87 cores=4-31
/proc/19091/task/19103/stat : 19103 (plingeling) R 19086 19086 19060 0 -1 4202560 666110 1240 0 0 182174 212 0 1 25 0 29 0 596578949 5726793728 1263289 268435456000 4194304 4356188 140735109916928 18446744073709551615 4334501 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=19091/tid=19104] ppid=19086 vsize=5592572 CPUtime=1866 cores=4-31
/proc/19091/task/19104/stat : 19104 (plingeling) R 19086 19086 19060 0 -1 4202560 682871 1240 0 0 186367 232 0 1 25 0 29 0 596578949 5726793728 1263289 268435456000 4194304 4356188 140735109916928 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=19091/tid=19105] ppid=19086 vsize=5592572 CPUtime=1841.72 cores=4-31
/proc/19091/task/19105/stat : 19105 (plingeling) R 19086 19086 19060 0 -1 4202560 682523 1240 0 0 183947 224 0 1 25 0 29 0 596578949 5726793728 1263289 268435456000 4194304 4356188 140735109916928 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=19091/tid=19106] ppid=19086 vsize=5592572 CPUtime=1804.15 cores=4-31
/proc/19091/task/19106/stat : 19106 (plingeling) R 19086 19086 19060 0 -1 4202560 689592 1240 0 0 180188 226 0 1 25 0 29 0 596578949 5726793728 1263289 268435456000 4194304 4356188 140735109916928 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=19091/tid=19107] ppid=19086 vsize=5592572 CPUtime=1806.42 cores=4-31
/proc/19091/task/19107/stat : 19107 (plingeling) R 19086 19086 19060 0 -1 4202560 636168 1240 0 0 180410 231 0 1 25 0 29 0 596578950 5726793728 1263289 268435456000 4194304 4356188 140735109916928 18446744073709551615 4331401 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=19091/tid=19108] ppid=19086 vsize=5592572 CPUtime=1852.83 cores=4-31
/proc/19091/task/19108/stat : 19108 (plingeling) R 19086 19086 19060 0 -1 4202560 656186 1240 0 0 185072 210 0 1 25 0 29 0 596578950 5726793728 1263289 268435456000 4194304 4356188 140735109916928 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=19091/tid=19109] ppid=19086 vsize=5592572 CPUtime=1778.11 cores=4-31
/proc/19091/task/19109/stat : 19109 (plingeling) R 19086 19086 19060 0 -1 4202560 604399 1240 0 0 177599 211 0 1 25 0 29 0 596578950 5726793728 1263289 268435456000 4194304 4356188 140735109916928 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=19091/tid=19110] ppid=19086 vsize=5592572 CPUtime=1826.79 cores=4-31
/proc/19091/task/19110/stat : 19110 (plingeling) R 19086 19086 19060 0 -1 4202560 625065 1240 0 0 182418 260 0 1 25 0 29 0 596578950 5726793728 1263289 268435456000 4194304 4356188 140735109916928 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=19091/tid=19111] ppid=19086 vsize=5592572 CPUtime=1744.68 cores=4-31
/proc/19091/task/19111/stat : 19111 (plingeling) R 19086 19086 19060 0 -1 4202560 658733 1240 0 0 174249 218 0 1 25 0 29 0 596578950 5726793728 1263289 268435456000 4194304 4356188 140735109916928 18446744073709551615 4239130 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=19091/tid=19112] ppid=19086 vsize=5592572 CPUtime=1826.48 cores=4-31
/proc/19091/task/19112/stat : 19112 (plingeling) R 19086 19086 19060 0 -1 4202560 677371 1240 0 0 182410 237 0 1 25 0 29 0 596578951 5726793728 1263289 268435456000 4194304 4356188 140735109916928 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=19091/tid=19113] ppid=19086 vsize=5592572 CPUtime=1834.49 cores=4-31
/proc/19091/task/19113/stat : 19113 (plingeling) R 19086 19086 19060 0 -1 4202560 706229 1240 0 0 183209 239 0 1 25 0 29 0 596578951 5726793728 1263289 268435456000 4194304 4356188 140735109916928 18446744073709551615 4331345 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=19091/tid=19114] ppid=19086 vsize=5592572 CPUtime=1849.9 cores=4-31
/proc/19091/task/19114/stat : 19114 (plingeling) R 19086 19086 19060 0 -1 4202560 721861 1240 0 0 184723 266 0 1 25 0 29 0 596578951 5726793728 1263289 268435456000 4194304 4356188 140735109916928 18446744073709551615 4334501 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=19091/tid=19115] ppid=19086 vsize=5592572 CPUtime=1865.68 cores=4-31
/proc/19091/task/19115/stat : 19115 (plingeling) R 19086 19086 19060 0 -1 4202560 668235 1240 0 0 186348 219 0 1 25 0 29 0 596578951 5726793728 1263289 268435456000 4194304 4356188 140735109916928 18446744073709551615 4331319 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=19091/tid=19116] ppid=19086 vsize=5592572 CPUtime=1854.79 cores=4-31
/proc/19091/task/19116/stat : 19116 (plingeling) R 19086 19086 19060 0 -1 4202560 635997 1240 0 0 185252 226 0 1 25 0 29 0 596578951 5726793728 1263289 268435456000 4194304 4356188 140735109916928 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=19091/tid=19117] ppid=19086 vsize=5592572 CPUtime=1856.03 cores=4-31
/proc/19091/task/19117/stat : 19117 (plingeling) R 19086 19086 19060 0 -1 4202560 620310 1240 0 0 185414 188 0 1 25 0 29 0 596578951 5726793728 1263289 268435456000 4194304 4356188 140735109916928 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=19091/tid=19118] ppid=19086 vsize=5592572 CPUtime=1851.03 cores=4-31
/proc/19091/task/19118/stat : 19118 (plingeling) R 19086 19086 19060 0 -1 4202560 733453 1240 0 0 184858 244 0 1 25 0 29 0 596578952 5726793728 1263289 268435456000 4194304 4356188 140735109916928 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=19091/tid=19119] ppid=19086 vsize=5592572 CPUtime=1867.47 cores=4-31
/proc/19091/task/19119/stat : 19119 (plingeling) R 19086 19086 19060 0 -1 4202560 712038 1240 0 0 186526 220 0 1 25 0 29 0 596578953 5726793728 1263289 268435456000 4194304 4356188 140735109916928 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=19091/tid=19120] ppid=19086 vsize=5592572 CPUtime=1809.14 cores=4-31
/proc/19091/task/19120/stat : 19120 (plingeling) R 19086 19086 19060 0 -1 4202560 688270 1240 0 0 180686 227 0 1 25 0 29 0 596578954 5726793728 1263289 268435456000 4194304 4356188 140735109916928 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=19091/tid=19121] ppid=19086 vsize=5592572 CPUtime=1867.14 cores=4-31
/proc/19091/task/19121/stat : 19121 (plingeling) R 19086 19086 19060 0 -1 4202560 692032 1240 0 0 186467 246 0 1 25 0 29 0 596578954 5726793728 1263289 268435456000 4194304 4356188 140735109916928 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=19091/tid=19122] ppid=19086 vsize=5592572 CPUtime=1865.98 cores=4-31
/proc/19091/task/19122/stat : 19122 (plingeling) R 19086 19086 19060 0 -1 4202560 415935 1240 0 0 186392 205 0 1 25 0 29 0 596578954 5726793728 1263289 268435456000 4194304 4356188 140735109916928 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=19091/tid=19123] ppid=19086 vsize=5592572 CPUtime=1866 cores=4-31
/proc/19091/task/19123/stat : 19123 (plingeling) R 19086 19086 19060 0 -1 4202560 694760 1240 0 0 186365 234 0 1 25 0 29 0 596578954 5726793728 1263289 268435456000 4194304 4356188 140735109916928 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=19091/tid=19124] ppid=19086 vsize=5592572 CPUtime=1819.23 cores=4-31
/proc/19091/task/19124/stat : 19124 (plingeling) R 19086 19086 19060 0 -1 4202560 701761 1240 0 0 181701 221 0 1 25 0 29 0 596578954 5726793728 1263289 268435456000 4194304 4356188 140735109916928 18446744073709551615 4331803 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=19091/tid=19125] ppid=19086 vsize=5592572 CPUtime=1866.13 cores=4-31
/proc/19091/task/19125/stat : 19125 (plingeling) R 19086 19086 19060 0 -1 4202560 632090 1240 0 0 186377 235 0 1 25 0 29 0 596578954 5726793728 1263289 268435456000 4194304 4356188 140735109916928 18446744073709551615 4260245 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 57142.1
Current children cumulated vsize (KiB) 19944272
[startup+1915.12 s]
/proc/loadavg: 31.07 31.03 30.76 32/446 19184
/proc/meminfo: memFree=242040536/264257624 swapFree=67111528/67111528
[pid=19086] ppid=19084 vsize=18324 CPUtime=1.37 cores=0-31
/proc/19086/stat : 19086 (ppfolio) S 19084 19086 19060 0 -1 4202496 517 9043 0 0 0 0 125 12 15 0 1 0 596574603 18763776 387 268435456000 4194304 4287625 140737483151440 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633296 0 0 17 12 0 0 0
/proc/19086/statm: 4581 387 338 23 0 91 0
[pid=19087] ppid=19086 vsize=2542184 CPUtime=1914.75 cores=0
/proc/19087/stat : 19087 (cryptominisat) R 19086 19086 19060 0 -1 4202496 742402 0 0 0 191249 226 0 0 25 0 1 0 596574603 2603196416 136673 268435456000 4194304 4587354 140734549085904 18446744073709551615 4250223 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19087/statm: 635546 136673 334 96 0 632108 0
[pid=19088] ppid=19086 vsize=1430440 CPUtime=1914.75 cores=1
/proc/19088/stat : 19088 (clasp) R 19086 19086 19060 0 -1 4202496 370658 0 0 0 191273 202 0 0 25 0 1 0 596574603 1464770560 348934 268435456000 4194304 4785740 140735761116128 18446744073709551615 258650652667 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/19088/statm: 357610 348934 338 145 0 354655 0
[pid=19090] ppid=19086 vsize=10360752 CPUtime=1914.75 cores=3
/proc/19090/stat : 19090 (march_hi) R 19086 19086 19060 0 -1 4202496 7719624 0 0 0 189667 1808 0 0 25 0 1 0 596574603 10609410048 1897586 268435456000 4194304 4331988 140734338077856 18446744073709551615 4210448 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19090/statm: 2590188 1897586 173 34 0 2588630 0
[pid=19091] ppid=19086 vsize=5592468 CPUtime=51446.7 cores=4-31
/proc/19091/stat : 19091 (plingeling) S 19086 19086 19060 0 -1 4202496 19314986 1240 0 0 5138092 6575 0 1 20 0 29 0 596574603 5726687232 1263263 268435456000 4194304 4356188 140735109916928 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/19091/statm: 1398117 1263263 159 40 0 1396661 0
[pid=19091/tid=19098] ppid=19086 vsize=5592468 CPUtime=1781.11 cores=4-31
/proc/19091/task/19098/stat : 19098 (plingeling) R 19086 19086 19060 0 -1 4202560 643900 1240 0 0 177894 216 0 1 25 0 29 0 596578948 5726687232 1263263 268435456000 4194304 4356188 140735109916928 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=19091/tid=19099] ppid=19086 vsize=5592468 CPUtime=1817.13 cores=4-31
/proc/19091/task/19099/stat : 19099 (plingeling) R 19086 19086 19060 0 -1 4202560 698977 1240 0 0 181461 251 0 1 25 0 29 0 596578948 5726687232 1263263 268435456000 4194304 4356188 140735109916928 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=19091/tid=19100] ppid=19086 vsize=5592468 CPUtime=1866.64 cores=4-31
/proc/19091/task/19100/stat : 19100 (plingeling) R 19086 19086 19060 0 -1 4202560 729030 1240 0 0 186419 244 0 1 25 0 29 0 596578948 5726687232 1263263 268435456000 4194304 4356188 140735109916928 18446744073709551615 4279717 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=19091/tid=19101] ppid=19086 vsize=5592468 CPUtime=1787.68 cores=4-31
/proc/19091/task/19101/stat : 19101 (plingeling) R 19086 19086 19060 0 -1 4202560 614549 1240 0 0 178558 209 0 1 25 0 29 0 596578949 5726687232 1263263 268435456000 4194304 4356188 140735109916928 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=19091/tid=19102] ppid=19086 vsize=5592468 CPUtime=1869.43 cores=4-31
/proc/19091/task/19102/stat : 19102 (plingeling) R 19086 19086 19060 0 -1 4202560 742235 1240 0 0 186665 277 0 1 25 0 29 0 596578949 5726687232 1263263 268435456000 4194304 4356188 140735109916928 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=19091/tid=19103] ppid=19086 vsize=5592468 CPUtime=1825.49 cores=4-31
/proc/19091/task/19103/stat : 19103 (plingeling) R 19086 19086 19060 0 -1 4202560 666110 1240 0 0 182336 212 0 1 25 0 29 0 596578949 5726687232 1263263 268435456000 4194304 4356188 140735109916928 18446744073709551615 4237066 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=19091/tid=19104] ppid=19086 vsize=5592468 CPUtime=1867.62 cores=4-31
/proc/19091/task/19104/stat : 19104 (plingeling) R 19086 19086 19060 0 -1 4202560 682871 1240 0 0 186529 232 0 1 25 0 29 0 596578949 5726687232 1263263 268435456000 4194304 4356188 140735109916928 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=19091/tid=19105] ppid=19086 vsize=5592468 CPUtime=1843.34 cores=4-31
/proc/19091/task/19105/stat : 19105 (plingeling) R 19086 19086 19060 0 -1 4202560 682523 1240 0 0 184109 224 0 1 25 0 29 0 596578949 5726687232 1263263 268435456000 4194304 4356188 140735109916928 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=19091/tid=19106] ppid=19086 vsize=5592468 CPUtime=1805.71 cores=4-31
/proc/19091/task/19106/stat : 19106 (plingeling) R 19086 19086 19060 0 -1 4202560 689592 1240 0 0 180344 226 0 1 25 0 29 0 596578949 5726687232 1263263 268435456000 4194304 4356188 140735109916928 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=19091/tid=19107] ppid=19086 vsize=5592468 CPUtime=1808.04 cores=4-31
/proc/19091/task/19107/stat : 19107 (plingeling) R 19086 19086 19060 0 -1 4202560 636168 1240 0 0 180572 231 0 1 25 0 29 0 596578950 5726687232 1263263 268435456000 4194304 4356188 140735109916928 18446744073709551615 4332165 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=19091/tid=19108] ppid=19086 vsize=5592468 CPUtime=1854.45 cores=4-31
/proc/19091/task/19108/stat : 19108 (plingeling) R 19086 19086 19060 0 -1 4202560 656186 1240 0 0 185234 210 0 1 25 0 29 0 596578950 5726687232 1263263 268435456000 4194304 4356188 140735109916928 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=19091/tid=19109] ppid=19086 vsize=5592468 CPUtime=1779.73 cores=4-31
/proc/19091/task/19109/stat : 19109 (plingeling) R 19086 19086 19060 0 -1 4202560 604399 1240 0 0 177761 211 0 1 25 0 29 0 596578950 5726687232 1263263 268435456000 4194304 4356188 140735109916928 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=19091/tid=19110] ppid=19086 vsize=5592468 CPUtime=1828.41 cores=4-31
/proc/19091/task/19110/stat : 19110 (plingeling) R 19086 19086 19060 0 -1 4202560 625065 1240 0 0 182580 260 0 1 25 0 29 0 596578950 5726687232 1263263 268435456000 4194304 4356188 140735109916928 18446744073709551615 4279575 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=19091/tid=19111] ppid=19086 vsize=5592468 CPUtime=1746.3 cores=4-31
/proc/19091/task/19111/stat : 19111 (plingeling) R 19086 19086 19060 0 -1 4202560 658733 1240 0 0 174411 218 0 1 25 0 29 0 596578950 5726687232 1263263 268435456000 4194304 4356188 140735109916928 18446744073709551615 4241569 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=19091/tid=19112] ppid=19086 vsize=5592468 CPUtime=1828.1 cores=4-31
/proc/19091/task/19112/stat : 19112 (plingeling) R 19086 19086 19060 0 -1 4202560 677371 1240 0 0 182572 237 0 1 25 0 29 0 596578951 5726687232 1263263 268435456000 4194304 4356188 140735109916928 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=19091/tid=19113] ppid=19086 vsize=5592468 CPUtime=1836.11 cores=4-31
/proc/19091/task/19113/stat : 19113 (plingeling) R 19086 19086 19060 0 -1 4202560 706229 1240 0 0 183371 239 0 1 25 0 29 0 596578951 5726687232 1263263 268435456000 4194304 4356188 140735109916928 18446744073709551615 4330827 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=19091/tid=19114] ppid=19086 vsize=5592468 CPUtime=1851.52 cores=4-31
/proc/19091/task/19114/stat : 19114 (plingeling) R 19086 19086 19060 0 -1 4202560 721861 1240 0 0 184885 266 0 1 25 0 29 0 596578951 5726687232 1263263 268435456000 4194304 4356188 140735109916928 18446744073709551615 4236992 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=19091/tid=19115] ppid=19086 vsize=5592468 CPUtime=1867.3 cores=4-31
/proc/19091/task/19115/stat : 19115 (plingeling) R 19086 19086 19060 0 -1 4202560 668235 1240 0 0 186510 219 0 1 25 0 29 0 596578951 5726687232 1263263 268435456000 4194304 4356188 140735109916928 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=19091/tid=19116] ppid=19086 vsize=5592468 CPUtime=1856.41 cores=4-31
/proc/19091/task/19116/stat : 19116 (plingeling) R 19086 19086 19060 0 -1 4202560 635997 1240 0 0 185414 226 0 1 25 0 29 0 596578951 5726687232 1263263 268435456000 4194304 4356188 140735109916928 18446744073709551615 4334501 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=19091/tid=19117] ppid=19086 vsize=5592468 CPUtime=1857.65 cores=4-31
/proc/19091/task/19117/stat : 19117 (plingeling) R 19086 19086 19060 0 -1 4202560 620310 1240 0 0 185576 188 0 1 25 0 29 0 596578951 5726687232 1263263 268435456000 4194304 4356188 140735109916928 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=19091/tid=19118] ppid=19086 vsize=5592468 CPUtime=1852.66 cores=4-31
/proc/19091/task/19118/stat : 19118 (plingeling) R 19086 19086 19060 0 -1 4202560 733453 1240 0 0 185021 244 0 1 25 0 29 0 596578952 5726687232 1263263 268435456000 4194304 4356188 140735109916928 18446744073709551615 4241608 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=19091/tid=19119] ppid=19086 vsize=5592468 CPUtime=1869.09 cores=4-31
/proc/19091/task/19119/stat : 19119 (plingeling) R 19086 19086 19060 0 -1 4202560 712038 1240 0 0 186688 220 0 1 25 0 29 0 596578953 5726687232 1263263 268435456000 4194304 4356188 140735109916928 18446744073709551615 4330990 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=19091/tid=19120] ppid=19086 vsize=5592468 CPUtime=1810.76 cores=4-31
/proc/19091/task/19120/stat : 19120 (plingeling) R 19086 19086 19060 0 -1 4202560 688270 1240 0 0 180848 227 0 1 25 0 29 0 596578954 5726687232 1263263 268435456000 4194304 4356188 140735109916928 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=19091/tid=19121] ppid=19086 vsize=5592468 CPUtime=1868.76 cores=4-31
/proc/19091/task/19121/stat : 19121 (plingeling) R 19086 19086 19060 0 -1 4202560 692032 1240 0 0 186629 246 0 1 25 0 29 0 596578954 5726687232 1263263 268435456000 4194304 4356188 140735109916928 18446744073709551615 4236939 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=19091/tid=19122] ppid=19086 vsize=5592468 CPUtime=1867.6 cores=4-31
/proc/19091/task/19122/stat : 19122 (plingeling) R 19086 19086 19060 0 -1 4202560 415935 1240 0 0 186554 205 0 1 25 0 29 0 596578954 5726687232 1263263 268435456000 4194304 4356188 140735109916928 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=19091/tid=19123] ppid=19086 vsize=5592468 CPUtime=1867.62 cores=4-31
/proc/19091/task/19123/stat : 19123 (plingeling) R 19086 19086 19060 0 -1 4202560 694760 1240 0 0 186527 234 0 1 25 0 29 0 596578954 5726687232 1263263 268435456000 4194304 4356188 140735109916928 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=19091/tid=19124] ppid=19086 vsize=5592468 CPUtime=1820.85 cores=4-31
/proc/19091/task/19124/stat : 19124 (plingeling) R 19086 19086 19060 0 -1 4202560 701761 1240 0 0 181863 221 0 1 25 0 29 0 596578954 5726687232 1263263 268435456000 4194304 4356188 140735109916928 18446744073709551615 4244384 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=19091/tid=19125] ppid=19086 vsize=5592468 CPUtime=1867.75 cores=4-31
/proc/19091/task/19125/stat : 19125 (plingeling) R 19086 19086 19060 0 -1 4202560 632090 1240 0 0 186539 235 0 1 25 0 29 0 596578954 5726687232 1263263 268435456000 4194304 4356188 140735109916928 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 57192.3
Current children cumulated vsize (KiB) 19944168
[startup+1915.9 s]
/proc/loadavg: 31.07 31.03 30.76 32/446 19184
/proc/meminfo: memFree=242040536/264257624 swapFree=67111528/67111528
[pid=19086] ppid=19084 vsize=18324 CPUtime=1.37 cores=0-31
/proc/19086/stat : 19086 (ppfolio) S 19084 19086 19060 0 -1 4202496 517 9043 0 0 0 0 125 12 15 0 1 0 596574603 18763776 387 268435456000 4194304 4287625 140737483151440 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633296 0 0 17 12 0 0 0
/proc/19086/statm: 4581 387 338 23 0 91 0
[pid=19087] ppid=19086 vsize=2542184 CPUtime=1915.53 cores=0
/proc/19087/stat : 19087 (cryptominisat) R 19086 19086 19060 0 -1 4202496 742429 0 0 0 191327 226 0 0 25 0 1 0 596574603 2603196416 136699 268435456000 4194304 4587354 140734549085904 18446744073709551615 4250248 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19087/statm: 635546 136699 334 96 0 632108 0
[pid=19088] ppid=19086 vsize=1430440 CPUtime=1915.53 cores=1
/proc/19088/stat : 19088 (clasp) R 19086 19086 19060 0 -1 4202496 370658 0 0 0 191351 202 0 0 25 0 1 0 596574603 1464770560 348934 268435456000 4194304 4785740 140735761116128 18446744073709551615 4286930 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/19088/statm: 357610 348934 338 145 0 354655 0
[pid=19090] ppid=19086 vsize=10360752 CPUtime=1915.53 cores=3
/proc/19090/stat : 19090 (march_hi) R 19086 19086 19060 0 -1 4202496 7719624 0 0 0 189745 1808 0 0 25 0 1 0 596574603 10609410048 1897586 268435456000 4194304 4331988 140734338077856 18446744073709551615 4210459 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19090/statm: 2590188 1897586 173 34 0 2588630 0
[pid=19091] ppid=19086 vsize=4849168 CPUtime=51466.6 cores=4-31
/proc/19091/stat : 19091 (plingeling) R 19086 19086 19060 0 -1 4202496 19327669 1240 0 0 5140073 6581 0 1 17 0 1 0 596574603 4965548032 1138722 268435456000 4194304 4356188 140735109916928 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19091/statm: 1212292 1138210 160 40 0 1210836 0
Current children cumulated CPU time (s) 57214.5
Current children cumulated vsize (KiB) 19200868
[startup+1916.3 s]
/proc/loadavg: 31.07 31.03 30.76 5/418 19184
/proc/meminfo: memFree=245424532/264257624 swapFree=67111528/67111528
[pid=19086] ppid=19084 vsize=18324 CPUtime=55300 cores=0-31
/proc/19086/stat : 19086 (ppfolio) S 19084 19086 19060 0 -1 4202496 517 20451052 0 0 0 0 5522927 7070 15 0 1 0 596574603 18763776 387 268435456000 4194304 4287625 140737483151440 18446744073709551615 258650975999 0 0 4096 65536 9192446627351101439 0 0 17 12 0 0 0
/proc/19086/statm: 4581 387 338 23 0 91 0
[pid=19090] ppid=19086 vsize=0 CPUtime=1915.92 cores=3
/proc/19090/stat : 19090 (march_hi) R 19086 19086 19060 0 -1 4203524 7719624 0 0 0 189770 1822 0 0 25 0 1 0 596574603 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/19090/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 57215.9
Current children cumulated vsize (KiB) 18324
[startup+1916.5 s]
/proc/loadavg: 31.07 31.03 30.76 5/418 19184
/proc/meminfo: memFree=245424532/264257624 swapFree=67111528/67111528
[pid=19086] ppid=19084 vsize=18324 CPUtime=55300 cores=0-31
/proc/19086/stat : 19086 (ppfolio) S 19084 19086 19060 0 -1 4202496 517 20451052 0 0 0 0 5522927 7070 15 0 1 0 596574603 18763776 387 268435456000 4194304 4287625 140737483151440 18446744073709551615 258650975999 0 0 4096 65536 9192446627351101439 0 0 17 12 0 0 0
/proc/19086/statm: 4581 387 338 23 0 91 0
[pid=19090] ppid=19086 vsize=0 CPUtime=1916.12 cores=3
/proc/19090/stat : 19090 (march_hi) R 19086 19086 19060 0 -1 4203524 7719624 0 0 0 189770 1842 0 0 25 0 1 0 596574603 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/19090/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 57216.1
Current children cumulated vsize (KiB) 18324
Child status: 0
Real time (s): 1916.55
CPU time (s): 57216.2
CPU user time (s): 57127
CPU system time (s): 89.1874
CPU usage (%): 2985.37
Max. virtual memory (cumulated for all children) (KiB): 23981760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 57127
system time used= 89.1874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28171212
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= 7636
involuntary context switches= 143515
runsolver used 10.4674 second user time and 43.1894 second system time
The end
Begin job on node200 at 2011-05-08 12:34:42
IDJOB=3347207
IDBENCH=69571
IDSOLVER=1808
FILE ID=node200/3347207-1304850879
RUNJOBID= node200-1304850879-19074
PBS_JOBID= 13281979
Free space on /tmp= 61984 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT_RACE08/cnf/velev-vliw-uns-4.0-9-i1.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347207-1304850879/watcher-3347207-1304850879 -o /tmp/evaluation-result-3347207-1304850879/solver-3347207-1304850879 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347207-1304850879.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 590cca3a58efdeb1c95ef988a53daa1d
RANDOM SEED=264286868
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: 256689972 kB
Buffers: 358096 kB
Cached: 6861028 kB
SwapCached: 0 kB
Active: 6396600 kB
Inactive: 891532 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 256689972 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 78540 kB
Writeback: 0 kB
AnonPages: 68888 kB
Mapped: 14480 kB
Slab: 193332 kB
PageTables: 4428 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 188468 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= 61940 MiB
End job on node200 at 2011-05-08 13:06:39