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
1193.16/49.23 s UNSATISFIABLE
1193.16/49.27 solver [5] plingeling 276-6264d55-100731 answered
1193.16/49.27 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-3347183-1304802809/watcher-3347183-1304802809 -o /tmp/evaluation-result-3347183-1304802809/solver-3347183-1304802809 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347183-1304802809.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: 26.79 29.67 31.15 1/413 8696
/proc/meminfo: memFree=256741748/264257624 swapFree=67111528/67111528
[pid=8696] ppid=8694 vsize=18324 CPUtime=0 cores=0-31
/proc/8696/stat : 8696 (ppfolio) S 8694 8696 8473 0 -1 4202496 511 0 0 0 0 0 0 0 21 0 1 0 591767405 18763776 385 268435456000 4194304 4287625 140734804056688 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 24 0 0 0
/proc/8696/statm: 4581 385 337 23 0 91 0
[startup+0.101752 s]
/proc/loadavg: 26.79 29.67 31.15 1/413 8696
/proc/meminfo: memFree=256741748/264257624 swapFree=67111528/67111528
[pid=8696] ppid=8694 vsize=18324 CPUtime=0 cores=0-31
/proc/8696/stat : 8696 (ppfolio) S 8694 8696 8473 0 -1 4202496 511 0 0 0 0 0 0 0 21 0 1 0 591767405 18763776 385 268435456000 4194304 4287625 140734804056688 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 24 0 0 0
/proc/8696/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.20075 s]
/proc/loadavg: 26.79 29.67 31.15 1/413 8696
/proc/meminfo: memFree=256741748/264257624 swapFree=67111528/67111528
[pid=8696] ppid=8694 vsize=18324 CPUtime=0 cores=0-31
/proc/8696/stat : 8696 (ppfolio) S 8694 8696 8473 0 -1 4202496 511 0 0 0 0 0 0 0 21 0 1 0 591767405 18763776 385 268435456000 4194304 4287625 140734804056688 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 24 0 0 0
/proc/8696/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300793 s]
/proc/loadavg: 26.79 29.67 31.15 1/413 8696
/proc/meminfo: memFree=256741748/264257624 swapFree=67111528/67111528
[pid=8696] ppid=8694 vsize=18324 CPUtime=0 cores=0-31
/proc/8696/stat : 8696 (ppfolio) S 8694 8696 8473 0 -1 4202496 511 0 0 0 0 0 0 0 21 0 1 0 591767405 18763776 385 268435456000 4194304 4287625 140734804056688 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 24 0 0 0
/proc/8696/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700744 s]
/proc/loadavg: 26.79 29.67 31.15 1/413 8696
/proc/meminfo: memFree=256741748/264257624 swapFree=67111528/67111528
[pid=8696] ppid=8694 vsize=18324 CPUtime=0 cores=0-31
/proc/8696/stat : 8696 (ppfolio) S 8694 8696 8473 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 591767405 18763776 385 268435456000 4194304 4287625 140734804056688 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 24 0 0 0
/proc/8696/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50078 s]
/proc/loadavg: 26.79 29.67 31.15 6/419 8707
/proc/meminfo: memFree=256314504/264257624 swapFree=67111528/67111528
[pid=8696] ppid=8694 vsize=18324 CPUtime=0 cores=0-31
/proc/8696/stat : 8696 (ppfolio) S 8694 8696 8473 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 591767405 18763776 385 268435456000 4194304 4287625 140734804056688 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 24 0 0 0
/proc/8696/statm: 4581 385 337 23 0 91 0
[pid=8697] ppid=8696 vsize=116688 CPUtime=1.48 cores=0
/proc/8697/stat : 8697 (cryptominisat) R 8696 8696 8473 0 -1 4202496 23383 0 0 0 142 6 0 0 20 0 1 0 591767406 119488512 22531 268435456000 4194304 4587354 140735073491952 18446744073709551615 4248827 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8697/statm: 29172 22531 304 96 0 25734 0
[pid=8698] ppid=8696 vsize=140992 CPUtime=1.48 cores=1
/proc/8698/stat : 8698 (clasp) R 8696 8696 8473 0 -1 4202496 38179 0 0 0 138 10 0 0 25 0 1 0 591767406 144375808 31231 268435456000 4194304 4785740 140737158217216 18446744073709551615 258650616632 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/8698/statm: 35248 31231 317 145 0 32293 0
[pid=8699] ppid=8696 vsize=498728 CPUtime=1.48 cores=2
/proc/8699/stat : 8699 (TNM) R 8696 8696 8473 0 -1 4202496 16288 0 0 0 144 4 0 0 20 0 1 0 591767406 510697472 16186 268435456000 134512640 134534564 4289176960 18446744073709551615 134524491 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8699/statm: 124682 16186 91 6 0 123347 0
[pid=8700] ppid=8696 vsize=171904 CPUtime=1.48 cores=3
/proc/8700/stat : 8700 (march_hi) R 8696 8696 8473 0 -1 4194304 42411 0 0 0 139 9 0 0 25 0 1 0 591767406 176029696 33887 268435456000 4194304 4331988 140735805800624 18446744073709551615 4252174 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/8700/statm: 42976 33887 126 34 0 41418 0
[pid=8701] ppid=8696 vsize=121492 CPUtime=1.49 cores=4-31
/proc/8701/stat : 8701 (plingeling) R 8696 8696 8473 0 -1 4202496 29147 1237 0 0 141 7 0 1 25 0 1 0 591767406 124407808 29032 268435456000 4194304 4356188 140735872237696 18446744073709551615 4278302 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/8701/statm: 30373 29032 129 40 0 28917 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 1068128
[startup+3.10084 s]
/proc/loadavg: 25.04 29.26 31.01 6/419 8707
/proc/meminfo: memFree=256053516/264257624 swapFree=67111528/67111528
[pid=8696] ppid=8694 vsize=18324 CPUtime=0 cores=0-31
/proc/8696/stat : 8696 (ppfolio) S 8694 8696 8473 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 591767405 18763776 385 268435456000 4194304 4287625 140734804056688 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 24 0 0 0
/proc/8696/statm: 4581 385 337 23 0 91 0
[pid=8697] ppid=8696 vsize=162320 CPUtime=3.08 cores=0
/proc/8697/stat : 8697 (cryptominisat) R 8696 8696 8473 0 -1 4202496 34729 0 0 0 299 9 0 0 25 0 1 0 591767406 166215680 33877 268435456000 4194304 4587354 140735073491952 18446744073709551615 4421122 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8697/statm: 40580 33877 310 96 0 37142 0
[pid=8698] ppid=8696 vsize=170412 CPUtime=3.08 cores=1
/proc/8698/stat : 8698 (clasp) R 8696 8696 8473 0 -1 4202496 45440 0 0 0 296 12 0 0 25 0 1 0 591767406 174501888 38492 268435456000 4194304 4785740 140737158217216 18446744073709551615 258650616632 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/8698/statm: 42603 38492 317 145 0 39648 0
[pid=8699] ppid=8696 vsize=506648 CPUtime=3.08 cores=2
/proc/8699/stat : 8699 (TNM) R 8696 8696 8473 0 -1 4202496 27079 0 0 0 302 6 0 0 25 0 1 0 591767406 518807552 26977 268435456000 134512640 134534564 4289176960 18446744073709551615 134529352 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8699/statm: 126662 26977 95 6 0 125327 0
[pid=8700] ppid=8696 vsize=146692 CPUtime=3.08 cores=3
/proc/8700/stat : 8700 (march_hi) R 8696 8696 8473 0 -1 4202496 90165 0 0 0 289 19 0 0 25 0 1 0 591767406 150212608 27582 268435456000 4194304 4331988 140735805800624 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/8700/statm: 36673 27586 139 34 0 35115 0
[pid=8701] ppid=8696 vsize=233844 CPUtime=3.09 cores=4-31
/proc/8701/stat : 8701 (plingeling) R 8696 8696 8473 0 -1 4202496 57270 1237 0 0 296 12 0 1 25 0 1 0 591767406 239456256 57120 268435456000 4194304 4356188 140735872237696 18446744073709551615 4277952 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/8701/statm: 58461 57120 129 40 0 57005 0
Current children cumulated CPU time (s) 15.41
Current children cumulated vsize (KiB) 1238240
[startup+6.30096 s]
/proc/loadavg: 25.04 29.26 31.01 6/419 8707
/proc/meminfo: memFree=255687840/264257624 swapFree=67111528/67111528
[pid=8696] ppid=8694 vsize=18324 CPUtime=0 cores=0-31
/proc/8696/stat : 8696 (ppfolio) S 8694 8696 8473 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 591767405 18763776 385 268435456000 4194304 4287625 140734804056688 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 24 0 0 0
/proc/8696/statm: 4581 385 337 23 0 91 0
[pid=8697] ppid=8696 vsize=286588 CPUtime=6.28 cores=0
/proc/8697/stat : 8697 (cryptominisat) R 8696 8696 8473 0 -1 4202496 64681 0 0 0 614 14 0 0 25 0 1 0 591767406 293466112 58144 268435456000 4194304 4587354 140735073491952 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8697/statm: 71647 58144 328 96 0 68209 0
[pid=8698] ppid=8696 vsize=169628 CPUtime=6.29 cores=1
/proc/8698/stat : 8698 (clasp) R 8696 8696 8473 0 -1 4202496 49976 0 0 0 616 13 0 0 25 0 1 0 591767406 173699072 38931 268435456000 4194304 4785740 140737158217216 18446744073709551615 4319104 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/8698/statm: 42407 38931 338 145 0 39452 0
[pid=8699] ppid=8696 vsize=506648 CPUtime=6.28 cores=2
/proc/8699/stat : 8699 (TNM) R 8696 8696 8473 0 -1 4202496 27079 0 0 0 622 6 0 0 25 0 1 0 591767406 518807552 26977 268435456000 134512640 134534564 4289176960 18446744073709551615 134529366 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8699/statm: 126662 26977 95 6 0 125327 0
[pid=8700] ppid=8696 vsize=170940 CPUtime=6.28 cores=3
/proc/8700/stat : 8700 (march_hi) R 8696 8696 8473 0 -1 4202496 174881 0 0 0 592 36 0 0 25 0 1 0 591767406 175042560 33669 268435456000 4194304 4331988 140735805800624 18446744073709551615 258650613611 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/8700/statm: 42735 33669 142 34 0 41177 0
[pid=8701] ppid=8696 vsize=459188 CPUtime=6.29 cores=4-31
/proc/8701/stat : 8701 (plingeling) R 8696 8696 8473 0 -1 4202496 113606 1237 0 0 604 24 0 1 25 0 1 0 591767406 470208512 113456 268435456000 4194304 4356188 140735872237696 18446744073709551615 4278315 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/8701/statm: 114797 113456 129 40 0 113341 0
Current children cumulated CPU time (s) 31.42
Current children cumulated vsize (KiB) 1611316
[startup+12.7012 s]
/proc/loadavg: 21.96 28.46 30.73 6/419 8707
/proc/meminfo: memFree=254983348/264257624 swapFree=67111528/67111528
[pid=8696] ppid=8694 vsize=18324 CPUtime=0 cores=0-31
/proc/8696/stat : 8696 (ppfolio) S 8694 8696 8473 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 591767405 18763776 385 268435456000 4194304 4287625 140734804056688 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 24 0 0 0
/proc/8696/statm: 4581 385 337 23 0 91 0
[pid=8697] ppid=8696 vsize=286588 CPUtime=12.69 cores=0
/proc/8697/stat : 8697 (cryptominisat) R 8696 8696 8473 0 -1 4202496 65021 0 0 0 1254 15 0 0 25 0 1 0 591767406 293466112 58466 268435456000 4194304 4587354 140735073491952 18446744073709551615 4237424 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8697/statm: 71647 58466 328 96 0 68209 0
[pid=8698] ppid=8696 vsize=169628 CPUtime=12.68 cores=1
/proc/8698/stat : 8698 (clasp) R 8696 8696 8473 0 -1 4202496 49976 0 0 0 1255 13 0 0 25 0 1 0 591767406 173699072 38931 268435456000 4194304 4785740 140737158217216 18446744073709551615 4552628 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/8698/statm: 42407 38931 338 145 0 39452 0
[pid=8699] ppid=8696 vsize=506648 CPUtime=12.68 cores=2
/proc/8699/stat : 8699 (TNM) R 8696 8696 8473 0 -1 4202496 27079 0 0 0 1262 6 0 0 25 0 1 0 591767406 518807552 26977 268435456000 134512640 134534564 4289176960 18446744073709551615 134529031 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8699/statm: 126662 26977 95 6 0 125327 0
[pid=8700] ppid=8696 vsize=509476 CPUtime=12.69 cores=3
/proc/8700/stat : 8700 (march_hi) R 8696 8696 8473 0 -1 4202496 267599 0 0 0 1215 54 0 0 25 0 1 0 591767406 521703424 96508 268435456000 4194304 4331988 140735805800624 18446744073709551615 4228875 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/8700/statm: 127369 96510 172 34 0 125811 0
[pid=8701] ppid=8696 vsize=906696 CPUtime=12.69 cores=4-31
/proc/8701/stat : 8701 (plingeling) R 8696 8696 8473 0 -1 4202496 225489 1237 0 0 1221 47 0 1 25 0 1 0 591767406 928456704 225333 268435456000 4194304 4356188 140735872237696 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/8701/statm: 226674 225333 129 40 0 225218 0
Current children cumulated CPU time (s) 63.43
Current children cumulated vsize (KiB) 2397360
[startup+25.5026 s]
/proc/loadavg: 23.50 28.58 30.74 33/447 8735
/proc/meminfo: memFree=253651348/264257624 swapFree=67111528/67111528
[pid=8696] ppid=8694 vsize=18324 CPUtime=0 cores=0-31
/proc/8696/stat : 8696 (ppfolio) S 8694 8696 8473 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 591767405 18763776 385 268435456000 4194304 4287625 140734804056688 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 24 0 0 0
/proc/8696/statm: 4581 385 337 23 0 91 0
[pid=8697] ppid=8696 vsize=286588 CPUtime=25.48 cores=0
/proc/8697/stat : 8697 (cryptominisat) R 8696 8696 8473 0 -1 4202496 65283 0 0 0 2533 15 0 0 25 0 1 0 591767406 293466112 58716 268435456000 4194304 4587354 140735073491952 18446744073709551615 4237467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8697/statm: 71647 58716 334 96 0 68209 0
[pid=8698] ppid=8696 vsize=169628 CPUtime=25.48 cores=1
/proc/8698/stat : 8698 (clasp) R 8696 8696 8473 0 -1 4202496 49976 0 0 0 2535 13 0 0 25 0 1 0 591767406 173699072 38931 268435456000 4194304 4785740 140737158217216 18446744073709551615 4287204 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/8698/statm: 42407 38931 338 145 0 39452 0
[pid=8699] ppid=8696 vsize=506648 CPUtime=25.48 cores=2
/proc/8699/stat : 8699 (TNM) R 8696 8696 8473 0 -1 4202496 27079 0 0 0 2542 6 0 0 25 0 1 0 591767406 518807552 26977 268435456000 134512640 134534564 4289176960 18446744073709551615 134530126 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8699/statm: 126662 26977 95 6 0 125327 0
[pid=8700] ppid=8696 vsize=515948 CPUtime=25.48 cores=3
/proc/8700/stat : 8700 (march_hi) R 8696 8696 8473 0 -1 4202496 284539 0 0 0 2491 57 0 0 25 0 1 0 591767406 528330752 113448 268435456000 4194304 4331988 140735805800624 18446744073709551615 4297607 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/8700/statm: 128987 113448 172 34 0 127429 0
[pid=8701] ppid=8696 vsize=2648556 CPUtime=338.59 cores=4-31
/proc/8701/stat : 8701 (plingeling) S 8696 8696 8473 0 -1 4202496 907314 1237 0 0 33438 420 0 1 18 0 29 0 591767406 2712121344 536429 268435456000 4194304 4356188 140735872237696 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/8701/statm: 662139 536429 159 40 0 660683 0
[pid=8701/tid=8708] ppid=8696 vsize=2648556 CPUtime=11.56 cores=4-31
/proc/8701/task/8708/stat : 8708 (plingeling) R 8696 8696 8473 0 -1 4202560 24068 1237 0 0 1145 10 0 1 25 0 29 0 591768759 2712121344 536429 268435456000 4194304 4356188 140735872237696 18446744073709551615 4232856 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=8701/tid=8709] ppid=8696 vsize=2648556 CPUtime=11.59 cores=4-31
/proc/8701/task/8709/stat : 8709 (plingeling) R 8696 8696 8473 0 -1 4202560 23964 1237 0 0 1141 17 0 1 25 0 29 0 591768759 2712121344 536429 268435456000 4194304 4356188 140735872237696 18446744073709551615 4211209 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=8701/tid=8710] ppid=8696 vsize=2648556 CPUtime=11.34 cores=4-31
/proc/8701/task/8710/stat : 8710 (plingeling) R 8696 8696 8473 0 -1 4202560 25751 1237 0 0 1117 16 0 1 25 0 29 0 591768759 2712121344 536429 268435456000 4194304 4356188 140735872237696 18446744073709551615 4215025 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=8701/tid=8711] ppid=8696 vsize=2648556 CPUtime=11.88 cores=4-31
/proc/8701/task/8711/stat : 8711 (plingeling) R 8696 8696 8473 0 -1 4202560 14660 1237 0 0 1181 6 0 1 25 0 29 0 591768759 2712121344 536429 268435456000 4194304 4356188 140735872237696 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=8701/tid=8712] ppid=8696 vsize=2648556 CPUtime=11.62 cores=4-31
/proc/8701/task/8712/stat : 8712 (plingeling) R 8696 8696 8473 0 -1 4202560 16738 1237 0 0 1151 10 0 1 25 0 29 0 591768759 2712121344 536429 268435456000 4194304 4356188 140735872237696 18446744073709551615 4232869 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=8701/tid=8713] ppid=8696 vsize=2648556 CPUtime=11.45 cores=4-31
/proc/8701/task/8713/stat : 8713 (plingeling) R 8696 8696 8473 0 -1 4202560 29954 1237 0 0 1123 21 0 1 25 0 29 0 591768760 2712121344 536429 268435456000 4194304 4356188 140735872237696 18446744073709551615 4303720 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=8701/tid=8714] ppid=8696 vsize=2648556 CPUtime=11.65 cores=4-31
/proc/8701/task/8714/stat : 8714 (plingeling) R 8696 8696 8473 0 -1 4202560 21172 1237 0 0 1151 13 0 1 25 0 29 0 591768760 2712121344 536429 268435456000 4194304 4356188 140735872237696 18446744073709551615 4300670 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=8701/tid=8715] ppid=8696 vsize=2648556 CPUtime=11.42 cores=4-31
/proc/8701/task/8715/stat : 8715 (plingeling) R 8696 8696 8473 0 -1 4202560 17508 1237 0 0 1129 12 0 1 25 0 29 0 591768760 2712121344 536429 268435456000 4194304 4356188 140735872237696 18446744073709551615 4232771 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=8701/tid=8716] ppid=8696 vsize=2648556 CPUtime=11.5 cores=4-31
/proc/8701/task/8716/stat : 8716 (plingeling) R 8696 8696 8473 0 -1 4202560 23403 1237 0 0 1134 15 0 1 25 0 29 0 591768760 2712121344 536429 268435456000 4194304 4356188 140735872237696 18446744073709551615 4304192 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=8701/tid=8717] ppid=8696 vsize=2648556 CPUtime=11.37 cores=4-31
################
# More data... #
################
/proc/8699/stat : 8699 (TNM) R 8696 8696 8473 0 -1 4202496 27079 0 0 0 4791 6 0 0 25 0 1 0 591767406 518807552 26977 268435456000 134512640 134534564 4289176960 18446744073709551615 134528273 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8699/statm: 126662 26977 95 6 0 125327 0
[pid=8700] ppid=8696 vsize=518688 CPUtime=47.98 cores=3
/proc/8700/stat : 8700 (march_hi) R 8696 8696 8473 0 -1 4202496 285259 0 0 0 4741 57 0 0 25 0 1 0 591767406 531136512 114168 268435456000 4194304 4331988 140735805800624 18446744073709551615 4229294 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/8700/statm: 129672 114168 172 34 0 128114 0
[pid=8701] ppid=8696 vsize=2062352 CPUtime=967.78 cores=4-31
/proc/8701/stat : 8701 (plingeling) S 8696 8696 8473 0 -1 4202496 907314 1237 0 0 96350 427 0 1 18 0 29 0 591767406 2111848448 376446 268435456000 4194304 4356188 140735872237696 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/8701/statm: 515588 376446 159 40 0 514132 0
[pid=8701/tid=8708] ppid=8696 vsize=2062352 CPUtime=34.07 cores=4-31
/proc/8701/task/8708/stat : 8708 (plingeling) R 8696 8696 8473 0 -1 4202560 24068 1237 0 0 3395 11 0 1 25 0 29 0 591768759 2111848448 376446 268435456000 4194304 4356188 140735872237696 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=8701/tid=8709] ppid=8696 vsize=2062352 CPUtime=34.07 cores=4-31
/proc/8701/task/8709/stat : 8709 (plingeling) R 8696 8696 8473 0 -1 4202560 23964 1237 0 0 3389 17 0 1 25 0 29 0 591768759 2111848448 376446 268435456000 4194304 4356188 140735872237696 18446744073709551615 4284045 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=8701/tid=8710] ppid=8696 vsize=2062352 CPUtime=33.83 cores=4-31
/proc/8701/task/8710/stat : 8710 (plingeling) R 8696 8696 8473 0 -1 4202560 25751 1237 0 0 3366 16 0 1 25 0 29 0 591768759 2111848448 376446 268435456000 4194304 4356188 140735872237696 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=8701/tid=8711] ppid=8696 vsize=2062352 CPUtime=34.37 cores=4-31
/proc/8701/task/8711/stat : 8711 (plingeling) R 8696 8696 8473 0 -1 4202560 14660 1237 0 0 3430 6 0 1 25 0 29 0 591768759 2111848448 376446 268435456000 4194304 4356188 140735872237696 18446744073709551615 4241608 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=8701/tid=8712] ppid=8696 vsize=2062352 CPUtime=34.11 cores=4-31
/proc/8701/task/8712/stat : 8712 (plingeling) R 8696 8696 8473 0 -1 4202560 16738 1237 0 0 3400 10 0 1 25 0 29 0 591768759 2111848448 376446 268435456000 4194304 4356188 140735872237696 18446744073709551615 4259362 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=8701/tid=8713] ppid=8696 vsize=2062352 CPUtime=33.94 cores=4-31
/proc/8701/task/8713/stat : 8713 (plingeling) R 8696 8696 8473 0 -1 4202560 29954 1237 0 0 3372 21 0 1 25 0 29 0 591768760 2111848448 376446 268435456000 4194304 4356188 140735872237696 18446744073709551615 4312092 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=8701/tid=8714] ppid=8696 vsize=2062352 CPUtime=34.15 cores=4-31
/proc/8701/task/8714/stat : 8714 (plingeling) R 8696 8696 8473 0 -1 4202560 21172 1237 0 0 3400 14 0 1 25 0 29 0 591768760 2111848448 376446 268435456000 4194304 4356188 140735872237696 18446744073709551615 4332573 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=8701/tid=8715] ppid=8696 vsize=2062352 CPUtime=33.91 cores=4-31
/proc/8701/task/8715/stat : 8715 (plingeling) R 8696 8696 8473 0 -1 4202560 17508 1237 0 0 3378 12 0 1 25 0 29 0 591768760 2111848448 376446 268435456000 4194304 4356188 140735872237696 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=8701/tid=8716] ppid=8696 vsize=2062352 CPUtime=34.01 cores=4-31
/proc/8701/task/8716/stat : 8716 (plingeling) R 8696 8696 8473 0 -1 4202560 23403 1237 0 0 3384 16 0 1 25 0 29 0 591768760 2111848448 376446 268435456000 4194304 4356188 140735872237696 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=8701/tid=8717] ppid=8696 vsize=2062352 CPUtime=33.88 cores=4-31
/proc/8701/task/8717/stat : 8717 (plingeling) R 8696 8696 8473 0 -1 4202560 23385 1237 0 0 3368 19 0 1 25 0 29 0 591768760 2111848448 376446 268435456000 4194304 4356188 140735872237696 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=8701/tid=8718] ppid=8696 vsize=2062352 CPUtime=34.31 cores=4-31
/proc/8701/task/8718/stat : 8718 (plingeling) R 8696 8696 8473 0 -1 4202560 16754 1237 0 0 3417 13 0 1 25 0 29 0 591768760 2111848448 376446 268435456000 4194304 4356188 140735872237696 18446744073709551615 4218234 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=8701/tid=8719] ppid=8696 vsize=2062352 CPUtime=34.19 cores=4-31
/proc/8701/task/8719/stat : 8719 (plingeling) R 8696 8696 8473 0 -1 4202560 15059 1237 0 0 3414 4 0 1 25 0 29 0 591768761 2111848448 376446 268435456000 4194304 4356188 140735872237696 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=8701/tid=8720] ppid=8696 vsize=2062352 CPUtime=33.83 cores=4-31
/proc/8701/task/8720/stat : 8720 (plingeling) R 8696 8696 8473 0 -1 4202560 10817 1237 0 0 3375 7 0 1 25 0 29 0 591768761 2111848448 376446 268435456000 4194304 4356188 140735872237696 18446744073709551615 4331296 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=8701/tid=8721] ppid=8696 vsize=2062352 CPUtime=34.14 cores=4-31
/proc/8701/task/8721/stat : 8721 (plingeling) R 8696 8696 8473 0 -1 4202560 27353 1237 0 0 3395 18 0 1 25 0 29 0 591768761 2111848448 376446 268435456000 4194304 4356188 140735872237696 18446744073709551615 4210605 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=8701/tid=8722] ppid=8696 vsize=2062352 CPUtime=33.21 cores=4-31
/proc/8701/task/8722/stat : 8722 (plingeling) R 8696 8696 8473 0 -1 4202560 15892 1237 0 0 3316 4 0 1 25 0 29 0 591768761 2111848448 376446 268435456000 4194304 4356188 140735872237696 18446744073709551615 4270878 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=8701/tid=8723] ppid=8696 vsize=2062352 CPUtime=34 cores=4-31
/proc/8701/task/8723/stat : 8723 (plingeling) R 8696 8696 8473 0 -1 4202560 23195 1237 0 0 3388 11 0 1 25 0 29 0 591768762 2111848448 376446 268435456000 4194304 4356188 140735872237696 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=8701/tid=8724] ppid=8696 vsize=2062352 CPUtime=34.3 cores=4-31
/proc/8701/task/8724/stat : 8724 (plingeling) R 8696 8696 8473 0 -1 4202560 16244 1237 0 0 3416 13 0 1 25 0 29 0 591768762 2111848448 376446 268435456000 4194304 4356188 140735872237696 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=8701/tid=8725] ppid=8696 vsize=2062352 CPUtime=33.83 cores=4-31
/proc/8701/task/8725/stat : 8725 (plingeling) R 8696 8696 8473 0 -1 4202560 17925 1237 0 0 3364 18 0 1 25 0 29 0 591768762 2111848448 376446 268435456000 4194304 4356188 140735872237696 18446744073709551615 4264352 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=8701/tid=8726] ppid=8696 vsize=2062352 CPUtime=34.03 cores=4-31
/proc/8701/task/8726/stat : 8726 (plingeling) R 8696 8696 8473 0 -1 4202560 20401 1237 0 0 3388 14 0 1 25 0 29 0 591768762 2111848448 376446 268435456000 4194304 4356188 140735872237696 18446744073709551615 4270920 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=8701/tid=8727] ppid=8696 vsize=2062352 CPUtime=34.31 cores=4-31
/proc/8701/task/8727/stat : 8727 (plingeling) R 8696 8696 8473 0 -1 4202560 14164 1237 0 0 3426 4 0 1 25 0 29 0 591768762 2111848448 376446 268435456000 4194304 4356188 140735872237696 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=8701/tid=8728] ppid=8696 vsize=2062352 CPUtime=34.06 cores=4-31
/proc/8701/task/8728/stat : 8728 (plingeling) R 8696 8696 8473 0 -1 4202560 24015 1237 0 0 3388 17 0 1 25 0 29 0 591768762 2111848448 376446 268435456000 4194304 4356188 140735872237696 18446744073709551615 4330817 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=8701/tid=8729] ppid=8696 vsize=2062352 CPUtime=34.33 cores=4-31
/proc/8701/task/8729/stat : 8729 (plingeling) R 8696 8696 8473 0 -1 4202560 21117 1237 0 0 3427 5 0 1 25 0 29 0 591768762 2111848448 376446 268435456000 4194304 4356188 140735872237696 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=8701/tid=8730] ppid=8696 vsize=2062352 CPUtime=34.18 cores=4-31
/proc/8701/task/8730/stat : 8730 (plingeling) R 8696 8696 8473 0 -1 4202560 22203 1237 0 0 3401 16 0 1 25 0 29 0 591768763 2111848448 376446 268435456000 4194304 4356188 140735872237696 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=8701/tid=8731] ppid=8696 vsize=2062352 CPUtime=34.26 cores=4-31
/proc/8701/task/8731/stat : 8731 (plingeling) R 8696 8696 8473 0 -1 4202560 25972 1237 0 0 3407 18 0 1 25 0 29 0 591768763 2111848448 376446 268435456000 4194304 4356188 140735872237696 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=8701/tid=8732] ppid=8696 vsize=2062352 CPUtime=34.06 cores=4-31
/proc/8701/task/8732/stat : 8732 (plingeling) R 8696 8696 8473 0 -1 4202560 22119 1237 0 0 3388 17 0 1 25 0 29 0 591768763 2111848448 376446 268435456000 4194304 4356188 140735872237696 18446744073709551615 4210596 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=8701/tid=8733] ppid=8696 vsize=2062352 CPUtime=34.33 cores=4-31
/proc/8701/task/8733/stat : 8733 (plingeling) R 8696 8696 8473 0 -1 4202560 18105 1237 0 0 3421 11 0 1 25 0 29 0 591768763 2111848448 376446 268435456000 4194304 4356188 140735872237696 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=8701/tid=8734] ppid=8696 vsize=2062352 CPUtime=34.27 cores=4-31
/proc/8701/task/8734/stat : 8734 (plingeling) R 8696 8696 8473 0 -1 4202560 19885 1237 0 0 3419 7 0 1 25 0 29 0 591768763 2111848448 376446 268435456000 4194304 4356188 140735872237696 18446744073709551615 4241949 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=8701/tid=8735] ppid=8696 vsize=2062352 CPUtime=34.28 cores=4-31
/proc/8701/task/8735/stat : 8735 (plingeling) R 8696 8696 8473 0 -1 4202560 20257 1237 0 0 3421 6 0 1 25 0 29 0 591768763 2111848448 376446 268435456000 4194304 4356188 140735872237696 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 1159.69
Current children cumulated vsize (KiB) 3572724
[startup+48.8024 s]
/proc/loadavg: 26.40 28.85 30.77 33/447 8735
/proc/meminfo: memFree=254265408/264257624 swapFree=67111528/67111528
[pid=8696] ppid=8694 vsize=18324 CPUtime=0 cores=0-31
/proc/8696/stat : 8696 (ppfolio) S 8694 8696 8473 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 591767405 18763776 385 268435456000 4194304 4287625 140734804056688 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 24 0 0 0
/proc/8696/statm: 4581 385 337 23 0 91 0
[pid=8697] ppid=8696 vsize=292044 CPUtime=48.78 cores=0
/proc/8697/stat : 8697 (cryptominisat) R 8696 8696 8473 0 -1 4202496 69755 0 0 0 4862 16 0 0 25 0 1 0 591767406 299053056 62857 268435456000 4194304 4587354 140735073491952 18446744073709551615 4230277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8697/statm: 73011 62857 334 96 0 69573 0
[pid=8698] ppid=8696 vsize=177204 CPUtime=48.77 cores=1
/proc/8698/stat : 8698 (clasp) R 8696 8696 8473 0 -1 4202496 52092 0 0 0 4863 14 0 0 25 0 1 0 591767406 181456896 41047 268435456000 4194304 4785740 140737158217216 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/8698/statm: 44301 41047 338 145 0 41346 0
[pid=8699] ppid=8696 vsize=506648 CPUtime=48.77 cores=2
/proc/8699/stat : 8699 (TNM) R 8696 8696 8473 0 -1 4202496 27079 0 0 0 4871 6 0 0 25 0 1 0 591767406 518807552 26977 268435456000 134512640 134534564 4289176960 18446744073709551615 134528273 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8699/statm: 126662 26977 95 6 0 125327 0
[pid=8700] ppid=8696 vsize=518688 CPUtime=48.78 cores=3
/proc/8700/stat : 8700 (march_hi) R 8696 8696 8473 0 -1 4202496 285263 0 0 0 4821 57 0 0 25 0 1 0 591767406 531136512 114172 268435456000 4194304 4331988 140735805800624 18446744073709551615 4229533 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/8700/statm: 129672 114172 172 34 0 128114 0
[pid=8701] ppid=8696 vsize=2037628 CPUtime=990.16 cores=4-31
/proc/8701/stat : 8701 (plingeling) S 8696 8696 8473 0 -1 4202496 907314 1237 0 0 98587 428 0 1 18 0 29 0 591767406 2086531072 370265 268435456000 4194304 4356188 140735872237696 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/8701/statm: 509407 370265 159 40 0 507951 0
[pid=8701/tid=8708] ppid=8696 vsize=2037628 CPUtime=34.87 cores=4-31
/proc/8701/task/8708/stat : 8708 (plingeling) R 8696 8696 8473 0 -1 4202560 24068 1237 0 0 3475 11 0 1 25 0 29 0 591768759 2086531072 370265 268435456000 4194304 4356188 140735872237696 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=8701/tid=8709] ppid=8696 vsize=2037628 CPUtime=34.87 cores=4-31
/proc/8701/task/8709/stat : 8709 (plingeling) R 8696 8696 8473 0 -1 4202560 23964 1237 0 0 3469 17 0 1 25 0 29 0 591768759 2086531072 370265 268435456000 4194304 4356188 140735872237696 18446744073709551615 4274277 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=8701/tid=8710] ppid=8696 vsize=2037628 CPUtime=34.63 cores=4-31
/proc/8701/task/8710/stat : 8710 (plingeling) R 8696 8696 8473 0 -1 4202560 25751 1237 0 0 3446 16 0 1 25 0 29 0 591768759 2086531072 370265 268435456000 4194304 4356188 140735872237696 18446744073709551615 4225618 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=8701/tid=8711] ppid=8696 vsize=2037628 CPUtime=35.17 cores=4-31
/proc/8701/task/8711/stat : 8711 (plingeling) R 8696 8696 8473 0 -1 4202560 14660 1237 0 0 3510 6 0 1 25 0 29 0 591768759 2086531072 370265 268435456000 4194304 4356188 140735872237696 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=8701/tid=8712] ppid=8696 vsize=2037628 CPUtime=34.91 cores=4-31
/proc/8701/task/8712/stat : 8712 (plingeling) R 8696 8696 8473 0 -1 4202560 16738 1237 0 0 3480 10 0 1 25 0 29 0 591768759 2086531072 370265 268435456000 4194304 4356188 140735872237696 18446744073709551615 4210842 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=8701/tid=8713] ppid=8696 vsize=2037628 CPUtime=34.74 cores=4-31
/proc/8701/task/8713/stat : 8713 (plingeling) R 8696 8696 8473 0 -1 4202560 29954 1237 0 0 3452 21 0 1 25 0 29 0 591768760 2086531072 370265 268435456000 4194304 4356188 140735872237696 18446744073709551615 4279432 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=8701/tid=8714] ppid=8696 vsize=2037628 CPUtime=34.95 cores=4-31
/proc/8701/task/8714/stat : 8714 (plingeling) R 8696 8696 8473 0 -1 4202560 21172 1237 0 0 3480 14 0 1 25 0 29 0 591768760 2086531072 370265 268435456000 4194304 4356188 140735872237696 18446744073709551615 4298695 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=8701/tid=8715] ppid=8696 vsize=2037628 CPUtime=34.71 cores=4-31
/proc/8701/task/8715/stat : 8715 (plingeling) R 8696 8696 8473 0 -1 4202560 17508 1237 0 0 3458 12 0 1 25 0 29 0 591768760 2086531072 370265 268435456000 4194304 4356188 140735872237696 18446744073709551615 4331383 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=8701/tid=8716] ppid=8696 vsize=2037628 CPUtime=34.81 cores=4-31
/proc/8701/task/8716/stat : 8716 (plingeling) R 8696 8696 8473 0 -1 4202560 23403 1237 0 0 3464 16 0 1 25 0 29 0 591768760 2086531072 370265 268435456000 4194304 4356188 140735872237696 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=8701/tid=8717] ppid=8696 vsize=2037628 CPUtime=34.68 cores=4-31
/proc/8701/task/8717/stat : 8717 (plingeling) R 8696 8696 8473 0 -1 4202560 23385 1237 0 0 3448 19 0 1 25 0 29 0 591768760 2086531072 370265 268435456000 4194304 4356188 140735872237696 18446744073709551615 4330827 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=8701/tid=8718] ppid=8696 vsize=2037628 CPUtime=35.11 cores=4-31
/proc/8701/task/8718/stat : 8718 (plingeling) R 8696 8696 8473 0 -1 4202560 16754 1237 0 0 3497 13 0 1 25 0 29 0 591768760 2086531072 370265 268435456000 4194304 4356188 140735872237696 18446744073709551615 4211908 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=8701/tid=8719] ppid=8696 vsize=2037628 CPUtime=34.99 cores=4-31
/proc/8701/task/8719/stat : 8719 (plingeling) R 8696 8696 8473 0 -1 4202560 15059 1237 0 0 3494 4 0 1 25 0 29 0 591768761 2086531072 370265 268435456000 4194304 4356188 140735872237696 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=8701/tid=8720] ppid=8696 vsize=2037628 CPUtime=34.63 cores=4-31
/proc/8701/task/8720/stat : 8720 (plingeling) R 8696 8696 8473 0 -1 4202560 10817 1237 0 0 3455 7 0 1 25 0 29 0 591768761 2086531072 370265 268435456000 4194304 4356188 140735872237696 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=8701/tid=8721] ppid=8696 vsize=2037628 CPUtime=34.94 cores=4-31
/proc/8701/task/8721/stat : 8721 (plingeling) R 8696 8696 8473 0 -1 4202560 27353 1237 0 0 3475 18 0 1 25 0 29 0 591768761 2086531072 370265 268435456000 4194304 4356188 140735872237696 18446744073709551615 4242230 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=8701/tid=8722] ppid=8696 vsize=2037628 CPUtime=33.98 cores=4-31
/proc/8701/task/8722/stat : 8722 (plingeling) R 8696 8696 8473 0 -1 4202560 15892 1237 0 0 3393 4 0 1 25 0 29 0 591768761 2086531072 370265 268435456000 4194304 4356188 140735872237696 18446744073709551615 4210791 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=8701/tid=8723] ppid=8696 vsize=2037628 CPUtime=34.8 cores=4-31
/proc/8701/task/8723/stat : 8723 (plingeling) R 8696 8696 8473 0 -1 4202560 23195 1237 0 0 3468 11 0 1 25 0 29 0 591768762 2086531072 370265 268435456000 4194304 4356188 140735872237696 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=8701/tid=8724] ppid=8696 vsize=2037628 CPUtime=35.1 cores=4-31
/proc/8701/task/8724/stat : 8724 (plingeling) R 8696 8696 8473 0 -1 4202560 16244 1237 0 0 3496 13 0 1 25 0 29 0 591768762 2086531072 370265 268435456000 4194304 4356188 140735872237696 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=8701/tid=8725] ppid=8696 vsize=2037628 CPUtime=34.63 cores=4-31
/proc/8701/task/8725/stat : 8725 (plingeling) R 8696 8696 8473 0 -1 4202560 17925 1237 0 0 3444 18 0 1 25 0 29 0 591768762 2086531072 370265 268435456000 4194304 4356188 140735872237696 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=8701/tid=8726] ppid=8696 vsize=2037628 CPUtime=34.83 cores=4-31
/proc/8701/task/8726/stat : 8726 (plingeling) R 8696 8696 8473 0 -1 4202560 20401 1237 0 0 3468 14 0 1 25 0 29 0 591768762 2086531072 370265 268435456000 4194304 4356188 140735872237696 18446744073709551615 4331946 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=8701/tid=8727] ppid=8696 vsize=2037628 CPUtime=35.11 cores=4-31
/proc/8701/task/8727/stat : 8727 (plingeling) R 8696 8696 8473 0 -1 4202560 14164 1237 0 0 3506 4 0 1 25 0 29 0 591768762 2086531072 370265 268435456000 4194304 4356188 140735872237696 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=8701/tid=8728] ppid=8696 vsize=2037628 CPUtime=34.86 cores=4-31
/proc/8701/task/8728/stat : 8728 (plingeling) R 8696 8696 8473 0 -1 4202560 24015 1237 0 0 3468 17 0 1 25 0 29 0 591768762 2086531072 370265 268435456000 4194304 4356188 140735872237696 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=8701/tid=8729] ppid=8696 vsize=2037628 CPUtime=35.13 cores=4-31
/proc/8701/task/8729/stat : 8729 (plingeling) R 8696 8696 8473 0 -1 4202560 21117 1237 0 0 3507 5 0 1 25 0 29 0 591768762 2086531072 370265 268435456000 4194304 4356188 140735872237696 18446744073709551615 4237379 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=8701/tid=8730] ppid=8696 vsize=2037628 CPUtime=34.98 cores=4-31
/proc/8701/task/8730/stat : 8730 (plingeling) R 8696 8696 8473 0 -1 4202560 22203 1237 0 0 3481 16 0 1 25 0 29 0 591768763 2086531072 370265 268435456000 4194304 4356188 140735872237696 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=8701/tid=8731] ppid=8696 vsize=2037628 CPUtime=35.06 cores=4-31
/proc/8701/task/8731/stat : 8731 (plingeling) R 8696 8696 8473 0 -1 4202560 25972 1237 0 0 3487 18 0 1 25 0 29 0 591768763 2086531072 370265 268435456000 4194304 4356188 140735872237696 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=8701/tid=8732] ppid=8696 vsize=2037628 CPUtime=34.86 cores=4-31
/proc/8701/task/8732/stat : 8732 (plingeling) R 8696 8696 8473 0 -1 4202560 22119 1237 0 0 3468 17 0 1 25 0 29 0 591768763 2086531072 370265 268435456000 4194304 4356188 140735872237696 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=8701/tid=8733] ppid=8696 vsize=2037628 CPUtime=35.13 cores=4-31
/proc/8701/task/8733/stat : 8733 (plingeling) R 8696 8696 8473 0 -1 4202560 18105 1237 0 0 3501 11 0 1 25 0 29 0 591768763 2086531072 370265 268435456000 4194304 4356188 140735872237696 18446744073709551615 4331379 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=8701/tid=8734] ppid=8696 vsize=2037628 CPUtime=35.07 cores=4-31
/proc/8701/task/8734/stat : 8734 (plingeling) R 8696 8696 8473 0 -1 4202560 19885 1237 0 0 3499 7 0 1 25 0 29 0 591768763 2086531072 370265 268435456000 4194304 4356188 140735872237696 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=8701/tid=8735] ppid=8696 vsize=2037628 CPUtime=35.08 cores=4-31
/proc/8701/task/8735/stat : 8735 (plingeling) R 8696 8696 8473 0 -1 4202560 20257 1237 0 0 3501 6 0 1 25 0 29 0 591768763 2086531072 370265 268435456000 4194304 4356188 140735872237696 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 1185.26
Current children cumulated vsize (KiB) 3550536
[startup+49.2015 s]
/proc/loadavg: 26.40 28.85 30.77 33/447 8735
/proc/meminfo: memFree=254265408/264257624 swapFree=67111528/67111528
[pid=8696] ppid=8694 vsize=18324 CPUtime=0 cores=0-31
/proc/8696/stat : 8696 (ppfolio) S 8694 8696 8473 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 591767405 18763776 385 268435456000 4194304 4287625 140734804056688 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 24 0 0 0
/proc/8696/statm: 4581 385 337 23 0 91 0
[pid=8697] ppid=8696 vsize=292044 CPUtime=49.18 cores=0
/proc/8697/stat : 8697 (cryptominisat) R 8696 8696 8473 0 -1 4202496 69786 0 0 0 4902 16 0 0 25 0 1 0 591767406 299053056 62887 268435456000 4194304 4587354 140735073491952 18446744073709551615 4248764 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/8697/statm: 73011 62887 334 96 0 69573 0
[pid=8698] ppid=8696 vsize=177872 CPUtime=49.17 cores=1
/proc/8698/stat : 8698 (clasp) R 8696 8696 8473 0 -1 4202496 52239 0 0 0 4903 14 0 0 25 0 1 0 591767406 182140928 41194 268435456000 4194304 4785740 140737158217216 18446744073709551615 4546305 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/8698/statm: 44468 41197 338 145 0 41513 0
[pid=8699] ppid=8696 vsize=506648 CPUtime=49.17 cores=2
/proc/8699/stat : 8699 (TNM) R 8696 8696 8473 0 -1 4202496 27079 0 0 0 4911 6 0 0 25 0 1 0 591767406 518807552 26977 268435456000 134512640 134534564 4289176960 18446744073709551615 134528659 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8699/statm: 126662 26977 95 6 0 125327 0
[pid=8700] ppid=8696 vsize=518688 CPUtime=49.17 cores=3
/proc/8700/stat : 8700 (march_hi) R 8696 8696 8473 0 -1 4202496 285267 0 0 0 4860 57 0 0 25 0 1 0 591767406 531136512 114176 268435456000 4194304 4331988 140735805800624 18446744073709551615 4229471 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/8700/statm: 129672 114176 172 34 0 128114 0
[pid=8701] ppid=8696 vsize=720232 CPUtime=996.47 cores=4-31
/proc/8701/stat : 8701 (plingeling) R 8696 8696 8473 0 -1 4202496 907315 1237 0 0 99208 438 0 1 17 0 1 0 591767406 737517568 83958 268435456000 4194304 4356188 140735872237696 18446744073709551615 258650981722 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/8701/statm: 180058 83446 160 40 0 178602 0
Current children cumulated CPU time (s) 1193.16
Current children cumulated vsize (KiB) 2233808
Child status: 0
Real time (s): 49.2739
CPU time (s): 1193.47
CPU user time (s): 1188
CPU system time (s): 5.47717
CPU usage (%): 2422.12
Max. virtual memory (cumulated for all children) (KiB): 4146364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1188
system time used= 5.47717
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1343474
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= 3046
involuntary context switches= 2863
runsolver used 0.299954 second user time and 0.971852 second system time
The end
Begin job on node200 at 2011-05-07 23:13:30
IDJOB=3347183
IDBENCH=20495
IDSOLVER=1808
FILE ID=node200/3347183-1304802809
RUNJOBID= node200-1304802676-8487
PBS_JOBID= 13281967
Free space on /tmp= 62036 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT07/industrial/manolios/manol-pipe-f7idw.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347183-1304802809/watcher-3347183-1304802809 -o /tmp/evaluation-result-3347183-1304802809/solver-3347183-1304802809 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347183-1304802809.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= e11b8f7666247454d93edb47f1646e2c
RANDOM SEED=97636196
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: 256742160 kB
Buffers: 351352 kB
Cached: 6800488 kB
SwapCached: 0 kB
Active: 6332504 kB
Inactive: 888356 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 256742160 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 23964 kB
Writeback: 0 kB
AnonPages: 68956 kB
Mapped: 14480 kB
Slab: 191824 kB
PageTables: 4428 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 187676 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= 62028 MiB
End job on node200 at 2011-05-07 23:14:19