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
8483.63/267.12 s UNSATISFIABLE
8483.63/267.17 solver [1] cryptominisat 2.7.1 answered
8483.63/267.17 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-3347631-1305405168/watcher-3347631-1305405168 -o /tmp/evaluation-result-3347631-1305405168/solver-3347631-1305405168 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347631-1305405168.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.13 31.03 31.69 1/413 32595
/proc/meminfo: memFree=255581200/264257624 swapFree=67111528/67111528
[pid=32595] ppid=32593 vsize=18324 CPUtime=0 cores=0-31
/proc/32595/stat : 32595 (ppfolio) S 32593 32595 32569 0 -1 4202496 515 0 0 0 0 0 0 0 24 0 1 0 652003220 18763776 386 268435456000 4194304 4287625 140735232808416 18446744073709551615 258650975999 0 0 4096 65536 9184107106532327423 0 0 17 16 0 0 0
/proc/32595/statm: 4581 386 337 23 0 91 0
[startup+0.05454 s]
/proc/loadavg: 27.13 31.03 31.69 1/413 32595
/proc/meminfo: memFree=255581200/264257624 swapFree=67111528/67111528
[pid=32595] ppid=32593 vsize=18324 CPUtime=0 cores=0-31
/proc/32595/stat : 32595 (ppfolio) S 32593 32595 32569 0 -1 4202496 515 0 0 0 0 0 0 0 24 0 1 0 652003220 18763776 386 268435456000 4194304 4287625 140735232808416 18446744073709551615 258650975999 0 0 4096 65536 9184107106532327423 0 0 17 16 0 0 0
/proc/32595/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.100556 s]
/proc/loadavg: 27.13 31.03 31.69 1/413 32595
/proc/meminfo: memFree=255581200/264257624 swapFree=67111528/67111528
[pid=32595] ppid=32593 vsize=18324 CPUtime=0 cores=0-31
/proc/32595/stat : 32595 (ppfolio) S 32593 32595 32569 0 -1 4202496 515 0 0 0 0 0 0 0 24 0 1 0 652003220 18763776 386 268435456000 4194304 4287625 140735232808416 18446744073709551615 258650975999 0 0 4096 65536 9184107106532327423 0 0 17 16 0 0 0
/proc/32595/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300544 s]
/proc/loadavg: 27.13 31.03 31.69 1/413 32595
/proc/meminfo: memFree=255581200/264257624 swapFree=67111528/67111528
[pid=32595] ppid=32593 vsize=18324 CPUtime=0 cores=0-31
/proc/32595/stat : 32595 (ppfolio) S 32593 32595 32569 0 -1 4202496 515 0 0 0 0 0 0 0 24 0 1 0 652003220 18763776 386 268435456000 4194304 4287625 140735232808416 18446744073709551615 258650975999 0 0 4096 65536 9184107106532327423 0 0 17 16 0 0 0
/proc/32595/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700528 s]
/proc/loadavg: 27.13 31.03 31.69 1/413 32595
/proc/meminfo: memFree=255581200/264257624 swapFree=67111528/67111528
[pid=32595] ppid=32593 vsize=18324 CPUtime=0 cores=0-31
/proc/32595/stat : 32595 (ppfolio) S 32593 32595 32569 0 -1 4202496 515 0 0 0 0 0 0 0 24 0 1 0 652003220 18763776 386 268435456000 4194304 4287625 140735232808416 18446744073709551615 258650975999 0 0 4096 65536 9184107106532327423 0 0 17 16 0 0 0
/proc/32595/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50057 s]
/proc/loadavg: 27.13 31.03 31.69 6/419 32606
/proc/meminfo: memFree=255447936/264257624 swapFree=67111528/67111528
[pid=32595] ppid=32593 vsize=18324 CPUtime=0 cores=0-31
/proc/32595/stat : 32595 (ppfolio) S 32593 32595 32569 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 652003220 18763776 386 268435456000 4194304 4287625 140735232808416 18446744073709551615 258650975999 0 0 4096 65536 9184107106532327423 0 0 17 16 0 0 0
/proc/32595/statm: 4581 386 337 23 0 91 0
[pid=32596] ppid=32595 vsize=35724 CPUtime=1.48 cores=0
/proc/32596/stat : 32596 (cryptominisat) R 32595 32595 32569 0 -1 4202496 4755 0 0 0 147 1 0 0 20 0 1 0 652003221 36581376 3790 268435456000 4194304 4587354 140734602549920 18446744073709551615 4238271 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32596/statm: 8931 3790 330 96 0 5493 0
[pid=32597] ppid=32595 vsize=19420 CPUtime=1.48 cores=1
/proc/32597/stat : 32597 (clasp) R 32595 32595 32569 0 -1 4202496 2835 0 0 0 147 1 0 0 20 0 1 0 652003221 19886080 2175 268435456000 4194304 4785740 140734908659248 18446744073709551615 4291220 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32597/statm: 4855 2175 339 145 0 1900 0
[pid=32598] ppid=32595 vsize=460712 CPUtime=1.48 cores=2
/proc/32598/stat : 32598 (TNM) R 32595 32595 32569 0 -1 4202496 2283 0 0 0 147 1 0 0 20 0 1 0 652003221 471769088 2180 268435456000 134512640 134534564 4287234368 18446744073709551615 134530186 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32598/statm: 115178 2180 95 6 0 113843 0
[pid=32599] ppid=32595 vsize=51776 CPUtime=1.48 cores=3
/proc/32599/stat : 32599 (march_hi) R 32595 32595 32569 0 -1 4202496 20251 0 0 0 143 5 0 0 20 0 1 0 652003221 53018624 10903 268435456000 4194304 4331988 140736649620400 18446744073709551615 4251678 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32599/statm: 12944 10903 149 34 0 11386 0
[pid=32600] ppid=32595 vsize=107480 CPUtime=1.48 cores=4-31
/proc/32600/stat : 32600 (plingeling) R 32595 32595 32569 0 -1 4202496 25629 1245 0 0 141 6 0 1 21 0 1 0 652003221 110059520 25512 268435456000 4194304 4356188 140733966852848 18446744073709551615 4213270 0 0 4096 17442 0 0 0 17 8 0 0 0
/proc/32600/statm: 26870 25512 129 40 0 25414 0
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (KiB) 693436
[startup+3.10258 s]
/proc/loadavg: 27.13 31.03 31.69 33/447 32634
/proc/meminfo: memFree=255294944/264257624 swapFree=67111528/67111528
[pid=32595] ppid=32593 vsize=18324 CPUtime=0 cores=0-31
/proc/32595/stat : 32595 (ppfolio) S 32593 32595 32569 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 652003220 18763776 386 268435456000 4194304 4287625 140735232808416 18446744073709551615 258650975999 0 0 4096 65536 9184107106532327423 0 0 17 16 0 0 0
/proc/32595/statm: 4581 386 337 23 0 91 0
[pid=32596] ppid=32595 vsize=35724 CPUtime=3.08 cores=0
/proc/32596/stat : 32596 (cryptominisat) R 32595 32595 32569 0 -1 4202496 5029 0 0 0 307 1 0 0 25 0 1 0 652003221 36581376 4061 268435456000 4194304 4587354 140734602549920 18446744073709551615 4244609 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32596/statm: 8931 4061 330 96 0 5493 0
[pid=32597] ppid=32595 vsize=20124 CPUtime=3.08 cores=1
/proc/32597/stat : 32597 (clasp) R 32595 32595 32569 0 -1 4202496 3021 0 0 0 307 1 0 0 25 0 1 0 652003221 20606976 2361 268435456000 4194304 4785740 140734908659248 18446744073709551615 4552666 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32597/statm: 5031 2361 339 145 0 2076 0
[pid=32598] ppid=32595 vsize=460712 CPUtime=3.08 cores=2
/proc/32598/stat : 32598 (TNM) R 32595 32595 32569 0 -1 4202496 2283 0 0 0 307 1 0 0 25 0 1 0 652003221 471769088 2180 268435456000 134512640 134534564 4287234368 18446744073709551615 134528273 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32598/statm: 115178 2180 95 6 0 113843 0
[pid=32599] ppid=32595 vsize=97120 CPUtime=3.08 cores=3
/proc/32599/stat : 32599 (march_hi) R 32595 32595 32569 0 -1 4202496 38064 0 0 0 300 8 0 0 25 0 1 0 652003221 99450880 15877 268435456000 4194304 4331988 140736649620400 18446744073709551615 4210904 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32599/statm: 24280 15877 180 34 0 22722 0
[pid=32600] ppid=32595 vsize=577124 CPUtime=32.74 cores=4-31
/proc/32600/stat : 32600 (plingeling) S 32595 32595 32569 0 -1 4202496 58061 1245 0 0 3205 68 0 1 18 0 29 0 652003221 590974976 39370 268435456000 4194304 4356188 140733966852848 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 15 0 0 0
/proc/32600/statm: 144281 39370 159 40 0 142825 0
[pid=32600/tid=32607] ppid=32595 vsize=577124 CPUtime=1.11 cores=4-31
/proc/32600/task/32607/stat : 32607 (plingeling) R 32595 32595 32569 0 -1 4202560 1425 1245 0 0 108 2 0 1 25 0 29 0 652003415 590974976 39370 268435456000 4194304 4356188 140733966852848 18446744073709551615 4210567 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32600/tid=32608] ppid=32595 vsize=577124 CPUtime=1.11 cores=4-31
/proc/32600/task/32608/stat : 32608 (plingeling) R 32595 32595 32569 0 -1 4202560 1311 1245 0 0 108 2 0 1 19 0 29 0 652003415 590974976 39370 268435456000 4194304 4356188 140733966852848 18446744073709551615 4217742 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32600/tid=32609] ppid=32595 vsize=577124 CPUtime=1.1 cores=4-31
/proc/32600/task/32609/stat : 32609 (plingeling) R 32595 32595 32569 0 -1 4202560 1340 1245 0 0 107 2 0 1 19 0 29 0 652003415 590974976 39370 268435456000 4194304 4356188 140733966852848 18446744073709551615 4233903 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32600/tid=32610] ppid=32595 vsize=577124 CPUtime=1.11 cores=4-31
/proc/32600/task/32610/stat : 32610 (plingeling) R 32595 32595 32569 0 -1 4202560 962 1245 0 0 108 2 0 1 19 0 29 0 652003415 590974976 39370 268435456000 4194304 4356188 140733966852848 18446744073709551615 4212994 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=32600/tid=32611] ppid=32595 vsize=577124 CPUtime=1.11 cores=4-31
/proc/32600/task/32611/stat : 32611 (plingeling) R 32595 32595 32569 0 -1 4202560 1240 1245 0 0 108 2 0 1 21 0 29 0 652003415 590974976 39370 268435456000 4194304 4356188 140733966852848 18446744073709551615 4301757 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32600/tid=32612] ppid=32595 vsize=577124 CPUtime=1.1 cores=4-31
/proc/32600/task/32612/stat : 32612 (plingeling) R 32595 32595 32569 0 -1 4202560 1149 1245 0 0 107 2 0 1 19 0 29 0 652003415 590974976 39370 268435456000 4194304 4356188 140733966852848 18446744073709551615 4300670 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=32600/tid=32613] ppid=32595 vsize=577124 CPUtime=1.11 cores=4-31
/proc/32600/task/32613/stat : 32613 (plingeling) R 32595 32595 32569 0 -1 4202560 1339 1245 0 0 107 3 0 1 19 0 29 0 652003415 590974976 39370 268435456000 4194304 4356188 140733966852848 18446744073709551615 4300670 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=32600/tid=32614] ppid=32595 vsize=577124 CPUtime=1.09 cores=4-31
/proc/32600/task/32614/stat : 32614 (plingeling) R 32595 32595 32569 0 -1 4202560 950 1245 0 0 107 1 0 1 19 0 29 0 652003415 590974976 39370 268435456000 4194304 4356188 140733966852848 18446744073709551615 4232894 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=32600/tid=32615] ppid=32595 vsize=577124 CPUtime=1.11 cores=4-31
/proc/32600/task/32615/stat : 32615 (plingeling) R 32595 32595 32569 0 -1 4202560 1311 1245 0 0 108 2 0 1 19 0 29 0 652003415 590974976 39370 268435456000 4194304 4356188 140733966852848 18446744073709551615 4233190 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=32600/tid=32616] ppid=32595 vsize=577124 CPUtime=1.1 cores=4-31
/proc/32600/task/32616/stat : 32616 (plingeling) R 32595 32595 32569 0 -1 4202560 1304 1245 0 0 107 2 0 1 19 0 29 0 652003415 590974976 39370 268435456000 4194304 4356188 140733966852848 18446744073709551615 4252859 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32600/tid=32617] ppid=32595 vsize=577124 CPUtime=1.09 cores=4-31
/proc/32600/task/32617/stat : 32617 (plingeling) R 32595 32595 32569 0 -1 4202560 1335 1245 0 0 107 1 0 1 19 0 29 0 652003415 590974976 39370 268435456000 4194304 4356188 140733966852848 18446744073709551615 4303232 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=32600/tid=32618] ppid=32595 vsize=577124 CPUtime=1.11 cores=4-31
/proc/32600/task/32618/stat : 32618 (plingeling) R 32595 32595 32569 0 -1 4202560 1008 1245 0 0 108 2 0 1 19 0 29 0 652003415 590974976 39370 268435456000 4194304 4356188 140733966852848 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=32600/tid=32619] ppid=32595 vsize=577124 CPUtime=1.11 cores=4-31
/proc/32600/task/32619/stat : 32619 (plingeling) R 32595 32595 32569 0 -1 4202560 1009 1245 0 0 108 2 0 1 19 0 29 0 652003415 590974976 39370 268435456000 4194304 4356188 140733966852848 18446744073709551615 4231361 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=32600/tid=32620] ppid=32595 vsize=577124 CPUtime=1.11 cores=4-31
/proc/32600/task/32620/stat : 32620 (plingeling) R 32595 32595 32569 0 -1 4202560 990 1245 0 0 108 2 0 1 19 0 29 0 652003416 590974976 39370 268435456000 4194304 4356188 140733966852848 18446744073709551615 4301721 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=32600/tid=32621] ppid=32595 vsize=577124 CPUtime=1.07 cores=4-31
/proc/32600/task/32621/stat : 32621 (plingeling) R 32595 32595 32569 0 -1 4202560 1073 1245 0 0 104 2 0 1 19 0 29 0 652003416 590974976 39370 268435456000 4194304 4356188 140733966852848 18446744073709551615 4210587 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32600/tid=32622] ppid=32595 vsize=577124 CPUtime=1.1 cores=4-31
/proc/32600/task/32622/stat : 32622 (plingeling) R 32595 32595 32569 0 -1 4202560 1422 1245 0 0 108 1 0 1 18 0 29 0 652003416 590974976 39370 268435456000 4194304 4356188 140733966852848 18446744073709551615 4216906 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=32600/tid=32623] ppid=32595 vsize=577124 CPUtime=1.11 cores=4-31
/proc/32600/task/32623/stat : 32623 (plingeling) R 32595 32595 32569 0 -1 4202560 982 1245 0 0 108 2 0 1 19 0 29 0 652003416 590974976 39370 268435456000 4194304 4356188 140733966852848 18446744073709551615 4231892 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=32600/tid=32624] ppid=32595 vsize=577124 CPUtime=1.1 cores=4-31
/proc/32600/task/32624/stat : 32624 (plingeling) R 32595 32595 32569 0 -1 4202560 1110 1245 0 0 107 2 0 1 19 0 29 0 652003416 590974976 39370 268435456000 4194304 4356188 140733966852848 18446744073709551615 4232894 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32600/tid=32625] ppid=32595 vsize=577124 CPUtime=1.1 cores=4-31
/proc/32600/task/32625/stat : 32625 (plingeling) R 32595 32595 32569 0 -1 4202560 1307 1245 0 0 107 2 0 1 19 0 29 0 652003416 590974976 39370 268435456000 4194304 4356188 140733966852848 18446744073709551615 4230244 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=32600/tid=32626] ppid=32595 vsize=577124 CPUtime=1.1 cores=4-31
/proc/32600/task/32626/stat : 32626 (plingeling) R 32595 32595 32569 0 -1 4202560 954 1245 0 0 107 2 0 1 21 0 29 0 652003418 590974976 39370 268435456000 4194304 4356188 140733966852848 18446744073709551615 4334098 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32600/tid=32627] ppid=32595 vsize=577124 CPUtime=1.1 cores=4-31
/proc/32600/task/32627/stat : 32627 (plingeling) R 32595 32595 32569 0 -1 4202560 1151 1245 0 0 108 1 0 1 19 0 29 0 652003418 590974976 39370 268435456000 4194304 4356188 140733966852848 18446744073709551615 4225315 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=32600/tid=32628] ppid=32595 vsize=577124 CPUtime=1.1 cores=4-31
/proc/32600/task/32628/stat : 32628 (plingeling) R 32595 32595 32569 0 -1 4202560 1056 1245 0 0 108 1 0 1 19 0 29 0 652003418 590974976 39370 268435456000 4194304 4356188 140733966852848 18446744073709551615 4217742 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=32600/tid=32629] ppid=32595 vsize=577124 CPUtime=1.08 cores=4-31
/proc/32600/task/32629/stat : 32629 (plingeling) R 32595 32595 32569 0 -1 4202560 1406 1245 0 0 107 0 0 1 22 0 29 0 652003419 590974976 39370 268435456000 4194304 4356188 140733966852848 18446744073709551615 4231239 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=32600/tid=32630] ppid=32595 vsize=577124 CPUtime=1.09 cores=4-31
/proc/32600/task/32630/stat : 32630 (plingeling) R 32595 32595 32569 0 -1 4202560 1106 1245 0 0 107 1 0 1 19 0 29 0 652003419 590974976 39370 268435456000 4194304 4356188 140733966852848 18446744073709551615 4232040 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32600/tid=32631] ppid=32595 vsize=577124 CPUtime=1.1 cores=4-31
/proc/32600/task/32631/stat : 32631 (plingeling) R 32595 32595 32569 0 -1 4202560 1009 1245 0 0 108 1 0 1 19 0 29 0 652003419 590974976 39370 268435456000 4194304 4356188 140733966852848 18446744073709551615 4230551 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=32600/tid=32632] ppid=32595 vsize=577124 CPUtime=1.09 cores=4-31
/proc/32600/task/32632/stat : 32632 (plingeling) R 32595 32595 32569 0 -1 4202560 1157 1245 0 0 107 1 0 1 21 0 29 0 652003419 590974976 39370 268435456000 4194304 4356188 140733966852848 18446744073709551615 4216142 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32600/tid=32633] ppid=32595 vsize=577124 CPUtime=1.1 cores=4-31
/proc/32600/task/32633/stat : 32633 (plingeling) R 32595 32595 32569 0 -1 4202560 1109 1245 0 0 108 1 0 1 21 0 29 0 652003420 590974976 39370 268435456000 4194304 4356188 140733966852848 18446744073709551615 4231537 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32600/tid=32634] ppid=32595 vsize=577124 CPUtime=1.1 cores=4-31
/proc/32600/task/32634/stat : 32634 (plingeling) R 32595 32595 32569 0 -1 4202560 880 1245 0 0 108 1 0 1 19 0 29 0 652003420 590974976 39370 268435456000 4194304 4356188 140733966852848 18446744073709551615 4210605 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 45.06
Current children cumulated vsize (KiB) 1209128
[startup+6.30169 s]
/proc/loadavg: 27.52 31.05 31.69 33/447 32634
/proc/meminfo: memFree=255334296/264257624 swapFree=67111528/67111528
[pid=32595] ppid=32593 vsize=18324 CPUtime=0 cores=0-31
/proc/32595/stat : 32595 (ppfolio) S 32593 32595 32569 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 652003220 18763776 386 268435456000 4194304 4287625 140735232808416 18446744073709551615 258650975999 0 0 4096 65536 9184107106532327423 0 0 17 16 0 0 0
/proc/32595/statm: 4581 386 337 23 0 91 0
[pid=32596] ppid=32595 vsize=304580 CPUtime=6.28 cores=0
/proc/32596/stat : 32596 (cryptominisat) R 32595 32595 32569 0 -1 4202496 7055 0 0 0 626 2 0 0 25 0 1 0 652003221 311889920 5040 268435456000 4194304 4587354 140734602549920 18446744073709551615 4249504 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32596/statm: 76145 5040 336 96 0 72707 0
[pid=32597] ppid=32595 vsize=22628 CPUtime=6.28 cores=1
/proc/32597/stat : 32597 (clasp) R 32595 32595 32569 0 -1 4202496 3661 0 0 0 627 1 0 0 25 0 1 0 652003221 23171072 3001 268435456000 4194304 4785740 140734908659248 18446744073709551615 4546123 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32597/statm: 5657 3001 339 145 0 2702 0
[pid=32598] ppid=32595 vsize=460712 CPUtime=6.28 cores=2
/proc/32598/stat : 32598 (TNM) R 32595 32595 32569 0 -1 4202496 2283 0 0 0 627 1 0 0 25 0 1 0 652003221 471769088 2180 268435456000 134512640 134534564 4287234368 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32598/statm: 115178 2180 95 6 0 113843 0
[pid=32599] ppid=32595 vsize=98712 CPUtime=6.28 cores=3
/proc/32599/stat : 32599 (march_hi) R 32595 32595 32569 0 -1 4202496 40176 0 0 0 619 9 0 0 25 0 1 0 652003221 101081088 17980 268435456000 4194304 4331988 140736649620400 18446744073709551615 4299264 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32599/statm: 24678 17980 174 34 0 23120 0
[pid=32600] ppid=32595 vsize=560816 CPUtime=122.18 cores=4-31
/proc/32600/stat : 32600 (plingeling) S 32595 32595 32569 0 -1 4202496 67724 1245 0 0 12146 71 0 1 18 0 29 0 652003221 574275584 36678 268435456000 4194304 4356188 140733966852848 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 15 0 0 0
/proc/32600/statm: 140204 36678 159 40 0 138748 0
[pid=32600/tid=32607] ppid=32595 vsize=560816 CPUtime=4.3 cores=4-31
/proc/32600/task/32607/stat : 32607 (plingeling) R 32595 32595 32569 0 -1 4202560 1777 1245 0 0 427 2 0 1 25 0 29 0 652003415 574275584 36678 268435456000 4194304 4356188 140733966852848 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32600/tid=32608] ppid=32595 vsize=560816 CPUtime=4.3 cores=4-31
/proc/32600/task/32608/stat : 32608 (plingeling) R 32595 32595 32569 0 -1 4202560 1663 1245 0 0 427 2 0 1 25 0 29 0 652003415 574275584 36678 268435456000 4194304 4356188 140733966852848 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32600/tid=32609] ppid=32595 vsize=560816 CPUtime=4.3 cores=4-31
/proc/32600/task/32609/stat : 32609 (plingeling) R 32595 32595 32569 0 -1 4202560 1716 1245 0 0 427 2 0 1 25 0 29 0 652003415 574275584 36678 268435456000 4194304 4356188 140733966852848 18446744073709551615 4330982 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32600/tid=32610] ppid=32595 vsize=560816 CPUtime=4.3 cores=4-31
/proc/32600/task/32610/stat : 32610 (plingeling) R 32595 32595 32569 0 -1 4202560 1090 1245 0 0 427 2 0 1 25 0 29 0 652003415 574275584 36678 268435456000 4194304 4356188 140733966852848 18446744073709551615 4331193 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=32600/tid=32611] ppid=32595 vsize=560816 CPUtime=4.29 cores=4-31
/proc/32600/task/32611/stat : 32611 (plingeling) R 32595 32595 32569 0 -1 4202560 1672 1245 0 0 426 2 0 1 25 0 29 0 652003415 574275584 36678 268435456000 4194304 4356188 140733966852848 18446744073709551615 4284187 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32600/tid=32612] ppid=32595 vsize=560816 CPUtime=4.31 cores=4-31
################
# More data... #
################
[pid=32600/tid=32631] ppid=32595 vsize=863292 CPUtime=264.25 cores=4-31
/proc/32600/task/32631/stat : 32631 (plingeling) R 32595 32595 32569 0 -1 4202560 7034 1245 0 0 26417 7 0 1 25 0 29 0 652003419 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4279688 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=32600/tid=32632] ppid=32595 vsize=863292 CPUtime=264.24 cores=4-31
/proc/32600/task/32632/stat : 32632 (plingeling) R 32595 32595 32569 0 -1 4202560 9092 1245 0 0 26418 5 0 1 25 0 29 0 652003419 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4281709 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32600/tid=32633] ppid=32595 vsize=863292 CPUtime=264.25 cores=4-31
/proc/32600/task/32633/stat : 32633 (plingeling) R 32595 32595 32569 0 -1 4202560 12401 1245 0 0 26419 5 0 1 25 0 29 0 652003420 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32600/tid=32634] ppid=32595 vsize=863292 CPUtime=264.22 cores=4-31
/proc/32600/task/32634/stat : 32634 (plingeling) R 32595 32595 32569 0 -1 4202560 6385 1245 0 0 26413 8 0 1 25 0 29 0 652003420 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 8458.05
Current children cumulated vsize (KiB) 1855728
[startup+266.702 s]
/proc/loadavg: 32.12 31.67 31.78 33/447 32640
/proc/meminfo: memFree=254902872/264257624 swapFree=67111528/67111528
[pid=32595] ppid=32593 vsize=18324 CPUtime=0 cores=0-31
/proc/32595/stat : 32595 (ppfolio) S 32593 32595 32569 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 652003220 18763776 386 268435456000 4194304 4287625 140735232808416 18446744073709551615 258650975999 0 0 4096 65536 9184107106532327423 0 0 17 16 0 0 0
/proc/32595/statm: 4581 386 337 23 0 91 0
[pid=32596] ppid=32595 vsize=335716 CPUtime=266.63 cores=0
/proc/32596/stat : 32596 (cryptominisat) R 32595 32595 32569 0 -1 4202496 77446 0 0 0 26636 27 0 0 25 0 1 0 652003221 343773184 15003 268435456000 4194304 4587354 140734602549920 18446744073709551615 4238593 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32596/statm: 83929 15003 336 96 0 80491 0
[pid=32597] ppid=32595 vsize=64164 CPUtime=266.63 cores=1
/proc/32597/stat : 32597 (clasp) R 32595 32595 32569 0 -1 4202496 13950 0 0 0 26658 5 0 0 25 0 1 0 652003221 65703936 13290 268435456000 4194304 4785740 140734908659248 18446744073709551615 4553402 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32597/statm: 16041 13290 339 145 0 13086 0
[pid=32598] ppid=32595 vsize=460712 CPUtime=266.63 cores=2
/proc/32598/stat : 32598 (TNM) R 32595 32595 32569 0 -1 4202496 2283 0 0 0 26662 1 0 0 25 0 1 0 652003221 471769088 2180 268435456000 134512640 134534564 4287234368 18446744073709551615 134528504 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32598/statm: 115178 2180 95 6 0 113843 0
[pid=32599] ppid=32595 vsize=113520 CPUtime=266.63 cores=3
/proc/32599/stat : 32599 (march_hi) R 32595 32595 32569 0 -1 4202496 43689 0 0 0 26652 11 0 0 25 0 1 0 652003221 116244480 21470 268435456000 4194304 4331988 140736649620400 18446744073709551615 4299269 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32599/statm: 28380 21470 177 34 0 26822 0
[pid=32600] ppid=32595 vsize=863292 CPUtime=7404.32 cores=4-31
/proc/32600/stat : 32600 (plingeling) S 32595 32595 32569 0 -1 4202496 276849 1245 0 0 740195 236 0 1 18 0 29 0 652003221 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 15 0 0 0
/proc/32600/statm: 215823 118189 159 40 0 214367 0
[pid=32600/tid=32607] ppid=32595 vsize=863292 CPUtime=264.65 cores=4-31
/proc/32600/task/32607/stat : 32607 (plingeling) R 32595 32595 32569 0 -1 4202560 9400 1245 0 0 26458 6 0 1 25 0 29 0 652003415 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4234112 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32600/tid=32608] ppid=32595 vsize=863292 CPUtime=264.65 cores=4-31
/proc/32600/task/32608/stat : 32608 (plingeling) R 32595 32595 32569 0 -1 4202560 8817 1245 0 0 26455 9 0 1 25 0 29 0 652003415 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32600/tid=32609] ppid=32595 vsize=863292 CPUtime=264.65 cores=4-31
/proc/32600/task/32609/stat : 32609 (plingeling) R 32595 32595 32569 0 -1 4202560 10123 1245 0 0 26454 10 0 1 25 0 29 0 652003415 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32600/tid=32610] ppid=32595 vsize=863292 CPUtime=264.66 cores=4-31
/proc/32600/task/32610/stat : 32610 (plingeling) R 32595 32595 32569 0 -1 4202560 7333 1245 0 0 26456 9 0 1 25 0 29 0 652003415 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4330976 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=32600/tid=32611] ppid=32595 vsize=863292 CPUtime=264.44 cores=4-31
/proc/32600/task/32611/stat : 32611 (plingeling) R 32595 32595 32569 0 -1 4202560 8699 1245 0 0 26432 11 0 1 25 0 29 0 652003415 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32600/tid=32612] ppid=32595 vsize=863292 CPUtime=264.65 cores=4-31
/proc/32600/task/32612/stat : 32612 (plingeling) R 32595 32595 32569 0 -1 4202560 9046 1245 0 0 26457 7 0 1 25 0 29 0 652003415 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4331309 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=32600/tid=32613] ppid=32595 vsize=863292 CPUtime=264.65 cores=4-31
/proc/32600/task/32613/stat : 32613 (plingeling) R 32595 32595 32569 0 -1 4202560 10583 1245 0 0 26455 9 0 1 25 0 29 0 652003415 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=32600/tid=32614] ppid=32595 vsize=863292 CPUtime=264.61 cores=4-31
/proc/32600/task/32614/stat : 32614 (plingeling) R 32595 32595 32569 0 -1 4202560 11728 1245 0 0 26449 11 0 1 25 0 29 0 652003415 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=32600/tid=32615] ppid=32595 vsize=863292 CPUtime=264.65 cores=4-31
/proc/32600/task/32615/stat : 32615 (plingeling) R 32595 32595 32569 0 -1 4202560 9755 1245 0 0 26458 6 0 1 25 0 29 0 652003415 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=32600/tid=32616] ppid=32595 vsize=863292 CPUtime=264.66 cores=4-31
/proc/32600/task/32616/stat : 32616 (plingeling) R 32595 32595 32569 0 -1 4202560 8155 1245 0 0 26460 5 0 1 25 0 29 0 652003415 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4331745 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32600/tid=32617] ppid=32595 vsize=863292 CPUtime=264.65 cores=4-31
/proc/32600/task/32617/stat : 32617 (plingeling) R 32595 32595 32569 0 -1 4202560 8113 1245 0 0 26456 8 0 1 25 0 29 0 652003415 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4233948 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=32600/tid=32618] ppid=32595 vsize=863292 CPUtime=264.66 cores=4-31
/proc/32600/task/32618/stat : 32618 (plingeling) R 32595 32595 32569 0 -1 4202560 6207 1245 0 0 26460 5 0 1 25 0 29 0 652003415 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4330931 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=32600/tid=32619] ppid=32595 vsize=863292 CPUtime=264.66 cores=4-31
/proc/32600/task/32619/stat : 32619 (plingeling) R 32595 32595 32569 0 -1 4202560 7117 1245 0 0 26457 8 0 1 25 0 29 0 652003415 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4280872 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=32600/tid=32620] ppid=32595 vsize=863292 CPUtime=264.65 cores=4-31
/proc/32600/task/32620/stat : 32620 (plingeling) R 32595 32595 32569 0 -1 4202560 8755 1245 0 0 26459 5 0 1 25 0 29 0 652003416 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4331264 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=32600/tid=32621] ppid=32595 vsize=863292 CPUtime=257.12 cores=4-31
/proc/32600/task/32621/stat : 32621 (plingeling) R 32595 32595 32569 0 -1 4202560 5197 1245 0 0 25708 3 0 1 25 0 29 0 652003416 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32600/tid=32622] ppid=32595 vsize=863292 CPUtime=264.65 cores=4-31
/proc/32600/task/32622/stat : 32622 (plingeling) R 32595 32595 32569 0 -1 4202560 14275 1245 0 0 26451 13 0 1 25 0 29 0 652003416 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=32600/tid=32623] ppid=32595 vsize=863292 CPUtime=264.65 cores=4-31
/proc/32600/task/32623/stat : 32623 (plingeling) R 32595 32595 32569 0 -1 4202560 8262 1245 0 0 26458 6 0 1 25 0 29 0 652003416 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4331419 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=32600/tid=32624] ppid=32595 vsize=863292 CPUtime=264.64 cores=4-31
/proc/32600/task/32624/stat : 32624 (plingeling) R 32595 32595 32569 0 -1 4202560 10680 1245 0 0 26451 12 0 1 25 0 29 0 652003416 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4331340 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32600/tid=32625] ppid=32595 vsize=863292 CPUtime=264.65 cores=4-31
/proc/32600/task/32625/stat : 32625 (plingeling) R 32595 32595 32569 0 -1 4202560 8603 1245 0 0 26454 10 0 1 25 0 29 0 652003416 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4331305 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=32600/tid=32626] ppid=32595 vsize=863292 CPUtime=264.63 cores=4-31
/proc/32600/task/32626/stat : 32626 (plingeling) R 32595 32595 32569 0 -1 4202560 6765 1245 0 0 26455 7 0 1 25 0 29 0 652003418 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4283920 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32600/tid=32627] ppid=32595 vsize=863292 CPUtime=264.64 cores=4-31
/proc/32600/task/32627/stat : 32627 (plingeling) R 32595 32595 32569 0 -1 4202560 7577 1245 0 0 26460 3 0 1 25 0 29 0 652003418 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=32600/tid=32628] ppid=32595 vsize=863292 CPUtime=264.65 cores=4-31
/proc/32600/task/32628/stat : 32628 (plingeling) R 32595 32595 32569 0 -1 4202560 8628 1245 0 0 26456 8 0 1 25 0 29 0 652003418 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4331079 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=32600/tid=32629] ppid=32595 vsize=863292 CPUtime=264.63 cores=4-31
/proc/32600/task/32629/stat : 32629 (plingeling) R 32595 32595 32569 0 -1 4202560 10836 1245 0 0 26454 8 0 1 25 0 29 0 652003419 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4331072 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=32600/tid=32630] ppid=32595 vsize=863292 CPUtime=264.65 cores=4-31
/proc/32600/task/32630/stat : 32630 (plingeling) R 32595 32595 32569 0 -1 4202560 11617 1245 0 0 26454 10 0 1 25 0 29 0 652003419 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4279432 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32600/tid=32631] ppid=32595 vsize=863292 CPUtime=264.65 cores=4-31
/proc/32600/task/32631/stat : 32631 (plingeling) R 32595 32595 32569 0 -1 4202560 7034 1245 0 0 26457 7 0 1 25 0 29 0 652003419 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4331309 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=32600/tid=32632] ppid=32595 vsize=863292 CPUtime=264.64 cores=4-31
/proc/32600/task/32632/stat : 32632 (plingeling) R 32595 32595 32569 0 -1 4202560 9092 1245 0 0 26458 5 0 1 25 0 29 0 652003419 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32600/tid=32633] ppid=32595 vsize=863292 CPUtime=264.65 cores=4-31
/proc/32600/task/32633/stat : 32633 (plingeling) R 32595 32595 32569 0 -1 4202560 12401 1245 0 0 26459 5 0 1 25 0 29 0 652003420 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4210875 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32600/tid=32634] ppid=32595 vsize=863292 CPUtime=264.62 cores=4-31
/proc/32600/task/32634/stat : 32634 (plingeling) R 32595 32595 32569 0 -1 4202560 6385 1245 0 0 26453 8 0 1 25 0 29 0 652003420 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4281672 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 8470.84
Current children cumulated vsize (KiB) 1855728
[startup+267.102 s]
/proc/loadavg: 32.12 31.67 31.78 33/447 32640
/proc/meminfo: memFree=254902872/264257624 swapFree=67111528/67111528
[pid=32595] ppid=32593 vsize=18324 CPUtime=0 cores=0-31
/proc/32595/stat : 32595 (ppfolio) S 32593 32595 32569 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 652003220 18763776 386 268435456000 4194304 4287625 140735232808416 18446744073709551615 258650975999 0 0 4096 65536 9184107106532327423 0 0 17 16 0 0 0
/proc/32595/statm: 4581 386 337 23 0 91 0
[pid=32596] ppid=32595 vsize=335716 CPUtime=267.03 cores=0
/proc/32596/stat : 32596 (cryptominisat) R 32595 32595 32569 0 -1 4202496 77483 0 0 0 26676 27 0 0 25 0 1 0 652003221 343773184 15039 268435456000 4194304 4587354 140734602549920 18446744073709551615 4238240 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32596/statm: 83929 15039 336 96 0 80491 0
[pid=32597] ppid=32595 vsize=64164 CPUtime=267.03 cores=1
/proc/32597/stat : 32597 (clasp) R 32595 32595 32569 0 -1 4202496 13950 0 0 0 26698 5 0 0 25 0 1 0 652003221 65703936 13290 268435456000 4194304 4785740 140734908659248 18446744073709551615 4286912 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32597/statm: 16041 13290 339 145 0 13086 0
[pid=32598] ppid=32595 vsize=460712 CPUtime=267.03 cores=2
/proc/32598/stat : 32598 (TNM) R 32595 32595 32569 0 -1 4202496 2283 0 0 0 26702 1 0 0 25 0 1 0 652003221 471769088 2180 268435456000 134512640 134534564 4287234368 18446744073709551615 3900816 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32598/statm: 115178 2180 95 6 0 113843 0
[pid=32599] ppid=32595 vsize=113520 CPUtime=267.03 cores=3
/proc/32599/stat : 32599 (march_hi) R 32595 32595 32569 0 -1 4202496 43689 0 0 0 26692 11 0 0 25 0 1 0 652003221 116244480 21470 268435456000 4194304 4331988 140736649620400 18446744073709551615 4299219 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32599/statm: 28380 21470 177 34 0 26822 0
[pid=32600] ppid=32595 vsize=863292 CPUtime=7415.51 cores=4-31
/proc/32600/stat : 32600 (plingeling) S 32595 32595 32569 0 -1 4202496 276849 1245 0 0 741314 236 0 1 18 0 29 0 652003221 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 15 0 0 0
/proc/32600/statm: 215823 118189 159 40 0 214367 0
[pid=32600/tid=32607] ppid=32595 vsize=863292 CPUtime=265.05 cores=4-31
/proc/32600/task/32607/stat : 32607 (plingeling) R 32595 32595 32569 0 -1 4202560 9400 1245 0 0 26498 6 0 1 25 0 29 0 652003415 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4210554 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32600/tid=32608] ppid=32595 vsize=863292 CPUtime=265.05 cores=4-31
/proc/32600/task/32608/stat : 32608 (plingeling) R 32595 32595 32569 0 -1 4202560 8817 1245 0 0 26495 9 0 1 25 0 29 0 652003415 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4281627 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32600/tid=32609] ppid=32595 vsize=863292 CPUtime=265.05 cores=4-31
/proc/32600/task/32609/stat : 32609 (plingeling) R 32595 32595 32569 0 -1 4202560 10123 1245 0 0 26494 10 0 1 25 0 29 0 652003415 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4281495 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32600/tid=32610] ppid=32595 vsize=863292 CPUtime=265.06 cores=4-31
/proc/32600/task/32610/stat : 32610 (plingeling) R 32595 32595 32569 0 -1 4202560 7333 1245 0 0 26496 9 0 1 25 0 29 0 652003415 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4210549 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=32600/tid=32611] ppid=32595 vsize=863292 CPUtime=264.84 cores=4-31
/proc/32600/task/32611/stat : 32611 (plingeling) R 32595 32595 32569 0 -1 4202560 8699 1245 0 0 26472 11 0 1 25 0 29 0 652003415 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32600/tid=32612] ppid=32595 vsize=863292 CPUtime=265.05 cores=4-31
/proc/32600/task/32612/stat : 32612 (plingeling) R 32595 32595 32569 0 -1 4202560 9046 1245 0 0 26497 7 0 1 25 0 29 0 652003415 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4210605 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=32600/tid=32613] ppid=32595 vsize=863292 CPUtime=265.05 cores=4-31
/proc/32600/task/32613/stat : 32613 (plingeling) R 32595 32595 32569 0 -1 4202560 10583 1245 0 0 26495 9 0 1 25 0 29 0 652003415 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=32600/tid=32614] ppid=32595 vsize=863292 CPUtime=265.01 cores=4-31
/proc/32600/task/32614/stat : 32614 (plingeling) R 32595 32595 32569 0 -1 4202560 11728 1245 0 0 26489 11 0 1 25 0 29 0 652003415 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=32600/tid=32615] ppid=32595 vsize=863292 CPUtime=265.05 cores=4-31
/proc/32600/task/32615/stat : 32615 (plingeling) R 32595 32595 32569 0 -1 4202560 9755 1245 0 0 26498 6 0 1 25 0 29 0 652003415 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=32600/tid=32616] ppid=32595 vsize=863292 CPUtime=265.06 cores=4-31
/proc/32600/task/32616/stat : 32616 (plingeling) R 32595 32595 32569 0 -1 4202560 8155 1245 0 0 26500 5 0 1 25 0 29 0 652003415 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4279663 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32600/tid=32617] ppid=32595 vsize=863292 CPUtime=265.05 cores=4-31
/proc/32600/task/32617/stat : 32617 (plingeling) R 32595 32595 32569 0 -1 4202560 8113 1245 0 0 26496 8 0 1 25 0 29 0 652003415 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4331360 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=32600/tid=32618] ppid=32595 vsize=863292 CPUtime=265.06 cores=4-31
/proc/32600/task/32618/stat : 32618 (plingeling) R 32595 32595 32569 0 -1 4202560 6207 1245 0 0 26500 5 0 1 25 0 29 0 652003415 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4331363 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=32600/tid=32619] ppid=32595 vsize=863292 CPUtime=265.06 cores=4-31
/proc/32600/task/32619/stat : 32619 (plingeling) R 32595 32595 32569 0 -1 4202560 7117 1245 0 0 26497 8 0 1 25 0 29 0 652003415 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4331141 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=32600/tid=32620] ppid=32595 vsize=863292 CPUtime=265.05 cores=4-31
/proc/32600/task/32620/stat : 32620 (plingeling) R 32595 32595 32569 0 -1 4202560 8755 1245 0 0 26499 5 0 1 25 0 29 0 652003416 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4331035 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=32600/tid=32621] ppid=32595 vsize=863292 CPUtime=257.52 cores=4-31
/proc/32600/task/32621/stat : 32621 (plingeling) R 32595 32595 32569 0 -1 4202560 5197 1245 0 0 25748 3 0 1 25 0 29 0 652003416 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32600/tid=32622] ppid=32595 vsize=863292 CPUtime=265.05 cores=4-31
/proc/32600/task/32622/stat : 32622 (plingeling) R 32595 32595 32569 0 -1 4202560 14275 1245 0 0 26491 13 0 1 25 0 29 0 652003416 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=32600/tid=32623] ppid=32595 vsize=863292 CPUtime=265.05 cores=4-31
/proc/32600/task/32623/stat : 32623 (plingeling) R 32595 32595 32569 0 -1 4202560 8262 1245 0 0 26498 6 0 1 25 0 29 0 652003416 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=32600/tid=32624] ppid=32595 vsize=863292 CPUtime=265.04 cores=4-31
/proc/32600/task/32624/stat : 32624 (plingeling) R 32595 32595 32569 0 -1 4202560 10680 1245 0 0 26491 12 0 1 25 0 29 0 652003416 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4331383 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32600/tid=32625] ppid=32595 vsize=863292 CPUtime=265.05 cores=4-31
/proc/32600/task/32625/stat : 32625 (plingeling) R 32595 32595 32569 0 -1 4202560 8603 1245 0 0 26494 10 0 1 25 0 29 0 652003416 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4298380 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=32600/tid=32626] ppid=32595 vsize=863292 CPUtime=265.03 cores=4-31
/proc/32600/task/32626/stat : 32626 (plingeling) R 32595 32595 32569 0 -1 4202560 6765 1245 0 0 26495 7 0 1 25 0 29 0 652003418 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4331822 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32600/tid=32627] ppid=32595 vsize=863292 CPUtime=265.04 cores=4-31
/proc/32600/task/32627/stat : 32627 (plingeling) R 32595 32595 32569 0 -1 4202560 7577 1245 0 0 26500 3 0 1 25 0 29 0 652003418 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=32600/tid=32628] ppid=32595 vsize=863292 CPUtime=265.05 cores=4-31
/proc/32600/task/32628/stat : 32628 (plingeling) R 32595 32595 32569 0 -1 4202560 8628 1245 0 0 26496 8 0 1 25 0 29 0 652003418 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=32600/tid=32629] ppid=32595 vsize=863292 CPUtime=265.03 cores=4-31
/proc/32600/task/32629/stat : 32629 (plingeling) R 32595 32595 32569 0 -1 4202560 10836 1245 0 0 26494 8 0 1 25 0 29 0 652003419 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=32600/tid=32630] ppid=32595 vsize=863292 CPUtime=265.05 cores=4-31
/proc/32600/task/32630/stat : 32630 (plingeling) R 32595 32595 32569 0 -1 4202560 11617 1245 0 0 26494 10 0 1 25 0 29 0 652003419 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4330780 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32600/tid=32631] ppid=32595 vsize=863292 CPUtime=265.05 cores=4-31
/proc/32600/task/32631/stat : 32631 (plingeling) R 32595 32595 32569 0 -1 4202560 7034 1245 0 0 26497 7 0 1 25 0 29 0 652003419 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4233969 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=32600/tid=32632] ppid=32595 vsize=863292 CPUtime=265.04 cores=4-31
/proc/32600/task/32632/stat : 32632 (plingeling) R 32595 32595 32569 0 -1 4202560 9092 1245 0 0 26498 5 0 1 25 0 29 0 652003419 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4331796 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32600/tid=32633] ppid=32595 vsize=863292 CPUtime=265.05 cores=4-31
/proc/32600/task/32633/stat : 32633 (plingeling) R 32595 32595 32569 0 -1 4202560 12401 1245 0 0 26499 5 0 1 25 0 29 0 652003420 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4281672 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32600/tid=32634] ppid=32595 vsize=863292 CPUtime=265.02 cores=4-31
/proc/32600/task/32634/stat : 32634 (plingeling) R 32595 32595 32569 0 -1 4202560 6385 1245 0 0 26493 8 0 1 25 0 29 0 652003420 884011008 118189 268435456000 4194304 4356188 140733966852848 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 8483.63
Current children cumulated vsize (KiB) 1855728
Child status: 0
Real time (s): 267.176
CPU time (s): 8484.6
CPU user time (s): 8481.68
CPU system time (s): 2.92455
CPU usage (%): 3175.66
Max. virtual memory (cumulated for all children) (KiB): 5257232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8481.68
system time used= 2.92455
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 416051
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= 2627
involuntary context switches= 21052
runsolver used 1.56676 second user time and 6.05808 second system time
The end
Begin job on node200 at 2011-05-14 22:32:48
IDJOB=3347631
IDBENCH=84205
IDSOLVER=1808
FILE ID=node200/3347631-1305405168
RUNJOBID= node200-1305405168-32583
PBS_JOBID= 13285493
Free space on /tmp= 62052 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT03/industrial/goldberg/hard_eq_check/c6288mul.miter.shuffled-as.sat03-346.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347631-1305405168/watcher-3347631-1305405168 -o /tmp/evaluation-result-3347631-1305405168/solver-3347631-1305405168 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347631-1305405168.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 9799c8db3562549113e4a12f98721530
RANDOM SEED=121354275
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: 255581488 kB
Buffers: 438120 kB
Cached: 7835540 kB
SwapCached: 0 kB
Active: 7385872 kB
Inactive: 956556 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255581488 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 10980 kB
Writeback: 0 kB
AnonPages: 70072 kB
Mapped: 13332 kB
Slab: 250312 kB
PageTables: 4464 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 183844 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62040 MiB
End job on node200 at 2011-05-14 22:37:15