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
1224.26/49.21 s UNSATISFIABLE
1224.26/49.28 solver [2] clasp 1.3.6 answered
1224.26/49.28 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-3347627-1305400831/watcher-3347627-1305400831 -o /tmp/evaluation-result-3347627-1305400831/solver-3347627-1305400831 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347627-1305400831.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: 28.60 30.82 31.56 1/413 32312
/proc/meminfo: memFree=255563856/264257624 swapFree=67111528/67111528
[pid=32312] ppid=32310 vsize=18324 CPUtime=0 cores=0-31
/proc/32312/stat : 32312 (ppfolio) S 32310 32312 31580 0 -1 4202496 513 0 0 0 0 0 0 0 23 0 1 0 651569578 18763776 386 268435456000 4194304 4287625 140736399007728 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 8 0 0 0
/proc/32312/statm: 4581 386 337 23 0 91 0
[startup+0.133661 s]
/proc/loadavg: 28.60 30.82 31.56 1/413 32312
/proc/meminfo: memFree=255563856/264257624 swapFree=67111528/67111528
[pid=32312] ppid=32310 vsize=18324 CPUtime=0 cores=0-31
/proc/32312/stat : 32312 (ppfolio) S 32310 32312 31580 0 -1 4202496 513 0 0 0 0 0 0 0 23 0 1 0 651569578 18763776 386 268435456000 4194304 4287625 140736399007728 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 8 0 0 0
/proc/32312/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.200644 s]
/proc/loadavg: 28.60 30.82 31.56 1/413 32312
/proc/meminfo: memFree=255563856/264257624 swapFree=67111528/67111528
[pid=32312] ppid=32310 vsize=18324 CPUtime=0 cores=0-31
/proc/32312/stat : 32312 (ppfolio) S 32310 32312 31580 0 -1 4202496 513 0 0 0 0 0 0 0 23 0 1 0 651569578 18763776 386 268435456000 4194304 4287625 140736399007728 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 8 0 0 0
/proc/32312/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300679 s]
/proc/loadavg: 28.60 30.82 31.56 1/413 32312
/proc/meminfo: memFree=255563856/264257624 swapFree=67111528/67111528
[pid=32312] ppid=32310 vsize=18324 CPUtime=0 cores=0-31
/proc/32312/stat : 32312 (ppfolio) S 32310 32312 31580 0 -1 4202496 513 0 0 0 0 0 0 0 23 0 1 0 651569578 18763776 386 268435456000 4194304 4287625 140736399007728 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 8 0 0 0
/proc/32312/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700699 s]
/proc/loadavg: 28.60 30.82 31.56 1/413 32312
/proc/meminfo: memFree=255563856/264257624 swapFree=67111528/67111528
[pid=32312] ppid=32310 vsize=18324 CPUtime=0 cores=0-31
/proc/32312/stat : 32312 (ppfolio) S 32310 32312 31580 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 651569578 18763776 386 268435456000 4194304 4287625 140736399007728 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 8 0 0 0
/proc/32312/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50069 s]
/proc/loadavg: 26.71 30.39 31.42 6/419 32323
/proc/meminfo: memFree=255337012/264257624 swapFree=67111528/67111528
[pid=32312] ppid=32310 vsize=18324 CPUtime=0 cores=0-31
/proc/32312/stat : 32312 (ppfolio) S 32310 32312 31580 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 651569578 18763776 386 268435456000 4194304 4287625 140736399007728 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 8 0 0 0
/proc/32312/statm: 4581 386 337 23 0 91 0
[pid=32313] ppid=32312 vsize=61952 CPUtime=1.48 cores=0
/proc/32313/stat : 32313 (cryptominisat) R 32312 32312 31580 0 -1 4202496 10604 0 0 0 146 2 0 0 25 0 1 0 651569579 63438848 10425 268435456000 4194304 4587354 140736934676144 18446744073709551615 4238104 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32313/statm: 15488 10425 303 96 0 12050 0
[pid=32314] ppid=32312 vsize=54960 CPUtime=1.48 cores=1
/proc/32314/stat : 32314 (clasp) R 32312 32312 31580 0 -1 4202496 13561 0 0 0 144 4 0 0 20 0 1 0 651569579 56279040 10570 268435456000 4194304 4785740 140736548663888 18446744073709551615 4495595 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32314/statm: 13740 10570 316 145 0 10785 0
[pid=32315] ppid=32312 vsize=485956 CPUtime=1.48 cores=2
/proc/32315/stat : 32315 (TNM) R 32312 32312 31580 0 -1 4202496 10992 0 0 0 144 4 0 0 20 0 1 0 651569579 497618944 10890 268435456000 134512640 134534564 4291447168 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32315/statm: 121489 10890 91 6 0 120154 0
[pid=32316] ppid=32312 vsize=70620 CPUtime=1.49 cores=3
/proc/32316/stat : 32316 (march_hi) R 32312 32312 31580 0 -1 4194304 17596 0 0 0 143 6 0 0 20 0 1 0 651569579 72314880 10600 268435456000 4194304 4331988 140737212136848 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32316/statm: 17688 10609 125 34 0 16130 0
[pid=32317] ppid=32312 vsize=80908 CPUtime=1.48 cores=4-31
/proc/32317/stat : 32317 (plingeling) R 32312 32312 31580 0 -1 4202496 19066 1238 0 0 145 3 0 0 21 0 1 0 651569579 82849792 18886 268435456000 4194304 4356188 140734046315808 18446744073709551615 4277610 0 0 4096 17442 0 0 0 17 12 0 0 0
/proc/32317/statm: 20227 18886 129 40 0 18771 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 772720
[startup+3.10076 s]
/proc/loadavg: 26.71 30.39 31.42 6/419 32323
/proc/meminfo: memFree=255294576/264257624 swapFree=67111528/67111528
[pid=32312] ppid=32310 vsize=18324 CPUtime=0 cores=0-31
/proc/32312/stat : 32312 (ppfolio) S 32310 32312 31580 0 -1 4202496 513 0 0 0 0 0 0 0 17 0 1 0 651569578 18763776 386 268435456000 4194304 4287625 140736399007728 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 8 0 0 0
/proc/32312/statm: 4581 386 337 23 0 91 0
[pid=32313] ppid=32312 vsize=81592 CPUtime=3.08 cores=0
/proc/32313/stat : 32313 (cryptominisat) R 32312 32312 31580 0 -1 4202496 15500 0 0 0 305 3 0 0 25 0 1 0 651569579 83550208 15318 268435456000 4194304 4587354 140736934676144 18446744073709551615 4364908 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32313/statm: 20398 15318 308 96 0 16960 0
[pid=32314] ppid=32312 vsize=54960 CPUtime=3.08 cores=1
/proc/32314/stat : 32314 (clasp) R 32312 32312 31580 0 -1 4202496 13561 0 0 0 304 4 0 0 25 0 1 0 651569579 56279040 10570 268435456000 4194304 4785740 140736548663888 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32314/statm: 13740 10570 316 145 0 10785 0
[pid=32315] ppid=32312 vsize=485956 CPUtime=3.08 cores=2
/proc/32315/stat : 32315 (TNM) R 32312 32312 31580 0 -1 4202496 10992 0 0 0 304 4 0 0 25 0 1 0 651569579 497618944 10890 268435456000 134512640 134534564 4291447168 18446744073709551615 134524734 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32315/statm: 121489 10890 91 6 0 120154 0
[pid=32316] ppid=32312 vsize=68912 CPUtime=3.08 cores=3
/proc/32316/stat : 32316 (march_hi) R 32312 32312 31580 0 -1 4202496 34498 0 0 0 299 9 0 0 25 0 1 0 651569579 70565888 10226 268435456000 4194304 4331988 140737212136848 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32316/statm: 17228 10233 145 34 0 15670 0
[pid=32317] ppid=32312 vsize=134112 CPUtime=3.07 cores=4-31
/proc/32317/stat : 32317 (plingeling) R 32312 32312 31580 0 -1 4202496 32367 1238 0 0 302 5 0 0 25 0 1 0 651569579 137330688 32187 268435456000 4194304 4356188 140734046315808 18446744073709551615 4277785 0 0 4096 17442 0 0 0 17 12 0 0 0
/proc/32317/statm: 33528 32187 129 40 0 32072 0
Current children cumulated CPU time (s) 15.39
Current children cumulated vsize (KiB) 843856
[startup+6.30084 s]
/proc/loadavg: 26.71 30.39 31.42 6/419 32323
/proc/meminfo: memFree=255150504/264257624 swapFree=67111528/67111528
[pid=32312] ppid=32310 vsize=18324 CPUtime=0 cores=0-31
/proc/32312/stat : 32312 (ppfolio) S 32310 32312 31580 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 651569578 18763776 386 268435456000 4194304 4287625 140736399007728 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 8 0 0 0
/proc/32312/statm: 4581 386 337 23 0 91 0
[pid=32313] ppid=32312 vsize=113652 CPUtime=6.29 cores=0
/proc/32313/stat : 32313 (cryptominisat) R 32312 32312 31580 0 -1 4202496 32812 0 0 0 621 8 0 0 25 0 1 0 651569579 116379648 22261 268435456000 4194304 4587354 140736934676144 18446744073709551615 4238297 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32313/statm: 28413 22261 324 96 0 24975 0
[pid=32314] ppid=32312 vsize=53080 CPUtime=6.29 cores=1
/proc/32314/stat : 32314 (clasp) R 32312 32312 31580 0 -1 4202496 14468 0 0 0 624 5 0 0 25 0 1 0 651569579 54353920 10411 268435456000 4194304 4785740 140736548663888 18446744073709551615 4553046 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32314/statm: 13270 10411 338 145 0 10315 0
[pid=32315] ppid=32312 vsize=485956 CPUtime=6.28 cores=2
/proc/32315/stat : 32315 (TNM) R 32312 32312 31580 0 -1 4202496 10992 0 0 0 624 4 0 0 25 0 1 0 651569579 497618944 10890 268435456000 134512640 134534564 4291447168 18446744073709551615 134524568 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32315/statm: 121489 10890 91 6 0 120154 0
[pid=32316] ppid=32312 vsize=72348 CPUtime=6.28 cores=3
/proc/32316/stat : 32316 (march_hi) R 32312 32312 31580 0 -1 4202496 56231 0 0 0 614 14 0 0 25 0 1 0 651569579 74084352 11295 268435456000 4194304 4331988 140737212136848 18446744073709551615 4226645 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32316/statm: 18087 11295 148 34 0 16529 0
[pid=32317] ppid=32312 vsize=206828 CPUtime=6.27 cores=4-31
/proc/32317/stat : 32317 (plingeling) R 32312 32312 31580 0 -1 4202496 50546 1238 0 0 618 9 0 0 25 0 1 0 651569579 211791872 50366 268435456000 4194304 4356188 140734046315808 18446744073709551615 4210587 0 0 4096 17442 0 0 0 17 12 0 0 0
/proc/32317/statm: 51707 50366 129 40 0 50251 0
Current children cumulated CPU time (s) 31.41
Current children cumulated vsize (KiB) 950188
[startup+12.701 s]
/proc/loadavg: 23.37 29.55 31.14 6/419 32323
/proc/meminfo: memFree=254968428/264257624 swapFree=67111528/67111528
[pid=32312] ppid=32310 vsize=18324 CPUtime=0 cores=0-31
/proc/32312/stat : 32312 (ppfolio) S 32310 32312 31580 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 651569578 18763776 386 268435456000 4194304 4287625 140736399007728 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 8 0 0 0
/proc/32312/statm: 4581 386 337 23 0 91 0
[pid=32313] ppid=32312 vsize=120596 CPUtime=12.69 cores=0
/proc/32313/stat : 32313 (cryptominisat) R 32312 32312 31580 0 -1 4202496 36465 0 0 0 1260 9 0 0 25 0 1 0 651569579 123490304 23017 268435456000 4194304 4587354 140736934676144 18446744073709551615 4238271 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32313/statm: 30149 23017 329 96 0 26711 0
[pid=32314] ppid=32312 vsize=59060 CPUtime=12.68 cores=1
/proc/32314/stat : 32314 (clasp) R 32312 32312 31580 0 -1 4202496 16125 0 0 0 1263 5 0 0 25 0 1 0 651569579 60477440 12068 268435456000 4194304 4785740 140736548663888 18446744073709551615 4551058 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32314/statm: 14765 12068 338 145 0 11810 0
[pid=32315] ppid=32312 vsize=485956 CPUtime=12.68 cores=2
/proc/32315/stat : 32315 (TNM) R 32312 32312 31580 0 -1 4202496 10992 0 0 0 1264 4 0 0 25 0 1 0 651569579 497618944 10890 268435456000 134512640 134534564 4291447168 18446744073709551615 134524745 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32315/statm: 121489 10890 91 6 0 120154 0
[pid=32316] ppid=32312 vsize=103796 CPUtime=12.68 cores=3
/proc/32316/stat : 32316 (march_hi) R 32312 32312 31580 0 -1 4202496 64044 0 0 0 1252 16 0 0 25 0 1 0 651569579 106287104 19108 268435456000 4194304 4331988 140737212136848 18446744073709551615 4226642 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32316/statm: 25949 19108 148 34 0 24391 0
[pid=32317] ppid=32312 vsize=580592 CPUtime=12.67 cores=4-31
/proc/32317/stat : 32317 (plingeling) R 32312 32312 31580 0 -1 4202496 143987 1238 0 0 1238 29 0 0 25 0 1 0 651569579 594526208 143807 268435456000 4194304 4356188 140734046315808 18446744073709551615 4277785 0 0 4096 17442 0 0 0 17 12 0 0 0
/proc/32317/statm: 145148 143807 129 40 0 143692 0
Current children cumulated CPU time (s) 63.4
Current children cumulated vsize (KiB) 1368324
[startup+25.5025 s]
/proc/loadavg: 24.86 29.67 31.16 33/447 32351
/proc/meminfo: memFree=254534072/264257624 swapFree=67111528/67111528
[pid=32312] ppid=32310 vsize=18324 CPUtime=0 cores=0-31
/proc/32312/stat : 32312 (ppfolio) S 32310 32312 31580 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 651569578 18763776 386 268435456000 4194304 4287625 140736399007728 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 8 0 0 0
/proc/32312/statm: 4581 386 337 23 0 91 0
[pid=32313] ppid=32312 vsize=134660 CPUtime=25.48 cores=0
/proc/32313/stat : 32313 (cryptominisat) R 32312 32312 31580 0 -1 4202496 38970 0 0 0 2538 10 0 0 25 0 1 0 651569579 137891840 25519 268435456000 4194304 4587354 140736934676144 18446744073709551615 4363775 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32313/statm: 33665 25519 336 96 0 30227 0
[pid=32314] ppid=32312 vsize=94176 CPUtime=25.49 cores=1
/proc/32314/stat : 32314 (clasp) R 32312 32312 31580 0 -1 4202496 24834 0 0 0 2540 9 0 0 25 0 1 0 651569579 96436224 20777 268435456000 4194304 4785740 140736548663888 18446744073709551615 4552646 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32314/statm: 23544 20777 338 145 0 20589 0
[pid=32315] ppid=32312 vsize=485956 CPUtime=25.48 cores=2
/proc/32315/stat : 32315 (TNM) R 32312 32312 31580 0 -1 4202496 10992 0 0 0 2544 4 0 0 25 0 1 0 651569579 497618944 10890 268435456000 134512640 134534564 4291447168 18446744073709551615 134524686 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32315/statm: 121489 10890 91 6 0 120154 0
[pid=32316] ppid=32312 vsize=121908 CPUtime=25.48 cores=3
/proc/32316/stat : 32316 (march_hi) R 32312 32312 31580 0 -1 4202496 68203 0 0 0 2530 18 0 0 25 0 1 0 651569579 124833792 23267 268435456000 4194304 4331988 140737212136848 18446744073709551615 4271172 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32316/statm: 30477 23267 148 34 0 28919 0
[pid=32317] ppid=32312 vsize=1376392 CPUtime=364.88 cores=4-31
/proc/32317/stat : 32317 (plingeling) S 32312 32312 31580 0 -1 4202496 314935 1238 0 0 36355 133 0 0 19 0 29 0 651569579 1409425408 177854 268435456000 4194304 4356188 140734046315808 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 17 0 0 0
/proc/32317/statm: 344098 177854 159 40 0 342642 0
[pid=32317/tid=32324] ppid=32312 vsize=1376392 CPUtime=12.58 cores=4-31
/proc/32317/task/32324/stat : 32324 (plingeling) R 32312 32312 31580 0 -1 4202560 8774 1238 0 0 1254 4 0 0 25 0 29 0 651570854 1409425408 177854 268435456000 4194304 4356188 140734046315808 18446744073709551615 4311296 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=32317/tid=32325] ppid=32312 vsize=1376392 CPUtime=12.61 cores=4-31
/proc/32317/task/32325/stat : 32325 (plingeling) R 32312 32312 31580 0 -1 4202560 3857 1238 0 0 1259 2 0 0 25 0 29 0 651570854 1409425408 177854 268435456000 4194304 4356188 140734046315808 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32317/tid=32326] ppid=32312 vsize=1376392 CPUtime=12.64 cores=4-31
/proc/32317/task/32326/stat : 32326 (plingeling) R 32312 32312 31580 0 -1 4202560 5831 1238 0 0 1262 2 0 0 25 0 29 0 651570854 1409425408 177854 268435456000 4194304 4356188 140734046315808 18446744073709551615 4312445 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32317/tid=32327] ppid=32312 vsize=1376392 CPUtime=12.65 cores=4-31
/proc/32317/task/32327/stat : 32327 (plingeling) R 32312 32312 31580 0 -1 4202560 4791 1238 0 0 1261 4 0 0 25 0 29 0 651570854 1409425408 177854 268435456000 4194304 4356188 140734046315808 18446744073709551615 4260341 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32317/tid=32328] ppid=32312 vsize=1376392 CPUtime=12.6 cores=4-31
/proc/32317/task/32328/stat : 32328 (plingeling) R 32312 32312 31580 0 -1 4202560 8840 1238 0 0 1255 5 0 0 25 0 29 0 651570854 1409425408 177854 268435456000 4194304 4356188 140734046315808 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32317/tid=32329] ppid=32312 vsize=1376392 CPUtime=12.57 cores=4-31
/proc/32317/task/32329/stat : 32329 (plingeling) R 32312 32312 31580 0 -1 4202560 5766 1238 0 0 1255 2 0 0 25 0 29 0 651570855 1409425408 177854 268435456000 4194304 4356188 140734046315808 18446744073709551615 4287203 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=32317/tid=32330] ppid=32312 vsize=1376392 CPUtime=12.64 cores=4-31
/proc/32317/task/32330/stat : 32330 (plingeling) R 32312 32312 31580 0 -1 4202560 6988 1238 0 0 1260 4 0 0 25 0 29 0 651570855 1409425408 177854 268435456000 4194304 4356188 140734046315808 18446744073709551615 4211159 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32317/tid=32331] ppid=32312 vsize=1376392 CPUtime=12.58 cores=4-31
/proc/32317/task/32331/stat : 32331 (plingeling) R 32312 32312 31580 0 -1 4202560 6714 1238 0 0 1254 4 0 0 25 0 29 0 651570855 1409425408 177854 268435456000 4194304 4356188 140734046315808 18446744073709551615 4250512 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=32317/tid=32332] ppid=32312 vsize=1376392 CPUtime=12.19 cores=4-31
/proc/32317/task/32332/stat : 32332 (plingeling) R 32312 32312 31580 0 -1 4202560 7974 1238 0 0 1215 4 0 0 25 0 29 0 651570855 1409425408 177854 268435456000 4194304 4356188 140734046315808 18446744073709551615 4287083 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32317/tid=32333] ppid=32312 vsize=1376392 CPUtime=12.59 cores=4-31
################
# More data... #
################
[pid=32317/tid=32348] ppid=32312 vsize=1434032 CPUtime=35.1 cores=4-31
/proc/32317/task/32348/stat : 32348 (plingeling) R 32312 32312 31580 0 -1 4202560 11582 1238 0 0 3505 5 0 0 25 0 29 0 651570857 1468448768 193289 268435456000 4194304 4356188 140734046315808 18446744073709551615 4331337 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=32317/tid=32349] ppid=32312 vsize=1434032 CPUtime=34.97 cores=4-31
/proc/32317/task/32349/stat : 32349 (plingeling) R 32312 32312 31580 0 -1 4202560 7813 1238 0 0 3493 4 0 0 25 0 29 0 651570858 1468448768 193289 268435456000 4194304 4356188 140734046315808 18446744073709551615 4334092 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=32317/tid=32350] ppid=32312 vsize=1434032 CPUtime=35.08 cores=4-31
/proc/32317/task/32350/stat : 32350 (plingeling) R 32312 32312 31580 0 -1 4202560 10114 1238 0 0 3505 3 0 0 25 0 29 0 651570858 1468448768 193289 268435456000 4194304 4356188 140734046315808 18446744073709551615 4237379 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=32317/tid=32351] ppid=32312 vsize=1434032 CPUtime=34.95 cores=4-31
/proc/32317/task/32351/stat : 32351 (plingeling) R 32312 32312 31580 0 -1 4202560 5728 1238 0 0 3493 2 0 0 25 0 29 0 651570858 1468448768 193289 268435456000 4194304 4356188 140734046315808 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 1185.89
Current children cumulated vsize (KiB) 2949240
[startup+48.8023 s]
/proc/loadavg: 27.29 29.85 31.18 33/447 32353
/proc/meminfo: memFree=254372136/264257624 swapFree=67111528/67111528
[pid=32312] ppid=32310 vsize=18324 CPUtime=0 cores=0-31
/proc/32312/stat : 32312 (ppfolio) S 32310 32312 31580 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 651569578 18763776 386 268435456000 4194304 4287625 140736399007728 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 8 0 0 0
/proc/32312/statm: 4581 386 337 23 0 91 0
[pid=32313] ppid=32312 vsize=720436 CPUtime=48.78 cores=0
/proc/32313/stat : 32313 (cryptominisat) R 32312 32312 31580 0 -1 4202496 51979 0 0 0 4865 13 0 0 25 0 1 0 651569579 737726464 29093 268435456000 4194304 4587354 140736934676144 18446744073709551615 4230266 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32313/statm: 180109 29093 336 96 0 176671 0
[pid=32314] ppid=32312 vsize=126872 CPUtime=48.77 cores=1
/proc/32314/stat : 32314 (clasp) R 32312 32312 31580 0 -1 4202496 32935 0 0 0 4865 12 0 0 25 0 1 0 651569579 129916928 28878 268435456000 4194304 4785740 140736548663888 18446744073709551615 4290595 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32314/statm: 31718 28878 338 145 0 28763 0
[pid=32315] ppid=32312 vsize=485956 CPUtime=48.77 cores=2
/proc/32315/stat : 32315 (TNM) R 32312 32312 31580 0 -1 4202496 10992 0 0 0 4873 4 0 0 25 0 1 0 651569579 497618944 10890 268435456000 134512640 134534564 4291447168 18446744073709551615 134524664 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32315/statm: 121489 10890 91 6 0 120154 0
[pid=32316] ppid=32312 vsize=164016 CPUtime=48.78 cores=3
/proc/32316/stat : 32316 (march_hi) R 32312 32312 31580 0 -1 4202496 79084 0 0 0 4854 24 0 0 25 0 1 0 651569579 167952384 34148 268435456000 4194304 4331988 140737212136848 18446744073709551615 4271184 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32316/statm: 41004 34148 148 34 0 39446 0
[pid=32317] ppid=32312 vsize=1438840 CPUtime=1016.35 cores=4-31
/proc/32317/stat : 32317 (plingeling) S 32312 32312 31580 0 -1 4202496 415178 1238 0 0 101461 174 0 0 19 0 29 0 651569579 1473372160 192891 268435456000 4194304 4356188 140734046315808 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 17 0 0 0
/proc/32317/statm: 359710 192891 159 40 0 358254 0
[pid=32317/tid=32324] ppid=32312 vsize=1438840 CPUtime=35.85 cores=4-31
/proc/32317/task/32324/stat : 32324 (plingeling) R 32312 32312 31580 0 -1 4202560 12538 1238 0 0 3579 6 0 0 25 0 29 0 651570854 1473372160 192891 268435456000 4194304 4356188 140734046315808 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=32317/tid=32325] ppid=32312 vsize=1438840 CPUtime=35.89 cores=4-31
/proc/32317/task/32325/stat : 32325 (plingeling) R 32312 32312 31580 0 -1 4202560 8356 1238 0 0 3585 4 0 0 25 0 29 0 651570854 1473372160 192891 268435456000 4194304 4356188 140734046315808 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32317/tid=32326] ppid=32312 vsize=1438840 CPUtime=35.92 cores=4-31
/proc/32317/task/32326/stat : 32326 (plingeling) R 32312 32312 31580 0 -1 4202560 9702 1238 0 0 3589 3 0 0 25 0 29 0 651570854 1473372160 192891 268435456000 4194304 4356188 140734046315808 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32317/tid=32327] ppid=32312 vsize=1438840 CPUtime=35.94 cores=4-31
/proc/32317/task/32327/stat : 32327 (plingeling) R 32312 32312 31580 0 -1 4202560 4791 1238 0 0 3590 4 0 0 25 0 29 0 651570854 1473372160 192891 268435456000 4194304 4356188 140734046315808 18446744073709551615 4250578 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32317/tid=32328] ppid=32312 vsize=1438840 CPUtime=35.88 cores=4-31
/proc/32317/task/32328/stat : 32328 (plingeling) R 32312 32312 31580 0 -1 4202560 11971 1238 0 0 3581 7 0 0 25 0 29 0 651570854 1473372160 192891 268435456000 4194304 4356188 140734046315808 18446744073709551615 4270848 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32317/tid=32329] ppid=32312 vsize=1438840 CPUtime=35.86 cores=4-31
/proc/32317/task/32329/stat : 32329 (plingeling) R 32312 32312 31580 0 -1 4202560 10210 1238 0 0 3583 3 0 0 25 0 29 0 651570855 1473372160 192891 268435456000 4194304 4356188 140734046315808 18446744073709551615 4238096 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=32317/tid=32330] ppid=32312 vsize=1438840 CPUtime=35.92 cores=4-31
/proc/32317/task/32330/stat : 32330 (plingeling) R 32312 32312 31580 0 -1 4202560 10868 1238 0 0 3586 6 0 0 25 0 29 0 651570855 1473372160 192891 268435456000 4194304 4356188 140734046315808 18446744073709551615 4210992 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32317/tid=32331] ppid=32312 vsize=1438840 CPUtime=35.64 cores=4-31
/proc/32317/task/32331/stat : 32331 (plingeling) R 32312 32312 31580 0 -1 4202560 7873 1238 0 0 3560 4 0 0 25 0 29 0 651570855 1473372160 192891 268435456000 4194304 4356188 140734046315808 18446744073709551615 4234076 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32317/tid=32332] ppid=32312 vsize=1438840 CPUtime=35.05 cores=4-31
/proc/32317/task/32332/stat : 32332 (plingeling) R 32312 32312 31580 0 -1 4202560 11190 1238 0 0 3499 6 0 0 25 0 29 0 651570855 1473372160 192891 268435456000 4194304 4356188 140734046315808 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=32317/tid=32333] ppid=32312 vsize=1438840 CPUtime=35.89 cores=4-31
/proc/32317/task/32333/stat : 32333 (plingeling) R 32312 32312 31580 0 -1 4202560 10611 1238 0 0 3583 6 0 0 25 0 29 0 651570855 1473372160 192891 268435456000 4194304 4356188 140734046315808 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32317/tid=32334] ppid=32312 vsize=1438840 CPUtime=35.91 cores=4-31
/proc/32317/task/32334/stat : 32334 (plingeling) R 32312 32312 31580 0 -1 4202560 9472 1238 0 0 3588 3 0 0 25 0 29 0 651570855 1473372160 192891 268435456000 4194304 4356188 140734046315808 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=32317/tid=32335] ppid=32312 vsize=1438840 CPUtime=35.87 cores=4-31
/proc/32317/task/32335/stat : 32335 (plingeling) R 32312 32312 31580 0 -1 4202560 13539 1238 0 0 3582 5 0 0 25 0 29 0 651570855 1473372160 192891 268435456000 4194304 4356188 140734046315808 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=32317/tid=32336] ppid=32312 vsize=1438840 CPUtime=35.9 cores=4-31
/proc/32317/task/32336/stat : 32336 (plingeling) R 32312 32312 31580 0 -1 4202560 8035 1238 0 0 3584 6 0 0 25 0 29 0 651570855 1473372160 192891 268435456000 4194304 4356188 140734046315808 18446744073709551615 4271376 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=32317/tid=32337] ppid=32312 vsize=1438840 CPUtime=35.87 cores=4-31
/proc/32317/task/32337/stat : 32337 (plingeling) R 32312 32312 31580 0 -1 4202560 14146 1238 0 0 3583 4 0 0 25 0 29 0 651570855 1473372160 192891 268435456000 4194304 4356188 140734046315808 18446744073709551615 4334609 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32317/tid=32338] ppid=32312 vsize=1438840 CPUtime=35.88 cores=4-31
/proc/32317/task/32338/stat : 32338 (plingeling) R 32312 32312 31580 0 -1 4202560 9049 1238 0 0 3584 4 0 0 25 0 29 0 651570855 1473372160 192891 268435456000 4194304 4356188 140734046315808 18446744073709551615 4241608 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32317/tid=32339] ppid=32312 vsize=1438840 CPUtime=35.87 cores=4-31
/proc/32317/task/32339/stat : 32339 (plingeling) R 32312 32312 31580 0 -1 4202560 8529 1238 0 0 3582 5 0 0 25 0 29 0 651570855 1473372160 192891 268435456000 4194304 4356188 140734046315808 18446744073709551615 4281672 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=32317/tid=32340] ppid=32312 vsize=1438840 CPUtime=35.87 cores=4-31
/proc/32317/task/32340/stat : 32340 (plingeling) R 32312 32312 31580 0 -1 4202560 10892 1238 0 0 3580 7 0 0 25 0 29 0 651570855 1473372160 192891 268435456000 4194304 4356188 140734046315808 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=32317/tid=32341] ppid=32312 vsize=1438840 CPUtime=35.86 cores=4-31
/proc/32317/task/32341/stat : 32341 (plingeling) R 32312 32312 31580 0 -1 4202560 8120 1238 0 0 3581 5 0 0 25 0 29 0 651570855 1473372160 192891 268435456000 4194304 4356188 140734046315808 18446744073709551615 4322016 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32317/tid=32342] ppid=32312 vsize=1438840 CPUtime=35.83 cores=4-31
/proc/32317/task/32342/stat : 32342 (plingeling) R 32312 32312 31580 0 -1 4202560 8149 1238 0 0 3578 5 0 0 25 0 29 0 651570855 1473372160 192891 268435456000 4194304 4356188 140734046315808 18446744073709551615 4238436 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=32317/tid=32343] ppid=32312 vsize=1438840 CPUtime=35.89 cores=4-31
/proc/32317/task/32343/stat : 32343 (plingeling) R 32312 32312 31580 0 -1 4202560 12098 1238 0 0 3585 4 0 0 25 0 29 0 651570855 1473372160 192891 268435456000 4194304 4356188 140734046315808 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32317/tid=32344] ppid=32312 vsize=1438840 CPUtime=35.85 cores=4-31
/proc/32317/task/32344/stat : 32344 (plingeling) R 32312 32312 31580 0 -1 4202560 10742 1238 0 0 3580 5 0 0 25 0 29 0 651570855 1473372160 192891 268435456000 4194304 4356188 140734046315808 18446744073709551615 4210587 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=32317/tid=32345] ppid=32312 vsize=1438840 CPUtime=35.85 cores=4-31
/proc/32317/task/32345/stat : 32345 (plingeling) R 32312 32312 31580 0 -1 4202560 6136 1238 0 0 3583 2 0 0 25 0 29 0 651570855 1473372160 192891 268435456000 4194304 4356188 140734046315808 18446744073709551615 4239040 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=32317/tid=32346] ppid=32312 vsize=1438840 CPUtime=35.86 cores=4-31
/proc/32317/task/32346/stat : 32346 (plingeling) R 32312 32312 31580 0 -1 4202560 8677 1238 0 0 3581 5 0 0 25 0 29 0 651570855 1473372160 192891 268435456000 4194304 4356188 140734046315808 18446744073709551615 4260273 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=32317/tid=32347] ppid=32312 vsize=1438840 CPUtime=35.86 cores=4-31
/proc/32317/task/32347/stat : 32347 (plingeling) R 32312 32312 31580 0 -1 4202560 10222 1238 0 0 3580 6 0 0 25 0 29 0 651570856 1473372160 192891 268435456000 4194304 4356188 140734046315808 18446744073709551615 4279567 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=32317/tid=32348] ppid=32312 vsize=1438840 CPUtime=35.9 cores=4-31
/proc/32317/task/32348/stat : 32348 (plingeling) R 32312 32312 31580 0 -1 4202560 11582 1238 0 0 3585 5 0 0 25 0 29 0 651570857 1473372160 192891 268435456000 4194304 4356188 140734046315808 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=32317/tid=32349] ppid=32312 vsize=1438840 CPUtime=35.77 cores=4-31
/proc/32317/task/32349/stat : 32349 (plingeling) R 32312 32312 31580 0 -1 4202560 7813 1238 0 0 3573 4 0 0 25 0 29 0 651570858 1473372160 192891 268435456000 4194304 4356188 140734046315808 18446744073709551615 4242062 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=32317/tid=32350] ppid=32312 vsize=1438840 CPUtime=35.88 cores=4-31
/proc/32317/task/32350/stat : 32350 (plingeling) R 32312 32312 31580 0 -1 4202560 10114 1238 0 0 3585 3 0 0 25 0 29 0 651570858 1473372160 192891 268435456000 4194304 4356188 140734046315808 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=32317/tid=32351] ppid=32312 vsize=1438840 CPUtime=35.75 cores=4-31
/proc/32317/task/32351/stat : 32351 (plingeling) R 32312 32312 31580 0 -1 4202560 5728 1238 0 0 3573 2 0 0 25 0 29 0 651570858 1473372160 192891 268435456000 4194304 4356188 140734046315808 18446744073709551615 4279478 0 0 4096 17442 0 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 1211.45
Current children cumulated vsize (KiB) 2954444
[startup+49.2023 s]
/proc/loadavg: 27.29 29.85 31.18 33/447 32353
/proc/meminfo: memFree=254372136/264257624 swapFree=67111528/67111528
[pid=32312] ppid=32310 vsize=18324 CPUtime=0 cores=0-31
/proc/32312/stat : 32312 (ppfolio) S 32310 32312 31580 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 651569578 18763776 386 268435456000 4194304 4287625 140736399007728 18446744073709551615 258650975999 0 0 4096 65536 9205605032756510719 0 0 17 8 0 0 0
/proc/32312/statm: 4581 386 337 23 0 91 0
[pid=32313] ppid=32312 vsize=720436 CPUtime=49.18 cores=0
/proc/32313/stat : 32313 (cryptominisat) R 32312 32312 31580 0 -1 4202496 52032 0 0 0 4905 13 0 0 25 0 1 0 651569579 737726464 29146 268435456000 4194304 4587354 140736934676144 18446744073709551615 4237636 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32313/statm: 180109 29146 336 96 0 176671 0
[pid=32314] ppid=32312 vsize=91660 CPUtime=49.18 cores=1
/proc/32314/stat : 32314 (clasp) R 32312 32312 31580 0 -1 4202496 32951 0 0 0 4905 13 0 0 25 0 1 0 651569579 93859840 20091 268435456000 4194304 4785740 140736548663888 18446744073709551615 258650981722 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32314/statm: 22915 20091 354 145 0 19960 0
[pid=32315] ppid=32312 vsize=485956 CPUtime=49.17 cores=2
/proc/32315/stat : 32315 (TNM) R 32312 32312 31580 0 -1 4202496 10992 0 0 0 4913 4 0 0 25 0 1 0 651569579 497618944 10890 268435456000 134512640 134534564 4291447168 18446744073709551615 134524508 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32315/statm: 121489 10890 91 6 0 120154 0
[pid=32316] ppid=32312 vsize=164544 CPUtime=49.18 cores=3
/proc/32316/stat : 32316 (march_hi) R 32312 32312 31580 0 -1 4202496 79194 0 0 0 4894 24 0 0 25 0 1 0 651569579 168493056 34258 268435456000 4194304 4331988 140737212136848 18446744073709551615 4226645 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32316/statm: 41136 34259 148 34 0 39578 0
[pid=32317] ppid=32312 vsize=1438832 CPUtime=1027.55 cores=4-31
/proc/32317/stat : 32317 (plingeling) S 32312 32312 31580 0 -1 4202496 415178 1238 0 0 102581 174 0 0 19 0 29 0 651569579 1473363968 192889 268435456000 4194304 4356188 140734046315808 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 17 0 0 0
/proc/32317/statm: 359708 192889 159 40 0 358252 0
[pid=32317/tid=32324] ppid=32312 vsize=1438832 CPUtime=36.25 cores=4-31
/proc/32317/task/32324/stat : 32324 (plingeling) R 32312 32312 31580 0 -1 4202560 12538 1238 0 0 3619 6 0 0 25 0 29 0 651570854 1473363968 192889 268435456000 4194304 4356188 140734046315808 18446744073709551615 4330896 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=32317/tid=32325] ppid=32312 vsize=1438832 CPUtime=36.29 cores=4-31
/proc/32317/task/32325/stat : 32325 (plingeling) R 32312 32312 31580 0 -1 4202560 8356 1238 0 0 3625 4 0 0 25 0 29 0 651570854 1473363968 192889 268435456000 4194304 4356188 140734046315808 18446744073709551615 4331335 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32317/tid=32326] ppid=32312 vsize=1438832 CPUtime=36.32 cores=4-31
/proc/32317/task/32326/stat : 32326 (plingeling) R 32312 32312 31580 0 -1 4202560 9702 1238 0 0 3629 3 0 0 25 0 29 0 651570854 1473363968 192889 268435456000 4194304 4356188 140734046315808 18446744073709551615 4237264 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32317/tid=32327] ppid=32312 vsize=1438832 CPUtime=36.34 cores=4-31
/proc/32317/task/32327/stat : 32327 (plingeling) R 32312 32312 31580 0 -1 4202560 4791 1238 0 0 3630 4 0 0 25 0 29 0 651570854 1473363968 192889 268435456000 4194304 4356188 140734046315808 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32317/tid=32328] ppid=32312 vsize=1438832 CPUtime=36.28 cores=4-31
/proc/32317/task/32328/stat : 32328 (plingeling) R 32312 32312 31580 0 -1 4202560 11971 1238 0 0 3621 7 0 0 25 0 29 0 651570854 1473363968 192889 268435456000 4194304 4356188 140734046315808 18446744073709551615 4270920 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32317/tid=32329] ppid=32312 vsize=1438832 CPUtime=36.26 cores=4-31
/proc/32317/task/32329/stat : 32329 (plingeling) R 32312 32312 31580 0 -1 4202560 10210 1238 0 0 3623 3 0 0 25 0 29 0 651570855 1473363968 192889 268435456000 4194304 4356188 140734046315808 18446744073709551615 4238402 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=32317/tid=32330] ppid=32312 vsize=1438832 CPUtime=36.32 cores=4-31
/proc/32317/task/32330/stat : 32330 (plingeling) R 32312 32312 31580 0 -1 4202560 10868 1238 0 0 3626 6 0 0 25 0 29 0 651570855 1473363968 192889 268435456000 4194304 4356188 140734046315808 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32317/tid=32331] ppid=32312 vsize=1438832 CPUtime=36.04 cores=4-31
/proc/32317/task/32331/stat : 32331 (plingeling) R 32312 32312 31580 0 -1 4202560 7873 1238 0 0 3600 4 0 0 25 0 29 0 651570855 1473363968 192889 268435456000 4194304 4356188 140734046315808 18446744073709551615 4280060 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32317/tid=32332] ppid=32312 vsize=1438832 CPUtime=35.45 cores=4-31
/proc/32317/task/32332/stat : 32332 (plingeling) R 32312 32312 31580 0 -1 4202560 11190 1238 0 0 3539 6 0 0 25 0 29 0 651570855 1473363968 192889 268435456000 4194304 4356188 140734046315808 18446744073709551615 4331165 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=32317/tid=32333] ppid=32312 vsize=1438832 CPUtime=36.29 cores=4-31
/proc/32317/task/32333/stat : 32333 (plingeling) R 32312 32312 31580 0 -1 4202560 10611 1238 0 0 3623 6 0 0 25 0 29 0 651570855 1473363968 192889 268435456000 4194304 4356188 140734046315808 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32317/tid=32334] ppid=32312 vsize=1438832 CPUtime=36.31 cores=4-31
/proc/32317/task/32334/stat : 32334 (plingeling) R 32312 32312 31580 0 -1 4202560 9472 1238 0 0 3628 3 0 0 25 0 29 0 651570855 1473363968 192889 268435456000 4194304 4356188 140734046315808 18446744073709551615 4279717 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=32317/tid=32335] ppid=32312 vsize=1438832 CPUtime=36.27 cores=4-31
/proc/32317/task/32335/stat : 32335 (plingeling) R 32312 32312 31580 0 -1 4202560 13539 1238 0 0 3622 5 0 0 25 0 29 0 651570855 1473363968 192889 268435456000 4194304 4356188 140734046315808 18446744073709551615 4331383 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=32317/tid=32336] ppid=32312 vsize=1438832 CPUtime=36.3 cores=4-31
/proc/32317/task/32336/stat : 32336 (plingeling) R 32312 32312 31580 0 -1 4202560 8035 1238 0 0 3624 6 0 0 25 0 29 0 651570855 1473363968 192889 268435456000 4194304 4356188 140734046315808 18446744073709551615 4241952 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=32317/tid=32337] ppid=32312 vsize=1438832 CPUtime=36.27 cores=4-31
/proc/32317/task/32337/stat : 32337 (plingeling) R 32312 32312 31580 0 -1 4202560 14146 1238 0 0 3623 4 0 0 25 0 29 0 651570855 1473363968 192889 268435456000 4194304 4356188 140734046315808 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32317/tid=32338] ppid=32312 vsize=1438832 CPUtime=36.28 cores=4-31
/proc/32317/task/32338/stat : 32338 (plingeling) R 32312 32312 31580 0 -1 4202560 9049 1238 0 0 3624 4 0 0 25 0 29 0 651570855 1473363968 192889 268435456000 4194304 4356188 140734046315808 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32317/tid=32339] ppid=32312 vsize=1438832 CPUtime=36.27 cores=4-31
/proc/32317/task/32339/stat : 32339 (plingeling) R 32312 32312 31580 0 -1 4202560 8529 1238 0 0 3622 5 0 0 25 0 29 0 651570855 1473363968 192889 268435456000 4194304 4356188 140734046315808 18446744073709551615 4284212 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=32317/tid=32340] ppid=32312 vsize=1438832 CPUtime=36.27 cores=4-31
/proc/32317/task/32340/stat : 32340 (plingeling) R 32312 32312 31580 0 -1 4202560 10892 1238 0 0 3620 7 0 0 25 0 29 0 651570855 1473363968 192889 268435456000 4194304 4356188 140734046315808 18446744073709551615 4241608 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=32317/tid=32341] ppid=32312 vsize=1438832 CPUtime=36.26 cores=4-31
/proc/32317/task/32341/stat : 32341 (plingeling) R 32312 32312 31580 0 -1 4202560 8120 1238 0 0 3621 5 0 0 25 0 29 0 651570855 1473363968 192889 268435456000 4194304 4356188 140734046315808 18446744073709551615 4287074 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32317/tid=32342] ppid=32312 vsize=1438832 CPUtime=36.23 cores=4-31
/proc/32317/task/32342/stat : 32342 (plingeling) R 32312 32312 31580 0 -1 4202560 8149 1238 0 0 3618 5 0 0 25 0 29 0 651570855 1473363968 192889 268435456000 4194304 4356188 140734046315808 18446744073709551615 4237401 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=32317/tid=32343] ppid=32312 vsize=1438832 CPUtime=36.29 cores=4-31
/proc/32317/task/32343/stat : 32343 (plingeling) R 32312 32312 31580 0 -1 4202560 12098 1238 0 0 3625 4 0 0 25 0 29 0 651570855 1473363968 192889 268435456000 4194304 4356188 140734046315808 18446744073709551615 4241608 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32317/tid=32344] ppid=32312 vsize=1438832 CPUtime=36.25 cores=4-31
/proc/32317/task/32344/stat : 32344 (plingeling) R 32312 32312 31580 0 -1 4202560 10742 1238 0 0 3620 5 0 0 25 0 29 0 651570855 1473363968 192889 268435456000 4194304 4356188 140734046315808 18446744073709551615 4211145 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=32317/tid=32345] ppid=32312 vsize=1438832 CPUtime=36.25 cores=4-31
/proc/32317/task/32345/stat : 32345 (plingeling) R 32312 32312 31580 0 -1 4202560 6136 1238 0 0 3623 2 0 0 25 0 29 0 651570855 1473363968 192889 268435456000 4194304 4356188 140734046315808 18446744073709551615 4238432 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=32317/tid=32346] ppid=32312 vsize=1438832 CPUtime=36.26 cores=4-31
/proc/32317/task/32346/stat : 32346 (plingeling) R 32312 32312 31580 0 -1 4202560 8677 1238 0 0 3621 5 0 0 25 0 29 0 651570855 1473363968 192889 268435456000 4194304 4356188 140734046315808 18446744073709551615 4322024 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=32317/tid=32347] ppid=32312 vsize=1438832 CPUtime=36.26 cores=4-31
/proc/32317/task/32347/stat : 32347 (plingeling) R 32312 32312 31580 0 -1 4202560 10222 1238 0 0 3620 6 0 0 25 0 29 0 651570856 1473363968 192889 268435456000 4194304 4356188 140734046315808 18446744073709551615 4331383 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=32317/tid=32348] ppid=32312 vsize=1438832 CPUtime=36.3 cores=4-31
/proc/32317/task/32348/stat : 32348 (plingeling) R 32312 32312 31580 0 -1 4202560 11582 1238 0 0 3625 5 0 0 25 0 29 0 651570857 1473363968 192889 268435456000 4194304 4356188 140734046315808 18446744073709551615 4331458 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=32317/tid=32349] ppid=32312 vsize=1438832 CPUtime=36.17 cores=4-31
/proc/32317/task/32349/stat : 32349 (plingeling) R 32312 32312 31580 0 -1 4202560 7813 1238 0 0 3613 4 0 0 25 0 29 0 651570858 1473363968 192889 268435456000 4194304 4356188 140734046315808 18446744073709551615 4315734 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=32317/tid=32350] ppid=32312 vsize=1438832 CPUtime=36.28 cores=4-31
/proc/32317/task/32350/stat : 32350 (plingeling) R 32312 32312 31580 0 -1 4202560 10114 1238 0 0 3625 3 0 0 25 0 29 0 651570858 1473363968 192889 268435456000 4194304 4356188 140734046315808 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=32317/tid=32351] ppid=32312 vsize=1438832 CPUtime=36.15 cores=4-31
/proc/32317/task/32351/stat : 32351 (plingeling) R 32312 32312 31580 0 -1 4202560 5728 1238 0 0 3613 2 0 0 25 0 29 0 651570858 1473363968 192889 268435456000 4194304 4356188 140734046315808 18446744073709551615 4279717 0 0 4096 17442 0 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 1224.26
Current children cumulated vsize (KiB) 2919752
Child status: 0
Real time (s): 49.2854
CPU time (s): 1224.89
CPU user time (s): 1222.48
CPU system time (s): 2.41263
CPU usage (%): 2485.3
Max. virtual memory (cumulated for all children) (KiB): 2959360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1222.48
system time used= 2.41263
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 592130
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= 3061
involuntary context switches= 2834
runsolver used 0.226965 second user time and 1.02884 second system time
The end
Begin job on node200 at 2011-05-14 21:20:32
IDJOB=3347627
IDBENCH=84172
IDSOLVER=1808
FILE ID=node200/3347627-1305400831
RUNJOBID= node200-1305390664-31594
PBS_JOBID= 13285492
Free space on /tmp= 62040 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT03/industrial/simon/sat02/6pipe_6_ooo.shuffled-as.sat03-413.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347627-1305400831/watcher-3347627-1305400831 -o /tmp/evaluation-result-3347627-1305400831/solver-3347627-1305400831 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347627-1305400831.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 8bd122b0caab0988cbc54e4731b25623
RANDOM SEED=1110353628
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: 255564012 kB
Buffers: 437960 kB
Cached: 7843936 kB
SwapCached: 0 kB
Active: 7394792 kB
Inactive: 956156 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255564012 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 20332 kB
Writeback: 0 kB
AnonPages: 68380 kB
Mapped: 14540 kB
Slab: 250636 kB
PageTables: 4364 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 187264 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= 62032 MiB
End job on node200 at 2011-05-14 21:21:21